verf.mdverif.model.entities
Class MDVerifMode

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

public class MDVerifMode
extends java.lang.Object

Mode of internal Modechart representation.

Author:
Bc. Marek Gach

Field Summary
static int TYPE_PAR
           
static int TYPE_SER
           
 
Constructor Summary
MDVerifMode()
           
MDVerifMode(java.lang.String name, int type, boolean initial)
           
MDVerifMode(java.lang.String name, int type, boolean initial, MDVerifMode parent)
           
 
Method Summary
 void addChild(MDVerifMode child)
           
 java.util.Vector getChildren()
           
 boolean getInitial()
           
 void getInitRootMode(java.util.Vector modes)
           
 MDVerifMode getModeByName(java.lang.String name)
           
 java.lang.String getName()
           
 MDVerifMode getParent()
           
 int getType()
           
 boolean isChild(MDVerifMode mode)
           
 void printInfo()
           
 void setInitial(boolean initial)
           
 void setName(java.lang.String name)
           
 void setParent(MDVerifMode parent)
           
 void setType(int type)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TYPE_SER

public static final int TYPE_SER
See Also:
Constant Field Values

TYPE_PAR

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

MDVerifMode

public MDVerifMode()

MDVerifMode

public MDVerifMode(java.lang.String name,
                   int type,
                   boolean initial)

MDVerifMode

public MDVerifMode(java.lang.String name,
                   int type,
                   boolean initial,
                   MDVerifMode parent)
Method Detail

getInitRootMode

public void getInitRootMode(java.util.Vector modes)

getModeByName

public MDVerifMode getModeByName(java.lang.String name)

printInfo

public void printInfo()

setType

public void setType(int type)

setName

public void setName(java.lang.String name)

setInitial

public void setInitial(boolean initial)

setParent

public void setParent(MDVerifMode parent)

getType

public int getType()

getName

public java.lang.String getName()

getInitial

public boolean getInitial()

getParent

public MDVerifMode getParent()

addChild

public void addChild(MDVerifMode child)

getChildren

public java.util.Vector getChildren()

isChild

public boolean isChild(MDVerifMode mode)