edu.rice.cs.dynamicjava.interpreter
Class CheckerException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          edu.rice.cs.dynamicjava.interpreter.InterpreterException
              edu.rice.cs.dynamicjava.interpreter.CheckerException

All Implemented Interfaces:

Serializable, SourceInfo.Wrapper

public class CheckerException
extends InterpreterException
implements SourceInfo.Wrapper

See Also:

Serialized Form

Field Summary

static Lambda<ExecutionError,CheckerException>

FACTORY

Constructor Summary

CheckerException(ExecutionError cause)

Method Summary

SourceInfo	getSourceInfo()
void	printUserMessage(PrintWriter out)

Methods inherited from class edu.rice.cs.dynamicjava.interpreter.InterpreterException

getUserMessage, printUserMessage

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

FACTORY

public static final Lambda<ExecutionError,CheckerException> FACTORY

Constructor Detail

CheckerException

public CheckerException(ExecutionError cause)

Method Detail

printUserMessage

public void printUserMessage(PrintWriter out)

Specified by:

printUserMessage in class InterpreterException

getSourceInfo

public SourceInfo getSourceInfo()

Specified by:

getSourceInfo in interface SourceInfo.Wrapper