<!-- we're not implementing this error check in 1.1 -->
<ajc-test dir="errors"
title="checking the contra-variant errors for typing of proceed"
- keywords="from-errors,knownLimitations">
+ keywords="from-errors,knownLimitation">
<compile files="BadAround.java">
<message kind="error" line="12"/>
<message kind="error" line="15"/>
<run class="AspectInIntroducedMethod"/>
</ajc-test>
+ <!-- This behavior is different from 1.0, but we might want to consider allowing it
+ Using the eclipse compiler it would be much easier to permit than forbid. -->
<ajc-test dir="new/introTypeMissing"
title="Introduced type unavailable to instanceof expressions in introduced methods"
- keywords="from-resolved_10x">
+ keywords="from-resolved_10x,knownLimitation">
<compile files="InstanceOf.java,TargetClass.java,Util.java">
<message kind="error" line="19"/>
<message kind="error" line="20"/>
<ajc-test dir="new"
title="enclosing join point not exported properly in pre-initialization join point"
- keywords="from-resolved_10x">
+ keywords="from-resolved_10x,knownLimitation">
<compile files="PreInitialization.java"/>
<run class="PreInitialization"/>
</ajc-test>
<compile files="ConstructorExecInit.java"/>
<run class="ConstructorExecInit"/>
</ajc-test>
+
+ <ajc-test dir="new"
+ title="after returning from initialization causes ExceptionInInitializer in aspect">
+ <compile files="ConstructorExecInitFails.java"/>
+ <run class="ConstructorExecInitFails"/>
+ </ajc-test>
<ajc-test dir="new" pr="659"
title="name binding in before cflow containing cflowbelow"
<ajc-test dir="new"
title="package typepattern with no packages (in default package)"
- keywords="from-resolved_105">
+ keywords="from-resolved_105,knownLimitation">
<compile options="-Xlint" files="TypeNames.java">
<message kind="warning" line="34"/>
<message kind="warning" line="39"/>