@Override public LexNameList caseAInstanceVariableDefinition( AInstanceVariableDefinition node) throws AnalysisException { return new LexNameList(node.getName()); }
private Collection<? extends PMultipleBind> introduceFreshVars( LinkedList<ILexNameToken> identifiers, List<AInstanceVariableDefinition> defs) { List<PMultipleBind> r = new LinkedList<PMultipleBind>(); for (ILexNameToken ilt : identifiers) { for (AInstanceVariableDefinition d : defs) { if (ilt.equals(d.getName())) { r.add(introduceFreshVar(d)); } } } return r; }
public AssignmentContext(AInstanceVariableDefinition node, IVariableSubVisitor visitor, IPOContextStack ctxt) { super(ctxt); sub = new Substitution(node.getName(), node.getExpression()); subLast = sub; this.visitor = visitor; }
@Override public String caseAInstanceVariableDefinition( AInstanceVariableDefinition node, PrettyPrinterEnv question) throws AnalysisException { StringBuilder sb = new StringBuilder(question.getIdent()); sb.append(node.getName() + ":" + node.getType().apply(typePrinter, question) + (node.getExpression() != null ? " := " + node.getExpression() : "")); return sb.toString() + ";"; }
AIdentifierPattern idPat = new AIdentifierPattern(); idPat.setName(gen.getUnique(var.getName().getName())); pats.add(idPat); newVar.setOriginal(idPat.getName().getFullName()); Substitution sub = new Substitution(var.getName().clone(), newVar); subs.add(sub); AVariableExp old_var = last_vars.get(var.getName()); if (old_var != null) var_exp.setName(var.getName().clone()); var_exp.setType(var.getType().clone()); var_exp.setOriginal(var.getName().getName()); Substitution sub_old = new Substitution(var.getOldname().toString(), var_exp); subs.add(sub_old); last_vars.put(var.getName(), newVar);
public OpBodyEndContext(List<AInstanceVariableDefinition> state, IPogAssistantFactory af) { this.af = af; subs = new LinkedList<Substitution>(); for (AInstanceVariableDefinition i : state) { AVariableExp var_exp = new AVariableExp(); ILexNameToken it = i.getName(); String safename = it.getName() + "$"; ILexNameToken safeToken = new LexNameToken(it.getModule(), safename, it.getLocation().clone()); var_exp.setName(safeToken); var_exp.setType(i.getType().clone()); var_exp.setOriginal(i.getName().getName().toString()); subs.add(new Substitution(i.getOldname(), var_exp)); } }
public void initializedCheck(AInstanceVariableDefinition ivd) { if (!ivd.getInitialized() && !af.createPAccessSpecifierAssistant().isStatic(ivd.getAccess())) { TypeCheckerErrors.warning(5001, "Instance variable '" + ivd.getName() + "' is not initialized", ivd.getLocation(), ivd); } } }
@Override public void caseAInstanceVariableDefinition( AInstanceVariableDefinition node) throws AnalysisException { handleNameToken(node, node.getName()); handleNameToken(node, node.getOldname()); node.getExpression().apply(this); node.getType().apply(this); }
@Override public SDeclIR caseAInstanceVariableDefinition( AInstanceVariableDefinition node, IRInfo question) throws AnalysisException { String access = node.getAccess().getAccess().toString(); String name = node.getName().getName(); boolean isStatic = node.getAccess().getStatic() != null; boolean isFinal = false; STypeIR type = node.getType().apply(question.getTypeVisitor(), question); SExpIR exp = node.getExpression().apply(question.getExpVisitor(), question); return question.getDeclAssistant().constructField(access, name, isStatic, isFinal, type, exp); }
@Override public NameValuePairList caseAInstanceVariableDefinition( AInstanceVariableDefinition def, Context initialContext) throws AnalysisException { try { Value v = def.getExpression().apply(VdmRuntime.getExpressionEvaluator(), initialContext); if (!v.isUndefined()) { v = v.convertTo(def.getType(), initialContext); } return new NameValuePairList(new NameValuePair(def.getName(), v.getUpdatable(null))); } catch (ValueException e) { VdmRuntimeError.abort(def.getLocation(), e); return null; } catch (AnalysisException e) { // TODO Auto-generated catch block e.printStackTrace(); return null; } }
+ node.getName(), node.getLocation(), node);