org.mindswap.pellet.exceptions
Class NotUnfoldableException
java.lang.Object
java.lang.Throwable
java.lang.Exception
org.mindswap.pellet.exceptions.TBoxException
org.mindswap.pellet.exceptions.NotUnfoldableException
- All Implemented Interfaces:
- java.io.Serializable
public class NotUnfoldableException
- extends TBoxException
- See Also:
- Serialized Form
Methods inherited from class java.lang.Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
NotUnfoldableException
public NotUnfoldableException()
NotUnfoldableException
public NotUnfoldableException(java.lang.String e)
NotUnfoldableException
public NotUnfoldableException(aterm.ATerm term)
NotUnfoldableException
public NotUnfoldableException(aterm.ATerm term,
java.lang.String e)
setOffender
public void setOffender(aterm.ATerm term)
addTerm
public void addTerm(aterm.ATerm term)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Throwable
Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.