|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectcom.evelopers.unimod.contract.CoreContract
Converts model elements into String and vice versa
| Method Summary | |
static CoreContract |
create()
|
protected static Action |
decodeAction(java.util.Iterator i,
java.lang.String action)
|
static Action |
decodeAction(State s,
java.lang.String action)
|
static Event |
decodeEvent(java.lang.String e)
|
static Action |
decodeInputAction(Transition t,
java.lang.String action)
|
static Action |
decodeOutputAction(Transition t,
java.lang.String action)
|
static State |
decodeState(StateMachine sm,
java.lang.String s)
|
static StateMachine |
decodeStateMachine(Model model,
java.lang.String stateMachine)
|
static Transition |
decodeTransition(StateMachine sm,
java.lang.String s)
|
static java.lang.String |
encode(Action a)
|
static java.lang.String |
encode(Event e)
|
static java.lang.String |
encode(State s)
|
static java.lang.String |
encode(StateMachine sm)
|
static java.lang.String |
encode(Transition t)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
public static CoreContract create()
public static Event decodeEvent(java.lang.String e)
public static java.lang.String encode(Event e)
public static java.lang.String encode(Transition t)
public static Transition decodeTransition(StateMachine sm,
java.lang.String s)
public static java.lang.String encode(State s)
public static State decodeState(StateMachine sm,
java.lang.String s)
public static java.lang.String encode(StateMachine sm)
public static StateMachine decodeStateMachine(Model model,
java.lang.String stateMachine)
public static java.lang.String encode(Action a)
public static Action decodeAction(State s,
java.lang.String action)
public static Action decodeInputAction(Transition t,
java.lang.String action)
public static Action decodeOutputAction(Transition t,
java.lang.String action)
protected static Action decodeAction(java.util.Iterator i,
java.lang.String action)
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||