Package daikon.tools
Class ReadTrace.CollectDataProcessor
- Object
-
- FileIO.Processor
-
- CollectDataProcessor
-
- Enclosing class:
- ReadTrace
public static class ReadTrace.CollectDataProcessor extends FileIO.Processor
Populates thesamples
map with all the data read from the file. This is only reasonable for small trace files, since all the data will be retained in memory!
-
-
Field Summary
Fields Modifier and Type Field Description Map<PptTopLevel,List<ValueTuple>>
samples
-
Constructor Summary
Constructors Constructor Description CollectDataProcessor()
-
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 adding it to thesamples
map.-
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
-
-
-
-
Field Detail
-
samples
public Map<PptTopLevel,List<ValueTuple>> samples
-
-
Constructor Detail
-
CollectDataProcessor
public CollectDataProcessor()
-
-
Method Detail
-
process_sample
@RequiresNonNull("daikon.FileIO.data_trace_state") public void process_sample(PptMap all_ppts, PptTopLevel ppt, ValueTuple vt, @Nullable Integer nonce)
Process the sample, by adding it to thesamples
map.- Overrides:
process_sample
in classFileIO.Processor
- See Also:
FileIO.process_sample(PptMap, PptTopLevel, ValueTuple, Integer)
-
-