blob: f98b55e2b8f2e914c9db53997f8cbd29b66cea1a [file] [log] [blame]
Daniel Veillard4255d502002-04-16 15:50:10 +00001/*
Daniel Veillardbe586972003-11-18 20:56:51 +00002 * Summary: API to build regexp automata
3 * Description: the API to build regexp automata
Daniel Veillard4255d502002-04-16 15:50:10 +00004 *
Daniel Veillardbe586972003-11-18 20:56:51 +00005 * Copy: See Copyright for the status of this software.
Daniel Veillard4255d502002-04-16 15:50:10 +00006 *
Daniel Veillardbe586972003-11-18 20:56:51 +00007 * Author: Daniel Veillard
Daniel Veillard4255d502002-04-16 15:50:10 +00008 */
9
10#ifndef __XML_AUTOMATA_H__
11#define __XML_AUTOMATA_H__
12
Daniel Veillard4255d502002-04-16 15:50:10 +000013#include <libxml/xmlversion.h>
Daniel Veillard84d70a42002-09-16 10:51:38 +000014#include <libxml/tree.h>
Daniel Veillard4255d502002-04-16 15:50:10 +000015
William M. Brack21e4ef22005-01-02 09:53:13 +000016#ifdef LIBXML_REGEXP_ENABLED
Daniel Veillard84d70a42002-09-16 10:51:38 +000017#ifdef LIBXML_AUTOMATA_ENABLED
Daniel Veillard4255d502002-04-16 15:50:10 +000018#include <libxml/xmlregexp.h>
19
20#ifdef __cplusplus
21extern "C" {
22#endif
23
24/**
25 * xmlAutomataPtr:
26 *
27 * A libxml automata description, It can be compiled into a regexp
28 */
29typedef struct _xmlAutomata xmlAutomata;
30typedef xmlAutomata *xmlAutomataPtr;
31
32/**
33 * xmlAutomataStatePtr:
34 *
35 * A state int the automata description,
36 */
37typedef struct _xmlAutomataState xmlAutomataState;
38typedef xmlAutomataState *xmlAutomataStatePtr;
39
40/*
41 * Building API
42 */
Igor Zlatkovicaa3cfbd2003-08-27 08:59:58 +000043XMLPUBFUN xmlAutomataPtr XMLCALL
44 xmlNewAutomata (void);
45XMLPUBFUN void XMLCALL
46 xmlFreeAutomata (xmlAutomataPtr am);
Daniel Veillard4255d502002-04-16 15:50:10 +000047
Igor Zlatkovicaa3cfbd2003-08-27 08:59:58 +000048XMLPUBFUN xmlAutomataStatePtr XMLCALL
49 xmlAutomataGetInitState (xmlAutomataPtr am);
50XMLPUBFUN int XMLCALL
51 xmlAutomataSetFinalState (xmlAutomataPtr am,
Daniel Veillard4255d502002-04-16 15:50:10 +000052 xmlAutomataStatePtr state);
Igor Zlatkovicaa3cfbd2003-08-27 08:59:58 +000053XMLPUBFUN xmlAutomataStatePtr XMLCALL
54 xmlAutomataNewState (xmlAutomataPtr am);
55XMLPUBFUN xmlAutomataStatePtr XMLCALL
56 xmlAutomataNewTransition (xmlAutomataPtr am,
Daniel Veillard4255d502002-04-16 15:50:10 +000057 xmlAutomataStatePtr from,
58 xmlAutomataStatePtr to,
59 const xmlChar *token,
60 void *data);
Igor Zlatkovicaa3cfbd2003-08-27 08:59:58 +000061XMLPUBFUN xmlAutomataStatePtr XMLCALL
62 xmlAutomataNewTransition2 (xmlAutomataPtr am,
Daniel Veillard52b48c72003-04-13 19:53:42 +000063 xmlAutomataStatePtr from,
64 xmlAutomataStatePtr to,
65 const xmlChar *token,
66 const xmlChar *token2,
67 void *data);
Daniel Veillard9efc4762005-07-19 14:33:55 +000068XMLPUBFUN xmlAutomataStatePtr XMLCALL
69 xmlAutomataNewNegTrans (xmlAutomataPtr am,
70 xmlAutomataStatePtr from,
71 xmlAutomataStatePtr to,
72 const xmlChar *token,
73 const xmlChar *token2,
74 void *data);
75
Igor Zlatkovicaa3cfbd2003-08-27 08:59:58 +000076XMLPUBFUN xmlAutomataStatePtr XMLCALL
77 xmlAutomataNewCountTrans (xmlAutomataPtr am,
Daniel Veillard4255d502002-04-16 15:50:10 +000078 xmlAutomataStatePtr from,
79 xmlAutomataStatePtr to,
80 const xmlChar *token,
81 int min,
82 int max,
83 void *data);
Igor Zlatkovicaa3cfbd2003-08-27 08:59:58 +000084XMLPUBFUN xmlAutomataStatePtr XMLCALL
Kasimier T. Buchcik87876402004-09-29 13:29:03 +000085 xmlAutomataNewCountTrans2 (xmlAutomataPtr am,
86 xmlAutomataStatePtr from,
87 xmlAutomataStatePtr to,
88 const xmlChar *token,
89 const xmlChar *token2,
90 int min,
91 int max,
92 void *data);
93XMLPUBFUN xmlAutomataStatePtr XMLCALL
Igor Zlatkovicaa3cfbd2003-08-27 08:59:58 +000094 xmlAutomataNewOnceTrans (xmlAutomataPtr am,
Daniel Veillard7646b182002-04-20 06:41:40 +000095 xmlAutomataStatePtr from,
96 xmlAutomataStatePtr to,
97 const xmlChar *token,
98 int min,
99 int max,
100 void *data);
Kasimier T. Buchcik87876402004-09-29 13:29:03 +0000101XMLPUBFUN xmlAutomataStatePtr XMLCALL
102 xmlAutomataNewOnceTrans2 (xmlAutomataPtr am,
103 xmlAutomataStatePtr from,
104 xmlAutomataStatePtr to,
105 const xmlChar *token,
106 const xmlChar *token2,
107 int min,
108 int max,
109 void *data);
Igor Zlatkovicaa3cfbd2003-08-27 08:59:58 +0000110XMLPUBFUN xmlAutomataStatePtr XMLCALL
111 xmlAutomataNewAllTrans (xmlAutomataPtr am,
Daniel Veillard7646b182002-04-20 06:41:40 +0000112 xmlAutomataStatePtr from,
Daniel Veillard441bc322002-04-20 17:38:48 +0000113 xmlAutomataStatePtr to,
114 int lax);
Igor Zlatkovicaa3cfbd2003-08-27 08:59:58 +0000115XMLPUBFUN xmlAutomataStatePtr XMLCALL
116 xmlAutomataNewEpsilon (xmlAutomataPtr am,
Daniel Veillard4255d502002-04-16 15:50:10 +0000117 xmlAutomataStatePtr from,
118 xmlAutomataStatePtr to);
Igor Zlatkovicaa3cfbd2003-08-27 08:59:58 +0000119XMLPUBFUN xmlAutomataStatePtr XMLCALL
120 xmlAutomataNewCountedTrans (xmlAutomataPtr am,
Daniel Veillardb509f152002-04-17 16:28:10 +0000121 xmlAutomataStatePtr from,
122 xmlAutomataStatePtr to,
123 int counter);
Igor Zlatkovicaa3cfbd2003-08-27 08:59:58 +0000124XMLPUBFUN xmlAutomataStatePtr XMLCALL
125 xmlAutomataNewCounterTrans (xmlAutomataPtr am,
Daniel Veillardb509f152002-04-17 16:28:10 +0000126 xmlAutomataStatePtr from,
127 xmlAutomataStatePtr to,
128 int counter);
Igor Zlatkovicaa3cfbd2003-08-27 08:59:58 +0000129XMLPUBFUN int XMLCALL
130 xmlAutomataNewCounter (xmlAutomataPtr am,
Daniel Veillardb509f152002-04-17 16:28:10 +0000131 int min,
132 int max);
Daniel Veillard4255d502002-04-16 15:50:10 +0000133
Igor Zlatkovicaa3cfbd2003-08-27 08:59:58 +0000134XMLPUBFUN xmlRegexpPtr XMLCALL
135 xmlAutomataCompile (xmlAutomataPtr am);
136XMLPUBFUN int XMLCALL
137 xmlAutomataIsDeterminist (xmlAutomataPtr am);
Daniel Veillard4255d502002-04-16 15:50:10 +0000138
139#ifdef __cplusplus
140}
141#endif
142
143#endif /* LIBXML_AUTOMATA_ENABLED */
William M. Brack21e4ef22005-01-02 09:53:13 +0000144#endif /* LIBXML_REGEXP_ENABLED */
145
Daniel Veillard4255d502002-04-16 15:50:10 +0000146#endif /* __XML_AUTOMATA_H__ */