Java RoomNameProviderの例

コード例 #1

ファイル: Extensions.java プロジェクト: hckkid/eTrice

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

コード例 #2

ファイル: Extensions.java プロジェクト: hckkid/eTrice

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

コード例 #3

ファイル: Extensions.java プロジェクト: hckkid/eTrice

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

コード例 #4

ファイル: Extensions.java プロジェクト: hckkid/eTrice

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