edu.princeton.toy.lang
public class TException extends java.lang.Exception
Constructor and Description |
---|
TException(TExceptionType type)
Constructs a new TException object with the given type.
|
Modifier and Type | Method and Description |
---|---|
TExceptionType |
getType()
Returns the type of this exception.
|
public TException(TExceptionType type)
public TExceptionType getType()