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

1 files changed, 8 insertions, 1 deletions

diff --git a/weaver/src/org/aspectj/weaver/ShadowMunger.java b/weaver/src/org/aspectj/weaver/ShadowMunger.java
index 9425cd6fd..4ff34b89d 100644
--- 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();
 }