Changeset df4aea7 for src/examples/gc_no_raii/src/tools.h

Timestamp:

Apr 21, 2016, 10:27:55 AM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

8c8b614

Parents:

3365b37

Message:

all implemented files compile

File:

• src/examples/gc_no_raii/src/tools.h (modified) (1 diff)

src/examples/gc_no_raii/src/tools.h

@@ -3 +3 @@
 #include "tools/checks.h"
 #include "tools/print.h"
+
+// forall(otype T)
+// inline void swap(T* const a, T* const b)
+// {
+//      T* temp = a;
+//      *a = *b;
+//      *b = *temp;
+// }
+
+trait has_equal(otype T)
+{
+        signed int ?==?(T a, T b);
+};
+
+trait InputIterator_t(otype T, otype InputIterator)
+{
+        signed int ?==?(InputIterator a, InputIterator b);
+        signed int ?!=?(InputIterator a, InputIterator b);
+        T *?(InputIterator a);
+        InputIterator ++?(InputIterator* a);
+        InputIterator ?++(InputIterator* a);
+};
+
+forall(otype T | has_equal(T), otype InputIterator | InputIterator_t(T, InputIterator))
+inline InputIterator find( InputIterator first, const InputIterator* const last, T val)
+{
+        while ( first != *last)
+        {
+                if(*first == val) return first;
+                ++first;
+        }
+        return *last;
+}