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.ast.ModelProgamModifierPragma

Packages that use ModelProgamModifierPragma
escjava.ast |

Uses of ModelProgamModifierPragma in escjava.ast

Methods in escjava.ast that return ModelProgamModifierPragma
`static ModelProgamModifierPragma` | `ModelProgamModifierPragma.make(int tag, int loc)`

Methods in escjava.ast with parameters of type ModelProgamModifierPragma
`abstract java.lang.Object` | `VisitorArgResult.visitModelProgamModifierPragma(ModelProgamModifierPragma x, java.lang.Object o)`
`abstract void` | `Visitor.visitModelProgamModifierPragma(ModelProgamModifierPragma x)`

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