@Override public PExp caseAPostOpExp(APostOpExp exp, Integer lineno) throws AnalysisException { return exp.getPostexpression().apply(THIS, lineno); }
public LexNameList caseAPostOpExp(APostOpExp expression) throws org.overture.ast.analysis.AnalysisException { return af.createPExpAssistant().getOldNames(expression.getPostexpression()); }
@Override public SExpIR caseAPostOpExp(APostOpExp node, IRInfo question) throws AnalysisException { PExp exp = node.getPostexpression(); return exp.apply(question.getExpVisitor(), question); }
@Override public PExp caseAPostOpExp(APostOpExp node, Substitution question) throws AnalysisException { PExp sub = node.getPostexpression().clone().apply(main, question); node.setPostexpression(sub.clone()); return node; }
@Override public PType caseAPostOpExp(APostOpExp node, TypeCheckInfo question) throws AnalysisException { node.setType(node.getPostexpression().apply(THIS, question.newConstraint(null))); return node.getType(); }
private PExp rewritePost(PExp post_exp, List<Substitution> subs, IPogAssistantFactory af) { if (post_exp instanceof APostOpExp) { // post-expression bodies are wrapped in a PostOpExp for some reason... post_exp = ((APostOpExp) post_exp).getPostexpression(); } for (Substitution sub : subs) { try { post_exp = post_exp.clone().apply(af.getVarSubVisitor(), sub); } catch (AnalysisException e) { e.printStackTrace(); } } return post_exp; }
if(node.getPostexpression() != null && !_visitedNodes.contains(node.getPostexpression())) node.getPostexpression().apply(this);
if(node.getPostexpression() != null && !_visitedNodes.contains(node.getPostexpression())) node.getPostexpression().apply(this, question);
if(node.getPostexpression() != null && !_visitedNodes.contains(node.getPostexpression())) node.getPostexpression().apply(this);
if(node.getPostexpression() != null && !_visitedNodes.contains(node.getPostexpression())) mergeReturns(retVal,node.getPostexpression().apply(this));
if(node.getPostexpression() != null && !_visitedNodes.contains(node.getPostexpression())) mergeReturns(retVal,node.getPostexpression().apply(this, question));
&& node.getPostexpression().apply(VdmRuntime.getExpressionEvaluator(), ctxt).boolValue(ctxt);