Package openllet.core.datatypes.exceptions

Class UnrecognizedDatatypeException

java.lang.Object

java.lang.Throwable

java.lang.Exception

openllet.core.datatypes.exceptions.DatatypeReasonerException

openllet.core.datatypes.exceptions.UnrecognizedDatatypeException

All Implemented Interfaces:

java.io.Serializable

public class UnrecognizedDatatypeException
extends DatatypeReasonerException

Title: Unrecognized Datatype Exception

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Mike Smith

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
UnrecognizedDatatypeException(openllet.aterm.ATermAppl dt)

Method Summary

Modifier and Type	Method	Description
openllet.aterm.ATermAppl	getDatatype()

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

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

Constructor Detail

UnrecognizedDatatypeException

public UnrecognizedDatatypeException(openllet.aterm.ATermAppl dt)

Method Detail

getDatatype

public openllet.aterm.ATermAppl getDatatype()