From 393f65bdec7a0822eddd55af22a8f7fce9bc58cd Mon Sep 17 00:00:00 2001
From: ehilsdal <ehilsdal>
Date: Tue, 18 Nov 2003 02:43:31 +0000
Subject: 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

---
 tests/bugs/IncompatibleAfterReturningTypeCE.java | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 tests/bugs/IncompatibleAfterReturningTypeCE.java

(limited to 'tests/bugs')

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
-- 
cgit v1.2.3