: Class CommandHandler

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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)