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);
 }
Example #3
0
 public static String getChainId(TransitionChain tc) {
   return "CHAIN_" + RoomNameProvider.getFullPath(tc.getTransition());
 }