sb.append(cs.getName().getName()); sep = "; "; } else if (stmt instanceof ACallObjectStm)
@Override public LexNameSet caseACallStm(ACallStm node, FreeVarInfo info) throws AnalysisException { LexNameSet names = new LexNameSet(node.getName().getExplicit(true)); for (PExp arg: node.getArgs()) { names.addAll(arg.apply(this, info)); } return names; }
newStatement = AstFactory.newACallStm(stmt.getName().clone(), newargs); } else
node.getName().setTypeQualifier(atypes); PDefinition opdef = question.env.findName(node.getName(), question.scope); TypeCheckerErrors.report(3213, "Operation " + node.getName() + " is not in scope", node.getLocation(), node); question.env.listAlternatives(node.getName()); node.setType(AstFactory.newAUnknownType(node.getLocation())); return node.getType(); if (question.env.isVDMPP() && node.getName().getExplicit()) && opdef.getAccess().getStatic() == null) TypeCheckerErrors.report(3324, "Operation " + node.getName() + " is not static", node.getLocation(), node); node.setType(AstFactory.newAUnknownType(node.getLocation())); && question.env.isStatic()) TypeCheckerErrors.report(3214, "Cannot call " + node.getName() + " from static context", node.getLocation(), node); node.setType(AstFactory.newAUnknownType(node.getLocation())); node.getName().setTypeQualifier(optype.getParameters()); node.getName().setTypeQualifier(ftype.getParameters());
Value v = ctxt.lookup(node.getName()).deref();