@Override public ValueList caseATupleExp(ATupleExp exp, ObjectContext ctxt) throws AnalysisException { return af.createPExpAssistant().getValues(exp.getArgs(), ctxt); }
public LexNameList caseATupleExp(ATupleExp expression) throws org.overture.ast.analysis.AnalysisException { return af.createPExpAssistant().getOldNames(expression.getArgs()); }
@Override public PExp caseATupleExp(ATupleExp exp, Integer lineno) throws AnalysisException { PExp found = findExpressionBaseCase(exp, lineno); if (found != null) { return found; } return af.createPExpAssistant().findExpression(exp.getArgs(), lineno); }
@Override public IProofObligationList caseATupleExp(ATupleExp node, IPOContextStack question) throws AnalysisException { IProofObligationList obligations = new ProofObligationList(); for (PExp exp : node.getArgs()) { obligations.addAll(exp.apply(mainVisitor, question)); } return obligations; }
@Override public LexNameSet caseATupleExp(ATupleExp node, FreeVarInfo info) throws AnalysisException { LexNameSet names = new LexNameSet(); for (PExp exp: node.getArgs()) { names.addAll(exp.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)
@Override public PType caseATupleExp(ATupleExp node, TypeCheckInfo question) throws AnalysisException { node.setTypes(new LinkedList<PType>()); List<PType> types = node.getTypes(); List<PType> elemConstraints = null; if (question.constraint != null && question.assistantFactory.createPTypeAssistant().isProduct(question.constraint)) { elemConstraints = question.assistantFactory.createPTypeAssistant().getProduct(question.constraint).getTypes(); if (elemConstraints.size() != node.getArgs().size()) { elemConstraints = null; } } int i = 0; for (PExp arg : node.getArgs()) { question.qualifiers = null; if (elemConstraints == null) { types.add(arg.apply(THIS, question.newConstraint(null))); } else { types.add(arg.apply(THIS, question.newConstraint(elemConstraints.get(i++)))); } } node.setType(AstFactory.newAProductType(node.getLocation(), types)); return question.assistantFactory.createPTypeAssistant().possibleConstraint(question.constraint, node.getType(), node.getLocation()); }
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 SExpIR caseATupleExp(ATupleExp node, IRInfo question) throws AnalysisException { PType type = node.getType(); LinkedList<PExp> args = node.getArgs(); STypeIR typeCg = type.apply(question.getTypeVisitor(), question); ATupleExpIR tupleExp = new ATupleExpIR(); tupleExp.setType(typeCg); for (PExp exp : args) { SExpIR expCg = exp.apply(question.getExpVisitor(), question); if (expCg != null) { tupleExp.getArgs().add(expCg); } else { return null; } } return tupleExp; }
@Override public Value caseATupleExp(ATupleExp node, Context ctxt) throws AnalysisException { BreakpointManager.getBreakpoint(node).check(node.getLocation(), ctxt); ValueList argvals = new ValueList(); for (PExp arg : node.getArgs()) { argvals.add(arg.apply(VdmRuntime.getExpressionEvaluator(), ctxt)); } return new TupleValue(argvals); }
po = null; for (PExp e : te.getArgs())