codec.h 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362
  1. #ifndef _LSUP_CODEC_BASE_H
  2. #define _LSUP_CODEC_BASE_H
  3. #include "graph.h"
  4. /**
  5. * Max data size passed to the scanner and parser at each iteration.
  6. */
  7. #ifdef LSUP_RDF_STREAM_CHUNK_SIZE
  8. #define CHUNK_SIZE LSUP_RDF_STREAM_CHUNK_SIZE
  9. #else
  10. #define CHUNK_SIZE 8192
  11. #endif
  12. typedef struct codec_t LSUP_Codec;
  13. /** @brief Codec iterator type.
  14. *
  15. * This structure holds state data including input and output for encoding a
  16. * graph into RDF. Normally it should not be inspected or manipulated directly,
  17. * but rather passed to codec iteration functions for processing RDF.
  18. *
  19. * NOTE: This should be used as an opaque handle, however it is exposed here
  20. * for easier inclusion into each codec.
  21. */
  22. typedef struct codec_iter_t {
  23. const LSUP_Codec * codec; // Codec that generated this iterator.
  24. LSUP_Triple * trp; // RDF fragment being encoded.
  25. LSUP_GraphIterator *gr_it; // Graph iterator.
  26. const LSUP_NSMap * nsm; // Namespace map.
  27. size_t cur; // Internal cursor.
  28. LSUP_rc rc; // Internal return code.
  29. char * rep, // String representation of a RDF fragment.
  30. * str_s, // Temporary string.
  31. * str_p, // Temporary string.
  32. * str_o; // Temporary string.
  33. } LSUP_CodecIterator;
  34. /// Predicate and object list. Used for Turtle.
  35. typedef struct {
  36. LSUP_Term ** p; ///< NULL-terminated array of term handles.
  37. LSUP_Term *** o; /**<
  38. * NULL-terminated array of
  39. * NULL-terminated arrays of term handles.
  40. * The indices of the outer array are
  41. * equal to the indices of the associated
  42. * predicate in the predicate list.
  43. */
  44. } LSUP_PredObjList;
  45. /// Parser state.
  46. typedef struct {
  47. LSUP_GraphIterator * it; ///< Iterator used to build the graph.
  48. LSUP_NSMap * nsm; ///< NS map used in the document.
  49. LSUP_Term * base; ///< Base IRI used in the document.
  50. } LSUP_TTLParserState;
  51. /** @brief Parse error information.
  52. *
  53. */
  54. /* TODO A plain string will suffice for now.
  55. typedef struct parse_error_t {
  56. unsigned int line; // Line number where the error occurred.
  57. unsigned int linec; // Position in line of the offending token.
  58. char * token; // String representation of the token.
  59. } LSUP_ParseError;
  60. */
  61. /*
  62. * Interface prototypes.
  63. */
  64. /** @brief Term encoder callback type.
  65. *
  66. * @param[in] term Single term handle.
  67. *
  68. * @param[in] nsm Namespace map. May be NULL for no prefix shortening.
  69. *
  70. * @param[out] rep Pointer to a string to be filled with the encoded term. The
  71. * caller is in charge of freeing the string after use. Returns undefined on
  72. * error.
  73. *
  74. * @return LSUP_OK on successful encoding; <0 for other errors.
  75. */
  76. typedef LSUP_rc (*term_enc_fn_t)(
  77. const LSUP_Term *term, const LSUP_NSMap *nsm, char **rep);
  78. /** @brief Initialize a graph encoding loop.
  79. *
  80. * This prototype is to be implemented by graph encoding loops. It should
  81. * create an iterator and perform all initial setup for finding triples.
  82. *
  83. * Implementations MUST set the "codec" member of the iterator to the address
  84. * of the codec that generated it.
  85. *
  86. * @param[in] gr The graph to be encoded. The graph's namespace map is used by
  87. * the codec for namespace prefixing. The graph may only be freed after the
  88. * loop is finalized.
  89. *
  90. * @return A codec iterator handle to be passed to a #gr_codec_iter_fn_t
  91. * function and, eventually, to a #gr_codec_done_fn_t function.
  92. */
  93. typedef LSUP_CodecIterator * (*gr_encode_init_fn_t)(const LSUP_Graph *gr);
  94. /** @brief Perform one encoding iteration.
  95. *
  96. * Implementations of this prototype MUST perform all the steps to encode one
  97. * or more complete triples into an RDF fragment representing those triples.
  98. * The input and output units are up to the implementation and a caller SHOULD
  99. * assume that multiple lines may be yielded at each iteration.
  100. *
  101. * @param[in] it Iterator handle.
  102. *
  103. * @param[out] res Handle to be populated with a string obtained from encoding.
  104. * The output data should be UTF-8 [TODO or UTF-16] encoded. This pointer
  105. * must be initialized (even to NULL) and should be eventually freed manually
  106. * at the end of the loop. It is reallocated at each iteration, so memory from
  107. * a previous iteration may be overwritten with new data.
  108. *
  109. * @return LSUP_OK if a new token was processed; LSUP_END if the end of the
  110. * loop was reached.
  111. */
  112. typedef LSUP_rc (*gr_encode_iter_fn_t)(
  113. LSUP_CodecIterator *it, unsigned char **res);
  114. /** @brief Finalize an encoding operation.
  115. *
  116. * Implementations SHOULD use this function to perform all necessary steps to
  117. * clean up memory and free the iterator handle after a graph has been
  118. * completely encoded.
  119. *
  120. * @param[in] it Iterator handle.
  121. */
  122. typedef void (*gr_encode_done_fn_t)(LSUP_CodecIterator *it);
  123. /** @brief Prototype for decoding a string into a LSUP_Term.
  124. *
  125. * Implementations MAY ignore any other tokens after finding the first one.
  126. *
  127. * @param[in] rep NT representation of the term.
  128. *
  129. * @param[in] nsm Namespace map handle.
  130. *
  131. * @param[out] Pointer to the term handle to be created. Implementaions SHOULD
  132. * return NULL on a parse error.
  133. *
  134. * @return Implementations MUST return LSUP_OK on success and a negative value
  135. * on parsing error.
  136. */
  137. typedef LSUP_rc (*term_decode_fn_t)(
  138. const char *rep, const LSUP_NSMap *nsm, LSUP_Term **term);
  139. /** @brief Prototype for decoding a complete RDF document into a graph.
  140. *
  141. * Implementations SHOULD consume data from the file handle in chunks.
  142. *
  143. * @param[in] rep Open file handle pointing to the RDF data. Implementations
  144. * MUST NOT close the file handle.
  145. *
  146. * @param[out] gr Pointer to a graph handle to be generated from decoding.
  147. *
  148. * @param[out] ct If not NULL, it may be populated with the number of triples
  149. * parsed (which may be different from the resulting graph size).
  150. * Implementations may choose not not use this, and they must account for the
  151. * value to be NULL.
  152. *
  153. * @param[out] err Pointer to error info string. If no error occurs, it yields
  154. * NULL.
  155. *
  156. * @return Implementations MUST return LSUP_OK on success and a negative value
  157. * on parsing error.
  158. */
  159. typedef LSUP_rc (*gr_decode_fn_t)(
  160. FILE *rep, LSUP_Graph **gr, size_t *ct, char **err);
  161. /** @brief Codec structure.
  162. *
  163. * An instance of this structure is usually defined at compile time (see
  164. * examples in "include/codec_*.h" and "src/codec_*.c") and should have the
  165. * following defined:
  166. *
  167. * - name: A brief (16-char max), human-readable to identify the codec.
  168. * - mimetype: MIME type (32-char max) associated with the codec.
  169. * - extension: File extension associated with the serialized file.
  170. *
  171. * - encode_term: Encode a single term.
  172. *
  173. * - encode_graph_init: Initialize a graph decoding loop.
  174. * - encode_graph_iter: Run one iteration of encoding on one or more triples.
  175. * - encode_graph_done: Finalize the encoding loop and free the support data.
  176. *
  177. * - decode_term: Decode a single term.
  178. * - decode_graph: Decode a RDF document into a graph.
  179. *
  180. * For documentation on the individual encoding and decoding callbacks, see the
  181. * related function prototypes.
  182. */
  183. struct codec_t {
  184. char name[16]; // Name of the codec.
  185. char mimetype[32]; // MIME type associated with the codec.
  186. char extension[8]; // Serialized file extension.
  187. // Encoding.
  188. term_enc_fn_t encode_term; // Term encoder function.
  189. gr_encode_init_fn_t encode_graph_init; // Graph encoder initialization.
  190. gr_encode_iter_fn_t encode_graph_iter; // Graph encoder iteration.
  191. gr_encode_done_fn_t encode_graph_done; // Graph encoder finalization.
  192. // Decoding.
  193. term_decode_fn_t decode_term; // Term decoder function.
  194. gr_decode_fn_t decode_graph; // Graph decoder function.
  195. };
  196. /*
  197. * Common utility functions.
  198. */
  199. /** @brief strdup() for unsigned char.
  200. *
  201. * This is to be used with uint8_t sequences considered to be UTF-8 sequences,
  202. * requird by re2c (it won't work with byte sequences containing `NUL`).
  203. */
  204. inline uint8_t
  205. *uint8_dup (const uint8_t *str)
  206. { return (uint8_t *) strdup ((char *) str); }
  207. /** @brief strndup() for unsigned char.
  208. *
  209. * This is to be used with uint8_t sequences considered to be UTF-8 sequences,
  210. * requird by re2c (it won't work with byte sequences containing `NUL`).
  211. */
  212. inline uint8_t
  213. *uint8_ndup (const uint8_t *str, size_t size)
  214. { return (uint8_t *) strndup ((char *) str, size); }
  215. /** @brief Unescape a single character.
  216. *
  217. * Convert escaped special characters such as `\t`, `\n`, etc. into their
  218. * corresponding code points.
  219. *
  220. * Non-special characters are returned unchanged.
  221. *
  222. * @param[in] c Character to unescape. Note that this is the single character
  223. * after `\`.
  224. *
  225. * @return Code point corresponding to the escaped character.
  226. */
  227. inline char
  228. unescape_char (const char c)
  229. {
  230. switch (c) {
  231. case 't': return '\t';
  232. case 'b': return '\b';
  233. case 'n': return '\n';
  234. case 'r': return '\r';
  235. case 'f': return '\f';
  236. default: return c;
  237. }
  238. }
  239. /** @brief Replace \uxxxx and \Uxxxxxxxx with Unicode bytes.
  240. *
  241. * TODO This does not encode UTF-16 yet. An UTF-16 version should change
  242. * signature because it cannot output a plain NUL-terminated string.
  243. *
  244. * @param[in] esc_str Escaped string.
  245. *
  246. * @return String with escape sequences replaced by Unicode bytes.
  247. */
  248. uint8_t *unescape_unicode (const uint8_t *esc_str);
  249. /** @brief Add an object to an objct list.
  250. *
  251. * @param[in] ol Array of object handles to be added to. On success, this
  252. * handle will be reallocated and the new address returned, so the passed
  253. * handle should no longer be used. On failure, it remains unchanged and may
  254. * be reused.
  255. *
  256. * @param[in] o Object to be added to the list.
  257. *
  258. * @return Reallocated list on success; NULL on failure.
  259. */
  260. LSUP_Term **
  261. LSUP_obj_list_add (LSUP_Term **ol, LSUP_Term *o);
  262. /** @brief New predicate-object list.
  263. *
  264. * @return a new empty predicate-object list.
  265. */
  266. LSUP_PredObjList *
  267. LSUP_pred_obj_list_new (void);
  268. /** @brief Free a predicate-object list.
  269. *
  270. * @param[in] pol Predicate-object list handle obtained with
  271. * #LSUP_pred_obj_list_new().
  272. */
  273. void
  274. LSUP_pred_obj_list_free (LSUP_PredObjList *pol);
  275. /** @brief Add a predicate-object list pair to a PO list.
  276. *
  277. * @param[in] pol Predicate-object list handle obtained with
  278. * #LSUP_pred_obj_list_new().
  279. *
  280. * @param[in] p Predicate to be associated with the given object list.
  281. *
  282. * @param[in] o NULL-terminated array of object term handles to be associated
  283. * with the given predicate.
  284. *
  285. * @return LSUP_OK on success; LSUP_MEM_ERR on allocation error.
  286. */
  287. LSUP_rc
  288. LSUP_pred_obj_list_add (LSUP_PredObjList *pol, LSUP_Term *p, LSUP_Term **o);
  289. /** @brief Add triples for a subject and a PO list to a graph.
  290. *
  291. * @param[in] it Graph iterator to use for insertion.
  292. *
  293. * @param[in] s Subject of all the triples.
  294. *
  295. * @param[in] po Predicate-object list.
  296. */
  297. LSUP_rc
  298. LSUP_spo_list_add_triples (
  299. LSUP_GraphIterator *it, LSUP_Term *s, const LSUP_PredObjList *po);
  300. /** @brief Add triples for an anonymous collection to a graph.
  301. *
  302. * The `rdf:first`, `rdf:rest`, etc. terms are automatically added and the term
  303. * for the first item in the list is returned.
  304. *
  305. * @param[in] it Graph iterator to use for insertion.
  306. *
  307. * @param[in] ol NULL-terminated term array.
  308. *
  309. * @return Blank node representing the first list item.
  310. */
  311. LSUP_Term *
  312. LSUP_bnode_add_collection (LSUP_GraphIterator *it, LSUP_Term **ol);
  313. #endif