org.mindswap.pellet.exceptions
Class NotUnfoldableException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by org.mindswap.pellet.exceptions.TBoxException
              extended by org.mindswap.pellet.exceptions.NotUnfoldableException
All Implemented Interfaces:
java.io.Serializable

public class NotUnfoldableException
extends TBoxException

See Also:
Serialized Form

Constructor Summary
NotUnfoldableException()
           
NotUnfoldableException(aterm.ATerm term)
           
NotUnfoldableException(aterm.ATerm term, java.lang.String e)
           
NotUnfoldableException(java.lang.String e)
           
 
Method Summary
 void addTerm(aterm.ATerm term)
           
 void setOffender(aterm.ATerm term)
           
 java.lang.String toString()
           
 
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
 

Constructor Detail

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)
Method Detail

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.