All Packages Class Hierarchy This Package Previous Next Index
Class espresso.util.TypeCheckError
java.lang.Object
|
+----java.lang.Throwable
|
+----java.lang.Exception
|
+----espresso.util.TypeCheckError
- public class TypeCheckError
- extends Exception
-
error_d
-
-
node_d
-
-
TypeCheckError(ErrorMsg)
-
-
TypeCheckError(SyntaxTreeNode)
- This constructor is deprecated.
-
toString()
-
error_d
ErrorMsg error_d
node_d
SyntaxTreeNode node_d
TypeCheckError
public TypeCheckError(SyntaxTreeNode node)
- This constructor is deprecated. From now on TypeCheckError must
be constructed using error messages.
TypeCheckError
public TypeCheckError(ErrorMsg error)
toString
public String toString()
- Overrides:
- toString in class Throwable
All Packages Class Hierarchy This Package Previous Next Index