Package daikon
Class DaikonSimple.SimpleProcessor
- Object
-
- FileIO.Processor
-
- SimpleProcessor
-
- Enclosing class:
- DaikonSimple
public static class DaikonSimple.SimpleProcessor extends FileIO.Processor
The SimpleProcessor class processes each sample in the dtrace file.
-
-
Constructor Summary
Constructors Constructor Description SimpleProcessor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
process_sample(PptMap all_ppts, PptTopLevel ppt, ValueTuple vt, @Nullable 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 FileIO.Processor
process_comment, process_comparability, process_decl, process_decl_version, process_eof, process_error, process_input_language, process_list_implementors, process_null, process_truncated
-
-
-
-
Constructor Detail
-
SimpleProcessor
public SimpleProcessor()
-
-
Method Detail
-
process_sample
public void process_sample(PptMap all_ppts, PptTopLevel ppt, ValueTuple vt, @Nullable 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 classFileIO.Processor
- See Also:
FileIO.process_sample(PptMap, PptTopLevel, ValueTuple, Integer)
-
-