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

Interface NESTGraphIDManager

    • Method Detail

      • 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