declaring interface methods should work as it does in interface and Bugzilla Bug 45676 AspectJ enhanced code can not be used with plain old java anymo and Bugzilla Bug 43972 Static crosscutting makes interfaces unusable for javactags/v_preCompileLoopAlteration
@@ -20,6 +20,7 @@ import org.aspectj.ajdt.internal.compiler.ast.PointcutDeclaration; | |||
import org.aspectj.ajdt.internal.compiler.ast.Proceed; | |||
import org.aspectj.ajdt.internal.compiler.lookup.EclipseFactory; | |||
import org.aspectj.util.FuzzyBoolean; | |||
import org.aspectj.weaver.AjcMemberMaker; | |||
import org.aspectj.weaver.ConcreteTypeMunger; | |||
import org.aspectj.weaver.ResolvedMember; | |||
import org.aspectj.weaver.ResolvedTypeX; | |||
@@ -49,7 +50,7 @@ import org.eclipse.jdt.core.compiler.CharOperation; | |||
public class AjProblemReporter extends ProblemReporter { | |||
private static final boolean DUMP_STACK = false; | |||
public EclipseFactory world; | |||
public EclipseFactory factory; | |||
public AjProblemReporter( | |||
IErrorHandlingPolicy policy, | |||
@@ -64,17 +65,17 @@ public class AjProblemReporter extends ProblemReporter { | |||
TypeBinding exceptionType, | |||
ASTNode location) | |||
{ | |||
if (!world.getWorld().getDeclareSoft().isEmpty()) { | |||
Shadow callSite = world.makeShadow(location, referenceContext); | |||
Shadow enclosingExec = world.makeShadow(referenceContext); | |||
if (!factory.getWorld().getDeclareSoft().isEmpty()) { | |||
Shadow callSite = factory.makeShadow(location, referenceContext); | |||
Shadow enclosingExec = factory.makeShadow(referenceContext); | |||
// System.err.println("about to show error for unhandled exception: " + new String(exceptionType.sourceName()) + | |||
// " at " + location + " in " + referenceContext); | |||
for (Iterator i = world.getWorld().getDeclareSoft().iterator(); i.hasNext(); ) { | |||
for (Iterator i = factory.getWorld().getDeclareSoft().iterator(); i.hasNext(); ) { | |||
DeclareSoft d = (DeclareSoft)i.next(); | |||
// We need the exceptionType to match the type in the declare soft statement | |||
// This means it must either be the same type or a subtype | |||
ResolvedTypeX throwException = world.fromEclipse((ReferenceBinding)exceptionType); | |||
ResolvedTypeX throwException = factory.fromEclipse((ReferenceBinding)exceptionType); | |||
FuzzyBoolean isExceptionTypeOrSubtype = | |||
d.getException().matchesInstanceof(throwException); | |||
if (!isExceptionTypeOrSubtype.alwaysTrue() ) continue; | |||
@@ -140,16 +141,22 @@ public class AjProblemReporter extends ProblemReporter { | |||
return; | |||
} | |||
// if we implemented this method by an inter-type declaration, then there is no error | |||
//??? be sure this is always right | |||
ResolvedTypeX onTypeX = world.fromEclipse(type); //abstractMethod.declaringClass); | |||
ResolvedTypeX onTypeX = factory.fromEclipse(type); //abstractMethod.declaringClass); | |||
for (Iterator i = onTypeX.getInterTypeMungers().iterator(); i.hasNext(); ) { | |||
ConcreteTypeMunger m = (ConcreteTypeMunger)i.next(); | |||
if (m.matches(onTypeX)) { | |||
ResolvedMember sig = m.getSignature(); | |||
if (Modifier.isPublic(sig.getModifiers()) && !Modifier.isAbstract(sig.getModifiers())) { | |||
if (ResolvedTypeX.matches(sig, world.makeResolvedMember(abstractMethod))) { | |||
if (!Modifier.isAbstract(sig.getModifiers())) { | |||
if (ResolvedTypeX | |||
.matches( | |||
AjcMemberMaker.interMethod( | |||
sig, | |||
m.getAspectType(), | |||
sig.getDeclaringType().isInterface( | |||
factory.getWorld())), | |||
EclipseFactory.makeResolvedMember(abstractMethod))) { | |||
return; | |||
} | |||
} |
@@ -366,7 +366,7 @@ public class AjBuildManager { | |||
// ew.setLint(bcelWorld.getLint()); | |||
// ew.setXnoInline(buildConfig.isXnoInline()); | |||
le.factory = factory; | |||
pr.world = factory; | |||
pr.factory = factory; | |||
le.factory.buildManager = this; | |||
compiler.lookupEnvironment = le; |
@@ -6971,4 +6971,118 @@ | |||
</compile> | |||
<run class="AfterThrowingCtor"/> | |||
</ajc-test> | |||
<ajc-test dir="bugs/abstractMethods" pr="49784" | |||
title="Introduced abstract method on abstract class not implemented by subtype"> | |||
<compile files="abstractClass/C.java" | |||
aspectpath="abstractClass/jars/AandB.jar"> | |||
<message kind="error" line="1"/> | |||
</compile> | |||
</ajc-test> | |||
<ajc-test dir="bugs/abstractMethods" pr="49784" | |||
title="Introduced abstract method on interface not implemented by subtype (weave altogether)"> | |||
<compile files="interface/C.java,interface/A.java,interface/B.java" /> | |||
<run class="C"/> | |||
</ajc-test> | |||
<ajc-test dir="bugs/abstractMethods" pr="49784" | |||
title="Introduced abstract method on interface not implemented by subtype (injars)"> | |||
<compile files="interface/C.java,interface/jars/AandB.jar"> | |||
<message kind="error" line="1"/> | |||
</compile> | |||
</ajc-test> | |||
<ajc-test dir="bugs/abstractMethods" pr="49784" | |||
title="Introduced abstract method on interface not implemented by subtype (aspectpath)"> | |||
<compile files="interface/C.java" | |||
aspectpath="interface/jars/AandB.jar" /> | |||
<run class="C"/> | |||
</ajc-test> | |||
<ajc-test dir="bugs/abstractMethods" pr="49784" | |||
title="Introduced abstract method on abstract class not implemented by subtype (single source file)"> | |||
<compile files="singlesource/C.java"> | |||
<message kind="error" line="9"/> | |||
</compile> | |||
</ajc-test> | |||
<ajc-test dir="bugs/abstractMethods" pr="49784" | |||
title="Introduced abstract method on abstract class with introduced concrete method (single source file)"> | |||
<compile files="singlesource/C1.java"/> | |||
<run class="C1"/> | |||
</ajc-test> | |||
<ajc-test dir="bugs/abstractMethods" pr="49784" | |||
title="Introduced abstract method on abstract class with existing concrete method (single source file)"> | |||
<compile files="singlesource/C2.java"/> | |||
<run class="C2"/> | |||
</ajc-test> | |||
<ajc-test dir="bugs/interAbstract" | |||
pr="49784" | |||
title="aspect declares interface method (no modifiers)"> | |||
<compile files="InterfaceMethodDeclarationNone.java" > | |||
<message kind="error" line="32" text="requires a body" /> | |||
</compile> | |||
</ajc-test> | |||
<ajc-test dir="bugs/interAbstract" | |||
pr="49784" | |||
title="aspect declares interface method (abstract)"> | |||
<compile files="InterfaceMethodDeclarationAbstract.java"> | |||
<message kind="error" line="40" text="must implement" /> | |||
</compile> | |||
</ajc-test> | |||
<ajc-test dir="bugs/interAbstract" | |||
pr="49784" | |||
comment="working in 1.1.1 - keep with others?" | |||
title="aspect declares interface method (public abstract)"> | |||
<compile files="InterfaceMethodDeclarationFull.java" /> | |||
<run class="InterfaceMethodDeclarationFull"/> | |||
</ajc-test> | |||
<ajc-test dir="bugs/interfaceDefinition" | |||
pr="43972" | |||
title="Use class implementing interface via aspect (not woven together)"> | |||
<compile | |||
files="pack/DefineInterface.java, | |||
pack/InterfaceDefinition.java, | |||
pack/MyInterface.java"/> | |||
<run class="pack.InterfaceDefinition"/> | |||
<compile | |||
includeClassesDir="true" | |||
files="Main.java"> | |||
<message kind="error" line="3"/> | |||
</compile> | |||
</ajc-test> | |||
<ajc-test dir="bugs/interfaceDefinition" | |||
pr="43972" | |||
title="Use class implementing interface via aspect (weave all together)"> | |||
<compile | |||
files="pack/DefineInterface.java, | |||
pack/InterfaceDefinition.java, | |||
pack/MyInterface.java, | |||
Main.java"/> | |||
<run class="pack.InterfaceDefinition"/> | |||
<run class="Main"/> | |||
</ajc-test> | |||
<ajc-test dir="bugs/interfaceDefinition" | |||
pr="43972" | |||
title="Use class implementing interface via aspect (only one implementer)"> | |||
<compile | |||
files="pack/DefineInterface.java, | |||
pack/InterfaceDefinition.java, | |||
pack/MyInterface.java"/> | |||
<run class="pack.InterfaceDefinition"/> | |||
<compile | |||
includeClassesDir="true" | |||
files="Main1.java"/> | |||
<run class="Main1"/> | |||
</ajc-test> | |||
</suite> |
@@ -119,20 +119,6 @@ | |||
</compile> | |||
<run class="org.aspectj.langlib.PointcutsCW"/> | |||
</ajc-test> | |||
<ajc-test dir="bugs/interfaceDefinition" | |||
pr="43972" | |||
title="Use class implementing interface via aspect"> | |||
<compile | |||
files="pack/DefineInterface.java, | |||
pack/InterfaceDefinition.java, | |||
pack/MyInterface.java"/> | |||
<run class="pack.InterfaceDefinition"/> | |||
<compile | |||
includeClassesDir="true" | |||
files="Main.java"/> | |||
<run class="Main"/> | |||
</ajc-test> | |||
<ajc-test dir="new" | |||
pr="42668" | |||
@@ -151,27 +137,7 @@ | |||
<run class="SubtypeConstructorCW"/> | |||
</ajc-test> | |||
<ajc-test dir="bugs/interAbstract" | |||
pr="49784" | |||
title="aspect declares interface method (no modifiers)"> | |||
<compile files="InterfaceMethodDeclarationNone.java" /> | |||
<run class="InterfaceMethodDeclarationNone"/> | |||
</ajc-test> | |||
<ajc-test dir="bugs/interAbstract" | |||
pr="49784" | |||
title="aspect declares interface method (abstract)"> | |||
<compile files="InterfaceMethodDeclarationAbstract.java" /> | |||
<run class="InterfaceMethodDeclarationAbstract"/> | |||
</ajc-test> | |||
<ajc-test dir="bugs/interAbstract" | |||
pr="49784" | |||
comment="working in 1.1.1 - keep with others?" | |||
title="aspect declares interface method (public abstract)"> | |||
<compile files="InterfaceMethodDeclarationFull.java" /> | |||
<run class="InterfaceMethodDeclarationFull"/> | |||
</ajc-test> | |||
</suite> |
@@ -0,0 +1,7 @@ | |||
abstract class B {} | |||
aspect A { | |||
abstract void B.m(); | |||
public static void doit(B b) { b.m(); } | |||
} |
@@ -0,0 +1,6 @@ | |||
public class C extends B { | |||
public static void main(String[] args) { | |||
A.doit(new C()); | |||
} | |||
} | |||
@@ -0,0 +1,5 @@ | |||
aspect A { | |||
void B.m(){} | |||
public static void doit(B b) { b.m(); } | |||
} |
@@ -0,0 +1 @@ | |||
interface B {} |
@@ -0,0 +1,5 @@ | |||
public class C implements B { | |||
public static void main(String[] args) { | |||
A.doit(new C()); | |||
} | |||
} |
@@ -0,0 +1,14 @@ | |||
abstract class B {} | |||
aspect A { | |||
abstract void B.m(); | |||
public static void doit(B b) { b.m(); } | |||
} | |||
public class C extends B { | |||
public static void main(String[] args) { | |||
A.doit(new C()); | |||
} | |||
} | |||
@@ -0,0 +1,17 @@ | |||
abstract class B {} | |||
aspect A { | |||
abstract void B.m(); | |||
public static void doit(B b) { b.m(); } | |||
} | |||
public class C1 extends B { | |||
public static void main(String[] args) { | |||
A.doit(new C1()); | |||
} | |||
} | |||
aspect A1 { | |||
void C1.m() {} | |||
} |
@@ -0,0 +1,16 @@ | |||
abstract class B {} | |||
aspect A { | |||
public abstract void B.m(); | |||
public static void doit(B b) { b.m(); } | |||
} | |||
public class C2 extends B { | |||
public static void main(String[] args) { | |||
A.doit(new C2()); | |||
} | |||
public void m() {} | |||
} | |||
@@ -0,0 +1,8 @@ | |||
/** @testcase PR#43972 Use class implementing interface via aspect */ | |||
public class Main1 { | |||
public static void main(String[] args) { | |||
pack.MyInterface i = new pack.InterfaceDefinition.C(); | |||
i.m(); | |||
} | |||
} |
@@ -7,7 +7,6 @@ public aspect DefineInterface { | |||
declare parents: InterfaceDefinition.C implements MyInterface; | |||
static { | |||
Tester.expectEvent("m()"); | |||
Tester.expectEvent("p()"); | |||
} | |||
public void MyInterface.m() { | |||
Tester.event("m()"); |