Module de.learnlib.api
Package de.learnlib.exception
package de.learnlib.exception
-
ClassDescriptionException that is thrown if a parallel batch is interrupted during processing.A mapped exception allows one to gracefully handle exceptions thrown, e.g., during a
SUL's step methodby providing information about the output symbol that should be emitted instead and subsequent outputs.Unchecked exception class that can be used by implementors of aSULto wrap any exceptions that occur during theSUL.step(Object)methods.