All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class edu.mit.ai.psg.jevaES.TerminateEvalException 

java.lang.Object
   |
   +----java.lang.Throwable
           |
           +----java.lang.Exception
                   |
                   +----edu.mit.ai.psg.jevaES.EvalException
                           |
                           +----edu.mit.ai.psg.jevaES.TerminateEvalException
public class TerminateEvalException
extends EvalException
Exception used to wrap an error during evaluation, terminating evaluation. Used to wrap errors noticed during evaluation which are designated "compile time" errors in JavaLangSpec1.0.; also used to wrap internal errors thrown by the evaluator. In contrast, ThrowException is used to wrap throwables that are generated by the correctly running program.

Author:
CarlManning, caroma@ai.mit.edu
Copyright (c) 1997 Massachusetts Institute of Technology
See Also:
ThrowException

Variable Index

o error
o node

Method Index

o toString()

Variables

o node 
 public SimpleNode node
o error 
 public Throwable error

Methods

o toString 
 public String toString()
Overrides:
toString in class Throwable 
All Packages  Class Hierarchy  This Package  Previous  Next  Index