Changeset 636d3715 for libcfa/src/bits/queue.hfa

Timestamp:

Dec 3, 2020, 11:56:01 AM (3 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

89c982c, a78c3ff, cc5cc27

Parents:

1db306a

Message:

more code sharing in containers

File:

• libcfa/src/bits/queue.hfa (modified) (6 diffs)

libcfa/src/bits/queue.hfa

@@ -14 +14 @@
                         return (T *)head( (Collection &)q );
                 } // post: empty() & head() == 0 | !empty() & head() in *q
-
-                bool empty( Queue(T) & q ) with( q ) {                  // 0 <=> *q contains no elements
-                        return empty( (Collection &)q );
-                }
-
-                bool listed( T * n ) {
-                        return Next( (Colable *)n ) != 0;
-                }
-
-                T *& Next( T * n ) {
-                        return (T *)Next( (Colable *)n );
-                }
-
-                T * Root( Queue(T) & q ) with( q ) {
-                        return (T *)root;
-                }
 
                 void ?{}( Queue(T) &, const Queue(T) & ) = void; // no copy
@@ -55 +39 @@
 #endif // __CFA_DEBUG__
                         if ( last ) {
-                                Next( n ) = Root( q );
+                                Next( n ) = head( q );
                                 q.root = n;
                         } else {
@@ -81 +65 @@
                         if ( root ) {
                                 root = Next( root );
-                                if ( Root( q ) == t ) {
+                                if ( head( q ) == t ) {
                                         root = last = 0p;                                       // only one element
                                 }
@@ -132 +116 @@
                                 root = from.root;
                         } else {                                                                        // "to" list not empty
-                                Next( last ) = Root( from );
+                                Next( last ) = head( from );
                         }
                         last = from.last;
@@ -148 +132 @@
                         to.last = n;                                                            // end of "to" list
                         from.root = Next( n );                                          // start of "from" list
-                        if ( n == Root( from ) ) {                                      // last node in list ?
+                        if ( n == head( from ) ) {                                      // last node in list ?
                                 from.root = from.last = 0p;                             // mark "from" list empty
                         } else {
@@ -164 +148 @@
 
         inline {
-                // wrappers to make ColIter have T
-                T * Curr( QueueIter(T) & qi ) with( qi ) {
-                        return (T *)curr;
-                }
-
                 void ?{}( QueueIter(T) & qi ) with( qi ) {
                         ((ColIter &)qi){};