Changeset 4c2e561 for src/GenPoly/ScopedSet.h

Timestamp:

Jul 4, 2023, 4:29:10 PM (12 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

3430ce8

Parents:

3397eed (diff), 7f1be01 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/GenPoly/ScopedSet.h (modified) (8 diffs)

src/GenPoly/ScopedSet.h

@@ -47 +47 @@
         /// Starts a new scope
         void beginScope() {
-                Scope scope;
-                scopes.push_back(scope);
+                scopes.emplace_back();
         }
 
@@ -85 +84 @@
         iterator findNext( const_iterator &it, const Value &key ) {
                 if ( it.i == 0 ) return end();
-                        for ( size_type i = it.i - 1; ; --i ) {
+                for ( size_type i = it.i - 1; ; --i ) {
                         typename Scope::iterator val = scopes[i].find( key );
                         if ( val != scopes[i].end() ) return iterator( scopes, val, i );
@@ -112 +111 @@
         friend class ScopedSet;
         friend class const_iterator;
-        typedef typename std::set< Value >::iterator wrapped_iterator;
-        typedef typename std::vector< std::set< Value > > scope_list;
-        typedef typename scope_list::size_type size_type;
+        typedef typename Scope::iterator wrapped_iterator;
+        typedef typename ScopeList::size_type size_type;
 
         /// Checks if this iterator points to a valid item
@@ -133 +131 @@
         }
 
-        iterator(scope_list const &_scopes, const wrapped_iterator &_it, size_type _i)
+        iterator(ScopeList const &_scopes, const wrapped_iterator &_it, size_type _i)
                 : scopes(&_scopes), it(_it), i(_i) {}
 public:
@@ -176 +174 @@
 
 private:
-        scope_list const *scopes;
+        ScopeList const *scopes;
         wrapped_iterator it;
         size_type i;
@@ -185 +183 @@
                 public std::iterator< std::bidirectional_iterator_tag, value_type > {
         friend class ScopedSet;
-        typedef typename std::set< Value >::iterator wrapped_iterator;
-        typedef typename std::set< Value >::const_iterator wrapped_const_iterator;
-        typedef typename std::vector< std::set< Value > > scope_list;
-        typedef typename scope_list::size_type size_type;
+        typedef typename Scope::iterator wrapped_iterator;
+        typedef typename Scope::const_iterator wrapped_const_iterator;
+        typedef typename ScopeList::size_type size_type;
 
         /// Checks if this iterator points to a valid item
@@ -207 +204 @@
         }
 
-        const_iterator(scope_list const &_scopes, const wrapped_const_iterator &_it, size_type _i)
+        const_iterator(ScopeList const &_scopes, const wrapped_const_iterator &_it, size_type _i)
                 : scopes(&_scopes), it(_it), i(_i) {}
 public:
@@ -255 +252 @@
 
 private:
-        scope_list const *scopes;
+        ScopeList const *scopes;
         wrapped_const_iterator it;
         size_type i;