Package edu.harvard.seas.pl.abcdatalog.ast.validation

Class DatalogValidationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidationException

All Implemented Interfaces:

Serializable

public class DatalogValidationException
extends Exception

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
DatalogValidationException()
DatalogValidationException(String message)
DatalogValidationException(String message, Throwable cause)
DatalogValidationException(String message, Throwable cause, boolean enableSuppression, boolean writableStackTrace)
DatalogValidationException(Throwable cause)

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

Constructor Details

DatalogValidationException

public DatalogValidationException()

DatalogValidationException

public DatalogValidationException(String message)

DatalogValidationException

public DatalogValidationException(Throwable cause)

DatalogValidationException

public DatalogValidationException(String message,
 Throwable cause)

DatalogValidationException

public DatalogValidationException(String message,
 Throwable cause,
 boolean enableSuppression,
 boolean writableStackTrace)