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; }
if (token.is(VDMToken.IS))
if (token.is(VDMToken.IS))