Class ParseException

java.lang.Object
java.lang.Throwable
java.lang.Exception
org.tweetyproject.preferences.io.ParseException
All Implemented Interfaces:
Serializable

public class ParseException extends Exception
This exception is thrown when parse errors are encountered. You can explicitly create objects of this exception type by calling the method generateParseException in the generated parser. You can modify this class to customize your error reporting mechanisms so long as you retain the public fields.
See Also: