1 package ch.ethz.inf.iks.jvmai.jvmdi; 2 3 import java.util.*; 4 import java.io.*; 5 import ch.ethz.jvmai.JoinPoint; 6 import ch.ethz.jvmai.ExceptionCatchJoinPoint; 7 import ch.ethz.jvmai.JoinPointKinds; 8 9 10 15 public class ExceptionCatchJoinPointImpl extends CodeJoinPointImpl implements ExceptionCatchJoinPoint,JoinPointKinds { 16 17 protected Throwable exception; 18 19 protected ExceptionCatchJoinPointImpl(ControlFlow cf, JoinPointContext ctx) { 20 super(cf,ctx); 21 target = null; 22 } 23 24 27 public Throwable getException() { 28 return exception; 29 } 30 31 public String getKind() { 32 return ExceptionCatchJoinPoint.KIND; 33 } 34 35 public int getMask() { 36 return MASK_CODE_JP | MASK_EXCEPTION_CATCH_ARGS_JP; 37 } 38 39 } 40 | Popular Tags |