public static enum ProcessTreeNodiser.NodeType extends java.lang.Enum<ProcessTreeNodiser.NodeType>
Enum Constant and Description |
---|
activity |
concurrent |
interleaving |
loop |
or |
sequence |
tau |
xor |
Modifier and Type | Method and Description |
---|---|
static ProcessTreeNodiser.NodeType |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ProcessTreeNodiser.NodeType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final ProcessTreeNodiser.NodeType activity
public static final ProcessTreeNodiser.NodeType tau
public static final ProcessTreeNodiser.NodeType xor
public static final ProcessTreeNodiser.NodeType sequence
public static final ProcessTreeNodiser.NodeType concurrent
public static final ProcessTreeNodiser.NodeType loop
public static final ProcessTreeNodiser.NodeType interleaving
public static final ProcessTreeNodiser.NodeType or
public static ProcessTreeNodiser.NodeType[] values()
for (ProcessTreeNodiser.NodeType c : ProcessTreeNodiser.NodeType.values()) System.out.println(c);
public static ProcessTreeNodiser.NodeType 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 namejava.lang.NullPointerException
- if the argument is null