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
javafe.ast.TypeDeclElemPragma

Packages that use TypeDeclElemPragma
escjava.ast |
escjava.tc |
javafe.ast |
javafe.tc |

Uses of TypeDeclElemPragma in escjava.ast

Subclasses of TypeDeclElemPragma in escjava.ast
`class` | `DependsPragma`
`class` | `ExprDeclPragma`
`class` | `GhostDeclPragma`
`class` | `IdExprDeclPragma`
`class` | `ModelConstructorDeclPragma`
`class` | `ModelDeclPragma`
`class` | `ModelMethodDeclPragma`
`class` | `ModelTypePragma`
`class` | `NamedExprDeclPragma`
`class` | `StillDeferredDeclPragma`

Methods in escjava.ast with parameters of type TypeDeclElemPragma
`void` | `EscPrettyPrint.print(java.io.OutputStream o, int ind, TypeDeclElemPragma tp)`

Uses of TypeDeclElemPragma in escjava.tc

Methods in escjava.tc with parameters of type TypeDeclElemPragma
`protected void` | `FlowInsensitiveChecks.checkTypeDeclElemPragma(TypeDeclElemPragma e)`

Uses of TypeDeclElemPragma in javafe.ast

Methods in javafe.ast with parameters of type TypeDeclElemPragma
`java.lang.Object` | `VisitorArgResult.visitTypeDeclElemPragma(TypeDeclElemPragma x, java.lang.Object o)`
`void` | `Visitor.visitTypeDeclElemPragma(TypeDeclElemPragma x)`
`void` | `StandardPrettyPrint.print(java.io.OutputStream o, int ind, TypeDeclElemPragma tp)`
`abstract void` | `PrettyPrint.print(java.io.OutputStream o, int ind, TypeDeclElemPragma tp)`
`void` | `DelegatingPrettyPrint.print(java.io.OutputStream o, int ind, TypeDeclElemPragma tp)`
`void` | `DefaultVisitor.visitTypeDeclElemPragma(TypeDeclElemPragma x)`

Uses of TypeDeclElemPragma in javafe.tc

Methods in javafe.tc with parameters of type TypeDeclElemPragma
`protected void` | `FlowInsensitiveChecks.checkTypeDeclElemPragma(TypeDeclElemPragma e)`

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