verf.mdverif.model.entities
Class MDVerifTrans

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

public class MDVerifTrans
extends java.lang.Object

Transition of internal Modechart representation.

Author:
Bc. Marek Gach

Field Summary
static int TYPE_TIME
           
static int TYPE_TRIG
           
 
Constructor Summary
MDVerifTrans()
           
MDVerifTrans(int type)
           
MDVerifTrans(int lb, int ub)
           
MDVerifTrans(int lb, int ub, MDVerifMode mode1, MDVerifMode mode2)
           
MDVerifTrans(java.util.Vector conditions)
           
MDVerifTrans(java.util.Vector conditions, MDVerifMode mode1, MDVerifMode mode2)
           
 
Method Summary
 void addCondition(MDVerifTransCond condition)
           
 java.util.Vector getConditions()
           
 int getLb()
           
 MDVerifMode getMode1()
           
 MDVerifMode getMode2()
           
 int getType()
           
 int getUb()
           
 void printInfo()
           
 void setMode1(MDVerifMode mode)
           
 void setMode2(MDVerifMode mode)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TYPE_TIME

public static final int TYPE_TIME
See Also:
Constant Field Values

TYPE_TRIG

public static final int TYPE_TRIG
See Also:
Constant Field Values
Constructor Detail

MDVerifTrans

public MDVerifTrans()

MDVerifTrans

public MDVerifTrans(int lb,
                    int ub)

MDVerifTrans

public MDVerifTrans(int lb,
                    int ub,
                    MDVerifMode mode1,
                    MDVerifMode mode2)

MDVerifTrans

public MDVerifTrans(int type)

MDVerifTrans

public MDVerifTrans(java.util.Vector conditions)

MDVerifTrans

public MDVerifTrans(java.util.Vector conditions,
                    MDVerifMode mode1,
                    MDVerifMode mode2)
Method Detail

printInfo

public void printInfo()

getMode1

public MDVerifMode getMode1()

getMode2

public MDVerifMode getMode2()

setMode1

public void setMode1(MDVerifMode mode)

setMode2

public void setMode2(MDVerifMode mode)

addCondition

public void addCondition(MDVerifTransCond condition)

getType

public int getType()

getConditions

public java.util.Vector getConditions()

getLb

public int getLb()

getUb

public int getUb()