Java RoomNameProvider Examples

Example #1

File: Extensions.java Project: hckkid/eTrice

 public static String getStateId(State s) {
   if (s == null) return "STATE_" + RoomNameProvider.getStateName(s);
   else return "STATE_" + RoomNameProvider.getFullPath(s);
 }

Example #2

File: Extensions.java Project: hckkid/eTrice

 public static String getChainId(TransitionChain tc) {
   return "CHAIN_" + RoomNameProvider.getFullPath(tc.getTransition());
 }

Example #3

File: Extensions.java Project: hckkid/eTrice

 public static String getStatePathName(State s) {
   return RoomNameProvider.getFullPath(s);
 }

Example #4

File: Extensions.java Project: hckkid/eTrice

 public static String getActionCodeOperationName(Transition t) {
   return "action_" + RoomNameProvider.getFullPath(t);
 }