com.evelopers.unimod.contract
Class CoreContract
java.lang.Object
com.evelopers.unimod.contract.CoreContract
- public class CoreContract
- extends java.lang.Object
Converts model elements into String and vice versa
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
create
public static CoreContract create()
decodeEvent
public static Event decodeEvent(java.lang.String e)
encode
public static java.lang.String encode(Event e)
encode
public static java.lang.String encode(Transition t)
decodeTransition
public static Transition decodeTransition(StateMachine sm,
java.lang.String s)
encode
public static java.lang.String encode(State s)
decodeState
public static State decodeState(StateMachine sm,
java.lang.String s)
encode
public static java.lang.String encode(StateMachine sm)
decodeStateMachine
public static StateMachine decodeStateMachine(Model model,
java.lang.String stateMachine)
encode
public static java.lang.String encode(Action a)
decodeAction
public static Action decodeAction(State s,
java.lang.String action)
decodeInputAction
public static Action decodeInputAction(Transition t,
java.lang.String action)
decodeOutputAction
public static Action decodeOutputAction(Transition t,
java.lang.String action)
decodeAction
protected static Action decodeAction(java.util.Iterator i,
java.lang.String action)