|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjavafe.ast.Modifiers
escjava.ast.Modifiers
This class adds some JML-specific modifiers to the usual Java set.
Field Summary | |
static int |
ACC_DESUGARED
|
static int |
ACC_HELPER
|
static int |
ACC_MODEL
|
Fields inherited from class javafe.ast.Modifiers |
ACC_ABSTRACT, ACC_FINAL, ACC_NATIVE, ACC_PRIVATE, ACC_PROTECTED, ACC_PUBLIC, ACC_STATIC, ACC_STRICT, ACC_SYNCHRONIZED, ACC_TRANSIENT, ACC_VOLATILE, ACCESS_MODIFIERS, NONE, SIZE_MODIFIER_BITSET |
Constructor Summary | |
Modifiers()
|
Method Summary | |
static boolean |
isHelper(int modifiers)
|
static boolean |
isModel(int modifiers)
|
static java.lang.String |
toString(int modifiers)
|
Methods inherited from class javafe.ast.Modifiers |
isAbstract, isFinal, isNative, isPackage, isPrivate, isProtected, isPublic, isStatic, isStrictFP, isSynchronized, isVolatile, name |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final int ACC_HELPER
public static final int ACC_MODEL
public static final int ACC_DESUGARED
Constructor Detail |
public Modifiers()
Method Detail |
public static boolean isModel(int modifiers)
public static boolean isHelper(int modifiers)
public static java.lang.String toString(int modifiers)
|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |