@Override public PExp caseACallObjectStm(ACallObjectStm stm, Integer lineno) throws AnalysisException { return af.createPExpAssistant().findExpression(stm.getArgs(), lineno); }
@Override public LexNameSet caseACallObjectStm(ACallObjectStm node, FreeVarInfo info) throws AnalysisException { LexNameSet names = new LexNameSet(); for (PExp arg: node.getArgs()) { names.addAll(arg.apply(this, info)); } return names; }
@Override public IProofObligationList caseACallObjectStm(ACallObjectStm node, IPOContextStack question) throws AnalysisException { try { IProofObligationList obligations = new ProofObligationList(); for (PExp exp : node.getArgs()) { obligations.addAll(exp.apply(rootVisitor, question)); } return obligations; } catch (Exception e) { throw new POException(node, e.getMessage()); } }
List<PExp> copy = new ArrayList<PExp>(node.getArgs()); for( PExp e : copy)
List<PExp> copy = new ArrayList<PExp>(node.getArgs()); for( PExp e : copy)
List<PExp> copy = new ArrayList<PExp>(node.getArgs()); for( PExp e : copy)
List<PExp> copy = new ArrayList<PExp>(node.getArgs()); for( PExp e : copy)
List<PExp> copy = new ArrayList<PExp>(node.getArgs()); for( PExp e : copy)
PObjectDesignator objectDesignator = node.getDesignator(); ILexNameToken field = node.getField(); LinkedList<PExp> args = node.getArgs();
args = stmt.getArgs();
List<PType> atypes = getArgTypes(node.getArgs(), THIS, question); node.getField().setTypeQualifier(atypes); PDefinition fdef = classenv.findName(node.getField(), question.scope); TypeCheckerErrors.report(3280, "Argument to deploy must be an object", node.getArgs().get(0).getLocation(), node.getArgs().get(0)); TypeCheckerErrors.report(3290, "Argument to setPriority must be an operation", node.getArgs().get(0).getLocation(), node.getArgs().get(0)); } else AVariableExp a1 = (AVariableExp) node.getArgs().get(0); node.getArgs().remove(0); node.getArgs().add(0, AstFactory.newAStringLiteralExp(new LexStringToken(a1.getName().getExplicit(true).getFullName(), a1.getLocation()))); TypeCheckerErrors.report(3291, "Argument to setPriority cannot be a constructor", node.getArgs().get(0).getLocation(), node.getArgs().get(0));
for (PExp arg: node.getArgs())