Changes in libcfa/src/bits/sequence.hfa [a3a76ea:19de7864]

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.
-                T & insertBef( Sequence(T) & s, T & n, T & bef ) with( s ) { // pre: !n->listed() & *bef in *s
+                void 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.
-                T & insertAft( Sequence(T) & s, T & aft, T & n ) with( s ) {    // pre: !n->listed() & *aft in *s
+                void 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 );
@@ -136 +135 @@
                                 Next( &aft ) = &n;
                         } // if
-                        return n;
                 }         // post: n->listed() & *n in *s & succ(n) == bef
                 
                 // pre: n->listed() & *n in *s
-                T & remove( Sequence(T) & s, T & n ) with( s ) { // O(1)
+                void 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 );
@@ -151 +149 @@
                         Next( Back( &n ) ) = Next( &n );
                         Next( &n ) = Back( &n ) = 0p;
-                        return n;
                 }                                                       // post: !n->listed().
 
                 // Add an element to the head of the sequence.
-                T & addHead( Sequence(T) & s, T & n ) {                 // pre: !n->listed(); post: n->listed() & head() == n
-                        return insertAft( s, *0p, n );
+                void addHead( Sequence(T) & s, T & n ) {                // pre: !n->listed(); post: n->listed() & head() == n
+                        insertAft( s, *0p, n );
                 }
                 // Add an element to the tail of the sequence.
-                T & addTail( Sequence(T) & s, T & n ) {                 // pre: !n->listed(); post: n->listed() & head() == n
-                        return insertBef( s, n, *0p );
+                void addTail( Sequence(T) & s, T & n ) {                // pre: !n->listed(); post: n->listed() & head() == n
+                        insertBef( s, n, *0p );
                 }
                 // Add an element to the tail of the sequence.
-                T & add( Sequence(T) & s, T & n ) {                             // pre: !n->listed(); post: n->listed() & head() == n
-                        return addTail( s, n );
+                void add( Sequence(T) & s, T & n ) {                    // pre: !n->listed(); post: n->listed() & head() == n
+                        addTail( s, n );
                 }
                 // Remove and return the head element in the sequence.