Module de.learnlib.driver
Package de.learnlib.driver

Class ExecutableInputSUL<I extends ExecutableInput<? extends O>,​O>

  • Type Parameters:
    I - input symbol type
    O - output symbol type
    All Implemented Interfaces:
    SUL<I,​O>
    public class ExecutableInputSUL<I extends ExecutableInput<? extends O>,​O>
extends Object
implements SUL<I,​O>
    A SUL that executes ExecutableInput symbols.

    • Constructor Detail

      • ExecutableInputSUL

        public ExecutableInputSUL()

    • Method Detail

      • pre

        public void pre()
        Description copied from interface: SUL
        setup SUL.
        Specified by:
        pre in interface SUL<I extends ExecutableInput<? extends O>,​O>

      • post

        public void post()
        Description copied from interface: SUL
        shut down SUL.
        Specified by:
        post in interface SUL<I extends ExecutableInput<? extends O>,​O>

      • step

        public O step​(I in)
        Description copied from interface: SUL
        make one step on the SUL.
        Specified by:
        step in interface SUL<I extends ExecutableInput<? extends O>,​O>
        Parameters:
        in - input to the SUL
        Returns:
        output of SUL

      • canFork

        public boolean canFork()
        Description copied from interface: SUL
        Returns whether this SUL is capable of forking.
        Specified by:
        canFork in interface SUL<I extends ExecutableInput<? extends O>,​O>
        Returns:
        true if this SUL can be forked, false otherwise
        See Also:
        SUL.fork()

      • fork

        public SUL<I,​O> fork()
        Description copied from interface: SUL
        Forks this SUL, if possible. The fork of a SUL is a copy which behaves exactly the same as this SUL. This method should always return a reseted SUL, regardless of whether this call is made between a call to SUL.pre() and SUL.post().

        If SUL.canFork() returns true, this method must return a non-null object, which should behave exactly like this SUL (in particular, it must be forkable as well). Otherwise, a UnsupportedOperationException must be thrown.

        Implementation note: if resetting a SUL changes the internal state of this object in a non-trivial way (e.g., incrementing a counter to ensure independent sessions), care must be taken that forks of this SUL manipulate the same internal state.

        Specified by:
        fork in interface SUL<I extends ExecutableInput<? extends O>,​O>
        Returns:
        a fork of this SUL.