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:
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


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