public enum DFMEdgeType extends java.lang.Enum<DFMEdgeType>
Enum Constant and Description |
---|
logMoveBetweenActivities
log move edge in between two different activities, e.g.
|
logMoveDuringActivity
log move edge during an activity, e.g.
|
logMoveOnSelfLoop
log move edge in between two executions of the same activity, e.g.
|
modelBetweenActivities
normal DFM-edge
|
modelEmptyTraces
Edge denoting the empty trace in a model
|
modelIntraActivity
edge from a point where a model move edge splits off to/from an activity
|
modelMove
model move edge
|
modelSelfLoop
DFM-edge from an activity to itself, e.g.
|
Modifier and Type | Method and Description |
---|---|
boolean |
canHaveLogMoves() |
DFMEdgeType |
getCorrespondingLogMove() |
LogMovePosition |
getLogMovePosition(int dfmNodeFrom,
int dfmNodeTo) |
boolean |
isFrequencyIncludesModelMoves() |
boolean |
isLogMove() |
static DFMEdgeType |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static DFMEdgeType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final DFMEdgeType modelBetweenActivities
public static final DFMEdgeType modelSelfLoop
public static final DFMEdgeType logMoveDuringActivity
public static final DFMEdgeType logMoveBetweenActivities
public static final DFMEdgeType logMoveOnSelfLoop
public static final DFMEdgeType modelMove
public static final DFMEdgeType modelIntraActivity
public static final DFMEdgeType modelEmptyTraces
public static DFMEdgeType[] values()
for (DFMEdgeType c : DFMEdgeType.values()) System.out.println(c);
public static DFMEdgeType 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 boolean canHaveLogMoves()
public boolean isLogMove()
public boolean isFrequencyIncludesModelMoves()
public DFMEdgeType getCorrespondingLogMove()
public LogMovePosition getLogMovePosition(int dfmNodeFrom, int dfmNodeTo)