Changeset 3e36f220 for libcfa/src/bits/stack.hfa

Timestamp:

Dec 28, 2020, 4:13:58 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

6ae5c22

Parents:

b6460bf (diff), bf1914e (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:

• libcfa/src/bits/stack.hfa (modified) (4 diffs)

libcfa/src/bits/stack.hfa

@@ -2 +2 @@
 
 #include "bits/collection.hfa"
+
+// A Stack(T) is a Collection(T) defining the ordering that nodes are returned by drop() in the reverse order from those
+// added by add(). T must be a public descendant of uColable.
+
+// The implementation is a typical singly-linked list, except the next field of the last element points to itself
+// instead of being null.
 
 forall( dtype T | { T *& Next ( T * ); } ) {
@@ -58 +64 @@
 } // distribution
 
+// A StackIter(T) is a subclass of ColIter(T) that generates the elements of a Stack(T).  It returns the elements in the
+// order returned by drop().
 
 forall( dtype T | { T *& Next ( T * ); } ) {
@@ -69 +77 @@
                 } // post: curr == 0p
 
-                // create an iterator active in Stack s
+                // create an iterator active in stack s
                 void ?{}( StackIter(T) & si, Stack(T) & s ) with( si ) {
                         curr = &head( s );
@@ -78 +86 @@
                 } // post: curr = {e in s}
 
-                // make existing iterator active in Stack q
+                // make existing iterator active in stack s
                 void over( StackIter(T) & si, Stack(T) & s ) with( si ) {
                         curr = &head( s );
                 } // post: curr = {e in s}
 
-                bool ?>>?( StackIter(T) & si, T && tp ) with( si ) {
+                bool ?|?( StackIter(T) & si, T && tp ) with( si ) {
                         if ( curr ) {
                                 &tp = Curr( si );