Changes in / [44196deb:b1ad41f]


Ignore:
Files:
5 edited

Legend:

Unmodified
Added
Removed

  • libcfa/src/concurrency/mutex_stmt.hfa

    r44196deb rb1ad41f  
    44//-----------------------------------------------------------------------------
    55// is_lock
    6 trait is_lock(L & | sized(L)) {
     6forall(L & | sized(L))
     7trait is_lock {
    78        // For acquiring a lock
    89        void lock( L & );

  • libcfa/src/vec/vec.hfa

    r44196deb rb1ad41f  
    1818#include <math.hfa>
    1919
    20 trait fromint(T) {
     20forall(T)
     21trait fromint {
    2122    void ?{}(T&, int);
    2223};
    23 trait zeroinit(T) {
     24forall(T)
     25trait zeroinit {
    2426    void ?{}(T&, zero_t);
    2527};
    26 trait zero_assign(T) {
     28forall(T)
     29trait zero_assign {
    2730    T ?=?(T&, zero_t);
    2831};
    29 trait subtract(T) {
     32forall(T)
     33trait subtract {
    3034    T ?-?(T, T);
    3135};
    32 trait negate(T) {
     36forall(T)
     37trait negate {
    3338    T -?(T);
    3439};
    35 trait add(T) {
     40forall(T)
     41trait add {
    3642    T ?+?(T, T);
    3743};
    38 trait multiply(T) {
     44forall(T)
     45trait multiply {
    3946    T ?*?(T, T);
    4047};
    41 trait divide(T) {
     48forall(T)
     49trait divide {
    4250    T ?/?(T, T);
    4351};
    44 trait lessthan(T) {
     52forall(T)
     53trait lessthan {
    4554    int ?<?(T, T);
    4655};
    47 trait equality(T) {
     56forall(T)
     57trait equality {
    4858    int ?==?(T, T);
    4959};
    50 trait sqrt(T) {
     60forall(T)
     61trait sqrt {
    5162    T sqrt(T);
    5263};

  • tests/avltree/avl.h

    r44196deb rb1ad41f  
    99// #include <lib.h>
    1010
    11 trait Comparable(T) {
     11forall(T)
     12trait Comparable {
    1213  int ?<?(T, T);
    1314};

  • tests/function-operator.cfa

    r44196deb rb1ad41f  
    1010// Created On       : Fri Aug 25 15:21:11 2017
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Thu Apr 11 18:27:45 2019
    13 // Update Count     : 10
     12// Last Modified On : Sat Feb 25 07:26:10 2023
     13// Update Count     : 12
    1414//
    1515
    … …  
    2222
    2323// STL-like Algorithms
    24 trait Assignable(T &, U &) { T ?=?(T &, U); };
    25 trait Copyable(T &) { void ?{}(T &, T); };
    26 trait Destructable(T &) { void ^?{}(T &); };
     24forall(T &, U &)
     25trait Assignable { T ?=?(T &, U); };
     26forall(T &)
     27trait Copyable { void ?{}(T &, T); };
     28forall(T &)
     29trait Destructable { void ^?{}(T &); };
    2730
    2831trait Iterator(iter & | sized(iter) | Copyable(iter) | Destructable(iter), T) {

  • tests/sum.cfa

    r44196deb rb1ad41f  
    1111// Created On       : Wed May 27 17:56:53 2015
    1212// Last Modified By : Peter A. Buhr
    13 // Last Modified On : Thu Aug  5 21:27:25 2021
    14 // Update Count     : 346
     13// Last Modified On : Fri Feb 24 22:52:12 2023
     14// Update Count     : 347
    1515//
    1616
    … …  
    1818#include <stdlib.hfa>
    1919
    20 trait sumable( T ) {
     20forall( T )
     21trait sumable {
    2122        void ?{}( T &, zero_t );                                                        // 0 literal constructor
    2223        void ?{}( T &, one_t );                                                         // 1 literal constructor
Note: See TracChangeset for help on using the changeset viewer.