[all packages]
[package ]
[class hierarchy]
[index]
public class SemanticError
(source file: SemanticError.java)
java.lang.Object
|
+----java.lang.Throwable
|
+----java.lang.Exception
|
+----java.lang.RuntimeException
|
+----SemanticError
The pure class interface.
public class SemanticError
extends RuntimeException
-
A class of semantic errors. This exception can only be raised by
finding the semantics of ill-typed terms.
- Author:
- Alan Jeffrey
- Version: v1.0 1998/06/02

SemanticError()
-

SemanticError
public SemanticError();
[all packages]
[package ]
[class hierarchy]
[index]
SemanticError.html