|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Object java.lang.Enum<Attr.AttrType> edu.mit.csail.sdg.alloy4compiler.ast.Attr.AttrType
public static enum Attr.AttrType
This class contains all possible attribute types.
Enum Constant Summary | |
---|---|
ABSTRACT
ABSTRACT; if a PrimSig is abstract, it is equal to the union of its subsigs. |
|
BUILTIN
BUILTIN; every builtin Sig has the BUILTIN attribute, and every non-builtin Sig does not. |
|
ENUM
ENUM; if a PrimSig has the ENUM attribute, it is toplevel and abstract and has only singleton children. |
|
EXACT
EXACT; if a SubsetSig is exact, it is equal to the union of its parents. |
|
LONE
LONE; if a Sig is lone, it has at most one atom. |
|
META
META; if a Sig has the META attribute, it means it is a META atom corresponding to some real signature or field. |
|
ONE
ONE; if a Sig is one, it has exactly one atom. |
|
PRIVATE
PRIVATE; if a Sig has the PRIVATE attribute, it means its label is private within the same module. |
|
SOME
SOME; if a Sig is some, it has at least one atom. |
|
SUBSET
SUBSET; every SubsetSig has the SUBSET attribute set, and the SUBSIG attribute unset. |
|
SUBSIG
SUBSIG; every PrimSig (including the builtin sigs) has the SUBSIG attribute set, and the SUBSET attribute unset. |
|
WHERE
WHERE; if a Sig has a WHERE attribute, it defines where the sig was declared in the user model. |
Method Summary | |
---|---|
Pos |
find(Attr... attributes)
Returns the combined position for all Attribute of this type in the given array; null entries in the collection are ignored; if none are found we return null. |
Attr |
make(Pos pos)
Construct an attribute of this type with this position; if pos==null, it is treated as Pos.UNKNOWN. |
Attr |
makenull(Pos pos)
Construct an attribute of this type with this position; if pos==null, this method returns null. |
java.lang.String |
toString()
|
static Attr.AttrType |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static Attr.AttrType[] |
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 Attr.AttrType WHERE
public static final Attr.AttrType ABSTRACT
public static final Attr.AttrType SOME
public static final Attr.AttrType ONE
public static final Attr.AttrType LONE
public static final Attr.AttrType EXACT
public static final Attr.AttrType SUBSIG
public static final Attr.AttrType SUBSET
public static final Attr.AttrType META
public static final Attr.AttrType PRIVATE
public static final Attr.AttrType BUILTIN
public static final Attr.AttrType ENUM
Method Detail |
---|
public static Attr.AttrType[] values()
for (Attr.AttrType c : Attr.AttrType.values()) System.out.println(c);
public static Attr.AttrType valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.
java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified name
java.lang.NullPointerException
- if the argument is nullpublic final Attr make(Pos pos)
public final Attr makenull(Pos pos)
public Pos find(Attr... attributes)
public final java.lang.String toString()
toString
in class java.lang.Enum<Attr.AttrType>
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |