Annotation of embedaddon/libxml2/testAutomata.c, revision 1.1
1.1 ! misho 1: /*
! 2: * testRegexp.c: simple module for testing regular expressions
! 3: *
! 4: * See Copyright for the status of this software.
! 5: *
! 6: * Daniel Veillard <veillard@redhat.com>
! 7: */
! 8:
! 9: #include "libxml.h"
! 10: #ifdef LIBXML_AUTOMATA_ENABLED
! 11: #include <string.h>
! 12:
! 13: #include <libxml/tree.h>
! 14: #include <libxml/xmlautomata.h>
! 15:
! 16: static int scanNumber(char **ptr) {
! 17: int ret = 0;
! 18: char *cur;
! 19:
! 20: cur = *ptr;
! 21: while ((*cur >= '0') && (*cur <= '9')) {
! 22: ret = ret * 10 + (*cur - '0');
! 23: cur++;
! 24: }
! 25: *ptr = cur;
! 26: return(ret);
! 27: }
! 28:
! 29: static void
! 30: testRegexpFile(const char *filename) {
! 31: FILE *input;
! 32: char expr[5000];
! 33: int len;
! 34: int ret;
! 35: int i;
! 36: xmlAutomataPtr am;
! 37: xmlAutomataStatePtr states[1000];
! 38: xmlRegexpPtr regexp = NULL;
! 39: xmlRegExecCtxtPtr exec = NULL;
! 40:
! 41: for (i = 0;i<1000;i++)
! 42: states[i] = NULL;
! 43:
! 44: input = fopen(filename, "r");
! 45: if (input == NULL) {
! 46: xmlGenericError(xmlGenericErrorContext,
! 47: "Cannot open %s for reading\n", filename);
! 48: return;
! 49: }
! 50:
! 51: am = xmlNewAutomata();
! 52: if (am == NULL) {
! 53: xmlGenericError(xmlGenericErrorContext,
! 54: "Cannot create automata\n");
! 55: fclose(input);
! 56: return;
! 57: }
! 58: states[0] = xmlAutomataGetInitState(am);
! 59: if (states[0] == NULL) {
! 60: xmlGenericError(xmlGenericErrorContext,
! 61: "Cannot get start state\n");
! 62: xmlFreeAutomata(am);
! 63: fclose(input);
! 64: return;
! 65: }
! 66: ret = 0;
! 67:
! 68: while (fgets(expr, 4500, input) != NULL) {
! 69: if (expr[0] == '#')
! 70: continue;
! 71: len = strlen(expr);
! 72: len--;
! 73: while ((len >= 0) &&
! 74: ((expr[len] == '\n') || (expr[len] == '\t') ||
! 75: (expr[len] == '\r') || (expr[len] == ' '))) len--;
! 76: expr[len + 1] = 0;
! 77: if (len >= 0) {
! 78: if ((am != NULL) && (expr[0] == 't') && (expr[1] == ' ')) {
! 79: char *ptr = &expr[2];
! 80: int from, to;
! 81:
! 82: from = scanNumber(&ptr);
! 83: if (*ptr != ' ') {
! 84: xmlGenericError(xmlGenericErrorContext,
! 85: "Bad line %s\n", expr);
! 86: break;
! 87: }
! 88: if (states[from] == NULL)
! 89: states[from] = xmlAutomataNewState(am);
! 90: ptr++;
! 91: to = scanNumber(&ptr);
! 92: if (*ptr != ' ') {
! 93: xmlGenericError(xmlGenericErrorContext,
! 94: "Bad line %s\n", expr);
! 95: break;
! 96: }
! 97: if (states[to] == NULL)
! 98: states[to] = xmlAutomataNewState(am);
! 99: ptr++;
! 100: xmlAutomataNewTransition(am, states[from], states[to],
! 101: BAD_CAST ptr, NULL);
! 102: } else if ((am != NULL) && (expr[0] == 'e') && (expr[1] == ' ')) {
! 103: char *ptr = &expr[2];
! 104: int from, to;
! 105:
! 106: from = scanNumber(&ptr);
! 107: if (*ptr != ' ') {
! 108: xmlGenericError(xmlGenericErrorContext,
! 109: "Bad line %s\n", expr);
! 110: break;
! 111: }
! 112: if (states[from] == NULL)
! 113: states[from] = xmlAutomataNewState(am);
! 114: ptr++;
! 115: to = scanNumber(&ptr);
! 116: if (states[to] == NULL)
! 117: states[to] = xmlAutomataNewState(am);
! 118: xmlAutomataNewEpsilon(am, states[from], states[to]);
! 119: } else if ((am != NULL) && (expr[0] == 'f') && (expr[1] == ' ')) {
! 120: char *ptr = &expr[2];
! 121: int state;
! 122:
! 123: state = scanNumber(&ptr);
! 124: if (states[state] == NULL) {
! 125: xmlGenericError(xmlGenericErrorContext,
! 126: "Bad state %d : %s\n", state, expr);
! 127: break;
! 128: }
! 129: xmlAutomataSetFinalState(am, states[state]);
! 130: } else if ((am != NULL) && (expr[0] == 'c') && (expr[1] == ' ')) {
! 131: char *ptr = &expr[2];
! 132: int from, to;
! 133: int min, max;
! 134:
! 135: from = scanNumber(&ptr);
! 136: if (*ptr != ' ') {
! 137: xmlGenericError(xmlGenericErrorContext,
! 138: "Bad line %s\n", expr);
! 139: break;
! 140: }
! 141: if (states[from] == NULL)
! 142: states[from] = xmlAutomataNewState(am);
! 143: ptr++;
! 144: to = scanNumber(&ptr);
! 145: if (*ptr != ' ') {
! 146: xmlGenericError(xmlGenericErrorContext,
! 147: "Bad line %s\n", expr);
! 148: break;
! 149: }
! 150: if (states[to] == NULL)
! 151: states[to] = xmlAutomataNewState(am);
! 152: ptr++;
! 153: min = scanNumber(&ptr);
! 154: if (*ptr != ' ') {
! 155: xmlGenericError(xmlGenericErrorContext,
! 156: "Bad line %s\n", expr);
! 157: break;
! 158: }
! 159: ptr++;
! 160: max = scanNumber(&ptr);
! 161: if (*ptr != ' ') {
! 162: xmlGenericError(xmlGenericErrorContext,
! 163: "Bad line %s\n", expr);
! 164: break;
! 165: }
! 166: ptr++;
! 167: xmlAutomataNewCountTrans(am, states[from], states[to],
! 168: BAD_CAST ptr, min, max, NULL);
! 169: } else if ((am != NULL) && (expr[0] == '-') && (expr[1] == '-')) {
! 170: /* end of the automata */
! 171: regexp = xmlAutomataCompile(am);
! 172: xmlFreeAutomata(am);
! 173: am = NULL;
! 174: if (regexp == NULL) {
! 175: xmlGenericError(xmlGenericErrorContext,
! 176: "Failed to compile the automata");
! 177: break;
! 178: }
! 179: } else if ((expr[0] == '=') && (expr[1] == '>')) {
! 180: if (regexp == NULL) {
! 181: printf("=> failed not compiled\n");
! 182: } else {
! 183: if (exec == NULL)
! 184: exec = xmlRegNewExecCtxt(regexp, NULL, NULL);
! 185: if (ret == 0) {
! 186: ret = xmlRegExecPushString(exec, NULL, NULL);
! 187: }
! 188: if (ret == 1)
! 189: printf("=> Passed\n");
! 190: else if ((ret == 0) || (ret == -1))
! 191: printf("=> Failed\n");
! 192: else if (ret < 0)
! 193: printf("=> Error\n");
! 194: xmlRegFreeExecCtxt(exec);
! 195: exec = NULL;
! 196: }
! 197: ret = 0;
! 198: } else if (regexp != NULL) {
! 199: if (exec == NULL)
! 200: exec = xmlRegNewExecCtxt(regexp, NULL, NULL);
! 201: ret = xmlRegExecPushString(exec, BAD_CAST expr, NULL);
! 202: } else {
! 203: xmlGenericError(xmlGenericErrorContext,
! 204: "Unexpected line %s\n", expr);
! 205: }
! 206: }
! 207: }
! 208: fclose(input);
! 209: if (regexp != NULL)
! 210: xmlRegFreeRegexp(regexp);
! 211: if (exec != NULL)
! 212: xmlRegFreeExecCtxt(exec);
! 213: if (am != NULL)
! 214: xmlFreeAutomata(am);
! 215: }
! 216:
! 217: int main(int argc, char **argv) {
! 218:
! 219: xmlInitMemory();
! 220:
! 221: if (argc == 1) {
! 222: int ret;
! 223: xmlAutomataPtr am;
! 224: xmlAutomataStatePtr start, cur;
! 225: xmlRegexpPtr regexp;
! 226: xmlRegExecCtxtPtr exec;
! 227:
! 228: am = xmlNewAutomata();
! 229: start = xmlAutomataGetInitState(am);
! 230:
! 231: /* generate a[ba]*a */
! 232: cur = xmlAutomataNewTransition(am, start, NULL, BAD_CAST"a", NULL);
! 233: xmlAutomataNewTransition(am, cur, cur, BAD_CAST"b", NULL);
! 234: xmlAutomataNewTransition(am, cur, cur, BAD_CAST"a", NULL);
! 235: cur = xmlAutomataNewCountTrans(am, cur, NULL, BAD_CAST"a", 2, 3, NULL);
! 236: xmlAutomataSetFinalState(am, cur);
! 237:
! 238: /* compile it in a regexp and free the automata */
! 239: regexp = xmlAutomataCompile(am);
! 240: xmlFreeAutomata(am);
! 241:
! 242: /* test the regexp */
! 243: xmlRegexpPrint(stdout, regexp);
! 244: exec = xmlRegNewExecCtxt(regexp, NULL, NULL);
! 245: ret = xmlRegExecPushString(exec, BAD_CAST"a", NULL);
! 246: if (ret == 1)
! 247: printf("final\n");
! 248: else if (ret < 0)
! 249: printf("error\n");
! 250: ret =xmlRegExecPushString(exec, BAD_CAST"a", NULL);
! 251: if (ret == 1)
! 252: printf("final\n");
! 253: else if (ret < 0)
! 254: printf("error\n");
! 255: ret =xmlRegExecPushString(exec, BAD_CAST"b", NULL);
! 256: if (ret == 1)
! 257: printf("final\n");
! 258: else if (ret < 0)
! 259: printf("error\n");
! 260: ret =xmlRegExecPushString(exec, BAD_CAST"a", NULL);
! 261: if (ret == 1)
! 262: printf("final\n");
! 263: else if (ret < 0)
! 264: printf("error\n");
! 265: ret =xmlRegExecPushString(exec, BAD_CAST"a", NULL);
! 266: if (ret == 1)
! 267: printf("final\n");
! 268: else if (ret < 0)
! 269: printf("error\n");
! 270: ret =xmlRegExecPushString(exec, BAD_CAST"a", NULL);
! 271: if (ret == 1)
! 272: printf("final\n");
! 273: else if (ret < 0)
! 274: printf("error\n");
! 275: ret =xmlRegExecPushString(exec, BAD_CAST"a", NULL);
! 276: if (ret == 1)
! 277: printf("final\n");
! 278: else if (ret < 0)
! 279: printf("error\n");
! 280: if (ret == 0) {
! 281: ret = xmlRegExecPushString(exec, NULL, NULL);
! 282: if (ret == 1)
! 283: printf("final\n");
! 284: else if (ret < 0)
! 285: printf("error\n");
! 286: }
! 287: xmlRegFreeExecCtxt(exec);
! 288:
! 289: /* free the regexp */
! 290: xmlRegFreeRegexp(regexp);
! 291: } else {
! 292: int i;
! 293:
! 294: for (i = 1;i < argc;i++)
! 295: testRegexpFile(argv[i]);
! 296: }
! 297:
! 298: xmlCleanupParser();
! 299: xmlMemoryDump();
! 300: return(0);
! 301: }
! 302:
! 303: #else
! 304: #include <stdio.h>
! 305: int main(int argc ATTRIBUTE_UNUSED, char **argv ATTRIBUTE_UNUSED) {
! 306: printf("%s : Automata support not compiled in\n", argv[0]);
! 307: return(0);
! 308: }
! 309: #endif /* LIBXML_AUTOMATA_ENABLED */
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to testAutomata.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [ELWIX - Embedded LightWeight unIX -] / embedaddon / libxml2