[all packages] [package ] [class hierarchy] [index]

public class TypeError

(source file: TypeError.java)
java.lang.Object
   |
   +----java.lang.Throwable
           |
           +----java.lang.Exception
                   |
                   +----TypeError
The pure class interface. 
public class TypeError
  extends Exception
An exception which indicates a type error. This is raised when sugared syntax is typechecked and desugared.

Author:
Alan Jeffrey
Version: v1.0 1998/06/10

Constuctor Index

O TypeError(String)

Variables Index

O unknownVar

Constructors

O TypeError
public TypeError(String explanation);

Variables

O unknownVar
public static final TypeError unknownVar;

[all packages] [package ] [class hierarchy] [index]
TypeError.html