Class TransitionUtils


  • public class TransitionUtils
    extends java.lang.Object
    Utility functions that can be used over transitions
    • Constructor Detail

      • TransitionUtils

        public TransitionUtils()
    • Method Detail

      • mapLabelsIntoTransitions

        public static java.util.Map<java.lang.String,​Transition> mapLabelsIntoTransitions​(java.util.Set<Transition> transitions)
        Creates a mapping from the transition labels to the transition
        Parameters:
        transitions - : set of transitions for which the mapping is created
        Returns:
        map of labels to transitions
      • mapIdsIntoTransitions

        public static java.util.Map<java.lang.String,​Transition> mapIdsIntoTransitions​(java.util.Set<Transition> transitions)
        Creates a mapping from the transition id to the transition
        Parameters:
        transitions - : set of transitions for which the mapping is created
        Returns:
        map of ids to transitions
      • createVisibleTransitionsForGivenNames

        public static java.util.Set<Transition> createVisibleTransitionsForGivenNames​(java.lang.String[] transitionNames)
        Creates transitions for every transition name
        Parameters:
        transitionNames - : array of transition names for which transitions are created
        Returns:
        set of transitions