source: tests/avltree/avl-private.cfa @ fd54fef

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since fd54fef 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: 3.1 KB
RevLine 
[6e3ae00]1#include "avl.h"
2#include "avl-private.h"
3
4// AVL tree specific (internal) operations:
5// rotateLeft, rotateRight, fix
6//
7// AVL tree enhanced height operation
8//
9// calcBalance is a simple computation of height(R) - height(L)
10
11// an AVL tree's height is easy to compute
12// just follow path with the larger balance
[fd54fef]13forall(K | Comparable(K), V)
[6e3ae00]14int height(tree(K, V) * t){
15  int helper(tree(K, V) * t, int ht){
16    if (empty(t)){
17      return ht;
18    } else if (t->balance > 0){
19      return helper(t->right, 1+ht);
20    } else {
21      // can traverse either branch to find the height
22      // of an AVL tree whose balance is 0
23      return helper(t->left, 1+ht);
24    }
25  }
26  return helper(t, 0);
27}
28
[fd54fef]29forall(K | Comparable(K), V)
[6e3ae00]30int calcBalance(tree(K, V) * t){
31  int l = height(t->left);
32  int r = height(t->right);
33  t->balance = r-l;
34  return t->balance;
35}
36
37// re-establish the link between parent and child
[fd54fef]38forall(K | Comparable(K), V)
[6e3ae00]39void relinkToParent(tree(K, V) * t){
40  tree(K, V) * parent = t->parent; // FIX ME!!
41  if (empty(t->parent)){
42    return;
43  } else if (parent->key < t->key){
44    parent->right = t;
45  } else {
46    parent->left = t;
47  }
48}
49
50// rotate left from t
[fd54fef]51forall(K | Comparable(K), V)
[6e3ae00]52tree(K, V) * rotateLeft(tree(K, V) * t){
53  tree(K, V) * newRoot = t->right;
54  t->right = newRoot->left;
55  newRoot->left = t;
56
57  // swap parents
58  newRoot->parent = t->parent;
59  t->parent = newRoot;
60  if (t->right != NULL) {
61    tree(K, V) * right = t->right; // FIX ME!!
62    right->parent = t;
63  }
64  // re-establish the link between newRoot and its parent
65  relinkToParent(newRoot);
66  return newRoot;
67}
68
69// rotate right from t
[fd54fef]70forall(K | Comparable(K), V)
[6e3ae00]71tree(K, V) * rotateRight(tree(K, V) * t){
72  tree(K, V) * newRoot = t->left;
73  t->left = newRoot->right;
74  newRoot->right = t;
75
76  // swap parents
77  newRoot->parent = t->parent;
78  t->parent = newRoot;
79  if (t->left != NULL){
80    tree(K, V) * left = t->left; // FIX ME!!
81    left->parent = t;
82  }
83  // re-establish the link between newRoot and its parent
84  relinkToParent(newRoot);
85  return newRoot;
86}
87
88// balances a node that has balance factor -2 or 2
[fd54fef]89forall(K | Comparable(K), V)
[6e3ae00]90tree(K, V) * fix(tree(K, V) * t){
91  // ensure that t's balance factor is one of
92  // the appropriate values
93  assert(t->balance == 2 || t->balance == -2);
94
95  if (t->balance == -2){
96    tree(K, V) * left = t->left; // FIX ME!!
97    if (left->balance == 1){
98      t->left = rotateLeft(t->left);
99    }
100    return rotateRight(t);
101  } else if (t->balance == 2){
102    tree(K, V) * right = t->right; // FIX ME!!
103    if (right->balance == -1){
104      t->right = rotateRight(t->right);
105    }
106    return rotateLeft(t);
107  } else {
108    // shouldn't ever get here
109    assert((int)0);
110    return t;
111  }
112}
113
114// attempt to fix the tree, if necessary
[fd54fef]115forall(K | Comparable(K), V)
[6e3ae00]116tree(K, V) * tryFix(tree(K, V) * t){
117  int b = calcBalance(t);
118
119  if (b == -2 || b == 2){
120    t = fix(t);
121  } else {
122    assert(b == 0 || b == 1 || b == -1);
123  }
124  return t;
125}
126
127// sets parent field of c to be p
[fd54fef]128forall(K | Comparable(K), V)
[6e3ae00]129void setParent(tree(K, V) * c, tree(K, V) * p){
130  if (! empty(c)){
131    c->parent = p;
132  }
133}
134
Note: See TracBrowser for help on using the repository browser.