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

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
           
 


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

The ESC/Java2 Project Homepage