source: tests/avltree/avl.h @ 6e47b49

ADTast-experimentalenumpthread-emulationqualifiedEnum
Last change on this file since 6e47b49 was fd54fef, checked in by Michael Brooks <mlbrooks@…>, 4 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: 2.7 KB
Line 
1#pragma once
2
3extern "C" {
4#define NULL 0
5#define assert(cond) if (! (cond)) { printf("Assertion failed: (%s) at %s:%d\n", #cond, __FILE__, __LINE__); abort(); }
6}
7
8// #include <types.h>
9// #include <lib.h>
10
11trait Comparable(T) {
12  int ?<?(T, T);
13};
14
15forall(T | Comparable(T))
16int ?==?(T t1, T t2);
17
18forall(T | Comparable(T))
19int ?>?(T t1, T t2);
20
21// xxx - unbound type variable problems when trying to use new instead of create
22// forall( otype T, ttype Params | { void ?{}(T *, Params); } ) T * new( Params p );
23
24// To-do: properly use height or balance factor
25// Right now I'm recomputing the height for each
26// node multiple times. It's Theta-log(n), but still..
27
28// Balanced Binary Search Tree of void pointers; almost an AVL tree -
29//   just needs to make use of the balance factor properly
30// Operations:
31// ?{}, ^?{}
32// create   - allocate a new tree. Just a wrapper around malloc which also calls the tree constructor.
33// find     - search through the tree for the given key; return the associated value
34// empty    - return true if the tree is empty
35// insert   - insert node with key and value pair. Returns 0 on success
36// remove   - remove node with the given key, returns 0 on success, 1 on failure
37// copy     - deep copy of a tree
38// for_each - applies the given function to every data element in the tree
39//    assumes that a non-zero return value is an error, will return
40//    the error code from func
41
42// temporary: need forward decl to get around typedef problem
43forall(K | Comparable(K), V)
44struct tree;
45
46forall(K | Comparable(K), V)
47struct tree {
48  K key;
49  V value;
50  tree(K, V) * parent;
51  tree(K, V) * left;
52  tree(K, V) * right;
53  int balance;
54};
55
56forall(K | Comparable(K), V)
57void ?{}(tree(K, V) &t, K key, V value);
58
59forall(K | Comparable(K), V)
60void ^?{}(tree(K, V) & t);
61
62forall(K | Comparable(K), V)
63tree(K, V) * create(K key, V value);
64
65forall(K | Comparable(K), V)
66V * find(tree(K, V) * t, K key);
67
68forall(K | Comparable(K), V)
69int empty(tree(K, V) * t);
70
71// returns the root of the tree
72forall(K | Comparable(K), V)
73int insert(tree(K, V) ** t, K key, V value);
74
75forall(K | Comparable(K), V)
76int remove(tree(K, V) ** t, K key);
77
78forall(K | Comparable(K), V)
79void copy(tree(K, V) * src, tree(K, V) ** ret);
80
81forall(K | Comparable(K), V)
82void for_each(tree(K, V) * t, void (*func)(V));
83
84// // Helper function to print trees
85// forall(otype K | Comparable(K), otype V)
86// void printTree(tree * t, int level){
87//   if (empty(t)){
88//     return;
89//   }
90
91//   printTree(t->left, level+1);
92//   printf("key: %d, value: %s, level: %d\n", t->key, t->value, level);
93//   printTree(t->right, level+1);
94// }
95
96// // inorder traversal of t
97// // prints each key, followed by the value
98// forall(otype K | Comparable(K), otype V)
99// void printTree(tree(K, V) * t){
100//     printTree(t, 0);
101// }
Note: See TracBrowser for help on using the repository browser.