dttree.c 6.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308
  1. #include <cdt/dthdr.h>
  2. #include <stdlib.h>
  3. /* Ordered set/multiset
  4. ** dt: dictionary being searched
  5. ** obj: the object to look for.
  6. ** type: search type.
  7. **
  8. ** Written by Kiem-Phong Vo (5/25/96)
  9. */
  10. static void* dttree(Dt_t* dt, void* obj, int type)
  11. {
  12. Dtlink_t *root, *t;
  13. int cmp, lk, sz, ky;
  14. void *o, *k, *key;
  15. Dtlink_t *l, *r, *me = NULL, link;
  16. Dtcompar_f cmpf;
  17. Dtdisc_t* disc;
  18. UNFLATTEN(dt);
  19. disc = dt->disc; _DTDSC(disc,ky,sz,lk,cmpf);
  20. root = dt->data->here;
  21. if(!obj)
  22. { if(!root || !(type&(DT_CLEAR|DT_FIRST|DT_LAST)) )
  23. return NULL;
  24. if(type&DT_CLEAR) /* delete all objects */
  25. { if(disc->freef || disc->link < 0)
  26. { do
  27. { while((t = root->left) )
  28. RROTATE(root,t);
  29. t = root->right;
  30. if(disc->freef)
  31. disc->freef(_DTOBJ(root, lk));
  32. if(disc->link < 0)
  33. free(root);
  34. } while((root = t) );
  35. }
  36. dt->data->size = 0;
  37. dt->data->here = NULL;
  38. return NULL;
  39. }
  40. else /* computing largest/smallest element */
  41. { if(type&DT_LAST)
  42. { while((t = root->right) )
  43. LROTATE(root,t);
  44. }
  45. else /* type&DT_FIRST */
  46. { while((t = root->left) )
  47. RROTATE(root,t);
  48. }
  49. dt->data->here = root;
  50. return _DTOBJ(root,lk);
  51. }
  52. }
  53. /* note that link.right is LEFT tree and link.left is RIGHT tree */
  54. l = r = &link;
  55. /* allow apps to delete an object "actually" in the dictionary */
  56. if(dt->meth->type == DT_OBAG && (type&(DT_DELETE|DT_DETACH)) )
  57. { key = _DTKEY(obj,ky,sz);
  58. for(o = dtsearch(dt,obj); o; o = dtnext(dt,o) )
  59. { k = _DTKEY(o,ky,sz);
  60. if(_DTCMP(key, k, cmpf, sz) != 0)
  61. break;
  62. if(o == obj)
  63. { root = dt->data->here;
  64. l->right = root->left;
  65. r->left = root->right;
  66. goto dt_delete;
  67. }
  68. }
  69. }
  70. if(type&(DT_MATCH|DT_SEARCH|DT_INSERT))
  71. { key = (type&DT_MATCH) ? obj : _DTKEY(obj,ky,sz);
  72. if(root)
  73. goto do_search;
  74. }
  75. else if(type&DT_RENEW)
  76. { me = obj;
  77. obj = _DTOBJ(me,lk);
  78. key = _DTKEY(obj,ky,sz);
  79. if(root)
  80. goto do_search;
  81. }
  82. else if(root && _DTOBJ(root,lk) != obj)
  83. { key = _DTKEY(obj,ky,sz);
  84. do_search:
  85. while(1)
  86. { k = _DTOBJ(root,lk); k = _DTKEY(k,ky,sz);
  87. if((cmp = _DTCMP(key, k, cmpf, sz)) == 0)
  88. break;
  89. else if(cmp < 0)
  90. { if((t = root->left) )
  91. { k = _DTOBJ(t,lk); k = _DTKEY(k,ky,sz);
  92. if((cmp = _DTCMP(key, k, cmpf, sz)) < 0)
  93. { rrotate(root,t);
  94. rlink(r,t);
  95. if(!(root = t->left) )
  96. break;
  97. }
  98. else if(cmp == 0)
  99. { rlink(r,root);
  100. root = t;
  101. break;
  102. }
  103. else /* if(cmp > 0) */
  104. { llink(l,t);
  105. rlink(r,root);
  106. if(!(root = t->right) )
  107. break;
  108. }
  109. }
  110. else
  111. { rlink(r,root);
  112. root = NULL;
  113. break;
  114. }
  115. }
  116. else /* if(cmp > 0) */
  117. { if((t = root->right) )
  118. { k = _DTOBJ(t,lk); k = _DTKEY(k,ky,sz);
  119. if((cmp = _DTCMP(key, k, cmpf, sz)) > 0)
  120. { lrotate(root,t);
  121. llink(l,t);
  122. if(!(root = t->right) )
  123. break;
  124. }
  125. else if(cmp == 0)
  126. { llink(l,root);
  127. root = t;
  128. break;
  129. }
  130. else /* if(cmp < 0) */
  131. { rlink(r,t);
  132. llink(l,root);
  133. if(!(root = t->left) )
  134. break;
  135. }
  136. }
  137. else
  138. { llink(l,root);
  139. root = NULL;
  140. break;
  141. }
  142. }
  143. }
  144. }
  145. if(root)
  146. { /* found it, now isolate it */
  147. l->right = root->left;
  148. r->left = root->right;
  149. if(type&(DT_SEARCH|DT_MATCH))
  150. { has_root:
  151. root->left = link.right;
  152. root->right = link.left;
  153. if((dt->meth->type&DT_OBAG) && (type&(DT_SEARCH|DT_MATCH)) )
  154. { key = _DTOBJ(root,lk); key = _DTKEY(key,ky,sz);
  155. while((t = root->left) )
  156. { /* find max of left subtree */
  157. while((r = t->right) )
  158. LROTATE(t,r);
  159. root->left = t;
  160. /* now see if it's in the same group */
  161. k = _DTOBJ(t,lk); k = _DTKEY(k,ky,sz);
  162. if(_DTCMP(key, k, cmpf, sz) != 0)
  163. break;
  164. RROTATE(root,t);
  165. }
  166. }
  167. dt->data->here = root;
  168. return _DTOBJ(root,lk);
  169. }
  170. else if(type&DT_NEXT)
  171. { root->left = link.right;
  172. root->right = NULL;
  173. link.right = root;
  174. dt_next:
  175. if((root = link.left) )
  176. { while((t = root->left) )
  177. RROTATE(root,t);
  178. link.left = root->right;
  179. goto has_root;
  180. }
  181. else goto no_root;
  182. }
  183. else if(type&DT_PREV)
  184. { root->right = link.left;
  185. root->left = NULL;
  186. link.left = root;
  187. dt_prev:
  188. if((root = link.right) )
  189. { while((t = root->right) )
  190. LROTATE(root,t);
  191. link.right = root->left;
  192. goto has_root;
  193. }
  194. else goto no_root;
  195. }
  196. else if(type&(DT_DELETE|DT_DETACH))
  197. { /* taking an object out of the dictionary */
  198. dt_delete:
  199. obj = _DTOBJ(root,lk);
  200. if(disc->freef && (type&DT_DELETE))
  201. disc->freef(obj);
  202. if(disc->link < 0)
  203. free(root);
  204. if((dt->data->size -= 1) < 0)
  205. dt->data->size = -1;
  206. goto no_root;
  207. }
  208. else if(type&DT_INSERT)
  209. { if(dt->meth->type&DT_OSET)
  210. goto has_root;
  211. else
  212. { root->left = NULL;
  213. root->right = link.left;
  214. link.left = root;
  215. goto dt_insert;
  216. }
  217. }
  218. else if(type&DT_RENEW) /* a duplicate */
  219. { if(dt->meth->type&DT_OSET)
  220. { if(disc->freef)
  221. disc->freef(obj);
  222. if(disc->link < 0)
  223. free(me);
  224. }
  225. else
  226. { me->left = NULL;
  227. me->right = link.left;
  228. link.left = me;
  229. dt->data->size += 1;
  230. }
  231. goto has_root;
  232. }
  233. }
  234. else
  235. { /* not found, finish up LEFT and RIGHT trees */
  236. r->left = NULL;
  237. l->right = NULL;
  238. if(type&DT_NEXT)
  239. goto dt_next;
  240. else if(type&DT_PREV)
  241. goto dt_prev;
  242. else if(type&(DT_SEARCH|DT_MATCH))
  243. { no_root:
  244. while((t = r->left) )
  245. r = t;
  246. r->left = link.right;
  247. dt->data->here = link.left;
  248. return (type&DT_DELETE) ? obj : NULL;
  249. }
  250. else if(type&DT_INSERT)
  251. { dt_insert:
  252. if(disc->makef && (type&DT_INSERT))
  253. obj = disc->makef(obj, disc);
  254. if(obj)
  255. { if(lk >= 0)
  256. root = _DTLNK(obj,lk);
  257. else
  258. { root = malloc(sizeof(Dthold_t));
  259. if(root)
  260. ((Dthold_t*)root)->obj = obj;
  261. else if(disc->makef && disc->freef &&
  262. (type&DT_INSERT))
  263. disc->freef(obj);
  264. }
  265. }
  266. if(root)
  267. { if(dt->data->size >= 0)
  268. dt->data->size += 1;
  269. goto has_root;
  270. }
  271. else goto no_root;
  272. }
  273. else if(type&DT_RENEW)
  274. { root = me;
  275. dt->data->size += 1;
  276. goto has_root;
  277. }
  278. else /*if(type&DT_DELETE)*/
  279. { obj = NULL;
  280. goto no_root;
  281. }
  282. }
  283. return NULL;
  284. }
  285. /* make this method available */
  286. static Dtmethod_t _Dtoset = { dttree, DT_OSET };
  287. static Dtmethod_t _Dtobag = { dttree, DT_OBAG };
  288. Dtmethod_t* Dtoset = &_Dtoset;
  289. Dtmethod_t* Dtobag = &_Dtobag;
  290. Dtmethod_t _Dttree = { dttree, DT_OSET };
  291. Dtmethod_t* Dttree = &_Dttree;