de.unisaarland.cs.st.jerify.verifier
Class TypestateException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              de.unisaarland.cs.st.jerify.verifier.TypestateException

All Implemented Interfaces:

java.io.Serializable

public class TypestateException
extends java.lang.RuntimeException

Exception used to signal internal Typestate Checker Error. Mainly for debug purpose (to fail hard on certain errors)

Author:

Daniel Wand (typestate@ewand.de)

See Also:

Serialized Form

Constructor Summary

TypestateException(java.lang.String s)

TypestateException(java.lang.String s, com.sun.source.tree.Tree position)

Method Summary

com.sun.source.tree.Tree	getPosition()
void	setPosition(com.sun.source.tree.Tree position)

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

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

Constructor Detail

TypestateException

public TypestateException(java.lang.String s)

TypestateException

public TypestateException(java.lang.String s,
                          com.sun.source.tree.Tree position)

Method Detail

setPosition

public void setPosition(com.sun.source.tree.Tree position)

getPosition

public com.sun.source.tree.Tree getPosition()