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()