public static String getStateId(State s) {
if (s == null) return "STATE_" + RoomNameProvider.getStateName(s);
else return "STATE_" + RoomNameProvider.getFullPath(s);
}
public static String getChainId(TransitionChain tc) {
return "CHAIN_" + RoomNameProvider.getFullPath(tc.getTransition());
}
public static String getStatePathName(State s) {
return RoomNameProvider.getFullPath(s);
}
public static String getActionCodeOperationName(Transition t) {
return "action_" + RoomNameProvider.getFullPath(t);
}