verf.mdverif.model.entities
Class MDVerifTransCond

java.lang.Object
  extended by verf.mdverif.model.entities.MDVerifTransCond

public class MDVerifTransCond
extends java.lang.Object

Transition condition of internal Modechart representation.

Author:
Bc. Marek Gach

Field Summary
static int TYPE_IN
           
static int TYPE_NONE
           
static int TYPE_OUT
           
static int TYPE_TRANS
           
 
Constructor Summary
MDVerifTransCond()
           
MDVerifTransCond(int type)
           
MDVerifTransCond(MDVerifMode mode, int type)
           
MDVerifTransCond(MDVerifTrans trans)
           
 
Method Summary
 MDVerifMode getMode()
           
 MDVerifTrans getTrans()
           
 int getType()
           
 void printInfo()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

MDVerifTransCond

public MDVerifTransCond()

MDVerifTransCond

public MDVerifTransCond(int type)

MDVerifTransCond

public MDVerifTransCond(MDVerifMode mode,
                        int type)

MDVerifTransCond

public MDVerifTransCond(MDVerifTrans trans)
Method Detail

getType

public int getType()

printInfo

public void printInfo()

getTrans

public MDVerifTrans getTrans()

getMode

public MDVerifMode getMode()