Searched refs:BlockType (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Ddatabase.h52 /* BlockType should be int for use in switch labels */
53 #define BlockType(headerptr) (int)ProcLid(CodeStart(headerptr)) macro
H A Dproc_desc.c1746 if (BlockType(code) == GROUND_TERM)
1752 else if (BlockType(code) == UNDEFINED_PROC)
H A Dbip_db.c3198 switch(BlockType(code_block))
3226 BlockType(code_block));

Completed in 91 milliseconds