@Override public PExp caseAMkTypeExp(AMkTypeExp node, Substitution question) throws AnalysisException { node.setArgs(distribute(node.getArgs(), question)); return node; }
public LexNameList caseAMkTypeExp(AMkTypeExp expression) throws org.overture.ast.analysis.AnalysisException { return af.createPExpAssistant().getOldNames(expression.getArgs()); }
@Override public ValueList caseAMkTypeExp(AMkTypeExp exp, ObjectContext ctxt) throws AnalysisException { return af.createPExpAssistant().getValues(exp.getArgs(), ctxt); }
@Override public PExp caseAMkTypeExp(AMkTypeExp exp, Integer lineno) throws AnalysisException { PExp found = findExpressionBaseCase(exp, lineno); if (found != null) { return found; } return af.createPExpAssistant().findExpression(exp.getArgs(), lineno); }
@Override public LexNameSet caseAMkTypeExp(AMkTypeExp node, FreeVarInfo info) throws AnalysisException { LexNameSet names = new LexNameSet(node.getTypeName()); for (PExp arg: node.getArgs()) { names.addAll(arg.apply(this, info)); } return names; }
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)
LinkedList<PExp> nodeArgs = node.getArgs();
List<PExp> copy = new ArrayList<PExp>(node.getArgs()); for( PExp e : copy)
List<PExp> copy = new ArrayList<PExp>(node.getArgs()); for( PExp e : copy)
@Override public Value caseAMkTypeExp(AMkTypeExp node, Context ctxt) throws AnalysisException { BreakpointManager.getBreakpoint(node).check(node.getLocation(), ctxt); ValueList argvals = new ValueList(); for (PExp e : node.getArgs()) { argvals.add(e.apply(VdmRuntime.getExpressionEvaluator(), ctxt)); } try { return new RecordValue(node.getRecordType(), argvals, ctxt); } catch (ValueException e) { return VdmRuntimeError.abort(node.getLocation(), e); } }
Queue<PExp> args = (Queue<PExp>) node.getArgs().clone(); for (PExp arg : args)