Changeset 4094 for trunk/ProjectFortress/astgen

Timestamp:

08/18/09 08:14:20 (3 months ago)

Author:

jrhil47

Message:

[Typechecker] Added functionality that will allow us to combine inference and coercions for functional methods \n [Indices] Filled in the self type for functional methods \n [AST] Populated the MethodInfo? in an arrow type

Files:

• trunk/ProjectFortress/astgen/Fortress.ast (modified) (4 diffs)

trunk/ProjectFortress/astgen/Fortress.ast

@@ -173 +173 @@
                  * Name must be unqualified.
                  */
-                abstract TraitObjectDecl(TraitTypeHeader header) implements Generic;
+                abstract TraitObjectDecl(TraitTypeHeader header, Option<Type> selfType) implements Generic;
                     /**
                      * trait declaration in components or APIs
@@ -219 +219 @@
                     TraitDecl(List<BaseType> excludesClause,
                               Option<List<BaseType>> comprisesClause,
-                              boolean comprisesEllipses, Option<Type> selfType);
+                              boolean comprisesEllipses);
                     /**
                      * object declaration in components or APIs
@@ -259 +259 @@
                      *       end
                      */
-                    ObjectDecl(Option<List<Param>> params, Option<Type> selfType)
+                    ObjectDecl(Option<List<Param>> params)
                               implements ObjectConstructor;
                 /**
@@ -1912 +1912 @@
                 /*
                  * Contains info about the self parameter in an arrow type for
-                 * a method.
+                 * a method. `selfPosition` is -1 for dotted methods, and a
+                 * 0-based index into the params for functional methods.
                  */
                 MethodInfo(Type selfType, int selfPosition);