Changeset a3a76ea for libcfa/src/bits/sequence.hfa

Timestamp:

Dec 27, 2020, 5:55:50 PM (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:

62a7cc0

Parents:

83c7e3c

Message:

modify routines to return added/removed node to allow cascading calls

File:

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

libcfa/src/bits/sequence.hfa

@@ -77 +77 @@
 
                 // Insert *n into the sequence before *bef, or at the end if bef == 0.
-                void insertBef( Sequence(T) & s, T & n, T & bef ) with( s ) { // pre: !n->listed() & *bef in *s
+                T & insertBef( Sequence(T) & s, T & n, T & bef ) with( s ) { // pre: !n->listed() & *bef in *s
                         #ifdef __CFA_DEBUG__
                         if ( listed( &n ) ) abort( "(Sequence &)%p.insertBef( %p, %p ) : Node is already on another list.", &s, n, &bef );
@@ -105 +105 @@
                                 Next( Back( &n ) ) = &n;
                         } // if
+                        return n;
                 }       // post: n->listed() & *n in *s & succ(n) == bef
 
 
                 // Insert *n into the sequence after *aft, or at the beginning if aft == 0.
-                void insertAft( Sequence(T) & s, T & aft, T & n ) with( s ) {   // pre: !n->listed() & *aft in *s
+                T & insertAft( Sequence(T) & s, T & aft, T & n ) with( s ) {    // pre: !n->listed() & *aft in *s
                         #ifdef __CFA_DEBUG__
                         if ( listed( &n ) ) abort( "(Sequence &)%p.insertAft( %p, %p ) : Node is already on another list.", &s, &aft, &n );
@@ -135 +136 @@
                                 Next( &aft ) = &n;
                         } // if
+                        return n;
                 }         // post: n->listed() & *n in *s & succ(n) == bef
                 
                 // pre: n->listed() & *n in *s
-                void remove( Sequence(T) & s, T & n ) with( s ) { // O(1)
+                T & remove( Sequence(T) & s, T & n ) with( s ) { // O(1)
                         #ifdef __CFA_DEBUG__
                         if ( ! listed( &n ) ) abort( "(Sequence &)%p.remove( %p ) : Node is not on a list.", &s, &n );
@@ -149 +151 @@
                         Next( Back( &n ) ) = Next( &n );
                         Next( &n ) = Back( &n ) = 0p;
+                        return n;
                 }                                                       // post: !n->listed().
 
                 // Add an element to the head of the sequence.
-                void addHead( Sequence(T) & s, T & n ) {                // pre: !n->listed(); post: n->listed() & head() == n
-                        insertAft( s, *0p, n );
+                T & addHead( Sequence(T) & s, T & n ) {                 // pre: !n->listed(); post: n->listed() & head() == n
+                        return insertAft( s, *0p, n );
                 }
                 // Add an element to the tail of the sequence.
-                void addTail( Sequence(T) & s, T & n ) {                // pre: !n->listed(); post: n->listed() & head() == n
-                        insertBef( s, n, *0p );
+                T & addTail( Sequence(T) & s, T & n ) {                 // pre: !n->listed(); post: n->listed() & head() == n
+                        return insertBef( s, n, *0p );
                 }
                 // Add an element to the tail of the sequence.
-                void add( Sequence(T) & s, T & n ) {                    // pre: !n->listed(); post: n->listed() & head() == n
-                        addTail( s, n );
+                T & add( Sequence(T) & s, T & n ) {                             // pre: !n->listed(); post: n->listed() & head() == n
+                        return addTail( s, n );
                 }
                 // Remove and return the head element in the sequence.