Package daikon.tools.runtimechecker
Class InstrumentHandler
- Object
-
- CommandHandler
-
- InstrumentHandler
-
public class InstrumentHandler extends CommandHandler
Instruments a file to check invariant violations at run time. Violated invariants are stored in a list in daikon.tools.runtimechecker.Runtime. The control flow of the class remains unchanged from the original.
-
-
Field Summary
Fields Modifier and Type Field Description static Logger
debug
protected static int
maxInvariantsPP
-
Constructor Summary
Constructors Constructor Description InstrumentHandler()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
handle(String[] args)
boolean
handles(String command)
-
Methods inherited from class CommandHandler
usageMessage
-
-
-
-
Field Detail
-
maxInvariantsPP
protected static int maxInvariantsPP
-
-
Constructor Detail
-
InstrumentHandler
public InstrumentHandler()
-
-
Method Detail
-
handles
public boolean handles(String command)
- Overrides:
handles
in classCommandHandler
-
handle
public boolean handle(String[] args)
- Overrides:
handle
in classCommandHandler
-
-