public enum WFTreeBondType extends Enum<WFTreeBondType>
| Enum Constant and Description |
|---|
LOOP |
PLACE_BORDERED |
TRANSITION_BORDERED |
UNDEFINED |
| Modifier and Type | Method and Description |
|---|---|
static WFTreeBondType |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static WFTreeBondType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final WFTreeBondType PLACE_BORDERED
public static final WFTreeBondType TRANSITION_BORDERED
public static final WFTreeBondType LOOP
public static final WFTreeBondType UNDEFINED
public static WFTreeBondType[] values()
for (WFTreeBondType c : WFTreeBondType.values()) System.out.println(c);
public static WFTreeBondType valueOf(String name)
name - the name of the enum constant to be returned.IllegalArgumentException - if this enum type has no constant
with the specified nameNullPointerException - if the argument is nullCopyright © 2017. All rights reserved.