verf.mdverif.cg
Class MDVerifCGGlobalMode
java.lang.Object
verf.mdverif.cg.MDVerifCGGlobalMode
public class MDVerifCGGlobalMode
- extends java.lang.Object
Class representing global mode.
- Author:
- Bc. Marek Gach
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MDVerifCGGlobalMode
public MDVerifCGGlobalMode()
MDVerifCGGlobalMode
public MDVerifCGGlobalMode(java.util.Vector modes)
addMode
public void addMode(MDVerifMode mode)
printInfo
public void printInfo()
getString
public java.lang.String getString()
- Output string representation of global mode. Strictly follows formal
definition and only "leaf modes" are outputed.
- Returns:
- String representation of global mode.
getModes
public java.util.Vector getModes()
containsMode
public boolean containsMode(MDVerifMode srcmode)
equalsTo
public boolean equalsTo(MDVerifCGGlobalMode gmode)