verf.mdverif.cg
Class MDVerifCGGlobalMode

java.lang.Object
  extended by verf.mdverif.cg.MDVerifCGGlobalMode

public class MDVerifCGGlobalMode
extends java.lang.Object

Class representing global mode.

Author:
Bc. Marek Gach

Constructor Summary
MDVerifCGGlobalMode()
           
MDVerifCGGlobalMode(java.util.Vector modes)
           
 
Method Summary
 void addMode(MDVerifMode mode)
           
 boolean containsMode(MDVerifMode srcmode)
           
 boolean equalsTo(MDVerifCGGlobalMode gmode)
           
 java.util.Vector getModes()
           
 java.lang.String getString()
          Output string representation of global mode.
 void printInfo()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MDVerifCGGlobalMode

public MDVerifCGGlobalMode()

MDVerifCGGlobalMode

public MDVerifCGGlobalMode(java.util.Vector modes)
Method Detail

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)