Changeset 3915 for trunk/ProjectFortress/src/com/sun/fortress/compiler/index/Constructor.java

Timestamp:

07/02/09 07:59:33 (5 months ago)

Author:

jrhil47

Message:

[index] Changed all Functional indices to store a thunk to get the return types, since during type checking the return types might need to be lazily evaluated. Also changed Functional indices to yield an Option for return types.
[type checker] Started implementing extraction of bindings from nodes for type environments.

Files:

• trunk/ProjectFortress/src/com/sun/fortress/compiler/index/Constructor.java (modified) (3 diffs)

trunk/ProjectFortress/src/com/sun/fortress/compiler/index/Constructor.java

@@ -39 +39 @@
 import edu.rice.cs.plt.iter.IterUtil;
 import edu.rice.cs.plt.lambda.Lambda;
+import edu.rice.cs.plt.lambda.Thunk;
 import edu.rice.cs.plt.tuple.Option;
 
@@ -60 +61 @@
         _throwsClause = throwsClause;
         _where = where;
+        putThunk(new Thunk<Option<Type>>() {
+          @Override public Option<Type> value() {
+            return NI.nyi();
+          }
+        });
     }
 
@@ -117 +123 @@
 
         @Override
-        public Type getReturnType() {
-                // TODO Auto-generated method stub
-                return NI.nyi();
-        }
-
-        @Override
         public Functional acceptNodeUpdateVisitor(final NodeUpdateVisitor v) {