daikon
Class DaikonSimple.SimpleProcessor

Object
  FileIO.Processor
      DaikonSimple.SimpleProcessor

Enclosing class:

DaikonSimple

public static class DaikonSimple.SimpleProcessor
extends FileIO.Processor

The SimpleProcessor class processes each sample in the dtrace file.

Constructor Summary

DaikonSimple.SimpleProcessor()

Method Summary

void	process_sample(PptMap all_ppts, PptTopLevel ppt, ValueTuple vt, Integer nonce) Process the sample by checking it against each existing invariant at the program point and removing the invariant from the list of possibles if any invariant is falsified.

Methods inherited from class Object

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

Constructor Detail

DaikonSimple.SimpleProcessor

public DaikonSimple.SimpleProcessor()

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 at the program point and removing the invariant from the list of possibles if any invariant is falsified.

Overrides:

process_sample in class FileIO.Processor