Commit Graph

177 Commits

Author SHA1 Message Date
Emmanuel Briot
53dc51bf5c Update copyright notices
Change-Id: Iae1283292b460ead48dedc565d6f24259e497e69
2017-01-03 10:02:38 +01:00
Emmanuel Briot
a56a0902a9 Fix memory leaks while validating invalid XML schemas
L328-026

Change-Id: Ic49c17e2d275861131178506fd55d07bd2d8f412
2016-02-17 18:02:08 +01:00
Emmanuel Briot
1262b6c064 Update copyright headers to 2016
Change-Id: I70135cb5146de304f14587d1a518c94e804a8e6c
2016-02-17 18:02:07 +01:00
Emmanuel Briot
8c75c5323b Add comment (from O930-031)
Change-Id: Ib42e09d4dfac0d5eaf5678b19c763b8ffde4e316
2015-10-13 12:28:52 +02:00
Emmanuel Briot
67fb7dd10e Update copyright notices to 2014
N103-019

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@221486 936e1b1b-40f2-da11-902a-00137254ae57
2014-01-06 10:27:30 +00:00
Emmanuel Briot
6363ce096b Update copyright notices to 2013
M103-015

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@200406 936e1b1b-40f2-da11-902a-00137254ae57
2013-01-08 10:54:28 +00:00
Emmanuel Briot
d6a116bb36 (Validation_Error): improve documentation
LB01-024

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@197621 936e1b1b-40f2-da11-902a-00137254ae57
2012-11-08 10:00:17 +00:00
Emmanuel Briot
8036117c11 Add entry in features about the license change.
Update all copyright headers to 2012, since the change of the license
 is considered as significant for the files.
KC20-003

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@183039 936e1b1b-40f2-da11-902a-00137254ae57
2012-01-03 15:07:56 +00:00
Emmanuel Briot
5befffea2b Change header to use GPL version 3
KC20-003

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@182682 936e1b1b-40f2-da11-902a-00137254ae57
2011-12-20 09:09:12 +00:00
Emmanuel Briot
d51fed727f Change the way we create the FSM for <all>.
The previous construction was creating states for all possible
 combinations of the children nodes, resulting in an explosion
 in the number of states. Through additional capabilities added
 to Sax.State_Machines, we now have data associated with each
 active state. In particular, for <all> states this is used to
 memorize which children have already been visited.
for K518-020 and KC01-028

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@182156 936e1b1b-40f2-da11-902a-00137254ae57
2011-12-08 13:31:17 +00:00
Emmanuel Briot
95a2bfd674 Improved support for multi-tasking in the schema module.
It is now possible to parse a grammar once, and then use it from different
 tasks with different parsers.
Added locking in a few places, and make sure the NFA is not modified while
 processing input events.
Added automatic test
K708-021

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@176524 936e1b1b-40f2-da11-902a-00137254ae57
2011-07-26 13:34:54 +00:00
Emmanuel Briot
d0f9e29a9e Need to normalize attribute whitespaces before checking they are valid.
Make sure whitespace normalization occurs for NMTOKENS
J302-043

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@166748 936e1b1b-40f2-da11-902a-00137254ae57
2010-11-05 10:54:19 +00:00
Emmanuel Briot
ffe0b9f25e <attribute use="prohibited" fixed="...">
is only forbidden in XSD >= 1.1
J302-043

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@166746 936e1b1b-40f2-da11-902a-00137254ae57
2010-11-05 10:54:12 +00:00
Emmanuel Briot
922a6dcd38 "unbounded" is no longer represented as Natural'Last, which fixes
two errors in the testsuite
J302-043

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@166745 936e1b1b-40f2-da11-902a-00137254ae57
2010-11-05 10:54:08 +00:00
Emmanuel Briot
eefff69a4d Normalize "fixed" values for elements and attributes, so that comparison
later on is correct
Testsuite results: 869 failures, XF:0, XP:0
J302-043

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@166735 936e1b1b-40f2-da11-902a-00137254ae57
2010-11-05 10:50:46 +00:00
Emmanuel Briot
8237ddfb1c (Replace_State): also mark states accessible through empty transitions.
Testsuite: 872 failures, XF:1, XP:3
J302-043

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@166733 936e1b1b-40f2-da11-902a-00137254ae57
2010-11-05 10:50:42 +00:00
Emmanuel Briot
4190c6ca9e Add support for NOTATION (checking that it was indeed defined in the
document).
Testsuite: 882 failures, XF:0, XP:14
J302-043

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@166727 936e1b1b-40f2-da11-902a-00137254ae57
2010-11-05 10:50:30 +00:00
Emmanuel Briot
e8410d6071 Even if an element is found as part of a <any processContents='skip'>, we
still need to check its nillable status from the schema.
When an element is <skip processContents="skip">, we should ignore the
 xsi:nil on any of its children, too
Testsuite: 885 failures, XF:0, XP:18
J302-043

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@166724 936e1b1b-40f2-da11-902a-00137254ae57
2010-11-05 10:50:23 +00:00
Emmanuel Briot
d587b9a1eb The root element in the XML file might not be defined in the schema. This
is valid as long as there is a xsi:type attribute
Testsuite results: 893 failues, XF:0, XP:26
J302-043

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@166723 936e1b1b-40f2-da11-902a-00137254ae57
2010-11-05 10:50:21 +00:00
Emmanuel Briot
bcfd9cfee0 Substitute the default element value if no content was provided, when
checking validity
Testsuite results: 901 failures, XF:0, XP:34
J302-043

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@166720 936e1b1b-40f2-da11-902a-00137254ae57
2010-11-05 10:50:16 +00:00
Emmanuel Briot
0da2814d7b Reclassify the "regexp with unicode matching" as a non-implemented
feature rather than a bug.
Testsuite results:911 failures, XF:0, XP:44
J302-043

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@166719 936e1b1b-40f2-da11-902a-00137254ae57
2010-11-05 10:50:13 +00:00
Emmanuel Briot
a308d8a4da Remove commented out code
Remove support for "#" as first character in error messages, since we
 handle error locations differently now in any case
J302-043

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@166718 936e1b1b-40f2-da11-902a-00137254ae57
2010-11-05 10:50:11 +00:00
Emmanuel Briot
7613b39283 Fix handling of xsi:nil
Testsuite results: 991 failures, XF:0, XP:124
J302-043

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@166717 936e1b1b-40f2-da11-902a-00137254ae57
2010-11-05 10:50:08 +00:00
Emmanuel Briot
9b87877d6d A "ref" attribute can override the use_type of its referenced attribute.
Testsuite results: 1030 failures, XF:5, XP:158
J302-043

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@166712 936e1b1b-40f2-da11-902a-00137254ae57
2010-11-05 10:49:56 +00:00
Emmanuel Briot
f4503a00af When substitution a simpleType for a complexType ("anyType"), we also
need to replace the nested NFA so that we do not accept children
 elements for the simpleType
testsuite: 1033 failures, XF:7, XP:155
J302-043

git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@166709 936e1b1b-40f2-da11-902a-00137254ae57
2010-11-05 10:49:50 +00:00