Changeset 4309 for trunk/ProjectFortress/compiler_tests

Timestamp:

11/03/09 15:19:06 (3 weeks ago)

Author:

jmaessen

Message:

[static checks] Fixed massive bugs in the AbstractMethodChecker
(tested for in Compiled12.inherit). Modified
STypesUtil.inheritedMethods to avoid using a Frankensteinian
combination of plt and Scala tuple types, and to account for getter
and setter methods as well as ordinary and functional methods.

Location:

trunk/ProjectFortress/compiler_tests

Files:

• Compiled12.inherit.fss (modified) (3 diffs)
• Compiled12.inherit.test (modified) (1 diff)

trunk/ProjectFortress/compiler_tests/Compiled12.inherit.fss

@@ -20 +20 @@
 trait T comprises { U, V }
   abstract getter asString(): String
+  abstract getter foo(): String
   abstract m(t:T): T
   abstract mv(v:V): T
+  abstract leaf(): T
 end
 
 object U extends T
   getter asString(): String = "U"
+  getter foo(): String = "U"
   m(t:T): T = t
   mv(v:V): T = v
+  leaf(): T = self
 end
 
 trait V extends T comprises { W, X }
+  getter foo(): String = "V"
+  getter k(): String
   m(t:T): T = t.mv(self)
   mv(v:V): T = self
@@ -37 +43 @@
 object W extends V
   getter asString(): String = "W"
+  getter k(): String = "WW"
+  leaf(): T = self
 end
 
 object X extends V
   getter asString(): String = "X"
+  getter k(): String = "XX"
+  leaf(): T = self
 end
 
@@ -53 +63 @@
     println("W" X.m(W).asString)
     println("X" X.m(X).asString)
+    println("U" U.foo)
+    println("V" W.foo)
+    println("V" X.foo)
+    println("U" U.leaf().asString)
+    println("W" W.leaf().asString)
+    println("X" X.leaf().asString)
   end

trunk/ProjectFortress/compiler_tests/Compiled12.inherit.test

@@ -26 +26 @@
 XX\n\
 WW\n\
+XX\n\
+UU\n\
+VV\n\
+VV\n\
+UU\n\
+WW\n\
 XX\n