@Override public SDeclIR caseAMutexSyncDefinition(AMutexSyncDefinition node, IRInfo question) throws AnalysisException { LinkedList<ILexNameToken> operations = node.getOperations(); AMutexSyncDeclIR mutexdef = new AMutexSyncDeclIR(); for (ILexNameToken opname : operations) { ATokenNameIR token = new ATokenNameIR(); token.setName(opname.getName()); mutexdef.getOpnames().add(token); } return mutexdef; }
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()))); }
List<ILexNameToken> copy = new ArrayList<ILexNameToken>(node.getOperations()); for( ILexNameToken e : copy)
List<ILexNameToken> copy = new ArrayList<ILexNameToken>(node.getOperations()); for( ILexNameToken e : copy)
List<ILexNameToken> copy = new ArrayList<ILexNameToken>(node.getOperations()); for( ILexNameToken e : copy)
if (node.getOperations().isEmpty()) && !def.getName().getName().equals(classdef.getName().getName())) node.getOperations().add(def.getName()); for (ILexNameToken opname : node.getOperations()) for (ILexNameToken other : node.getOperations())
List<ILexNameToken> copy = new ArrayList<ILexNameToken>(node.getOperations()); for( ILexNameToken e : copy)
List<ILexNameToken> copy = new ArrayList<ILexNameToken>(node.getOperations()); for( ILexNameToken e : copy)
for (ILexNameToken opname : new LexNameList(sync.getOperations()))
for (ILexNameToken mop : mdef.getOperations()) for (ILexNameToken op : mdef.getOperations())
for (ILexNameToken mop : mdef.getOperations()) for (ILexNameToken op : mdef.getOperations())