Changes in / [b1ad41f:44196deb]
- Files:
-
- 5 edited
Legend:
- Unmodified
- Added
- Removed
-
libcfa/src/concurrency/mutex_stmt.hfa
rb1ad41f r44196deb 4 4 //----------------------------------------------------------------------------- 5 5 // is_lock 6 forall(L & | sized(L)) 7 trait is_lock { 6 trait is_lock(L & | sized(L)) { 8 7 // For acquiring a lock 9 8 void lock( L & ); -
libcfa/src/vec/vec.hfa
rb1ad41f r44196deb 18 18 #include <math.hfa> 19 19 20 forall(T) 21 trait fromint { 20 trait fromint(T) { 22 21 void ?{}(T&, int); 23 22 }; 24 forall(T) 25 trait zeroinit { 23 trait zeroinit(T) { 26 24 void ?{}(T&, zero_t); 27 25 }; 28 forall(T) 29 trait zero_assign { 26 trait zero_assign(T) { 30 27 T ?=?(T&, zero_t); 31 28 }; 32 forall(T) 33 trait subtract { 29 trait subtract(T) { 34 30 T ?-?(T, T); 35 31 }; 36 forall(T) 37 trait negate { 32 trait negate(T) { 38 33 T -?(T); 39 34 }; 40 forall(T) 41 trait add { 35 trait add(T) { 42 36 T ?+?(T, T); 43 37 }; 44 forall(T) 45 trait multiply { 38 trait multiply(T) { 46 39 T ?*?(T, T); 47 40 }; 48 forall(T) 49 trait divide { 41 trait divide(T) { 50 42 T ?/?(T, T); 51 43 }; 52 forall(T) 53 trait lessthan { 44 trait lessthan(T) { 54 45 int ?<?(T, T); 55 46 }; 56 forall(T) 57 trait equality { 47 trait equality(T) { 58 48 int ?==?(T, T); 59 49 }; 60 forall(T) 61 trait sqrt { 50 trait sqrt(T) { 62 51 T sqrt(T); 63 52 }; -
tests/avltree/avl.h
rb1ad41f r44196deb 9 9 // #include <lib.h> 10 10 11 forall(T) 12 trait Comparable { 11 trait Comparable(T) { 13 12 int ?<?(T, T); 14 13 }; -
tests/function-operator.cfa
rb1ad41f r44196deb 10 10 // Created On : Fri Aug 25 15:21:11 2017 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Sat Feb 25 07:26:10 202313 // Update Count : 1 212 // Last Modified On : Thu Apr 11 18:27:45 2019 13 // Update Count : 10 14 14 // 15 15 … … 22 22 23 23 // STL-like Algorithms 24 forall(T &, U &) 25 trait Assignable { T ?=?(T &, U); }; 26 forall(T &) 27 trait Copyable { void ?{}(T &, T); }; 28 forall(T &) 29 trait Destructable { void ^?{}(T &); }; 24 trait Assignable(T &, U &) { T ?=?(T &, U); }; 25 trait Copyable(T &) { void ?{}(T &, T); }; 26 trait Destructable(T &) { void ^?{}(T &); }; 30 27 31 28 trait Iterator(iter & | sized(iter) | Copyable(iter) | Destructable(iter), T) { -
tests/sum.cfa
rb1ad41f r44196deb 11 11 // Created On : Wed May 27 17:56:53 2015 12 12 // Last Modified By : Peter A. Buhr 13 // Last Modified On : Fri Feb 24 22:52:12 202314 // Update Count : 34 713 // Last Modified On : Thu Aug 5 21:27:25 2021 14 // Update Count : 346 15 15 // 16 16 … … 18 18 #include <stdlib.hfa> 19 19 20 forall( T ) 21 trait sumable { 20 trait sumable( T ) { 22 21 void ?{}( T &, zero_t ); // 0 literal constructor 23 22 void ?{}( T &, one_t ); // 1 literal constructor
Note: See TracChangeset
for help on using the changeset viewer.