abc.soot.util
Class AspectJExceptionChecker

java.lang.Object
  ExceptionChecker
      abc.soot.util.AspectJExceptionChecker

public class AspectJExceptionChecker
extends ExceptionChecker

An AspectJ specific exception checker that understands information passed by the weaver about redirecting or suppressing exception checks

Author:

Ganesh Sittampalam

Constructor Summary

AspectJExceptionChecker(ExceptionCheckerErrorReporter r)

Method Summary

protected void	doCheck(Body b, java.util.Iterator it)
protected void	internalTransform(Body b, java.lang.String phaseName, java.util.Map options)
protected boolean	isExceptionCaught(Body b, Stmt s, RefType throwType)
protected boolean	isThrowDeclared(Body b, SootClass throwClass)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AspectJExceptionChecker

public AspectJExceptionChecker(ExceptionCheckerErrorReporter r)

Method Detail

internalTransform

protected void internalTransform(Body b,
                                 java.lang.String phaseName,
                                 java.util.Map options)

doCheck

protected void doCheck(Body b,
                       java.util.Iterator it)

isThrowDeclared

protected boolean isThrowDeclared(Body b,
                                  SootClass throwClass)

isExceptionCaught

protected boolean isExceptionCaught(Body b,
                                    Stmt s,
                                    RefType throwType)