Changeset 1ead581 for translator

Timestamp:

Nov 17, 2014, 4:11:29 PM (10 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

d0e8cfe4

Parents:

c8ffe20b

Message:

remove configure files

File:

• translator/SymTab/Validate.cc (modified) (6 diffs)

translator/SymTab/Validate.cc

@@ -1 +1 @@
 /*
-  The "validate" phase of translation is used to take a syntax tree and convert it into a
-  standard form that aims to be as regular in structure as possible.  Some assumptions can be
-  made regarding the state of the tree after this pass is complete, including:
-
-  - No nested structure or union definitions; any in the input are "hoisted" to the level of
-  the containing struct or union.
+  The "validate" phase of translation is used to take a syntax tree and convert it into a standard form that aims to be
+  as regular in structure as possible.  Some assumptions can be made regarding the state of the tree after this pass is
+  complete, including:
+
+  - No nested structure or union definitions; any in the input are "hoisted" to the level of the containing struct or
+    union.
 
   - All enumeration constants have type EnumInstType.
 
-  - The type "void" never occurs in lists of function parameter or return types; neither do
-  tuple types.  A function taking no arguments has no argument types, and tuples are flattened.
-
-  - No context instances exist; they are all replaced by the set of declarations signified by
-  the context, instantiated by the particular set of type arguments.
+  - The type "void" never occurs in lists of function parameter or return types; neither do tuple types.  A function
+    taking no arguments has no argument types, and tuples are flattened.
+
+  - No context instances exist; they are all replaced by the set of declarations signified by the context, instantiated
+    by the particular set of type arguments.
 
   - Every declaration is assigned a unique id.
@@ -21 +21 @@
   - Each type, struct, and union definition is followed by an appropriate assignment operator.
 
-  - Each use of a struct or union is connected to a complete definition of that struct or union,
-  even if that definition occurs later in the input.
+  - Each use of a struct or union is connected to a complete definition of that struct or union, even if that definition
+    occurs later in the input.
 */
 
@@ -176 +176 @@
         std::list< Declaration * >::iterator i = translationUnit.begin();
         while ( i != translationUnit.end() ) {
-            (*i )->accept( visitor );
+            (*i)->accept( visitor );
             std::list< Declaration * >::iterator next = i;
             next++;
@@ -191 +191 @@
     }
 
-    HoistStruct::HoistStruct()
-        : inStruct( false ) {
+    HoistStruct::HoistStruct() :  inStruct( false ) {
     }
 
@@ -317 +316 @@
     }
 
-    Pass2::Pass2( bool doDebug, const Indexer *other_indexer )
-        : Indexer( doDebug ) {
+    Pass2::Pass2( bool doDebug, const Indexer *other_indexer ) : Indexer( doDebug ) {
         if ( other_indexer ) {
             indexer = other_indexer;
@@ -405 +403 @@
     }
 
-    Pass3::Pass3( const Indexer *other_indexer )
-        : Indexer( false ) {
+    Pass3::Pass3( const Indexer *other_indexer ) :  Indexer( false ) {
         if ( other_indexer ) {
             indexer = other_indexer;