public String getArgumentList(ExpandedActorClass xpac, Transition t) { if (t instanceof InitialTransition) // actually is InitialTransition return ""; TransitionChain chain = xpac.getChain(t); if (!(chain.getTransition() instanceof TriggeredTransition)) return ""; Trigger trigger = ((TriggeredTransition) chain.getTransition()).getTriggers().get(0); MessageFromIf mif = trigger.getMsgFromIfPairs().get(0); return getTypedArgumentList(mif.getMessage()); }
public String getExecuteChain(ExpandedActorClass ac, TransitionChain tc) { LanguageTransitionChainVisitor tcv = new LanguageTransitionChainVisitor(ac); AbstractGenerator.getInjector().injectMembers(tcv); tcv.init(tc); return tc.genExecuteChain(tcv); }
public static String getChainId(TransitionChain tc) { return "CHAIN_" + RoomNameProvider.getFullPath(tc.getTransition()); }