Package daikon.tools

Class InvariantChecker.InvariantCheckProcessor

Object

FileIO.Processor

InvariantCheckProcessor

Enclosing class:

InvariantChecker

public static class InvariantChecker.InvariantCheckProcessor
extends FileIO.Processor

Constructor Summary

Constructors

Constructor	Description
InvariantCheckProcessor()

Method Summary

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 and issuing an error if any invariant is falsified or weakened.

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

Methods inherited from class Object

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

Constructor Detail

InvariantCheckProcessor

public InvariantCheckProcessor()

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 checking it against each existing invariant and issuing an error if any invariant is falsified or weakened.

Overrides:

process_sample in class FileIO.Processor

See Also:

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