Class CommandHandler

java.lang.Object
  |
  +--CommandHandler

public class CommandHandler
extends java.lang.Object


Constructor Summary
CommandHandler(Program po, Program pn, Fault fa, java.util.LinkedList inst, SafetySpecification sp, Invariant invar)
           
 
Method Summary
 void error(java.lang.String s)
           
 void run()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CommandHandler

public CommandHandler(Program po,
                      Program pn,
                      Fault fa,
                      java.util.LinkedList inst,
                      SafetySpecification sp,
                      Invariant invar)
Method Detail

run

public void run()

error

public void error(java.lang.String s)