Changeset a32b204 for translator/ResolvExpr/FindOpenVars.cc

Timestamp:

May 17, 2015, 1:19:35 PM (9 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:

0dd3a2f

Parents:

b87a5ed

Message:

licencing: second groups of files

File:

• translator/ResolvExpr/FindOpenVars.cc (modified) (3 diffs)

translator/ResolvExpr/FindOpenVars.cc

@@ -1 @@
-/*
- * This file is part of the Cforall project
- *
- * $Id: FindOpenVars.cc,v 1.4 2005/08/29 20:14:16 rcbilson Exp $
- *
- */
+//
+// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+//
+// FindOpenVars.cc -- 
+//
+// Author           : Richard C. Bilson
+// Created On       : Sun May 17 09:42:48 2015
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sun May 17 09:45:25 2015
+// Update Count     : 3
+//
 
 #include "FindOpenVars.h"
@@ -10 +18 @@
 #include "SynTree/Visitor.h"
 
+namespace ResolvExpr {
+        class FindOpenVars : public Visitor {
+          public:
+                FindOpenVars( OpenVarSet &openVars, OpenVarSet &closedVars, AssertionSet &needAssertions, AssertionSet &haveAssertions, bool firstIsOpen );
 
-namespace ResolvExpr {
+          private:
+                virtual void visit(PointerType *pointerType);
+                virtual void visit(ArrayType *arrayType);
+                virtual void visit(FunctionType *functionType);
+                virtual void visit(TupleType *tupleType);
 
-class FindOpenVars : public Visitor
-{
-public:
-  FindOpenVars( OpenVarSet &openVars, OpenVarSet &closedVars, AssertionSet &needAssertions, AssertionSet &haveAssertions, bool firstIsOpen );
-  
-private:
-  virtual void visit(PointerType *pointerType);
-  virtual void visit(ArrayType *arrayType);
-  virtual void visit(FunctionType *functionType);
-  virtual void visit(TupleType *tupleType);
-  
-  void common_action( Type *type );
-  
-  OpenVarSet &openVars, &closedVars;
-  AssertionSet &needAssertions, &haveAssertions;
-  bool nextIsOpen;
-};
+                void common_action( Type *type );
 
-void
-findOpenVars( Type *type, OpenVarSet &openVars, OpenVarSet &closedVars, AssertionSet &needAssertions, AssertionSet &haveAssertions, bool firstIsOpen )
-{
-  FindOpenVars finder( openVars, closedVars, needAssertions, haveAssertions, firstIsOpen );
-  type->accept( finder );
-}
+                OpenVarSet &openVars, &closedVars;
+                AssertionSet &needAssertions, &haveAssertions;
+                bool nextIsOpen;
+        };
 
-FindOpenVars::FindOpenVars( OpenVarSet &openVars, OpenVarSet &closedVars, AssertionSet &needAssertions, AssertionSet &haveAssertions, bool firstIsOpen )
-  : openVars( openVars ), closedVars( closedVars ), needAssertions( needAssertions ), haveAssertions( haveAssertions ), nextIsOpen( firstIsOpen )
-{
-}
+        void findOpenVars( Type *type, OpenVarSet &openVars, OpenVarSet &closedVars, AssertionSet &needAssertions, AssertionSet &haveAssertions, bool firstIsOpen ) {
+                FindOpenVars finder( openVars, closedVars, needAssertions, haveAssertions, firstIsOpen );
+                type->accept( finder );
+        }
 
-void
-FindOpenVars::common_action( Type *type )
-{
-  if( nextIsOpen ) {
-    for( std::list< TypeDecl* >::const_iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) {
-      openVars[ (*i)->get_name() ] = (*i)->get_kind();
-      for( std::list< DeclarationWithType* >::const_iterator assert = (*i)->get_assertions().begin(); assert != (*i)->get_assertions().end(); ++assert ) {
-        needAssertions[ *assert ] = false;
-      }
+        FindOpenVars::FindOpenVars( OpenVarSet &openVars, OpenVarSet &closedVars, AssertionSet &needAssertions, AssertionSet &haveAssertions, bool firstIsOpen )
+                : openVars( openVars ), closedVars( closedVars ), needAssertions( needAssertions ), haveAssertions( haveAssertions ), nextIsOpen( firstIsOpen ) {
+        }
+
+        void FindOpenVars::common_action( Type *type ) {
+                if ( nextIsOpen ) {
+                        for ( std::list< TypeDecl* >::const_iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) {
+                                openVars[ (*i)->get_name() ] = (*i)->get_kind();
+                                for ( std::list< DeclarationWithType* >::const_iterator assert = (*i)->get_assertions().begin(); assert != (*i)->get_assertions().end(); ++assert ) {
+                                        needAssertions[ *assert ] = false;
+                                }
 ///       cloneAll( (*i)->get_assertions(), needAssertions );
 ///       needAssertions.insert( needAssertions.end(), (*i)->get_assertions().begin(), (*i)->get_assertions().end() );
-    }
-  } else {
-    for( std::list< TypeDecl* >::const_iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) {
-      closedVars[ (*i)->get_name() ] = (*i)->get_kind();
-      for( std::list< DeclarationWithType* >::const_iterator assert = (*i)->get_assertions().begin(); assert != (*i)->get_assertions().end(); ++assert ) {
-        haveAssertions[ *assert ] = false;
-      }
+                        }
+                } else {
+                        for ( std::list< TypeDecl* >::const_iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) {
+                                closedVars[ (*i)->get_name() ] = (*i)->get_kind();
+                                for ( std::list< DeclarationWithType* >::const_iterator assert = (*i)->get_assertions().begin(); assert != (*i)->get_assertions().end(); ++assert ) {
+                                        haveAssertions[ *assert ] = false;
+                                }
 ///       cloneAll( (*i)->get_assertions(), haveAssertions );
 ///       haveAssertions.insert( haveAssertions.end(), (*i)->get_assertions().begin(), (*i)->get_assertions().end() );
-    }
-  }
+                        } // for
+                } // if
 ///   std::cout << "type is ";
 ///   type->print( std::cout );
@@ -71 +71 @@
 ///   std::cout << std::endl << "have is" << std::endl;
 ///   printAssertionSet( haveAssertions, std::cout );
-}
+        }
 
-void 
-FindOpenVars::visit(PointerType *pointerType)
-{
-  common_action( pointerType );
-  Visitor::visit( pointerType );
-}
+        void FindOpenVars::visit(PointerType *pointerType) {
+                common_action( pointerType );
+                Visitor::visit( pointerType );
+        }
 
-void 
-FindOpenVars::visit(ArrayType *arrayType)
-{
-  common_action( arrayType );
-  Visitor::visit( arrayType );
-}
+        void FindOpenVars::visit(ArrayType *arrayType) {
+                common_action( arrayType );
+                Visitor::visit( arrayType );
+        }
 
-void 
-FindOpenVars::visit(FunctionType *functionType)
-{
-  common_action( functionType );
-  nextIsOpen = !nextIsOpen;
-  Visitor::visit( functionType );
-  nextIsOpen = !nextIsOpen;
-}
+        void FindOpenVars::visit(FunctionType *functionType) {
+                common_action( functionType );
+                nextIsOpen = ! nextIsOpen;
+                Visitor::visit( functionType );
+                nextIsOpen = ! nextIsOpen;
+        }
 
-void 
-FindOpenVars::visit(TupleType *tupleType)
-{
-  common_action( tupleType );
-  Visitor::visit( tupleType );
-}
+        void FindOpenVars::visit(TupleType *tupleType) {
+                common_action( tupleType );
+                Visitor::visit( tupleType );
+        }
+} // namespace ResolvExpr
 
-} // namespace ResolvExpr
+// Local Variables: //
+// tab-width: 4 //
+// mode: c++ //
+// compile-command: "make install" //
+// End: //