Changeset 4311 for trunk/ProjectFortress/astgen

Timestamp:

11/03/09 21:46:01 (3 weeks ago)

Author:

sukyoungryu

Message:

[self type] Introduced SelfType? and its immediate subclasses, TraitSelfType? and ObjectExprType?.

Files:

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

trunk/ProjectFortress/astgen/Fortress.ast

@@ -176 +176 @@
                  * it is initialized by compiler.disambiguator.SelfParamDisambiguator.
                  */
-                abstract TraitObjectDecl(TraitTypeHeader header, Option<Type> selfType) implements Generic;
+                abstract TraitObjectDecl(TraitTypeHeader header, Option<SelfType> selfType) implements Generic;
                     /**
                      * trait declaration in components or APIs
@@ -562 +562 @@
                      *        end
                      */
-                    ObjectExpr(Option<Type> selfType);
+                    ObjectExpr(Option<SelfType> selfType);
                     /**
                      * object expression rewritten by interpreter.rewrite.Disambiguate
@@ -1033 +1033 @@
                     UnknownType();
                     /**
+                     * the type of "self" in a trait or object
+                     * internal node
+                     */
+                    abstract SelfType();
+                        /**
+                         * the type of "self" in a trait or object declaration
+                         * internal node
+                         */
+                        TraitSelfType(BaseType named, List<NamedType> comprised);
+                        /**
+                         * the type of "self" in an object expression
+                         * internal node
+                         */
+                        ObjectExprType(List<BaseType> extended);
+                    /**
                      * named type
                      */