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

escjava
Class AnnotationHandler.CheckPurity

java.lang.Object
  extended byescjava.AnnotationHandler.CheckPurity
Enclosing class:
AnnotationHandler

public static class AnnotationHandler.CheckPurity
extends java.lang.Object


Constructor Summary
AnnotationHandler.CheckPurity()
           
 
Method Summary
 void visitNode(ASTNode x, AnnotationHandler.Context cc)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AnnotationHandler.CheckPurity

public AnnotationHandler.CheckPurity()
Method Detail

visitNode

public void visitNode(ASTNode x,
                      AnnotationHandler.Context cc)

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