source: tests/zombies/gc_no_raii/src/tools.h @ 474d610

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 474d610 was fd54fef, checked in by Michael Brooks <mlbrooks@…>, 3 years ago

Converting the project to use the new syntax for otype, dtype and ttytpe.

Changed prelude (gen), libcfa and test suite to use it. Added a simple deprecation rule of the old syntax to the parser; we might wish to support both syntaxes "officially," like with an extra CLI switch, but this measure should serve as a simple reminder for our team to try the new syntax.

  • Property mode set to 100644
File size: 755 bytes
Line 
1#pragma once
2
3#include "tools/checks.h"
4#include "tools/print.h"
5
6// forall(otype T)
7// inline void swap(T* const a, T* const b)
8// {
9//      T* temp = a;
10//      *a = *b;
11//      *b = *temp;
12// }
13
14trait has_equal(T)
15{
16        signed int ?==?(T a, T b);
17};
18
19trait InputIterator_t(T, InputIterator)
20{
21        signed int ?==?(InputIterator a, InputIterator b);
22        signed int ?!=?(InputIterator a, InputIterator b);
23        T *?(InputIterator a);
24        InputIterator ++?(InputIterator* a);
25        InputIterator ?++(InputIterator* a);
26};
27
28forall(T | has_equal(T), InputIterator | InputIterator_t(T, InputIterator))
29static inline InputIterator find( InputIterator first, const InputIterator* const last, T val)
30{
31        while ( first != *last)
32        {
33                if(*first == val) return first;
34                ++first;
35        }
36        return *last;
37}
Note: See TracBrowser for help on using the repository browser.