org.sat4j.reader
Class ParseFormatException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          org.sat4j.reader.ParseFormatException

All Implemented Interfaces:

java.io.Serializable

public class ParseFormatException
extends java.lang.Exception

Exception launched when there is a problem during parsing.

Author:

leberre

See Also:

Reader, Serialized Form

Constructor Summary

ParseFormatException()
Constructor for ParseFormatException.

ParseFormatException(java.lang.String message)
Constructor for ParseFormatException.

ParseFormatException(java.lang.String message, java.lang.Throwable cause)
Constructor for ParseFormatException.

ParseFormatException(java.lang.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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ParseFormatException

public ParseFormatException()

Constructor for ParseFormatException.

ParseFormatException

public ParseFormatException(java.lang.String message)

Constructor for ParseFormatException.

Parameters:

message - the error message

ParseFormatException

public ParseFormatException(java.lang.String message,
                            java.lang.Throwable cause)

Constructor for ParseFormatException.

Parameters:

message - the error message

cause - the cause of the exception

ParseFormatException

public ParseFormatException(java.lang.Throwable cause)

Constructor for ParseFormatException.

Parameters:

cause - the cause of the exception