Mercurial > hg > Gears > GearsAgda
view src/llrb/llrbContext.h @ 56:c469c5ed5b4d
modify syntax
author | Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 16 Jun 2015 13:40:08 +0900 |
parents | 0299b90256e5 |
children | 025fd6e90597 |
line wrap: on
line source
/* Context definition for llrb example */ #define ALLOCATE_SIZE 100 enum Code { Code1, Code2, Code3, Code4, Code5, Code6, Allocator, Put, Replace, Insert, Compare, Create, RotateL, RotateR, ColorFlip, FixUp, ChangeRef, Get, Traverse, Exit, }; enum UniqueData { Allocate, Tree, Node, }; struct Context { enum Code *next; int current; int codeNum; __code (**code) (struct Context*); void* heapStart; void* heap; long heapLimit; int dataNum; union Data **data; }; union Data { struct Comparable { // inteface enum Code compare; union Data* data; } compare; struct Count { enum Code next; long i; } count; struct Tree { enum Code next; struct Node* root; struct Node* current; struct Node* prev; int result; } tree; struct Node { enum Code next; int key; // comparable data segment int value; enum Color { Red, Black, } color; struct Node* left; struct Node* right; } node; struct Allocate { enum Code next; long size; } allocate; };