from branch: mod to check if exceptions must be verified or not...

diff --git a/weaver/src/org/aspectj/weaver/ShadowMunger.java b/weaver/src/org/aspectj/weaver/ShadowMunger.java
index 9425cd6fdf622675cc633e7c9a8f239e4ff1f4ed..4ff34b89dd29d220c88b068fec63ad71a68cd22c 100644 (file)
--- a/weaver/src/org/aspectj/weaver/ShadowMunger.java
+++ b/weaver/src/org/aspectj/weaver/ShadowMunger.java
@@ -16,7 +16,6 @@ package org.aspectj.weaver;
 import java.util.Collection;
 
 import org.aspectj.asm.AsmManager;
-import org.aspectj.asm.internal.ProgramElement;
 import org.aspectj.bridge.ISourceLocation;
 import org.aspectj.util.PartialOrder;
 import org.aspectj.weaver.patterns.PerClause;
@@ -119,4 +118,12 @@ public abstract class ShadowMunger implements PartialOrder.PartialComparable, IH
         *          might be thrown by this munger
         */
        public abstract Collection getThrownExceptions();
+
+    /**
+     * Does the munger has to check that its exception are accepted by the shadow ?
+     * ATAJ: It s not the case for @AJ around advice f.e. that can throw Throwable, even if the advised
+     * method does not throw any exceptions. 
+     * @return true if munger has to check that its exceptions can be throwned based on the shadow
+     */
+    public abstract boolean mustCheckExceptions();
 }