| |
|
| java.lang.Object ch.ethz.prose.engine.JoinPointRequest ch.ethz.prose.engine.ExceptionThrowRequest
ExceptionThrowRequest | public class ExceptionThrowRequest extends JoinPointRequest implements JoinPointKinds(Code) | | Class ExceptionThrowRequest is a special kind of
JoinPointRequest which, when inserted into a
JoinPointManager will make the local virtual
machine to stop when it encounters an exception object beeing thrown
denoted by this request. A corresponding
ExceptionThrowEvent will be posted to the listeners
registered in the join point manager.
version: $Revision: 1.1.1.1 $ author: Philippe Schoch |
ExceptionThrowRequest | public ExceptionThrowRequest(Class cls, JoinPointManager o) throws ClassCastException(Code) | | Constructor.
Parameters: cls - Class of the thrown Exception. Parameters: o - Reference to the JoinPointManager to set and clear jvmai-watches. |
clearWatch | protected void clearWatch()(Code) | | |
getExceptionClass | public Class getExceptionClass()(Code) | | |
getMask | public int getMask()(Code) | | |
hashCode | public int hashCode()(Code) | | |
|
|
|