ESC/Java2
© 2003,2004,2005,2006 David Cok and Joseph Kiniry
© 2005,2006 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

escjava.ast
Class Modifiers

java.lang.Object
  extended byjavafe.ast.Modifiers
      extended byescjava.ast.Modifiers

public class Modifiers
extends Modifiers


Field Summary
static int ACC_DESUGARED
          set if desugaring of routine specs is complete
static int ACC_HELPER
          helper method, model or not
static int ACC_MODEL
          model fields and methods
 
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

ACC_HELPER

public static final int ACC_HELPER
helper method, model or not

See Also:
Constant Field Values

ACC_MODEL

public static final int ACC_MODEL
model fields and methods

See Also:
Constant Field Values

ACC_DESUGARED

public static final int ACC_DESUGARED
set if desugaring of routine specs is complete

See Also:
Constant Field Values
Constructor Detail

Modifiers

public Modifiers()
Method Detail

isModel

public static boolean isModel(int modifiers)

isHelper

public static boolean isHelper(int modifiers)

toString

public static java.lang.String toString(int modifiers)

ESC/Java2
© 2003,2004,2005,2006 David Cok and Joseph Kiniry
© 2005,2006 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