Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

## 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 path, 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`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage