daikon.tools
Class InvariantChecker.InvariantCheckProcessor

Object
  FileIO.Processor
      InvariantChecker.InvariantCheckProcessor

Enclosing class:

InvariantChecker

public static class InvariantChecker.InvariantCheckProcessor
extends FileIO.Processor

Constructor Summary

InvariantChecker.InvariantCheckProcessor()

Method Summary

void	process_sample(PptMap all_ppts, PptTopLevel ppt, ValueTuple vt, Integer nonce) process the sample by checking it against each existing invariant and issuing an error if any invariant is falsified or weakened.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InvariantChecker.InvariantCheckProcessor

public InvariantChecker.InvariantCheckProcessor()

Method Detail

process_sample

public void process_sample(PptMap all_ppts,
                           PptTopLevel ppt,
                           ValueTuple vt,
                           Integer nonce)

process the sample by checking it against each existing invariant and issuing an error if any invariant is falsified or weakened.

Overrides:

process_sample in class FileIO.Processor