Changeset e91a255 for libcfa/src
- Timestamp:
- Dec 5, 2020, 8:54:29 AM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 58870e6b, f57faf6f
- Parents:
- ec5d599
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
libcfa/src/bits/sequence.hfa
rec5d599 re91a255 31 31 return (T *)Back( (Seqable *)&n ); 32 32 } 33 34 T & head( Sequence(T) & s ) with( s ) {35 return *(T *)head( (Collection &)s );36 } // post: empty() & head() == 0 | !empty() & head() in *s37 33 } // distribution 38 34 } // distribution … … 44 40 45 41 inline { 42 // wrappers to make Collection have T 43 T & head( Sequence(T) & s ) with( s ) { 44 return *(T *)head( (Collection &)s ); 45 } // post: empty() & head() == 0 | !empty() & head() in *s 46 46 47 void ?{}( Sequence(T) &, const Sequence(T) & ) = void; // no copy 47 48 Sequence(T) & ?=?( const Sequence(T) & ) = void; // no assignment
Note: See TracChangeset
for help on using the changeset viewer.