uk.ac.man.cs.rainbow
Class RainbowException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--uk.ac.man.cs.rainbow.RainbowException

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

Compiler.Exception, NAry.LengthMismatchException, NotUnifiable, ParseException, ParseException, RainbowThread.IllegalThreadTerminationException, RASMCode.Exception, RASMThread.Exception, Simulator.DeadlockedException, StateEngine.AlreadyInitialisedException, StateEngine.CannotBacktrack, TclFormatException, TypeException, WVMCException

public class RainbowException

extends Exception

Superclass of all Rainbow-related exceptions.

See Also:

Serialized Form

Constructor Summary

RainbowException(String s)

RainbowException(String s, Throwable detail)

Method Summary

Throwable	getDetail()
String	getMessage()
void	setAugment(String augment)
void	setDetail(Throwable detail)

Methods inherited from class java.lang.Throwable

fillInStackTrace, getLocalizedMessage, printStackTrace, printStackTrace, printStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

RainbowException

public RainbowException(String s)

RainbowException

public RainbowException(String s,
                        Throwable detail)

Method Detail

getMessage

public String getMessage()

Overrides:

getMessage in class Throwable

getDetail

public Throwable getDetail()

setDetail

public void setDetail(Throwable detail)

setAugment

public void setAugment(String augment)