#include <unistr.h> //u32_cpy\r
#include <unistdio.h> //ulc_fprintf\r
/* Local */\r
+#define eprintf_callback(...) exit(EXIT_FAILURE)\r
#include "print.h"\r
#include "apc.h"\r
#include "ir.h"\r
#include "pagenode.h"\r
-#undef do_error\r
-#define do_error(...) exit(-1)\r
#define XXH_PRIVATE_API\r
#include "../xxHash/xxhash.h"\r
/* Public */\r
struct ir_simplex_t { struct ir_setdata_header_t header; };\r
struct ir_link_t\r
{ struct ir_setdata_header_t header;\r
- struct ir_classld_t* classld;\r
struct ir_setld_t* setld;\r
+ struct ir_set_t* trg_set;\r
+ uint8_t* dlink;\r
enum ltype type;\r
};\r
union ir_setdata_t\r
static inline\r
union ir_setdata_t* ir_framedata (enum dtype,const uint8_t*,apc_facing,int,int);\r
static inline\r
+void ir_linkdata_resolve_set(union ir_setdata_t*);\r
+static inline\r
int bytes_identical(const uint8_t*,const uint8_t*);\r
static inline\r
int classnames_identical(const uint8_t*,const uint8_t*);\r
#define struct_alloc(_T) ((struct _T*) stack_alloc(&datapages, sizeof(struct _T)))\r
extern //apc.c\r
long sys_pagesize;\r
+extern //apc.c\r
+char* apc_package_name;\r
static\r
struct pagelist_t datapages, namepages, refhashpages;\r
static\r
-struct ir_class_t root_class = { .name = (uint8_t*)"." };\r
+struct ir_class_t root_class;\r
\r
/* Init */\r
int ir_init\r
{ pagelist_init(datapages, (size_t)SYS_PAGESIZE);\r
pagelist_init(namepages, (size_t)NAME_PAGESIZE);\r
pagelist_init(refhashpages, (size_t)SYS_PAGESIZE);\r
-\r
+ root_class.name = (uint8_t*) apc_package_name;\r
return 0;\r
}\r
\r
link = struct_alloc(ir_link_t);\r
struct_clear(link);\r
link->header.type = LDAT;\r
- link->type = link_type; \r
- link->classld = setld->classld;\r
+ link->type = link_type;\r
link->setld = setld;\r
if (link_type != OLINK && name != NULL)\r
link->header.data_name = name_alloc(name);\r
( struct ir_set_t* set )\r
{ return (union ir_setdata_t*) set->links; }\r
\r
+#define assert_link(linkdata) if (DEBUG) { \\r
+ if (linkdata->header.type != LDAT) \\r
+ eprintf("Data %s is not a link\n", linkdata->header.data_name); \\r
+ }\r
+\r
/* Return the link type */\r
enum ltype ir_linkdata_type\r
( union ir_setdata_t* linkdata )\r
-{ if (linkdata->header.type != LDAT)\r
- eprintf("Data %s is not a link\n", linkdata->header.data_name);\r
+{ assert_link(linkdata);\r
return linkdata->link.type;\r
}\r
\r
/* Return the link type */\r
uint32_t ir_linkdata_ref\r
( union ir_setdata_t* linkdata )\r
-{ if (linkdata->header.type != LDAT)\r
- eprintf("Data %s is not a link\n", linkdata->header.data_name);\r
+{ assert_link(linkdata);\r
return linkdata->link.setld->ref;\r
}\r
\r
-/* Resolve and return the link's target set */\r
+/* Return the current target set, resolving it first if not present */\r
struct ir_set_t* ir_linkdata_set\r
( union ir_setdata_t* linkdata )\r
+{ assert_link(linkdata);\r
+ if (linkdata->link.trg_set == NULL)\r
+ ir_linkdata_resolve_set(linkdata);\r
+ return linkdata->link.trg_set;\r
+}\r
+\r
+/* Resolve and assign the link's target set */\r
+static inline\r
+void ir_linkdata_resolve_set\r
+( union ir_setdata_t* linkdata )\r
{ struct ir_class_t* class_iter;\r
- struct ir_namelist_t* namelist_iter;\r
+ struct ir_namelist_t* namelist_iter,* namelist_iter_last;\r
struct ir_setld_t* setld;\r
struct ir_classld_t* classld;\r
struct ir_set_t* set;\r
set = NULL;\r
- if (linkdata->header.type != LDAT)\r
- eprintf("Data %s is not a link\n", linkdata->header.data_name);\r
+ class_iter = NULL;\r
+ assert_link(linkdata);\r
setld = linkdata->link.setld;\r
if (linkdata->link.setld == NULL)\r
eprintf("Link data is invalid\n");\r
- classld = linkdata->link.classld;\r
+ classld = setld->classld;\r
if (classld != NULL)\r
{ namelist_iter = classld->namelist;\r
if (classld->root_class == NULL)\r
eprintf("No root class for classld\n");\r
- for (class_iter = classld->root_class->nextchild;\r
- class_iter != NULL;\r
- class_iter = class_iter->nextsib)\r
+ class_iter = classld->root_class->nextchild;\r
+ namelist_iter_last = NULL;\r
+ while (class_iter != NULL)\r
{ if (classnames_identical(class_iter->name, namelist_iter->name))\r
{ if (namelist_iter == classld->namelist_head)\r
break;\r
class_iter = class_iter->nextchild;\r
+ namelist_iter_last = namelist_iter;\r
namelist_iter = namelist_iter->nextsib;\r
}\r
+ else\r
+ class_iter = class_iter->nextsib;\r
}\r
if (class_iter == NULL)\r
- eprintf("Class resolution failed\n");\r
+ { if (namelist_iter_last)\r
+ eprintf("No such subclass \"%s\" of class \"%s\"\n",\r
+ namelist_iter->name,\r
+ namelist_iter_last->name);\r
+ else\r
+ { wprintf("No such class \"%s\"\n", namelist_iter->name);\r
+ return;\r
+ }\r
+ }\r
set = class_iter->root_set;\r
}\r
- else if (setld->ref)\r
+ else\r
set = ir_set_from_ref(setld->ref);\r
if (set == NULL)\r
eprintf("Initial set resolution failed\n");\r
namelist_iter = setld->namelist;\r
- while (set != NULL)\r
- { if (bytes_identical(set->name, namelist_iter->name))\r
- { if (namelist_iter == setld->namelist_head)\r
- break;\r
- set = set->nextchild;\r
- namelist_iter = namelist_iter->nextsib;\r
- }\r
+ namelist_iter_last = NULL;\r
+ if (setld->namelist != NULL)\r
+ { while (set != NULL)\r
+ { if (bytes_identical(set->name, namelist_iter->name))\r
+ { if (namelist_iter == setld->namelist_head)\r
+ break;\r
+ set = set->nextchild;\r
+ namelist_iter_last = namelist_iter;\r
+ namelist_iter = namelist_iter->nextsib;\r
+ }\r
+ else\r
+ set = set->nextsib;\r
+ }\r
+ if (set == NULL)\r
+ { if (namelist_iter_last)\r
+ eprintf("No such subset \"%s\" of set \"%s\"\n",\r
+ namelist_iter->name,\r
+ namelist_iter_last->name);\r
+ else\r
+ eprintf("No such set \"%s\" in class \"%s\"\n",\r
+ namelist_iter->name,\r
+ class_iter->name);\r
+ }\r
+ }\r
+ linkdata->link.trg_set = set;\r
+}\r
+\r
+/* Assign a linkdatas trg_set */\r
+void ir_linkdata_assign_set\r
+( union ir_setdata_t* link, struct ir_set_t* set )\r
+{ assert_link(link);\r
+ link->link.trg_set = set;\r
+}\r
+\r
+/* Assign a linkdatas type */\r
+void ir_linkdata_assign_type\r
+( union ir_setdata_t* link, enum ltype type )\r
+{ assert_link(link);\r
+ link->link.type = type;\r
+}\r
+\r
+/* Get, or generate, the fully qualified name of the link's target set */\r
+uint8_t*\r
+ir_linkdata_dlink_name\r
+( union ir_setdata_t* link )\r
+{ struct ir_namelist_t* namelist_iter;\r
+ struct ir_setld_t* setld;\r
+ struct ir_classld_t* classld;\r
+ uint8_t* bytep;\r
+ size_t bytes;\r
+ char setpass;\r
+ uint8_t delimiter;\r
+ assert_link(link);\r
+ if (link->link.dlink != NULL)\r
+ return link->link.dlink;\r
+ bytes = 0;\r
+ setld = link->link.setld;\r
+ if (setld == NULL)\r
+ eprintf("No setld in dlink\n");\r
+ classld = setld->classld;\r
+ if (classld == NULL)\r
+ eprintf("No classld in dlink\n");\r
+ if (classld->root_class != NULL)\r
+ eprintf("Cannot dlink local class \"%s\"\n", classld->root_class->name);\r
+ namelist_iter = classld->namelist;\r
+ setpass = 0;\r
+ count_bytes_in_namelist:\r
+ while (namelist_iter != NULL)\r
+ { bytep = namelist_iter->name;\r
+ while (*bytep++);\r
+ bytes += (bytep - namelist_iter->name);\r
+ namelist_iter = namelist_iter->nextsib;\r
}\r
- return set;\r
+ if (setpass == 0)\r
+ { setpass = 1;\r
+ namelist_iter = setld->namelist;\r
+ goto count_bytes_in_namelist;\r
+ }\r
+ bytes += 2; //trailing '\0' and preceding '.'\r
+ link->link.dlink = stack_alloc(&namepages, bytes);\r
+ bytes = 0;\r
+ link->link.dlink[bytes++] = '.'; //dlinks start with '.'\r
+ namelist_iter = classld->namelist;\r
+ setpass = 0;\r
+ delimiter = '-'; //class delimiter\r
+ copy_bytes_in_namelist:\r
+ while (namelist_iter != NULL)\r
+ { bytep = namelist_iter->name;\r
+ while (*bytep)\r
+ link->link.dlink[bytes++] = *bytep++;\r
+ link->link.dlink[bytes++] = delimiter;\r
+ namelist_iter = namelist_iter->nextsib;\r
+ }\r
+ if (setpass == 0)\r
+ { setpass = 1;\r
+ namelist_iter = setld->namelist;\r
+ delimiter = '_'; //set delimiter\r
+ goto copy_bytes_in_namelist;\r
+ }\r
+ link->link.dlink[bytes] = '\0'; //tailing '\0' null termination\r
+ return link->link.dlink;\r
}\r
\r
/* Get a setdata's next sibling */\r
)\r
{ setdata->header.filepos = newpos; }\r
\r
+/* Assign a setdatas name */\r
+void ir_setdata_assign_name\r
+( union ir_setdata_t* setdata, uint8_t* name )\r
+{ setdata->header.data_name = name;}\r
+\r
/* Return a framebox's specified framesheet */\r
union ir_setdata_t* ir_framebox_framesheet\r
( union ir_setdata_t* fbox,\r