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()