Package com.tonic.analysis.query.eval

Class EvidenceCollector

java.lang.Object

com.tonic.analysis.query.eval.EvidenceCollector

public final class EvidenceCollector
extends Object

Accumulates the bytecode locations that satisfied a query, so results stay navigable.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	EvidenceCollector.Hit	A single matched location.

Constructor Summary

Constructors

Constructor	Description
EvidenceCollector()

Method Summary

Modifier and Type	Method	Description
List<EvidenceCollector.Hit>	hits()
boolean	isEmpty()
void	record(String className, String methodName, String descriptor, int pc, String label)	Appends a matched location.

Methods inherited from class java.lang.Object

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

Constructor Detail

EvidenceCollector

public EvidenceCollector()

Method Detail

record

public void record(String className,
                   String methodName,
                   String descriptor,
                   int pc,
                   String label)

Appends a matched location.

Parameters:

className - the owning class name

methodName - the owning method name

descriptor - the owning method descriptor

pc - the bytecode offset of the matching instruction

label - a description of what matched

hits

public List<EvidenceCollector.Hit> hits()

Returns:

the live hit list, in record order

isEmpty

public boolean isEmpty()

Returns:

whether nothing has been recorded