verf.mdverif.model.entities
Class MDVerifTransCond
java.lang.Object
verf.mdverif.model.entities.MDVerifTransCond
public class MDVerifTransCond
- extends java.lang.Object
Transition condition of internal Modechart representation.
- Author:
- Bc. Marek Gach
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TYPE_NONE
public static final int TYPE_NONE
- See Also:
- Constant Field Values
TYPE_IN
public static final int TYPE_IN
- See Also:
- Constant Field Values
TYPE_OUT
public static final int TYPE_OUT
- See Also:
- Constant Field Values
TYPE_TRANS
public static final int TYPE_TRANS
- See Also:
- Constant Field Values
MDVerifTransCond
public MDVerifTransCond()
MDVerifTransCond
public MDVerifTransCond(int type)
MDVerifTransCond
public MDVerifTransCond(MDVerifMode mode,
int type)
MDVerifTransCond
public MDVerifTransCond(MDVerifTrans trans)
getType
public int getType()
printInfo
public void printInfo()
getTrans
public MDVerifTrans getTrans()
getMode
public MDVerifMode getMode()