source: src/examples/avltree/avl0.c@ f1b1e4c

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since f1b1e4c was 6e3ae00, checked in by Rob Schluntz <rschlunt@…>, 9 years ago

added avl_test to regression suite and changed runTests.sh to use make -j 8

  • Property mode set to 100644
File size: 288 bytes
Line 
1#include "avl.h"
2
3forall(otype T | Comparable(T))
4int ?==?(T t1, T t2) {
5 return !(t1 < t2) && !(t2 < t1);
6}
7
8forall(otype T | Comparable(T))
9int ?>?(T t1, T t2) {
10 return t2 < t1;
11}
12
13forall(dtype T | { void ^?{}(T *); })
14void delete(T * x) {
15 if (x) {
16 ^?{}(x);
17 free(x);
18 }
19}
Note: See TracBrowser for help on using the repository browser.