org.sat4j.reader

Class ParseFormatException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.sat4j.reader.ParseFormatException

All Implemented Interfaces:

Serializable

public class ParseFormatException
extends Exception

Exception launched when there is a problem during parsing.

Author:

leberre

See Also:

Reader, Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static String	PARSING_ERROR

Constructor Summary

Constructors

Constructor and Description
ParseFormatException() Constructor for ParseFormatException.
ParseFormatException(String message) Constructor for ParseFormatException.
ParseFormatException(String message, Throwable cause) Constructor for ParseFormatException.
ParseFormatException(Throwable cause) Constructor for ParseFormatException.

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

PARSING_ERROR

public static final String PARSING_ERROR

See Also:

Constant Field Values

Constructor Detail

ParseFormatException

public ParseFormatException()

Constructor for ParseFormatException.

ParseFormatException

public ParseFormatException(String message)

Constructor for ParseFormatException.

Parameters:

message - the error message

ParseFormatException

public ParseFormatException(String message,
                    Throwable cause)

Constructor for ParseFormatException.

Parameters:

message - the error message

cause - the cause of the exception

ParseFormatException

public ParseFormatException(Throwable cause)

Constructor for ParseFormatException.

Parameters:

cause - the cause of the exception