verf.mdverif.model
Class MDVerifModeManager

java.lang.Object
  extended by verf.mdverif.model.MDVerifModeManager

public class MDVerifModeManager
extends java.lang.Object

Author:
Marek

Constructor Summary
MDVerifModeManager()
           
 
Method Summary
 MDVerifMode getModeByName(java.lang.String name)
           
 MDVerifMode getRootMode()
           
 void printInfo()
           
 void setRootMode(MDVerifMode root)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MDVerifModeManager

public MDVerifModeManager()
Method Detail

getRootMode

public MDVerifMode getRootMode()

setRootMode

public void setRootMode(MDVerifMode root)

printInfo

public void printInfo()

getModeByName

public MDVerifMode getModeByName(java.lang.String name)