`[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