de.cau.cs.kieler.krep.compiler.exceptions
Class TypeException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by de.cau.cs.kieler.core.KielerException
              extended by de.cau.cs.kieler.krep.compiler.exceptions.TypeException
All Implemented Interfaces:
Serializable

public class TypeException
extends KielerException

Exceptions that is thrown for any error during type inference.

See Also:
Serialized Form
Rating yellow
(2010-02-05) review by cmot, msp, tam

Constructor Summary
TypeException(Expression ctxt, String expct, String act)
           
 
Method Summary
 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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TypeException

public TypeException(Expression ctxt,
                     String expct,
                     String act)
Parameters:
ctxt - Expression in which the error occurs
expct - type expected for this expression
act - type inferred for the expression
Method Detail

toString

public String toString()
Overrides:
toString in class Throwable