Package de.uni_trier.wi2.procake.data.object.nest.utils

Interface NESTGraphIDManager

All Known Implementing Classes:
NESTGraphIDManagerImpl
public interface NESTGraphIDManager

  • Method Details

    • assignUniqueIds

      void assignUniqueIds()
      Ensures that the graph exclusively consists of graph items with unique ids.

    • assignUniqueNodeId

      <T extends NESTNodeObject> T assignUniqueNodeId(T node)
      Assigns the given node a new unique node id.
      Parameters:
      node -
      Returns:
      node with unique id

    • assignUniqueEdgeId

      <T extends NESTEdgeObject> T assignUniqueEdgeId(T edge)
      Assigns the given edge a new unique edge id.
      Parameters:
      edge -
      Returns:
      edge with unique id

    • hasUniqueIds

      boolean hasUniqueIds()
      Checks if the graph exclusively consists of graph items with valid and unique ids.
      Returns:
      true if all ids in the graph are valid and unique, false otherwise

    • hasValidId

      boolean hasValidId(NESTGraphItemObject item)
      Checks if the given graph item has a valid id with respect to the prefix.
      Parameters:
      item -
      Returns:
      true if the id is valid, false otherwise

    • getNewUniqueNodeId

      String getNewUniqueNodeId()
      Generates a new unique node id.
      Returns:
      unique node id

    • getNewUniqueTaskNodeId

      String getNewUniqueTaskNodeId()
      Generates a new unique task node id.
      Returns:
      unique task node id

    • getNewUniqueDataNodeId

      String getNewUniqueDataNodeId()
      Generates a new unique data node id.
      Returns:
      unique data node id

    • getNewUniqueSubworkflowNodeId

      String getNewUniqueSubworkflowNodeId()
      Generates a new unique subworkflow node id.
      Returns:
      unique subworkflow node id

    • getNewUniqueWorkflowNodeId

      String getNewUniqueWorkflowNodeId()
      Generates a new unique workflow node id.
      Returns:
      unique workflow node id

    • getNewUniqueEdgeId

      String getNewUniqueEdgeId()
      Generates a new unique edge id.
      Returns:
      unique edge id

    • getNewUniqueControlflowNodeIdPair

      Map.Entry<String,String> getNewUniqueControlflowNodeIdPair()
      Generates a pair of two new unique and corresponding ids for a controlflow start and end node.
      Returns:
      key-value-pair with a new unique start node id (key) and a new unique end node id (value)

    • getNewUniqueControlflowNodeId

      String getNewUniqueControlflowNodeId()
      Generates a new unique id for a controlflow node.
      Returns:
      unique controlflow node id

    • containsId

      boolean containsId(String id)
      Checks if the graph conatins a given id.
      Parameters:
      id -
      Returns:
      true if the id is contained, false otherwise

    • isUniqueId

      boolean isUniqueId(String id)
      Checks if the given id is unique.
      Parameters:
      id -
      Returns:
      true if the id is unique, false otherwise