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

static String

PARSING_ERROR

Constructor Summary

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

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, 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