checks
Class DecListFailure

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--checks.CheckException
                    |
                    +--checks.DecListFailure

All Implemented Interfaces:

java.io.Serializable

public class DecListFailure

extends CheckException

See Also:

Serialized Form

Fields inherited from class checks.CheckException

nachricht

Constructor Summary

DecListFailure(Declaration d, java.lang.String aString)

Method Summary

Declaration

get_Declaration()

Methods inherited from class checks.CheckException

getMessage

Methods inherited from class java.lang.Throwable

fillInStackTrace, getLocalizedMessage, printStackTrace, printStackTrace, printStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DecListFailure

public DecListFailure(Declaration d,
                      java.lang.String aString)

Method Detail

get_Declaration

public Declaration get_Declaration()