Class 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.