Mercurial > hg > Gears > GearsAgda
view src/allocate/allocateContext.h @ 15:907c69e21e56
modify allocate
author | Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 14 Apr 2015 03:37:22 +0900 |
parents | d98961bfd0f2 |
children | 1eb599acffe4 |
line wrap: on
line source
/* Context definition for allocate example */ enum Code { Code1, Code2, Code3, Allocate, Exit, }; struct Context { int codeSize; __code (**code) (struct Context *); int dataSize; union Data **data; }; union Data { char data[8]; long count; struct Allocate { long size; enum Code next; } allocate; };