codec.h 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364
  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. size_t ct; ///< Statements parsed.
  51. } LSUP_TTLParserState;
  52. /** @brief Parse error information.
  53. *
  54. */
  55. /* TODO A plain string will suffice for now.
  56. typedef struct parse_error_t {
  57. unsigned int line; // Line number where the error occurred.
  58. unsigned int linec; // Position in line of the offending token.
  59. char * token; // String representation of the token.
  60. } LSUP_ParseError;
  61. */
  62. /*
  63. * Interface prototypes.
  64. */
  65. /** @brief Term encoder callback type.
  66. *
  67. * @param[in] term Single term handle.
  68. *
  69. * @param[in] nsm Namespace map. May be NULL for no prefix shortening.
  70. *
  71. * @param[out] rep Pointer to a string to be filled with the encoded term. The
  72. * caller is in charge of freeing the string after use. Returns undefined on
  73. * error.
  74. *
  75. * @return LSUP_OK on successful encoding; <0 for other errors.
  76. */
  77. typedef LSUP_rc (*term_enc_fn_t)(
  78. const LSUP_Term *term, const LSUP_NSMap *nsm, char **rep);
  79. /** @brief Initialize a graph encoding loop.
  80. *
  81. * This prototype is to be implemented by graph encoding loops. It should
  82. * create an iterator and perform all initial setup for finding triples.
  83. *
  84. * Implementations MUST set the "codec" member of the iterator to the address
  85. * of the codec that generated it.
  86. *
  87. * @param[in] gr The graph to be encoded. The graph's namespace map is used by
  88. * the codec for namespace prefixing. The graph may only be freed after the
  89. * loop is finalized.
  90. *
  91. * @return A codec iterator handle to be passed to a #gr_codec_iter_fn_t
  92. * function and, eventually, to a #gr_codec_done_fn_t function.
  93. */
  94. typedef LSUP_CodecIterator * (*gr_encode_init_fn_t)(const LSUP_Graph *gr);
  95. /** @brief Perform one encoding iteration.
  96. *
  97. * Implementations of this prototype MUST perform all the steps to encode one
  98. * or more complete triples into an RDF fragment representing those triples.
  99. * The input and output units are up to the implementation and a caller SHOULD
  100. * assume that multiple lines may be yielded at each iteration.
  101. *
  102. * @param[in] it Iterator handle.
  103. *
  104. * @param[out] res Handle to be populated with a string obtained from encoding.
  105. * The output data should be UTF-8 [TODO or UTF-16] encoded. This pointer
  106. * must be initialized (even to NULL) and should be eventually freed manually
  107. * at the end of the loop. It is reallocated at each iteration, so memory from
  108. * a previous iteration may be overwritten with new data.
  109. *
  110. * @return LSUP_OK if a new token was processed; LSUP_END if the end of the
  111. * loop was reached.
  112. */
  113. typedef LSUP_rc (*gr_encode_iter_fn_t)(
  114. LSUP_CodecIterator *it, unsigned char **res);
  115. /** @brief Finalize an encoding operation.
  116. *
  117. * Implementations SHOULD use this function to perform all necessary steps to
  118. * clean up memory and free the iterator handle after a graph has been
  119. * completely encoded.
  120. *
  121. * @param[in] it Iterator handle.
  122. */
  123. typedef void (*gr_encode_done_fn_t)(LSUP_CodecIterator *it);
  124. /** @brief Prototype for decoding a string into a LSUP_Term.
  125. *
  126. * Implementations MAY ignore any other tokens after finding the first one.
  127. *
  128. * @param[in] rep NT representation of the term.
  129. *
  130. * @param[in] nsm Namespace map handle.
  131. *
  132. * @param[out] Pointer to the term handle to be created. Implementaions SHOULD
  133. * return NULL on a parse error.
  134. *
  135. * @return Implementations MUST return LSUP_OK on success and a negative value
  136. * on parsing error.
  137. */
  138. typedef LSUP_rc (*term_decode_fn_t)(
  139. const char *rep, const LSUP_NSMap *nsm, LSUP_Term **term);
  140. /** @brief Prototype for decoding a complete RDF document into a graph.
  141. *
  142. * Implementations SHOULD consume data from the file handle in chunks.
  143. *
  144. * @param[in] rep Open file handle pointing to the RDF data. Implementations
  145. * MUST NOT close the file handle.
  146. *
  147. * @param[out] gr Pointer to a graph handle to be generated from decoding.
  148. *
  149. * @param[out] ct If not NULL, it may be populated with the number of triples
  150. * parsed (which may be different from the resulting graph size).
  151. * Implementations may choose not not use this, and they must account for the
  152. * value to be NULL.
  153. *
  154. * @param[out] err Pointer to error info string. If no error occurs, it yields
  155. * NULL.
  156. *
  157. * @return Implementations MUST return LSUP_OK on success and a negative value
  158. * on parsing error.
  159. */
  160. typedef LSUP_rc (*gr_decode_fn_t)(
  161. FILE *rep, LSUP_Graph **gr, size_t *ct, char **err);
  162. /** @brief Codec structure.
  163. *
  164. * An instance of this structure is usually defined at compile time (see
  165. * examples in "include/codec_*.h" and "src/codec_*.c") and should have the
  166. * following defined:
  167. *
  168. * - name: A brief (16-char max), human-readable to identify the codec.
  169. * - mimetype: MIME type (32-char max) associated with the codec.
  170. * - extension: File extension associated with the serialized file.
  171. *
  172. * - encode_term: Encode a single term.
  173. *
  174. * - encode_graph_init: Initialize a graph decoding loop.
  175. * - encode_graph_iter: Run one iteration of encoding on one or more triples.
  176. * - encode_graph_done: Finalize the encoding loop and free the support data.
  177. *
  178. * - decode_term: Decode a single term.
  179. * - decode_graph: Decode a RDF document into a graph.
  180. *
  181. * For documentation on the individual encoding and decoding callbacks, see the
  182. * related function prototypes.
  183. */
  184. struct codec_t {
  185. char name[16]; // Name of the codec.
  186. char mimetype[32]; // MIME type associated with the codec.
  187. char extension[8]; // Serialized file extension.
  188. // Encoding.
  189. term_enc_fn_t encode_term; // Term encoder function.
  190. gr_encode_init_fn_t encode_graph_init; // Graph encoder initialization.
  191. gr_encode_iter_fn_t encode_graph_iter; // Graph encoder iteration.
  192. gr_encode_done_fn_t encode_graph_done; // Graph encoder finalization.
  193. // Decoding.
  194. term_decode_fn_t decode_term; // Term decoder function.
  195. gr_decode_fn_t decode_graph; // Graph decoder function.
  196. };
  197. /*
  198. * Common utility functions.
  199. */
  200. /** @brief strdup() for unsigned char.
  201. *
  202. * This is to be used with uint8_t sequences considered to be UTF-8 sequences,
  203. * requird by re2c (it won't work with byte sequences containing `NUL`).
  204. */
  205. inline uint8_t
  206. *uint8_dup (const uint8_t *str)
  207. { return (uint8_t *) strdup ((char *) str); }
  208. /** @brief strndup() for unsigned char.
  209. *
  210. * This is to be used with uint8_t sequences considered to be UTF-8 sequences,
  211. * requird by re2c (it won't work with byte sequences containing `NUL`).
  212. */
  213. inline uint8_t
  214. *uint8_ndup (const uint8_t *str, size_t size)
  215. { return (uint8_t *) strndup ((char *) str, size); }
  216. /** @brief Unescape a single character.
  217. *
  218. * Convert escaped special characters such as `\t`, `\n`, etc. into their
  219. * corresponding code points.
  220. *
  221. * Non-special characters are returned unchanged.
  222. *
  223. * @param[in] c Character to unescape. Note that this is the single character
  224. * after `\`.
  225. *
  226. * @return Code point corresponding to the escaped character.
  227. */
  228. inline char
  229. unescape_char (const char c)
  230. {
  231. switch (c) {
  232. case 't': return '\t';
  233. case 'b': return '\b';
  234. case 'n': return '\n';
  235. case 'r': return '\r';
  236. case 'f': return '\f';
  237. default: return c;
  238. }
  239. }
  240. /** @brief Replace \uxxxx and \Uxxxxxxxx with Unicode bytes.
  241. *
  242. * @param[in] esc_str Escaped string.
  243. *
  244. * @param[in] size Maximum number of characters to scan, à la strncpy().
  245. *
  246. * @return String with escape sequences replaced by Unicode bytes.
  247. */
  248. uint8_t *unescape_unicode (const uint8_t *esc_str, size_t size);
  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. * @return Number of triples added on success; <0 (LSUP_*_ERR) on error.
  298. */
  299. size_t
  300. LSUP_spo_list_add_triples (
  301. LSUP_GraphIterator *it, LSUP_Term *s, const LSUP_PredObjList *po);
  302. /** @brief Add triples for an anonymous collection to a graph.
  303. *
  304. * The `rdf:first`, `rdf:rest`, etc. terms are automatically added and the term
  305. * for the first item in the list is returned.
  306. *
  307. * @param[in] it Graph iterator to use for insertion.
  308. *
  309. * @param[in] ol NULL-terminated term array.
  310. *
  311. * @return Blank node representing the first list item.
  312. */
  313. LSUP_Term *
  314. LSUP_bnode_add_collection (LSUP_GraphIterator *it, LSUP_Term **ol);
  315. #endif