Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 1 | /* |
Daniel Veillard | be58697 | 2003-11-18 20:56:51 +0000 | [diff] [blame] | 2 | * Summary: implementation of the Relax-NG validation |
| 3 | * Description: implementation of the Relax-NG validation |
Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 4 | * |
Daniel Veillard | be58697 | 2003-11-18 20:56:51 +0000 | [diff] [blame] | 5 | * Copy: See Copyright for the status of this software. |
Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 6 | * |
Daniel Veillard | be58697 | 2003-11-18 20:56:51 +0000 | [diff] [blame] | 7 | * Author: Daniel Veillard |
Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 8 | */ |
| 9 | |
| 10 | #ifndef __XML_RELAX_NG__ |
| 11 | #define __XML_RELAX_NG__ |
| 12 | |
Igor Zlatkovic | 76874e4 | 2003-08-25 09:05:12 +0000 | [diff] [blame] | 13 | #include <libxml/xmlversion.h> |
Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 14 | #include <libxml/hash.h> |
William M. Brack | a2e844a | 2004-01-06 11:52:13 +0000 | [diff] [blame] | 15 | #include <libxml/xmlstring.h> |
Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 16 | |
Daniel Veillard | a235132 | 2004-06-27 12:08:10 +0000 | [diff] [blame] | 17 | #ifdef LIBXML_SCHEMAS_ENABLED |
| 18 | |
Daniel Veillard | 94394cd | 2003-10-29 17:07:51 +0000 | [diff] [blame] | 19 | #ifdef __cplusplus |
| 20 | extern "C" { |
| 21 | #endif |
| 22 | |
Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 23 | typedef struct _xmlRelaxNG xmlRelaxNG; |
| 24 | typedef xmlRelaxNG *xmlRelaxNGPtr; |
| 25 | |
| 26 | |
| 27 | /** |
| 28 | * A schemas validation context |
| 29 | */ |
Daniel Veillard | ffa3c74 | 2005-07-21 13:24:09 +0000 | [diff] [blame] | 30 | typedef void (XMLCDECL *xmlRelaxNGValidityErrorFunc) (void *ctx, const char *msg, ...); |
| 31 | typedef void (XMLCDECL *xmlRelaxNGValidityWarningFunc) (void *ctx, const char *msg, ...); |
Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 32 | |
| 33 | typedef struct _xmlRelaxNGParserCtxt xmlRelaxNGParserCtxt; |
| 34 | typedef xmlRelaxNGParserCtxt *xmlRelaxNGParserCtxtPtr; |
| 35 | |
| 36 | typedef struct _xmlRelaxNGValidCtxt xmlRelaxNGValidCtxt; |
| 37 | typedef xmlRelaxNGValidCtxt *xmlRelaxNGValidCtxtPtr; |
| 38 | |
| 39 | /* |
Daniel Veillard | 42f12e9 | 2003-03-07 18:32:59 +0000 | [diff] [blame] | 40 | * xmlRelaxNGValidErr: |
| 41 | * |
| 42 | * List of possible Relax NG validation errors |
| 43 | */ |
| 44 | typedef enum { |
| 45 | XML_RELAXNG_OK = 0, |
| 46 | XML_RELAXNG_ERR_MEMORY, |
| 47 | XML_RELAXNG_ERR_TYPE, |
| 48 | XML_RELAXNG_ERR_TYPEVAL, |
Daniel Veillard | c3da18a | 2003-03-18 00:31:04 +0000 | [diff] [blame] | 49 | XML_RELAXNG_ERR_DUPID, |
Daniel Veillard | 42f12e9 | 2003-03-07 18:32:59 +0000 | [diff] [blame] | 50 | XML_RELAXNG_ERR_TYPECMP, |
| 51 | XML_RELAXNG_ERR_NOSTATE, |
| 52 | XML_RELAXNG_ERR_NODEFINE, |
| 53 | XML_RELAXNG_ERR_LISTEXTRA, |
Daniel Veillard | 1564e6e | 2003-03-15 21:30:25 +0000 | [diff] [blame] | 54 | XML_RELAXNG_ERR_LISTEMPTY, |
Daniel Veillard | 42f12e9 | 2003-03-07 18:32:59 +0000 | [diff] [blame] | 55 | XML_RELAXNG_ERR_INTERNODATA, |
| 56 | XML_RELAXNG_ERR_INTERSEQ, |
| 57 | XML_RELAXNG_ERR_INTEREXTRA, |
| 58 | XML_RELAXNG_ERR_ELEMNAME, |
Daniel Veillard | 1564e6e | 2003-03-15 21:30:25 +0000 | [diff] [blame] | 59 | XML_RELAXNG_ERR_ATTRNAME, |
Daniel Veillard | 42f12e9 | 2003-03-07 18:32:59 +0000 | [diff] [blame] | 60 | XML_RELAXNG_ERR_ELEMNONS, |
Daniel Veillard | 1564e6e | 2003-03-15 21:30:25 +0000 | [diff] [blame] | 61 | XML_RELAXNG_ERR_ATTRNONS, |
Daniel Veillard | 42f12e9 | 2003-03-07 18:32:59 +0000 | [diff] [blame] | 62 | XML_RELAXNG_ERR_ELEMWRONGNS, |
Daniel Veillard | 1564e6e | 2003-03-15 21:30:25 +0000 | [diff] [blame] | 63 | XML_RELAXNG_ERR_ATTRWRONGNS, |
Daniel Veillard | 42f12e9 | 2003-03-07 18:32:59 +0000 | [diff] [blame] | 64 | XML_RELAXNG_ERR_ELEMEXTRANS, |
Daniel Veillard | 1564e6e | 2003-03-15 21:30:25 +0000 | [diff] [blame] | 65 | XML_RELAXNG_ERR_ATTREXTRANS, |
Daniel Veillard | 42f12e9 | 2003-03-07 18:32:59 +0000 | [diff] [blame] | 66 | XML_RELAXNG_ERR_ELEMNOTEMPTY, |
| 67 | XML_RELAXNG_ERR_NOELEM, |
| 68 | XML_RELAXNG_ERR_NOTELEM, |
| 69 | XML_RELAXNG_ERR_ATTRVALID, |
| 70 | XML_RELAXNG_ERR_CONTENTVALID, |
| 71 | XML_RELAXNG_ERR_EXTRACONTENT, |
| 72 | XML_RELAXNG_ERR_INVALIDATTR, |
| 73 | XML_RELAXNG_ERR_DATAELEM, |
| 74 | XML_RELAXNG_ERR_VALELEM, |
| 75 | XML_RELAXNG_ERR_LISTELEM, |
| 76 | XML_RELAXNG_ERR_DATATYPE, |
| 77 | XML_RELAXNG_ERR_VALUE, |
| 78 | XML_RELAXNG_ERR_LIST, |
| 79 | XML_RELAXNG_ERR_NOGRAMMAR, |
Daniel Veillard | fd573f1 | 2003-03-16 17:52:32 +0000 | [diff] [blame] | 80 | XML_RELAXNG_ERR_EXTRADATA, |
Daniel Veillard | 952379b | 2003-03-17 15:37:12 +0000 | [diff] [blame] | 81 | XML_RELAXNG_ERR_LACKDATA, |
Daniel Veillard | c58f4ef | 2003-04-14 16:11:26 +0000 | [diff] [blame] | 82 | XML_RELAXNG_ERR_INTERNAL, |
| 83 | XML_RELAXNG_ERR_ELEMWRONG, |
| 84 | XML_RELAXNG_ERR_TEXTWRONG |
Daniel Veillard | 42f12e9 | 2003-03-07 18:32:59 +0000 | [diff] [blame] | 85 | } xmlRelaxNGValidErr; |
| 86 | |
| 87 | /* |
Daniel Veillard | 03c2f0a | 2004-01-25 19:54:59 +0000 | [diff] [blame] | 88 | * xmlRelaxNGParserFlags: |
| 89 | * |
| 90 | * List of possible Relax NG Parser flags |
| 91 | */ |
| 92 | typedef enum { |
| 93 | XML_RELAXNGP_NONE = 0, |
| 94 | XML_RELAXNGP_FREE_DOC = 1, |
| 95 | XML_RELAXNGP_CRNG = 2 |
| 96 | } xmlRelaxNGParserFlag; |
Daniel Veillard | dd6d300 | 2004-11-03 14:20:29 +0000 | [diff] [blame] | 97 | |
| 98 | XMLPUBFUN int XMLCALL |
| 99 | xmlRelaxNGInitTypes (void); |
| 100 | XMLPUBFUN void XMLCALL |
| 101 | xmlRelaxNGCleanupTypes (void); |
| 102 | |
Daniel Veillard | 03c2f0a | 2004-01-25 19:54:59 +0000 | [diff] [blame] | 103 | /* |
Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 104 | * Interfaces for parsing. |
| 105 | */ |
Igor Zlatkovic | 76874e4 | 2003-08-25 09:05:12 +0000 | [diff] [blame] | 106 | XMLPUBFUN xmlRelaxNGParserCtxtPtr XMLCALL |
| 107 | xmlRelaxNGNewParserCtxt (const char *URL); |
Igor Zlatkovic | 93f984a | 2003-08-25 10:34:41 +0000 | [diff] [blame] | 108 | XMLPUBFUN xmlRelaxNGParserCtxtPtr XMLCALL |
| 109 | xmlRelaxNGNewMemParserCtxt (const char *buffer, |
Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 110 | int size); |
Igor Zlatkovic | 93f984a | 2003-08-25 10:34:41 +0000 | [diff] [blame] | 111 | XMLPUBFUN xmlRelaxNGParserCtxtPtr XMLCALL |
| 112 | xmlRelaxNGNewDocParserCtxt (xmlDocPtr doc); |
Daniel Veillard | 33300b4 | 2003-04-17 09:09:19 +0000 | [diff] [blame] | 113 | |
Daniel Veillard | 03c2f0a | 2004-01-25 19:54:59 +0000 | [diff] [blame] | 114 | XMLPUBFUN int XMLCALL |
| 115 | xmlRelaxParserSetFlag (xmlRelaxNGParserCtxtPtr ctxt, |
| 116 | int flag); |
| 117 | |
Igor Zlatkovic | 93f984a | 2003-08-25 10:34:41 +0000 | [diff] [blame] | 118 | XMLPUBFUN void XMLCALL |
| 119 | xmlRelaxNGFreeParserCtxt (xmlRelaxNGParserCtxtPtr ctxt); |
| 120 | XMLPUBFUN void XMLCALL |
| 121 | xmlRelaxNGSetParserErrors(xmlRelaxNGParserCtxtPtr ctxt, |
Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 122 | xmlRelaxNGValidityErrorFunc err, |
| 123 | xmlRelaxNGValidityWarningFunc warn, |
| 124 | void *ctx); |
Igor Zlatkovic | 93f984a | 2003-08-25 10:34:41 +0000 | [diff] [blame] | 125 | XMLPUBFUN int XMLCALL |
| 126 | xmlRelaxNGGetParserErrors(xmlRelaxNGParserCtxtPtr ctxt, |
Daniel Veillard | 409a814 | 2003-07-18 15:16:57 +0000 | [diff] [blame] | 127 | xmlRelaxNGValidityErrorFunc *err, |
| 128 | xmlRelaxNGValidityWarningFunc *warn, |
| 129 | void **ctx); |
Igor Zlatkovic | 93f984a | 2003-08-25 10:34:41 +0000 | [diff] [blame] | 130 | XMLPUBFUN xmlRelaxNGPtr XMLCALL |
| 131 | xmlRelaxNGParse (xmlRelaxNGParserCtxtPtr ctxt); |
| 132 | XMLPUBFUN void XMLCALL |
| 133 | xmlRelaxNGFree (xmlRelaxNGPtr schema); |
Daniel Veillard | a9cce9c | 2003-09-29 13:20:24 +0000 | [diff] [blame] | 134 | #ifdef LIBXML_OUTPUT_ENABLED |
Igor Zlatkovic | 93f984a | 2003-08-25 10:34:41 +0000 | [diff] [blame] | 135 | XMLPUBFUN void XMLCALL |
| 136 | xmlRelaxNGDump (FILE *output, |
Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 137 | xmlRelaxNGPtr schema); |
Igor Zlatkovic | 93f984a | 2003-08-25 10:34:41 +0000 | [diff] [blame] | 138 | XMLPUBFUN void XMLCALL |
| 139 | xmlRelaxNGDumpTree (FILE * output, |
Daniel Veillard | febcca4 | 2003-02-16 15:44:18 +0000 | [diff] [blame] | 140 | xmlRelaxNGPtr schema); |
Daniel Veillard | a9cce9c | 2003-09-29 13:20:24 +0000 | [diff] [blame] | 141 | #endif /* LIBXML_OUTPUT_ENABLED */ |
Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 142 | /* |
| 143 | * Interfaces for validating |
| 144 | */ |
Igor Zlatkovic | 93f984a | 2003-08-25 10:34:41 +0000 | [diff] [blame] | 145 | XMLPUBFUN void XMLCALL |
| 146 | xmlRelaxNGSetValidErrors(xmlRelaxNGValidCtxtPtr ctxt, |
Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 147 | xmlRelaxNGValidityErrorFunc err, |
| 148 | xmlRelaxNGValidityWarningFunc warn, |
| 149 | void *ctx); |
Igor Zlatkovic | 93f984a | 2003-08-25 10:34:41 +0000 | [diff] [blame] | 150 | XMLPUBFUN int XMLCALL |
| 151 | xmlRelaxNGGetValidErrors(xmlRelaxNGValidCtxtPtr ctxt, |
Daniel Veillard | 409a814 | 2003-07-18 15:16:57 +0000 | [diff] [blame] | 152 | xmlRelaxNGValidityErrorFunc *err, |
| 153 | xmlRelaxNGValidityWarningFunc *warn, |
| 154 | void **ctx); |
Daniel Veillard | da0aa4c | 2005-07-13 23:07:49 +0000 | [diff] [blame] | 155 | XMLPUBFUN void XMLCALL |
| 156 | xmlRelaxNGSetValidStructuredErrors(xmlRelaxNGValidCtxtPtr ctxt, |
| 157 | xmlStructuredErrorFunc serror, void *ctx); |
Igor Zlatkovic | 93f984a | 2003-08-25 10:34:41 +0000 | [diff] [blame] | 158 | XMLPUBFUN xmlRelaxNGValidCtxtPtr XMLCALL |
| 159 | xmlRelaxNGNewValidCtxt (xmlRelaxNGPtr schema); |
| 160 | XMLPUBFUN void XMLCALL |
| 161 | xmlRelaxNGFreeValidCtxt (xmlRelaxNGValidCtxtPtr ctxt); |
| 162 | XMLPUBFUN int XMLCALL |
| 163 | xmlRelaxNGValidateDoc (xmlRelaxNGValidCtxtPtr ctxt, |
Daniel Veillard | ef0b450 | 2003-03-24 13:57:34 +0000 | [diff] [blame] | 164 | xmlDocPtr doc); |
Daniel Veillard | f4e5576 | 2003-04-15 23:32:22 +0000 | [diff] [blame] | 165 | /* |
| 166 | * Interfaces for progressive validation when possible |
| 167 | */ |
Igor Zlatkovic | 93f984a | 2003-08-25 10:34:41 +0000 | [diff] [blame] | 168 | XMLPUBFUN int XMLCALL |
| 169 | xmlRelaxNGValidatePushElement (xmlRelaxNGValidCtxtPtr ctxt, |
Daniel Veillard | f4e5576 | 2003-04-15 23:32:22 +0000 | [diff] [blame] | 170 | xmlDocPtr doc, |
| 171 | xmlNodePtr elem); |
Igor Zlatkovic | 93f984a | 2003-08-25 10:34:41 +0000 | [diff] [blame] | 172 | XMLPUBFUN int XMLCALL |
| 173 | xmlRelaxNGValidatePushCData (xmlRelaxNGValidCtxtPtr ctxt, |
Daniel Veillard | f4e5576 | 2003-04-15 23:32:22 +0000 | [diff] [blame] | 174 | const xmlChar *data, |
| 175 | int len); |
Igor Zlatkovic | 93f984a | 2003-08-25 10:34:41 +0000 | [diff] [blame] | 176 | XMLPUBFUN int XMLCALL |
| 177 | xmlRelaxNGValidatePopElement (xmlRelaxNGValidCtxtPtr ctxt, |
Daniel Veillard | f4e5576 | 2003-04-15 23:32:22 +0000 | [diff] [blame] | 178 | xmlDocPtr doc, |
| 179 | xmlNodePtr elem); |
Igor Zlatkovic | 93f984a | 2003-08-25 10:34:41 +0000 | [diff] [blame] | 180 | XMLPUBFUN int XMLCALL |
| 181 | xmlRelaxNGValidateFullElement (xmlRelaxNGValidCtxtPtr ctxt, |
Daniel Veillard | f4e5576 | 2003-04-15 23:32:22 +0000 | [diff] [blame] | 182 | xmlDocPtr doc, |
| 183 | xmlNodePtr elem); |
Daniel Veillard | 94394cd | 2003-10-29 17:07:51 +0000 | [diff] [blame] | 184 | |
| 185 | #ifdef __cplusplus |
| 186 | } |
| 187 | #endif |
Daniel Veillard | a235132 | 2004-06-27 12:08:10 +0000 | [diff] [blame] | 188 | |
| 189 | #endif /* LIBXML_SCHEMAS_ENABLED */ |
| 190 | |
Daniel Veillard | 6eadf63 | 2003-01-23 18:29:16 +0000 | [diff] [blame] | 191 | #endif /* __XML_RELAX_NG__ */ |