@Override public LexNameSet defaultSUnaryExp(SUnaryExp exp, FreeVarInfo info) throws AnalysisException { return exp.getExp().apply(this, info); }
@Override public ILexLocation defaultSUnaryExp(SUnaryExp node) throws AnalysisException { return node.getLocation(); }
public SExpIR handleUnaryExp(SUnaryExp vdmExp, SUnaryExpIR codeGenExp, IRInfo question) throws AnalysisException { SExpIR expCg = vdmExp.getExp().apply(question.getExpVisitor(), question); STypeIR typeCg = vdmExp.getType().apply(question.getTypeVisitor(), question); codeGenExp.setType(typeCg); codeGenExp.setExp(expCg); return codeGenExp; }
private static void initExpressionUnary(SUnaryExp result, ILexLocation location, PExp exp) { initExpression(result, location); result.setExp(exp); }
@Override public ValueList defaultSUnaryExp(SUnaryExp exp, ObjectContext ctxt) throws AnalysisException { return exp.getExp().apply(THIS, ctxt); }
@Override // RWL see [1] pg. 179 A.5.4 Unary Expressions public IProofObligationList defaultSUnaryExp(SUnaryExp node, IPOContextStack question) throws AnalysisException { return node.getExp().apply(mainVisitor, question); }
@Override public PExp defaultSUnaryExp(SUnaryExp exp, Integer lineno) throws AnalysisException { PExp found = findExpressionBaseCase(exp, lineno); if (found != null) { return found; } return exp.getExp().apply(THIS, lineno); }