Uses of Class
escjava.AnnotationHandler

Packages that use AnnotationHandler

escjava
escjava.reader
escjava.tc

Uses of AnnotationHandler in escjava

Fields in escjava declared as AnnotationHandler

private AnnotationHandler

Main.annotationHandler

Constructors in escjava with parameters of type AnnotationHandler

RefinementSequence(java.util.ArrayList refinements, CompilationUnit javacu, AnnotationHandler ah)

Uses of AnnotationHandler in escjava.reader

Fields in escjava.reader declared as AnnotationHandler

protected AnnotationHandler

RefinementCachedReader.annotationHandler The underlying Reader whose results we are caching.

Methods in escjava.reader with parameters of type AnnotationHandler

static StandardTypeReader	EscTypeReader.make(Query Q, Query sourceQ, PragmaParser pragmaP, AnnotationHandler ah) Create a EscTypeReader from a non-null query engine and a pragma parser.
static StandardTypeReader	EscTypeReader.make(java.lang.String classPath, java.lang.String srcPath, PragmaParser pragmaP, AnnotationHandler ah) Create a EscTypeReader using a given Java classpath for our underlying Java file space and a given pragma parser.

Uses of AnnotationHandler in escjava.tc

Fields in escjava.tc declared as AnnotationHandler

AnnotationHandler

FlowInsensitiveChecks.annotationHandler