KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > ch > ethz > jvmai > ExceptionCatchJoinPoint


1 package ch.ethz.jvmai;
2
3 import java.util.*;
4 import java.io.*;
5 import ch.ethz.jvmai.JoinPoint;
6
7
8 /**
9  * ExceptionCatchJoinPoint represents a joinpoint denoting the chatching of an exception.
10  *
11  * @author Angela Nicoara
12  */
13 public interface ExceptionCatchJoinPoint extends CodeJoinPoint {
14
15     public static String JavaDoc KIND = JoinPointKinds.KIND_EXCEPTION_CATCH_ARGS_JP;
16
17     /**
18      * Specifies the exception object that has been thrown.
19      */
20     public Throwable JavaDoc getException();
21 }
22
Popular Tags