de.cau.cs.kieler.krep.compiler.exceptions
Class TypeException
java.lang.Object
java.lang.Throwable
java.lang.Exception
de.cau.cs.kieler.core.KielerException
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

- (2010-02-05) review by cmot, msp, tam
TypeException
public TypeException(Expression ctxt,
String expct,
String act)
- Parameters:
ctxt
- Expression in which the error occursexpct
- type expected for this expressionact
- type inferred for the expression
toString
public String toString()
- Overrides:
toString
in class Throwable