org.sat4j.reader
Class ParseFormatException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by 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
clone, equals, finalize, 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


Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.