public static enum DPNGraphvizConverter.DecorationKey extends java.lang.Enum<DPNGraphvizConverter.DecorationKey>
Enum Constant and Description |
---|
EXTRALABEL |
FILLCOLOR |
LINECOLOR |
LINESTYLE |
LINEWIDTH |
TEXTCOLOR |
Modifier and Type | Method and Description |
---|---|
abstract void |
decorate(org.processmining.plugins.graphviz.dot.DotElement node,
java.lang.Object value) |
static DPNGraphvizConverter.DecorationKey |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static DPNGraphvizConverter.DecorationKey[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final DPNGraphvizConverter.DecorationKey EXTRALABEL
public static final DPNGraphvizConverter.DecorationKey TEXTCOLOR
public static final DPNGraphvizConverter.DecorationKey LINECOLOR
public static final DPNGraphvizConverter.DecorationKey LINEWIDTH
public static final DPNGraphvizConverter.DecorationKey FILLCOLOR
public static final DPNGraphvizConverter.DecorationKey LINESTYLE
public static DPNGraphvizConverter.DecorationKey[] values()
for (DPNGraphvizConverter.DecorationKey c : DPNGraphvizConverter.DecorationKey.values()) System.out.println(c);
public static DPNGraphvizConverter.DecorationKey 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 nullpublic abstract void decorate(org.processmining.plugins.graphviz.dot.DotElement node, java.lang.Object value)