def logic_events():
events = []
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(TransitionFactory.create(LocalType.RESV, 'Confirmation', 'Seller'))
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(TransitionFactory.create(LocalType.RESV, 'Confirmation', 'Seller'))
return events
def recAtBuyer_events():
events = []
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(TransitionFactory.create(LocalType.RESV, 'Invoice', 'Seller'))
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(TransitionFactory.create(LocalType.RESV, 'Invoice', 'Seller'))
return events
def main_auction_events():
events = []
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(TransitionFactory.create(LocalType.RESV, 'Invoice',
'Seller'))
events.append(TransitionFactory.create(LocalType.SEND, 'OK', 'Buyer'))
return events
def parallelAtSeller1_events():
events = []
events.append(TransitionFactory.create(LocalType.RESV, 'Order', 'Buyer'))
events.append(
TransitionFactory.create(LocalType.SEND, 'Confirmation', 'Buyer'))
events.append(TransitionFactory.create(LocalType.SEND, 'OK', 'Buyer'))
return events
def logic_events():
events = []
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(
TransitionFactory.create(LocalType.RESV, 'Confirmation', 'Seller'))
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(
TransitionFactory.create(LocalType.RESV, 'Confirmation', 'Seller'))
return events
def Interrupt_events():
events = []
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(TransitionFactory.create(LocalType.RESV, 'Confirmation', 'Seller'))
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(TransitionFactory.create(LocalType.RESV, 'Confirmation', 'Seller'))
events.append(TransitionFactory.create(LocalType.RESV, 'Help', 'Seller'))
events.append(TransitionFactory.create(LocalType.SEND, 'MoreHelp', 'Seller'))
return events
def locateChoiceAtBuyer_events():
events = []
events.append(TransitionFactory.create(LocalType.RESV, 'Confirmation', 'Seller'))
events.append(TransitionFactory.create(LocalType.SEND, 'OK', 'Seller'))
events.append(TransitionFactory.create(LocalType.RESV, 'OutOfStock', 'Seller'))
events.append(TransitionFactory.create(LocalType.RESV, 'OutOfStock', 'Seller'))
events.append(TransitionFactory.create(LocalType.RESV, 'OutOfStock', 'Seller'))
events.append(TransitionFactory.create(LocalType.SEND, 'Finish', 'Seller'))
return events
def Interrupt_events():
events = []
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(
TransitionFactory.create(LocalType.RESV, 'Confirmation', 'Seller'))
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(
TransitionFactory.create(LocalType.RESV, 'Confirmation', 'Seller'))
events.append(TransitionFactory.create(LocalType.RESV, 'Help', 'Seller'))
events.append(
TransitionFactory.create(LocalType.SEND, 'MoreHelp', 'Seller'))
return events
def locateChoiceAtBuyer_events():
events = []
events.append(
TransitionFactory.create(LocalType.RESV, 'Confirmation', 'Seller'))
events.append(TransitionFactory.create(LocalType.SEND, 'OK', 'Seller'))
events.append(
TransitionFactory.create(LocalType.RESV, 'OutOfStock', 'Seller'))
events.append(
TransitionFactory.create(LocalType.RESV, 'OutOfStock', 'Seller'))
events.append(
TransitionFactory.create(LocalType.RESV, 'OutOfStock', 'Seller'))
events.append(TransitionFactory.create(LocalType.SEND, 'Finish', 'Seller'))
return events
def activityDef(self, ):
rlabel = None
val = None
vtype = None
role = None
assertion = None
slabel = None
label = None
labelID = None
try:
try:
# src/SavedFSM/BuildFSM.g:109:12: ( ^( RESV (rlabel= ID )? ( ^( VALUE ( (val= ID (vtype= ( INT | STRING ) )? ) )* ) ) role= ID ( ^( ASSERT (assertion= ASSERTION )? ) ) ) | ^( SEND (slabel= ID )? ( ^( VALUE ( (val= ID (vtype= ( INT | STRING ) )? ) )* ) ) role= ID ( ^( ASSERT (assertion= ASSERTION )? ) ) ) | ^( 'choice' ( ^( BRANCH ( activityDef )+ ) )+ ) | ^( PARALLEL ( ^( BRANCH ( activityDef )+ ) )+ ) | ^( 'repeat' ( ^( BRANCH ( activityDef )+ ) ) ) | ^( 'rec' label= ID ( ^( BRANCH ( activityDef )+ ) ) ) | ^( 'RECLABEL' labelID= ID ) | ^( GLOBAL_ESCAPE ( ^( 'do' ( ( activityDef )+ ) ) ) ( ^( 'interrupt' roleName ( ( activityDef )+ ) ) ) ) )
alt19 = 8
LA19 = self.input.LA(1)
if LA19 == RESV:
alt19 = 1
elif LA19 == SEND:
alt19 = 2
elif LA19 == 49:
alt19 = 3
elif LA19 == PARALLEL:
alt19 = 4
elif LA19 == 51:
alt19 = 5
elif LA19 == 52:
alt19 = 6
elif LA19 == RECLABEL:
alt19 = 7
elif LA19 == GLOBAL_ESCAPE:
alt19 = 8
else:
nvae = NoViableAltException("", 19, 0, self.input)
raise nvae
if alt19 == 1:
# src/SavedFSM/BuildFSM.g:110:2: ^( RESV (rlabel= ID )? ( ^( VALUE ( (val= ID (vtype= ( INT | STRING ) )? ) )* ) ) role= ID ( ^( ASSERT (assertion= ASSERTION )? ) ) )
pass
self.match(self.input, RESV, self.FOLLOW_RESV_in_activityDef85)
#action start
local_context = []
label = ''
#action end
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:113:5: (rlabel= ID )?
alt3 = 2
LA3_0 = self.input.LA(1)
if (LA3_0 == ID) :
alt3 = 1
if alt3 == 1:
# src/SavedFSM/BuildFSM.g:113:6: rlabel= ID
pass
rlabel=self.match(self.input, ID, self.FOLLOW_ID_in_activityDef98)
#action start
if (rlabel is not None): label = rlabel.text
self.memory.append('before setting the label:' + label)
#action end
# src/SavedFSM/BuildFSM.g:116:5: ( ^( VALUE ( (val= ID (vtype= ( INT | STRING ) )? ) )* ) )
# src/SavedFSM/BuildFSM.g:116:6: ^( VALUE ( (val= ID (vtype= ( INT | STRING ) )? ) )* )
pass
self.match(self.input, VALUE, self.FOLLOW_VALUE_in_activityDef110)
if self.input.LA(1) == DOWN:
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:116:14: ( (val= ID (vtype= ( INT | STRING ) )? ) )*
while True: #loop5
alt5 = 2
LA5_0 = self.input.LA(1)
if (LA5_0 == ID) :
alt5 = 1
if alt5 == 1:
# src/SavedFSM/BuildFSM.g:116:15: (val= ID (vtype= ( INT | STRING ) )? )
pass
# src/SavedFSM/BuildFSM.g:116:15: (val= ID (vtype= ( INT | STRING ) )? )
# src/SavedFSM/BuildFSM.g:116:16: val= ID (vtype= ( INT | STRING ) )?
pass
val=self.match(self.input, ID, self.FOLLOW_ID_in_activityDef116)
# src/SavedFSM/BuildFSM.g:116:28: (vtype= ( INT | STRING ) )?
alt4 = 2
LA4_0 = self.input.LA(1)
if ((INT <= LA4_0 <= STRING)) :
alt4 = 1
if alt4 == 1:
# src/SavedFSM/BuildFSM.g:116:28: vtype= ( INT | STRING )
pass
vtype = self.input.LT(1)
if (INT <= self.input.LA(1) <= STRING):
self.input.consume()
self._state.errorRecovery = False
else:
mse = MismatchedSetException(None, self.input)
raise mse
#action start
if ((val is not None) and (vtype is not None)): local_context.append((val.text, vtype.text))
#action end
else:
break #loop5
self.match(self.input, UP, None)
role=self.match(self.input, ID, self.FOLLOW_ID_in_activityDef141)
#action start
if not(role.text in self.roles): self.roles.append(role.text)
#action end
# src/SavedFSM/BuildFSM.g:118:5: ( ^( ASSERT (assertion= ASSERTION )? ) )
# src/SavedFSM/BuildFSM.g:118:6: ^( ASSERT (assertion= ASSERTION )? )
pass
self.match(self.input, ASSERT, self.FOLLOW_ASSERT_in_activityDef151)
if self.input.LA(1) == DOWN:
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:118:15: (assertion= ASSERTION )?
alt6 = 2
LA6_0 = self.input.LA(1)
if (LA6_0 == ASSERTION) :
alt6 = 1
if alt6 == 1:
# src/SavedFSM/BuildFSM.g:118:16: assertion= ASSERTION
pass
assertion=self.match(self.input, ASSERTION, self.FOLLOW_ASSERTION_in_activityDef156)
self.match(self.input, UP, None)
self.match(self.input, UP, None)
#action start
self.memory.append('label is:' + label);
self.current_fsm.add_transition(TransitionFactory.create(LocalType.RESV, label, role), assertion, local_context)
#action end
elif alt19 == 2:
# src/SavedFSM/BuildFSM.g:123:3: ^( SEND (slabel= ID )? ( ^( VALUE ( (val= ID (vtype= ( INT | STRING ) )? ) )* ) ) role= ID ( ^( ASSERT (assertion= ASSERTION )? ) ) )
pass
self.match(self.input, SEND, self.FOLLOW_SEND_in_activityDef169)
#action start
local_context = []
label = ''
#action end
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:126:5: (slabel= ID )?
alt7 = 2
LA7_0 = self.input.LA(1)
if (LA7_0 == ID) :
alt7 = 1
if alt7 == 1:
# src/SavedFSM/BuildFSM.g:126:6: slabel= ID
pass
slabel=self.match(self.input, ID, self.FOLLOW_ID_in_activityDef182)
#action start
self.memory.append('send' + slabel.text)
if (slabel is not None): label = slabel.text
#action end
# src/SavedFSM/BuildFSM.g:129:12: ( ^( VALUE ( (val= ID (vtype= ( INT | STRING ) )? ) )* ) )
# src/SavedFSM/BuildFSM.g:129:13: ^( VALUE ( (val= ID (vtype= ( INT | STRING ) )? ) )* )
pass
self.match(self.input, VALUE, self.FOLLOW_VALUE_in_activityDef201)
if self.input.LA(1) == DOWN:
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:129:21: ( (val= ID (vtype= ( INT | STRING ) )? ) )*
while True: #loop9
alt9 = 2
LA9_0 = self.input.LA(1)
if (LA9_0 == ID) :
alt9 = 1
if alt9 == 1:
# src/SavedFSM/BuildFSM.g:129:22: (val= ID (vtype= ( INT | STRING ) )? )
pass
# src/SavedFSM/BuildFSM.g:129:22: (val= ID (vtype= ( INT | STRING ) )? )
# src/SavedFSM/BuildFSM.g:129:23: val= ID (vtype= ( INT | STRING ) )?
pass
val=self.match(self.input, ID, self.FOLLOW_ID_in_activityDef207)
# src/SavedFSM/BuildFSM.g:129:35: (vtype= ( INT | STRING ) )?
alt8 = 2
LA8_0 = self.input.LA(1)
if ((INT <= LA8_0 <= STRING)) :
alt8 = 1
if alt8 == 1:
# src/SavedFSM/BuildFSM.g:129:35: vtype= ( INT | STRING )
pass
vtype = self.input.LT(1)
if (INT <= self.input.LA(1) <= STRING):
self.input.consume()
self._state.errorRecovery = False
else:
mse = MismatchedSetException(None, self.input)
raise mse
#action start
if ((val is not None) and (vtype is not None)): local_context.append((val.text, vtype.text))
#action end
else:
break #loop9
self.match(self.input, UP, None)
role=self.match(self.input, ID, self.FOLLOW_ID_in_activityDef236)
#action start
if not(role.text in self.roles): self.roles.append(role.text)
#action end
# src/SavedFSM/BuildFSM.g:131:5: ( ^( ASSERT (assertion= ASSERTION )? ) )
# src/SavedFSM/BuildFSM.g:131:6: ^( ASSERT (assertion= ASSERTION )? )
pass
self.match(self.input, ASSERT, self.FOLLOW_ASSERT_in_activityDef246)
if self.input.LA(1) == DOWN:
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:131:15: (assertion= ASSERTION )?
alt10 = 2
LA10_0 = self.input.LA(1)
if (LA10_0 == ASSERTION) :
alt10 = 1
if alt10 == 1:
# src/SavedFSM/BuildFSM.g:131:16: assertion= ASSERTION
pass
assertion=self.match(self.input, ASSERTION, self.FOLLOW_ASSERTION_in_activityDef251)
self.match(self.input, UP, None)
self.match(self.input, UP, None)
#action start
self.memory.append('In SEND assertion')
#action end
#action start
self.current_fsm.add_transition(TransitionFactory.create(LocalType.SEND, label, role), assertion, local_context)
#action end
elif alt19 == 3:
# src/SavedFSM/BuildFSM.g:136:3: ^( 'choice' ( ^( BRANCH ( activityDef )+ ) )+ )
pass
self.match(self.input, 49, self.FOLLOW_49_in_activityDef270)
#action start
self.memory.append('enter choice state')
self.current_fsm.choice_start_state.append(self.current_fsm.get_current_state())
self.current_fsm.choice_end_state.append(self.current_fsm.state_gen.next())
#action end
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:141:2: ( ^( BRANCH ( activityDef )+ ) )+
cnt12 = 0
while True: #loop12
alt12 = 2
LA12_0 = self.input.LA(1)
if (LA12_0 == BRANCH) :
alt12 = 1
if alt12 == 1:
# src/SavedFSM/BuildFSM.g:141:3: ^( BRANCH ( activityDef )+ )
pass
self.match(self.input, BRANCH, self.FOLLOW_BRANCH_in_activityDef280)
#action start
self.memory.append('enter choice branch and save the current state')
self.current_fsm.move_current_state(self.current_fsm.choice_start_state[-1])
#action end
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:146:4: ( activityDef )+
cnt11 = 0
while True: #loop11
alt11 = 2
LA11_0 = self.input.LA(1)
if ((RESV <= LA11_0 <= SEND) or (RECLABEL <= LA11_0 <= PARALLEL) or LA11_0 == GLOBAL_ESCAPE or LA11_0 == 49 or (51 <= LA11_0 <= 52)) :
alt11 = 1
if alt11 == 1:
# src/SavedFSM/BuildFSM.g:146:4: activityDef
pass
self._state.following.append(self.FOLLOW_activityDef_in_activityDef286)
self.activityDef()
self._state.following.pop()
else:
if cnt11 >= 1:
break #loop11
eee = EarlyExitException(11, self.input)
raise eee
cnt11 += 1
self.match(self.input, UP, None)
#action start
self.memory.append('exit choice branch and set the current state to the end state for the choice')
self.current_fsm.fsm.add_transition(self.current_fsm.fsm.EMPTY_TRANSITION, self.current_fsm.get_current_state(), self.current_fsm.choice_end_state[-1])
#action end
else:
if cnt12 >= 1:
break #loop12
eee = EarlyExitException(12, self.input)
raise eee
cnt12 += 1
self.match(self.input, UP, None)
#action start
self.memory.append('set the current state to be equal to the end state for the choice')
self.current_fsm.move_current_state(self.current_fsm.choice_end_state[-1])
self.current_fsm.choice_end_state.pop()
self.current_fsm.choice_start_state.pop()
#action end
elif alt19 == 4:
# src/SavedFSM/BuildFSM.g:158:4: ^( PARALLEL ( ^( BRANCH ( activityDef )+ ) )+ )
pass
self.match(self.input, PARALLEL, self.FOLLOW_PARALLEL_in_activityDef305)
#action start
self.memory.append('enter parallel state')
self.parallel_root = self.current_fsm
#action end
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:163:2: ( ^( BRANCH ( activityDef )+ ) )+
cnt14 = 0
while True: #loop14
alt14 = 2
LA14_0 = self.input.LA(1)
if (LA14_0 == BRANCH) :
alt14 = 1
if alt14 == 1:
# src/SavedFSM/BuildFSM.g:163:3: ^( BRANCH ( activityDef )+ )
pass
self.match(self.input, BRANCH, self.FOLLOW_BRANCH_in_activityDef322)
#action start
self.memory.append('enter parallel branch')
nested_fsm = FSMBuilderState(self.parallel_root)
self.parallel_root.fsm.add_fsm_to_memory(self.parallel_root.get_current_state(), nested_fsm.fsm)
self.current_fsm = nested_fsm
#action end
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:170:2: ( activityDef )+
cnt13 = 0
while True: #loop13
alt13 = 2
LA13_0 = self.input.LA(1)
if ((RESV <= LA13_0 <= SEND) or (RECLABEL <= LA13_0 <= PARALLEL) or LA13_0 == GLOBAL_ESCAPE or LA13_0 == 49 or (51 <= LA13_0 <= 52)) :
alt13 = 1
if alt13 == 1:
# src/SavedFSM/BuildFSM.g:170:3: activityDef
pass
self._state.following.append(self.FOLLOW_activityDef_in_activityDef331)
self.activityDef()
self._state.following.pop()
else:
if cnt13 >= 1:
break #loop13
eee = EarlyExitException(13, self.input)
raise eee
cnt13 += 1
self.match(self.input, UP, None)
#action start
self.memory.append('exit parallel branch')
self.current_fsm.add_transition(self.current_fsm.fsm.END_PAR_TRANSITION)
#action end
else:
if cnt14 >= 1:
break #loop14
eee = EarlyExitException(14, self.input)
raise eee
cnt14 += 1
self.match(self.input, UP, None)
#action start
self.memory.append('exit parallel state')
self.current_fsm = self.current_fsm.parent
self.current_fsm.fsm.add_transition(self.current_fsm.fsm.EMPTY_TRANSITION, self.current_fsm.get_current_state(), self.current_fsm.move_current_state())
#action end
elif alt19 == 5:
# src/SavedFSM/BuildFSM.g:180:3: ^( 'repeat' ( ^( BRANCH ( activityDef )+ ) ) )
pass
self.match(self.input, 51, self.FOLLOW_51_in_activityDef352)
#action start
self.memory.append('enter repeat state')
#action end
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:182:2: ( ^( BRANCH ( activityDef )+ ) )
# src/SavedFSM/BuildFSM.g:182:3: ^( BRANCH ( activityDef )+ )
pass
self.match(self.input, BRANCH, self.FOLLOW_BRANCH_in_activityDef361)
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:182:12: ( activityDef )+
cnt15 = 0
while True: #loop15
alt15 = 2
LA15_0 = self.input.LA(1)
if ((RESV <= LA15_0 <= SEND) or (RECLABEL <= LA15_0 <= PARALLEL) or LA15_0 == GLOBAL_ESCAPE or LA15_0 == 49 or (51 <= LA15_0 <= 52)) :
alt15 = 1
if alt15 == 1:
# src/SavedFSM/BuildFSM.g:182:13: activityDef
pass
self._state.following.append(self.FOLLOW_activityDef_in_activityDef364)
self.activityDef()
self._state.following.pop()
#action start
self.memory.append('repeat statement')
#action end
else:
if cnt15 >= 1:
break #loop15
eee = EarlyExitException(15, self.input)
raise eee
cnt15 += 1
self.match(self.input, UP, None)
self.match(self.input, UP, None)
#action start
self.memory.append('exit repeat state')
#action end
elif alt19 == 6:
# src/SavedFSM/BuildFSM.g:185:10: ^( 'rec' label= ID ( ^( BRANCH ( activityDef )+ ) ) )
pass
self.match(self.input, 52, self.FOLLOW_52_in_activityDef388)
self.match(self.input, DOWN, None)
label=self.match(self.input, ID, self.FOLLOW_ID_in_activityDef394)
#action start
self.memory.append('enter rec state ' + label.text + str(self.current_fsm.get_current_state()))
self.current_fsm.recursions_states.setdefault(label.text, (self.current_fsm.format_state_name(self.current_fsm.get_current_state()), True))
#action end
# src/SavedFSM/BuildFSM.g:189:2: ( ^( BRANCH ( activityDef )+ ) )
# src/SavedFSM/BuildFSM.g:189:3: ^( BRANCH ( activityDef )+ )
pass
self.match(self.input, BRANCH, self.FOLLOW_BRANCH_in_activityDef410)
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:189:12: ( activityDef )+
cnt16 = 0
while True: #loop16
alt16 = 2
LA16_0 = self.input.LA(1)
if ((RESV <= LA16_0 <= SEND) or (RECLABEL <= LA16_0 <= PARALLEL) or LA16_0 == GLOBAL_ESCAPE or LA16_0 == 49 or (51 <= LA16_0 <= 52)) :
alt16 = 1
if alt16 == 1:
# src/SavedFSM/BuildFSM.g:189:13: activityDef
pass
self._state.following.append(self.FOLLOW_activityDef_in_activityDef413)
self.activityDef()
self._state.following.pop()
#action start
self.memory.append('rec statement')
#action end
else:
if cnt16 >= 1:
break #loop16
eee = EarlyExitException(16, self.input)
raise eee
cnt16 += 1
self.match(self.input, UP, None)
self.match(self.input, UP, None)
#action start
(start_state, isActive) = self.current_fsm.recursions_states.get(label.text)
self.memory.append('exit rec state ' + label.text + 'start_state' + str(start_state))
self.current_fsm.recursions_states[label.text] = (start_state, False)
#action end
elif alt19 == 7:
# src/SavedFSM/BuildFSM.g:196:3: ^( 'RECLABEL' labelID= ID )
pass
self.match(self.input, RECLABEL, self.FOLLOW_RECLABEL_in_activityDef431)
self.match(self.input, DOWN, None)
labelID=self.match(self.input, ID, self.FOLLOW_ID_in_activityDef438)
#action start
(start_rec_state, isActive) = self.current_fsm.recursions_states.get(labelID.text)
self.memory.append('rec label:' + labelID.text + 'starts from state:' + str(start_rec_state))
if isActive:
self.current_fsm.fsm.add_transition(self.current_fsm.fsm.EMPTY_TRANSITION,
self.current_fsm.format_state_name(self.current_fsm.get_current_state()),
start_rec_state)
# Generate unreachable state for the choice construct
self.current_fsm.move_current_state()
else: raise ExceptionFSM('Calling a recusrion label from a recursion that is not valid')
#action end
self.match(self.input, UP, None)
#action start
# Do not need it for no
#self.current_fsm.fsm.copy_transitions(self.current_fsm.recursions_states[labelID.text], self.current_fsm.get_current_state())
#action end
elif alt19 == 8:
# src/SavedFSM/BuildFSM.g:213:3: ^( GLOBAL_ESCAPE ( ^( 'do' ( ( activityDef )+ ) ) ) ( ^( 'interrupt' roleName ( ( activityDef )+ ) ) ) )
pass
self.match(self.input, GLOBAL_ESCAPE, self.FOLLOW_GLOBAL_ESCAPE_in_activityDef452)
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:214:5: ( ^( 'do' ( ( activityDef )+ ) ) )
# src/SavedFSM/BuildFSM.g:214:6: ^( 'do' ( ( activityDef )+ ) )
pass
self.match(self.input, 58, self.FOLLOW_58_in_activityDef461)
self.match(self.input, DOWN, None)
# src/SavedFSM/BuildFSM.g:214:13: ( ( activityDef )+ )
# src/SavedFSM/BuildFSM.g:214:14: ( activityDef )+
pass
# src/SavedFSM/BuildFSM.g:214:14: ( activityDef )+
cnt17 = 0
while True: #loop17
alt17 = 2
LA17_0 = self.input.LA(1)
if ((RESV <= LA17_0 <= SEND) or (RECLABEL <= LA17_0 <= PARALLEL) or LA17_0 == GLOBAL_ESCAPE or LA17_0 == 49 or (51 <= LA17_0 <= 52)) :
alt17 = 1
if alt17 == 1:
# src/SavedFSM/BuildFSM.g:214:14: activityDef
pass
self._state.following.append(self.FOLLOW_activityDef_in_activityDef464)
self.activityDef()
self._state.following.pop()
else:
if cnt17 >= 1:
break #loop17
eee = EarlyExitException(17, self.input)
raise eee
cnt17 += 1
#action start
self.current_fsm.fsm.final_state = self.current_fsm.get_current_state()
#action end
self.match(self.input, UP, None)
# src/SavedFSM/BuildFSM.g:215:5: ( ^( 'interrupt' roleName ( ( activityDef )+ ) ) )
# src/SavedFSM/BuildFSM.g:215:6: ^( 'interrupt' roleName ( ( activityDef )+ ) )
pass
self.match(self.input, 59, self.FOLLOW_59_in_activityDef477)
self.match(self.input, DOWN, None)
self._state.following.append(self.FOLLOW_roleName_in_activityDef479)
self.roleName()
self._state.following.pop()
#action start
self.memory.append('before setting interrupt_transition to True')
self.current_fsm.interrupt_start_state = self.current_fsm.move_current_state()
self.current_fsm.set_interrupt_transition = True
#action end
# src/SavedFSM/BuildFSM.g:218:56: ( ( activityDef )+ )
# src/SavedFSM/BuildFSM.g:218:57: ( activityDef )+
pass
# src/SavedFSM/BuildFSM.g:218:57: ( activityDef )+
cnt18 = 0
while True: #loop18
alt18 = 2
LA18_0 = self.input.LA(1)
if ((RESV <= LA18_0 <= SEND) or (RECLABEL <= LA18_0 <= PARALLEL) or LA18_0 == GLOBAL_ESCAPE or LA18_0 == 49 or (51 <= LA18_0 <= 52)) :
alt18 = 1
if alt18 == 1:
# src/SavedFSM/BuildFSM.g:218:57: activityDef
pass
self._state.following.append(self.FOLLOW_activityDef_in_activityDef488)
self.activityDef()
self._state.following.pop()
else:
if cnt18 >= 1:
break #loop18
eee = EarlyExitException(18, self.input)
raise eee
cnt18 += 1
self.match(self.input, UP, None)
self.match(self.input, UP, None)
except RecognitionException, re:
self.reportError(re)
self.recover(self.input, re)
finally:
pass
return
def parallelAtSeller1_events():
events = []
events.append(TransitionFactory.create(LocalType.RESV, 'Order', 'Buyer'))
events.append(TransitionFactory.create(LocalType.SEND, 'Confirmation', 'Buyer'))
events.append(TransitionFactory.create(LocalType.SEND, 'OK', 'Buyer'))
return events
def recAndChoice_events():
events = []
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(TransitionFactory.create(LocalType.RESV, 'Stop', 'Seller'))
return events
def recAndChoice_events():
events = []
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(TransitionFactory.create(LocalType.SEND, 'Order', 'Seller'))
events.append(TransitionFactory.create(LocalType.RESV, 'Stop', 'Seller'))
return events
