public static AExternalDefinition newAExternalDefinition(PDefinition state, ILexToken mode) { AExternalDefinition result = new AExternalDefinition(); initDefinition(result, Pass.DEFS, state.getLocation(), state.getName(), NameScope.STATE); result.setState(state); result.setReadOnly(mode.is(VDMToken.READ)); result.setOldname(result.getReadOnly() ? null : state.getName().getOldName()); return result; }
ALocalDefinition ld = AstFactory.newALocalDefinition(f.getTagname().getLocation(), f.getTagname().getOldName(), NameScope.OLDSTATE, f.getType()); stateDefs.add(recordDefinition); recordDefinition = AstFactory.newALocalDefinition(result.getLocation(), name.getOldName(), NameScope.OLDSTATE, result.getRecordType()); recordDefinition.setUsed(true); // Can't be exported anyway stateDefs.add(recordDefinition);
public static AInstanceVariableDefinition newAInstanceVariableDefinition( ILexNameToken name, PType type, PExp expression) { AInstanceVariableDefinition result = new AInstanceVariableDefinition(); // Definition initialization initDefinition(result, Pass.VALUES, name.getLocation(), name, NameScope.VARSANDSTATE); result.setType(type); result.setExpression(expression); if (result.getLocation() != null) { result.getLocation().executable(false); } result.setOldname(name.getOldName()); result.setInitialized(!(expression instanceof AUndefinedExp)); return result; }
plist.add(AstFactory.newAIdentifierPattern(state.getName().getOldName())); plist.add(AstFactory.newAIdentifierPattern(state.getName().clone())); } else if (base.isVDMPP()) plist.add(AstFactory.newAIdentifierPattern(d.getName().getSelfName().getOldName()));
plist.add(AstFactory.newAIdentifierPattern(state.getName().getOldName())); plist.add(AstFactory.newAIdentifierPattern(state.getName().clone())); } else if (base.isVDMPP()) plist.add(AstFactory.newAIdentifierPattern(d.getName().getSelfName().getOldName()));
public static AInheritedDefinition newAInheritedDefinition( ILexNameToken localname, PDefinition d) { AInheritedDefinition result = new AInheritedDefinition(); initDefinition(result, d.getPass(), d.getLocation(), localname, d.getNameScope()); result.setSuperdef(d); result.setOldname(localname.getOldName()); result.setType(d.getType()); af.createPDefinitionAssistant().setClassDefinition(result, d.getClassDefinition()); result.setAccess(d.getAccess().clone()); return result; }
RecordValue oldsigma = ctxt.lookup(node.getState().getName().getOldName()).recordValue(ctxt); ctxt.put(field.getTagname().getOldName(), oldsigma.fieldmap.get(field.getTag())); ILexNameToken oldselfname = selfname.getOldName(); ILexNameToken oldselfname = selfname.getOldName(); ValueMap oldvalues = ctxt.lookup(oldselfname).mapValue(ctxt); ctxt.assistantFactory.createAPostOpExpAssistant().populate(node, ctxt, node.getOpname().getModule(), oldvalues);