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());
}
