@Override public PType caseAMutexSyncDefinition(AMutexSyncDefinition node) throws AnalysisException { return AstFactory.newAUnknownType(node.getLocation()); }
public PExp getExpression(AMutexSyncDefinition sync, ILexNameToken excluding) { LexNameList list = null; if (sync.getOperations().size() == 1) { list = new LexNameList(); list.addAll(sync.getOperations()); } else { list = new LexNameList(); list.addAll(sync.getOperations()); list.remove(excluding); } return AstFactory.newAEqualsBinaryExp(AstFactory.newAHistoryExp(sync.getLocation(), new LexToken(sync.getLocation(), VDMToken.ACTIVE), list), new LexKeywordToken(VDMToken.EQUALS, sync.getLocation()), AstFactory.newAIntLiteralExp(new LexIntegerToken(0, sync.getLocation()))); }
PExp hexp = AstFactory.newAHistoryExp(mdef.getLocation(), new LexToken(new LexLocation(), VDMToken.ACTIVE), ops); LexNameToken name = new LexNameToken(octxt.self.type.getName().getModule(), hexp.toString(), mdef.getLocation()); vars.put(name, v); } catch (Throwable e)
PExp hexp = AstFactory.newAHistoryExp(mdef.getLocation(), new LexToken(null, VDMToken.ACTIVE), ops); LexNameToken name = new LexNameToken(octxt.self.type.getName().getModule(), hexp.toString(), mdef.getLocation()); vars.put(name, v); } catch (Throwable e)