@Override public ValueList caseAFuncInstatiationExp(AFuncInstatiationExp exp, ObjectContext ctxt) throws AnalysisException { return exp.getFunction().apply(THIS, ctxt); }
public static AFuncInstatiationExp newAFuncInstatiationExp(PExp function, List<PType> types) { AFuncInstatiationExp result = new AFuncInstatiationExp(); result.setLocation(function.getLocation()); result.setFunction(function); result.setActualTypes(types); return result; }
@Override public PExp caseAPostOpExp(APostOpExp exp, Integer lineno) throws AnalysisException { return exp.getPostexpression().apply(THIS, lineno); }
public static ASubseqExp newASubseqExp(PExp seq, PExp from, PExp to) { ASubseqExp result = new ASubseqExp(); result.setLocation(seq.getLocation()); result.setSeq(seq); result.setFrom(from); result.setTo(to); return result; }
@Override public IProofObligationList caseAFuncInstatiationExp( AFuncInstatiationExp node, IPOContextStack question) throws AnalysisException { return node.getFunction().apply(mainVisitor, question); }