Package de.learnlib.exception

Class MappedException<O>

  • Type Parameters:
    O - output symbol type
    public final class MappedException<O>
extends Object
    A mapped exception allows one to gracefully handle exceptions thrown, e.g., during a SUL's step method by providing information about the output symbol that should be emitted instead and subsequent outputs.

    • Method Detail

      • ignoreAndContinue

        public static <O> MappedException<O> ignoreAndContinue​(O output)

      • repeatOutput

        public static <O> MappedException<O> repeatOutput​(O output)

      • repeatOutput

        public static <O> MappedException<O> repeatOutput​(O thisStepOutput,
                                                  O subsequentOutput)

      • getThisStepOutput

        public O getThisStepOutput()

      • getSubsequentStepsOutput

        public Optional<O> getSubsequentStepsOutput()