Enum DFMEdgeType

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable<DFMEdgeType>

    public enum DFMEdgeType
    extends java.lang.Enum<DFMEdgeType>
    • Enum Constant Detail

      • modelBetweenActivities

        public static final DFMEdgeType modelBetweenActivities
        normal DFM-edge
      • modelSelfLoop

        public static final DFMEdgeType modelSelfLoop
        DFM-edge from an activity to itself, e.g. a_start, a_complete, a_start, a_complete
      • logMoveDuringActivity

        public static final DFMEdgeType logMoveDuringActivity
        log move edge during an activity, e.g. a_start, log move, a_complete
      • logMoveBetweenActivities

        public static final DFMEdgeType logMoveBetweenActivities
        log move edge in between two different activities, e.g. a_start, a_complete, log move, b_start, b_complete
      • logMoveOnSelfLoop

        public static final DFMEdgeType logMoveOnSelfLoop
        log move edge in between two executions of the same activity, e.g. a_start, a_complete, log move, a_start, a_complete
      • modelMove

        public static final DFMEdgeType modelMove
        model move edge
      • modelIntraActivity

        public static final DFMEdgeType modelIntraActivity
        edge from a point where a model move edge splits off to/from an activity
      • modelEmptyTraces

        public static final DFMEdgeType modelEmptyTraces
        Edge denoting the empty trace in a model
    • Method Detail

      • values

        public static DFMEdgeType[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
        for (DFMEdgeType c : DFMEdgeType.values())
            System.out.println(c);
        
        Returns:
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static DFMEdgeType valueOf​(java.lang.String name)
        Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
        Parameters:
        name - the name of the enum constant to be returned.
        Returns:
        the enum constant with the specified name
        Throws:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null
      • canHaveLogMoves

        public boolean canHaveLogMoves()
      • isLogMove

        public boolean isLogMove()
      • isFrequencyIncludesModelMoves

        public boolean isFrequencyIncludesModelMoves()
      • getCorrespondingLogMove

        public DFMEdgeType getCorrespondingLogMove()
      • getLogMovePosition

        public LogMovePosition getLogMovePosition​(int dfmNodeFrom,
                                                  int dfmNodeTo)