Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Changes In Branch deviation Excluding Merge-Ins
This is equivalent to a diff from 43e20be75b to 5aac7f85df
2019-10-06
| ||
23:40 | Save work. check-in: b26625af9b user: rolf tags: wip | |
2019-10-05
| ||
12:32 | wip Closed-Leaf check-in: 5aac7f85df user: rolf tags: deviation | |
00:16 | More minor doc tweaking. check-in: 43e20be75b user: rolf tags: wip | |
00:06 | Minor work on the documentation. check-in: a5c850a58e user: rolf tags: wip | |
Changes to generic/schema.c.
︙ | ︙ | |||
119 120 121 122 123 124 125 | #if defined(DEBUG) || defined(DDEBUG) static char *Schema_CP_Type2str[] = { "ANY", "NAME", "CHOICE", "INTERLEAVE", "PATTERN", | | | > | 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 | #if defined(DEBUG) || defined(DDEBUG) static char *Schema_CP_Type2str[] = { "ANY", "NAME", "CHOICE", "INTERLEAVE", "PATTERN", "TEXT", "VIRTUAL", "KEYSPACE_START", "KEYSPACE_END" }; static char *Schema_Quant_Type2str[] = { "ONE", "OPT", "REP", "PLUS", "NM", "ERROR" }; #endif #ifndef TCL_THREADS static SchemaData *activeSchemaData = 0; # define GETASI activeSchemaData |
︙ | ︙ | |||
961 962 963 964 965 966 967 | Tcl_Interp *interp, SchemaData *sdata, char *name, char *namespace ) { SchemaCP *cp, *candidate, *icp; | | < | 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 | Tcl_Interp *interp, SchemaData *sdata, char *name, char *namespace ) { SchemaCP *cp, *candidate, *icp; int hm, ac, i, rc, missing; int isName = 0; SchemaValidationStack *se; if (!sdata->stack) return 0; se = sdata->stack; getContext (cp, ac, hm); switch (cp->type) { case SCHEMA_CTYPE_NAME: isName = 1; /* fall through */ case SCHEMA_CTYPE_PATTERN: while (ac < cp->nc) { candidate = cp->content[ac]; switch (candidate->type) { case SCHEMA_CTYPE_TEXT: if (candidate->nc) { if (!checkText (interp, candidate, "")) { if (recover (interp, sdata, S("MISSING_TEXT"), 1, ac)) { return 1; |
︙ | ︙ | |||
1047 1048 1049 1050 1051 1052 1053 | pushToStack (sdata, icp, ac); rc = matchElementStart (interp, sdata, name, namespace); if (rc == 1) { updateStack (se, cp, ac); return 1; } popStack (sdata); | < < < < < < < < | | 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 | pushToStack (sdata, icp, ac); rc = matchElementStart (interp, sdata, name, namespace); if (rc == 1) { updateStack (se, cp, ac); return 1; } popStack (sdata); break; case SCHEMA_CTYPE_VIRTUAL: Tcl_Panic ("Virtual constrain in MIXED or CHOICE"); case SCHEMA_CTYPE_KEYSPACE_END: case SCHEMA_CTYPE_KEYSPACE: Tcl_Panic ("Keyspace constrain in MIXED or CHOICE"); } } break; case SCHEMA_CTYPE_VIRTUAL: if (evalVirtual (interp, sdata, ac)) { hm = 1; break; } else return 0; case SCHEMA_CTYPE_INTERLEAVE: case SCHEMA_CTYPE_PATTERN: pushToStack (sdata, candidate, ac); |
︙ | ︙ | |||
1115 1116 1117 1118 1119 1120 1121 | } else { candidate->keySpace->active++; } ac++; hm = 0; continue; } | | | 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 | } else { candidate->keySpace->active++; } ac++; hm = 0; continue; } if (mustMatch (cp->quants[ac], hm)) { if (recover (interp, sdata, S("MISSING_CP"), 1, ac)) { /* Skip the just opened element tag and the following * content of the current. */ return 1; } return 0; } |
︙ | ︙ | |||
1146 1147 1148 1149 1150 1151 1152 | case SCHEMA_CTYPE_CHOICE: case SCHEMA_CTYPE_TEXT: case SCHEMA_CTYPE_ANY: /* Never pushed onto stack */ Tcl_Panic ("Invalid CTYPE onto the validation stack!"); case SCHEMA_CTYPE_INTERLEAVE: | | | | < < < < < < < < | < | 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 | case SCHEMA_CTYPE_CHOICE: case SCHEMA_CTYPE_TEXT: case SCHEMA_CTYPE_ANY: /* Never pushed onto stack */ Tcl_Panic ("Invalid CTYPE onto the validation stack!"); case SCHEMA_CTYPE_INTERLEAVE: missing = 0; for (i = 0; i < cp->nc; i++) { if (se->interleaveState[i] && maxOne (cp->quants[i])) continue; icp = cp->content[i]; switch (icp->type) { case SCHEMA_CTYPE_TEXT: break; case SCHEMA_CTYPE_ANY: if (icp->namespace && icp->namespace != namespace) { break; } sdata->skipDeep = 1; se->hasMatched = 1; se->interleaveState[i] = 1; return 1; case SCHEMA_CTYPE_NAME: if (icp->name == name && icp->namespace == namespace) { |
︙ | ︙ | |||
1196 1197 1198 1199 1200 1201 1202 | rc = matchElementStart (interp, sdata, name, namespace); if (rc == 1) { se->hasMatched = 1; se->interleaveState[i] = 1; return 1; } popStack (sdata); | < > | | | | | > | 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 | rc = matchElementStart (interp, sdata, name, namespace); if (rc == 1) { se->hasMatched = 1; se->interleaveState[i] = 1; return 1; } popStack (sdata); break; case SCHEMA_CTYPE_VIRTUAL: Tcl_Panic ("Virtual constraint child of INTERLEAVE"); break; case SCHEMA_CTYPE_KEYSPACE_END: case SCHEMA_CTYPE_KEYSPACE: Tcl_Panic ("Keyspace constraint child of INTERLEAVE"); break; } if (!missing && minOne (cp->quants[i])) missing = 1; } if (missing) { if (recover (interp, sdata, S("MISSING_ONE_OF_INTERLEAVE"), 1, ac)) { return 1; } return 0; } } return -1; } static void * getNamespacePtr ( SchemaData *sdata, |
︙ | ︙ | |||
1658 1659 1660 1661 1662 1663 1664 | } while (ac < cp->nc) { DBG(fprintf (stderr, "ac %d hm %d mayMiss: %d\n", ac, hm, mayMiss (cp->quants[ac]))); if (mayMiss (cp->quants[ac])) { ac++; continue; } | < | 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 | } while (ac < cp->nc) { DBG(fprintf (stderr, "ac %d hm %d mayMiss: %d\n", ac, hm, mayMiss (cp->quants[ac]))); if (mayMiss (cp->quants[ac])) { ac++; continue; } switch (cp->content[ac]->type) { case SCHEMA_CTYPE_KEYSPACE_END: cp->content[ac]->keySpace->active--; if (!cp->content[ac]->keySpace->active) { if (cp->content[ac]->keySpace->unknownIDrefs) { if (!recover (interp, sdata, S("UNKNOWN_KEYREF"), 0, 0)) { return 0; |
︙ | ︙ | |||
4202 4203 4204 4205 4206 4207 4208 | * cmd. */ pattern->content = MALLOC (sizeof (Tcl_Obj*) * (objc)); for (i = 1; i < objc; i++) { pattern->content[i-1] = (SchemaCP *) objv[i]; Tcl_IncrRefCount (objv[i]); } pattern->nc = objc; | | | 4185 4186 4187 4188 4189 4190 4191 4192 4193 4194 4195 4196 4197 4198 4199 | * cmd. */ pattern->content = MALLOC (sizeof (Tcl_Obj*) * (objc)); for (i = 1; i < objc; i++) { pattern->content[i-1] = (SchemaCP *) objv[i]; Tcl_IncrRefCount (objv[i]); } pattern->nc = objc; addToContent (sdata, pattern, SCHEMA_CQUANT_ONE, 0, 0); return TCL_OK; } static int domuniquePatternObjCmd ( ClientData clientData, Tcl_Interp *interp, |
︙ | ︙ |
Changes to tests/schema.test.
︙ | ︙ | |||
1524 1525 1526 1527 1528 1529 1530 | <doc><a/><a/><a/><c/></doc> <doc><b/><b/><b/><c/></doc> <doc><c/></doc> } { lappend result [s validate $xml] } set result | | | 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 | <doc><a/><a/><a/><c/></doc> <doc><b/><b/><b/><c/></doc> <doc><c/></doc> } { lappend result [s validate $xml] } set result } {0 0 1 0 1 1 0} test schema-7.15a {choice with optional choices} { tdom::schema create s s define { defelement doc { choice { element a * |
︙ | ︙ | |||
1614 1615 1616 1617 1618 1619 1620 | <doc><aa/><ab/><aa/><c/></doc> <doc><aa/><ab/><aa/><aa/><ab/><c/></doc> <doc><c/></doc> } { lappend result [s validate $xml] } set result | | | 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 | <doc><aa/><ab/><aa/><c/></doc> <doc><aa/><ab/><aa/><aa/><ab/><c/></doc> <doc><c/></doc> } { lappend result [s validate $xml] } set result } {0 0 1 0 1 1 1 1 0} test schema-7.17 {choice with optional choices} { tdom::schema create s s define { defelement doc { choice { element a * |
︙ | ︙ | |||
1648 1649 1650 1651 1652 1653 1654 | <doc><aa/><ab/><aa/><c/></doc> <doc><aa/><ab/><aa/><aa/><ab/><c/></doc> <doc><c/></doc> } { lappend result [s validate $xml] } set result | | | 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 | <doc><aa/><ab/><aa/><c/></doc> <doc><aa/><ab/><aa/><aa/><ab/><c/></doc> <doc><c/></doc> } { lappend result [s validate $xml] } set result } {0 0 1 0 1 1 0 0 0} test schema-7.18 {choice} { tdom::schema create s s define { defelement doc { choice { element a |
︙ | ︙ | |||
1730 1731 1732 1733 1734 1735 1736 | <doc><aa/><ab/><aa/><c/></doc> <doc><aa/><ab/><aa/><aa/><ab/><c/></doc> <doc><c/></doc> } { lappend result [s validate $xml] } set result | | | 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 | <doc><aa/><ab/><aa/><c/></doc> <doc><aa/><ab/><aa/><aa/><ab/><c/></doc> <doc><c/></doc> } { lappend result [s validate $xml] } set result } {0 0 1 1 0 0 0 1 0 0 0} test schema-7.20 {group with only optional content} { tdom::schema create s s define { defelement doc { element a group { |
︙ | ︙ | |||
4660 4661 4662 4663 4664 4665 4666 | <doc>12</doc> } { lappend result [s validate $xml] } s delete set result } {0 1 0 1 0 1 1 0} | < | 4660 4661 4662 4663 4664 4665 4666 4667 4668 4669 4670 4671 4672 4673 | <doc>12</doc> } { lappend result [s validate $xml] } s delete set result } {0 1 0 1 0 1 1 0} test schema-16.16 {interleave} { tdom::schema s s define { foreach e {a b1 b11 b2 c} { defelement $e {} } |
︙ | ︙ |