Changes between Version 35 and Version 36 of AST

Timestamp:

04/25/11 13:35:24 (15 years ago)

Author:

Stephen Siegel

Comment:

--

AST

@@ -87 +87 @@
        * methods
            * referent: VariableDeclarationNodeIF
-     * TypeReferenceNodeIF extends ReferenceNodeIF
-        * methods
-            * referent: TypeNodeIF
      * LabelReferenceNodeIF
         * methods
@@ -103 +100 @@
        * name: string
  * TypeNodeIF: a type expression
+    * TypeReferenceNodeIF
+       * no children
+       * methods
+           * referent: TypeNodeIF: the type being referred to
     * VoidTypeNodeIF: the type "void" used, for example, as the return type for a function that does not return anything
+        * no children
     * IntegerTypeNodeIF: an integer type, such as "int" or "long int" or "short int" in C
        * integer sub-types, specified by parameters
+       * no children
     * RealTypeNodeIF: a real type, such as "float" or "double" in C
        * real sub-stypes, specified by parameters (e.g., IEEE754 floating point numbers)
+       * no children
     * BooleanTypeNodeIF: the boolean type
+       * no children
     * CharacterTypeNodeIF: the character type (char in C)
+        * no children
     * ArrayTypeNodeIF: an array type
        * methods
-          * elementType: TypeReferenceNodeIF
+          * elementType: TypeNodeIF (child 0)
           * extent: ?  This is complicated.   The extent might be an expression involving input variables.
     * PointerTypeNodeIF
        * methods
-           * baseType: TypeReferenceNodeIF
+           * baseType: TypeNodeIF (child 0)
     * CompositeTypeNodeIF: "struct" or "union" in C
        * methods
@@ -122 +128 @@
           * name: IdentifierNodeIF
           * numFields: int
-          * field(int i): PairNode<IdentifierNodeIF,TypeReferenceNodeIF>
-          * fields: Iterator<PairNode<IdentifierNodeIF,TypeReferenceNodeIF>>
+          * field(int i): PairNode<IdentifierNodeIF,TypeNodeIF>
+          * fields: Iterator<PairNode<IdentifierNodeIF,TypeNodeIF>>
     * FunctionTypeNodeIF
        * methods
           * numInputs: int
-          * inputType(int i): TypeReferenceNodeIF
-          * inputTypes: Iterator<TypeReferenceNodeIF>
+          * inputType(int i): TypeNodeIF
+          * inputTypes: Iterator<TypeNodeIF>
     * EnumerationTypeNodeIF
        * methods
@@ -142 +148 @@
        * scope: ScopeIF
        * name: IdentifierNodeIF
-       * type: TypeReferenceNodeIF
+       * type: TypeNodeIF
        * typeQualifier: CONST, VOLATILE
        * storageClass: EXTERNAL, AUTO, STATIC, REGISTER
@@ -155 +161 @@
        * formal(int i): VariableDeclarationNodeIF
        * formals: Iterator<VariableDeclarationNodeIF>
-       * outputType: TypeReferenceNodeIF
+       * outputType: TypeNodeIF
        * body: BlockNodeIF (null iff !isDefinition)
  * TypeDefinitionNodeIF
@@ -161 +167 @@
     * methods
        * name: IdentifierNodeIF
-       * type: TypeReferenceNodeIF  (type being assigned a name)
+       * type: TypeNodeIF  (type being assigned a name)
  * LabelNodeIF: a label preceding a statement
     * methods
@@ -225 +231 @@
              * ADD, ADD_POINTER_INT, ADDRESS_OF, BIT_AND, BIT_NOT, BIT_OR, BIT_XOR, DEREFERENCE, DIVIDE, EQUALS, GREATER_THAN, GTE, IF_THEN_ELSE, LEQ, LESS_THAN, LOGICAL_AND, LOGICAL_NOT, LOGICAL_OR, MODULO, MULTIPLY, NAVIGATE (DOT), NEGATIVE, NOT_EQUALS, SHIFT_LEFT, SHIFT_RIGHT, SUBSCRIPT, SUBTRACT, SUBTRACT_POINTER_INT, SUBTRACT_POINTER_POINTER
           * CastNodeIF
-             * newType: TypeReferenceNodeIF (type you are casting to)
+             * newType: TypeNodeIF (type you are casting to)
              * expression: ExpressionNodeIF
           * QuantifierNodeIF