|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<NodeShape>
vanted.petrinetelements.NodeShape
public enum NodeShape
The Enum NodeShape.
Enum Constant Summary | |
---|---|
Place
The Place. |
|
Transition
The Transition. |
Method Summary | |
---|---|
java.lang.String |
getTxt()
Gets the txt. |
static boolean |
isPlace(java.lang.String str)
Checks if a string belongs to a place. |
static boolean |
isTransition(java.lang.String str)
Checks if a string belongs to a transition. |
static NodeShape |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static NodeShape[] |
values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Methods inherited from class java.lang.Enum |
---|
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final NodeShape Transition
public static final NodeShape Place
Method Detail |
---|
public static NodeShape[] values()
for (NodeShape c : NodeShape.values()) System.out.println(c);
public static NodeShape 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 java.lang.String getTxt()
public static boolean isPlace(java.lang.String str)
str
- the str
public static boolean isTransition(java.lang.String str)
str
- the str
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |