Class TSCopyVisitor<S1,​I1,​T1,​S2,​I2,​T2,​SP2,​TP2>

  • All Implemented Interfaces:
    TSTraversalVisitor<S1,​I1,​T1,​S2>

    public class TSCopyVisitor<S1,​I1,​T1,​S2,​I2,​T2,​SP2,​TP2>
    extends Object
    implements TSTraversalVisitor<S1,​I1,​T1,​S2>
    • Method Detail

      • processInitial

        public TSTraversalAction processInitial​(S1 initialState,
                                                Holder<S2> holder)
        Description copied from interface: TSTraversalVisitor
        Called when the initial states of the transition system are processed.
        Specified by:
        processInitial in interface TSTraversalVisitor<S1,​I1,​T1,​S2>
        Parameters:
        initialState - the state that is processed
        holder - a writable reference whose (node-specific) data is passed to the corresponding methods during traversal
        Returns:
        the action to perform
      • processTransition

        public TSTraversalAction processTransition​(S1 srcState,
                                                   S2 source2,
                                                   I1 input,
                                                   T1 transition,
                                                   S1 tgtState,
                                                   Holder<S2> tgtHolder)
        Description copied from interface: TSTraversalVisitor
        Called when an edge is processed.
        Specified by:
        processTransition in interface TSTraversalVisitor<S1,​I1,​T1,​S2>
        Parameters:
        srcState - the source state
        source2 - the user data associated with the source state
        input - the input that is being processed
        transition - the transition that is being processed
        tgtState - the target state
        tgtHolder - a writable reference to provide user data that should be associated with the target state
        Returns:
        the action to perform