diff options
| author | ehilsdal <ehilsdal> | 2003-11-18 02:43:31 +0000 |
|---|---|---|
| committer | ehilsdal <ehilsdal> | 2003-11-18 02:43:31 +0000 |
| commit | 393f65bdec7a0822eddd55af22a8f7fce9bc58cd (patch) | |
| tree | 673ea8f88d6f7554a80df486bee560b2b3a95948 /tests/bugs | |
| parent | 07cdee49d842cfc761a24c92e611042812719699 (diff) | |
| download | aspectj-393f65bdec7a0822eddd55af22a8f7fce9bc58cd.tar.gz aspectj-393f65bdec7a0822eddd55af22a8f7fce9bc58cd.zip | |
Work on Bugzilla 42668: effect of an after returning type incompatible with a join point return type
* fix to semantics document to describe correct semantics
* checkin of failing coverage test case for correct semantics
Diffstat (limited to 'tests/bugs')
| -rw-r--r-- | tests/bugs/IncompatibleAfterReturningTypeCE.java | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/tests/bugs/IncompatibleAfterReturningTypeCE.java b/tests/bugs/IncompatibleAfterReturningTypeCE.java deleted file mode 100644 index d935d344f..000000000 --- a/tests/bugs/IncompatibleAfterReturningTypeCE.java +++ /dev/null @@ -1,21 +0,0 @@ - -public class IncompatibleAfterReturningTypeCE { - public static void main(String[] args) { - System.setProperty("foo", ""+"".length()); - } -} - -class C { - Integer getInteger() { - return null; - } -} - -/** @testcase PR#42668 after returning type incompatible with join point return type */ -aspect A { - - after () returning (Boolean b) : execution(Integer C.getInteger()) { } // CE 20 incompatible return type from join point - - after () returning (byte b) : call(int String.length()) {} // CE 22 incompatible return type - -}
\ No newline at end of file |