|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<Visibility>
jass.modern.Visibility
public enum Visibility
An enumeration type which is to define
the visibility of contract annotations.
In general, the visibility is analog to
the modifiers defined in chapter 6.6 of
the Java language specification. However,
in addition to public, protected,
package private,
and private
a type TARGET
exists which is
used to express that a specification
inherits the visibility of its target.
Invariant.visibility()
,
SpecCase.visibility()
Enum Constant Summary | |
---|---|
PACKAGE_PRIVATE
The package private modifier. |
|
PRIVATE
The private modifier. |
|
PROTECTED
The protected modifier. |
|
PUBLIC
The public modifier. |
|
TARGET
Inherits the visibility of its target. |
Method Summary | |
---|---|
private static boolean |
mask(int mask,
int flag)
|
static Visibility |
parseVisibility(int accessflag)
Returns the visibility which is encoded in the accessflag. |
static Visibility |
parseVisibility(Modifier modifier)
|
Modifier |
toModifier()
|
String |
toString()
|
static Visibility |
valueOf(String name)
Returns the enum constant of this type with the specified name. |
static Visibility[] |
values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Methods inherited from class java.lang.Enum |
---|
clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, valueOf |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final Visibility PUBLIC
public
modifier.
public static final Visibility PROTECTED
protected
modifier.
public static final Visibility PACKAGE_PRIVATE
package private
modifier.
public static final Visibility PRIVATE
private
modifier.
public static final Visibility TARGET
Method Detail |
---|
public static final Visibility[] values()
for(Visibility c : Visibility.values()) System.out.println(c);
public static Visibility valueOf(String name)
name
- the name of the enum constant to be returned.
IllegalArgumentException
- if this enum type has no constant
with the specified namepublic static Visibility parseVisibility(int accessflag)
http://java.sun.com/docs/books/vmspec/2nd-edition/html/ClassFile.doc.html#1513
for values of accessflag.
accessflag
-
TARGET
will never be returned, otherwise it is depended on the
accessflag.mask(int, int)
private static boolean mask(int mask, int flag)
public static Visibility parseVisibility(Modifier modifier)
public Modifier toModifier()
public String toString()
toString
in class Enum<Visibility>
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |