Package daikon

Class FileIO.Processor

Object

Processor

Direct Known Subclasses:

DaikonSimple.SimpleProcessor, InvariantChecker.InvariantCheckProcessor, ReadTrace.CollectDataProcessor

Enclosing class:

FileIO

public static class FileIO.Processor
extends Object

A Processor is used to read a dtrace file. A Processor defines callbacks for each record type in a dtrace file. As each record is read from a dtrace file, the corresponding callback is called.

to use a Processor, pass it to FileIO.read_data_trace_files(Collection, PptMap, FileIO.Processor, boolean). read_data_trace_files will call process_sample(PptMap,PptTopLevel,ValueTuple,Integer) once for every sample in the dtrace file, and will call other callbacks for other records in the dtrace file.

For an example of how to create and use a Processor, see ReadTrace.

See Also:

FileIO.read_data_trace_files(Collection, PptMap, FileIO.Processor, boolean), ReadTrace

Constructor Summary

Constructors

Constructor	Description
Processor()

Method Summary

Modifier and Type	Method	Description
void	process_comment(String comment)	Process a comment.
void	process_comparability(String comparability)	Process a VarComparability declaration.
void	process_decl(PptMap all_ppts, PptTopLevel ppt)	Process a program point declaration record.
void	process_decl_version(String format)	Process a ppt decl format record.
void	process_eof()	Process indication of end of file.
void	process_error()	Process continuable error.
void	process_input_language(String language)	Process an input-language declaration.
void	process_list_implementors(String implementors)	Process a ListImplementors declaration.
void	process_null()	Process a null record (haven't read anything yet).
void	process_sample(PptMap all_ppts, PptTopLevel ppt, ValueTuple vt, @Nullable Integer nonce)	Process a data sample record.
void	process_truncated()	Process indication of exceeding file size limit.

Methods inherited from class Object

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

Constructor Detail

Processor

public Processor()

Method Detail

process_sample

@RequiresNonNull("FileIO.data_trace_state")
public void process_sample(PptMap all_ppts,
                           PptTopLevel ppt,
                           ValueTuple vt,
                           @Nullable Integer nonce)

Process a data sample record. This default implementation calls FileIO.process_sample(PptMap, PptTopLevel, ValueTuple, Integer).

See Also:

FileIO.process_sample(PptMap, PptTopLevel, ValueTuple, Integer)

process_decl

public void process_decl(PptMap all_ppts,
                         PptTopLevel ppt)

Process a program point declaration record.

process_decl_version

public void process_decl_version(String format)

Process a ppt decl format record.

process_comparability

public void process_comparability(String comparability)

Process a VarComparability declaration.

process_list_implementors

public void process_list_implementors(String implementors)

Process a ListImplementors declaration.

process_input_language

public void process_input_language(String language)

Process an input-language declaration.

process_null

public void process_null()

Process a null record (haven't read anything yet).

process_comment

public void process_comment(String comment)

Process a comment.

process_eof

public void process_eof()

Process indication of end of file.

process_truncated

public void process_truncated()

Process indication of exceeding file size limit.

process_error

public void process_error()

Process continuable error.