ada/xmlada
0
0
Fork 0
mirror of https://github.com/AdaCore/xmlada.git synced 2026-02-12 12:30:28 -08:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 9e5b82bd00 Remove trailing white space. Pascal Obry 2011-10-10 15:52:19 +00:00
  • 926409ec8d Add support for compiling with coverage information. This is in preparation for K929-014 gprbuild-1.6 Emmanuel Briot 2011-09-29 10:42:25 +00:00
  • 4ea6a430ad Initial XML/Ada roadmap Emmanuel Briot 2011-09-21 16:11:34 +00:00
  • afcdacc8df Partial revert of previous changes: we only use "relocatable" libs as default if the user specified "--enable-shared". For K704-030, K831-037. As discussed in H505-007 Emmanuel Briot 2011-09-05 10:37:51 +00:00
  • 548142ee13 Add missing shebang to avoid errors on Windows. K823-005 Emmanuel Briot 2011-08-31 08:11:10 +00:00
  • 78e279e26b When using --disable-shared, the default library type must be static K704-030 Emmanuel Briot 2011-08-30 12:01:12 +00:00
  • 2c3318f331 Change the default LIBRARY_TYPE in shared.gpr Fixes failures in ppc-aix testsuite, since one of the testsuite does not specify the kind of library to use, and defaults to relocatable, which is not supported on the platform. K704-030 Emmanuel Briot 2011-08-30 11:16:28 +00:00
  • 9e19c620bb (XML_Float): change internal representation of "double" values, so that we can handle values outside of the range of Long_Long_Float. Should fix failures on mips-irix K704-031 Emmanuel Briot 2011-08-30 10:56:46 +00:00
  • 6b8ac821f4 (Feature_Ignore_Unsupported_XSD_Element): new constant, to get a warning instead of a fatal error for known unsupported elements. K429-012 Emmanuel Briot 2011-08-16 13:46:53 +00:00
  • cf565507d3 Rename test.cmd=>test.sh to make sure NT command interpreter is not used. Vassiliy Fofanov 2011-08-02 15:51:27 +00:00
  • a65824712c Added some more files to ignore Emmanuel Briot 2011-07-26 14:03:08 +00:00
  • 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 Emmanuel Briot 2011-07-26 13:34:54 +00:00
  • 5f5aadd1d1 Minor reformatting. Pascal Obry 2011-07-12 21:00:34 +00:00
  • 60666c3583 Document TMPDIR on Windows K615-013 Emmanuel Briot 2011-06-16 07:43:39 +00:00
  • 9bb0b67ed8 (Dump): Fix duplicate dump of nested nodes, which resulted in duplicated links in the "dot" output. While working on K518-020 Emmanuel Briot 2011-05-23 14:50:57 +00:00
  • d450810dd9 (Get_Index): new version using strings, to help transition. Added extra documentation to help people transitioning from older versions of XML/Ada, as discussed in K331-029 Emmanuel Briot 2011-04-04 08:19:28 +00:00
  • e147921c2c Fix copyright date. K126-005 gnat-6.5-gcc-43 Emmanuel Briot 2011-02-09 16:38:55 +00:00
  • 9de0208c43 New file used for sanity checking K209-016 Emmanuel Briot 2011-02-09 14:06:04 +00:00
  • 15b5bcf386 Fix typo in previous checkin Force blocking on the socket until data is available J818-003 Emmanuel Briot 2010-12-22 10:27:15 +00:00
  • 5bc8414387 Minor reformatting. Pascal Obry 2010-12-16 16:08:51 +00:00
  • 3f2b142884 (Input_Sources.Socket): new package, by external contributor J818-003 Emmanuel Briot 2010-12-16 14:08:38 +00:00
  • 8ebcdb8647 Update version to 4.2 Emmanuel Briot 2010-12-16 14:08:35 +00:00
  • 6ddc519d45 Bump version to 4.1 xmlada-4.1 Olivier Ramonat 2010-12-07 14:45:10 +00:00
  • 98c8c284bd Change testsuites processing to make it more compatible with GAIA Vassiliy Fofanov 2010-12-01 15:48:13 +00:00
  • c3865e79ab Use a static expression in pragma Assert Apparently some versions of the compiler complain otherwise, but not all Emmanuel Briot 2010-11-25 10:23:36 +00:00
  • 4b4478eb6c Remove full path name from the output of the testsuite, otherwise we cannot have a baseline that works on all machines Emmanuel Briot 2010-11-16 16:26:41 +00:00
  • 5c58a6a9cb Remove some tests that are no longer in the testsuite. Reorganize and group in separate NI and N/A sections. Vassiliy Fofanov 2010-11-16 12:06:13 +00:00
  • ea4204aa83 Fix two cases of internal error (the XML contains an error, but the resulting exception was improperly caught by XML/Ada) J302-043 Emmanuel Briot 2010-11-12 08:38:52 +00:00
  • ed7cde3c93 Update testsuite dates JB09-020 Emmanuel Briot 2010-11-11 17:38:26 +00:00
  • 427d3458dd Minor reformatting. Pascal Obry 2010-11-10 17:51:32 +00:00
  • b7f3d18180 Added support for XML 1.0 (Fifth Edition) The changes mostly deal with the range of characters allowed for names. For backward compatibility (in particular because the Schema testsuite still requires the third edition) the user can still chose to use earlier versions of the standard Needed to support the latest version of the XML testsuite JB09-020 Emmanuel Briot 2010-11-09 15:22:58 +00:00
  • 5487de98c6 Separate the XML 1.1 tests, after discussion with customer Also isolate the tests with an unsupported encoding J302-043 Emmanuel Briot 2010-11-09 10:48:05 +00:00
  • 32a58c5026 Do rounding down of the stats J302-043 Emmanuel Briot 2010-11-05 15:03:04 +00:00
  • ca8d5febb2 (Finalize): always reset Data to null to make Finalize idempotent, as discussed in JB01-012 Emmanuel Briot 2010-11-05 11:05:55 +00:00
  • 1e57f6bf5d Hard-code the XSD metaschema in the code, rather than rely on external files to find it. (Input_Sources.Strings.Open): now takes a Cst_Byte_Sequence_Access, so that we can point to hard-coded constants in the code J302-043 Emmanuel Briot 2010-11-05 10:54:50 +00:00
  • b6b40193be (Add_Schema_For_Schema): correctly propagate error messages J302-043 Emmanuel Briot 2010-11-05 10:54:46 +00:00
  • af197fd03e Disable one test which doesn't make sense in the context of XML/Ada J302-043 Emmanuel Briot 2010-11-05 10:54:43 +00:00
  • 78433e7f8b <import namespace="..."> is unsupported. This in fact acts as a promise that it will contain elements later on, and we cannot create the NFA as a result. 4.2.6.1 The "namespace" attribute can also be omitted even if no schemaLocation is specified J302-043 Emmanuel Briot 2010-11-05 10:54:40 +00:00
  • 9fd0e3b77f The type of element should be looked for in the target namespace unless they already have a namespace J302-043 Emmanuel Briot 2010-11-05 10:54:36 +00:00
  • eb51adb400 Fix incorrect handling of the whitespace facet for some of the predefined types J302-043 Emmanuel Briot 2010-11-05 10:54:33 +00:00
  • a96db8b91e "\?" is unsupported in regexps J302-043 Emmanuel Briot 2010-11-05 10:54:29 +00:00
  • a12e900fbf In a <simpleContent>, a restriction did not inherit the attributes from its parent (because we did not create the Details component of the type, and thus did not know the base type). J302-043 Emmanuel Briot 2010-11-05 10:54:26 +00:00
  • 26378addf3 The type of element should be looked for in the target namespace unless they already have a namespace J302-043 Emmanuel Briot 2010-11-05 10:54:23 +00:00
  • d0f9e29a9e Need to normalize attribute whitespaces before checking they are valid. Make sure whitespace normalization occurs for NMTOKENS J302-043 Emmanuel Briot 2010-11-05 10:54:19 +00:00
  • c38a8fd73a In a <union>, the members should be looked for in the target namespace unless they have their own prefix J302-043 Emmanuel Briot 2010-11-05 10:54:15 +00:00
  • ffe0b9f25e <attribute use="prohibited" fixed="..."> is only forbidden in XSD >= 1.1 J302-043 Emmanuel Briot 2010-11-05 10:54:12 +00:00
  • 922a6dcd38 "unbounded" is no longer represented as Natural'Last, which fixes two errors in the testsuite J302-043 Emmanuel Briot 2010-11-05 10:54:08 +00:00
  • 0cfd6fb882 Fix invalid memory access reported by valgrind (make errors): group error messages by categories. Helps focus on specific types of errors J302-043 Emmanuel Briot 2010-11-05 10:53:52 +00:00
  • 8380105c40 (make not_implemented): add support for showing how unimplemented features are split J302-043 Emmanuel Briot 2010-11-05 10:53:48 +00:00
  • cae8e14a21 Fix propagation of error messages when a regexp has some unimplemented features J302-043 Emmanuel Briot 2010-11-05 10:53:45 +00:00
  • f8f5fb5049 Display percent of success Change category names As discussed in J302-043 meeting Emmanuel Briot 2010-11-05 10:51:52 +00:00
  • 5ee7bdb6a3 Remove commented out code (For_Each_Item): moved from schema-validators-lists to sax-utils. The former package is now removed J302-043 Emmanuel Briot 2010-11-05 10:51:49 +00:00
  • d539939c53 Change the output of the XML testsuite, to generate the certificates J302-043 Emmanuel Briot 2010-11-05 10:51:45 +00:00
  • 19a49e8540 Various fixes in the sax parser related to the location of error messages and resolving absolute URI This was broken during the changes for J302-043 Emmanuel Briot 2010-11-05 10:51:43 +00:00
  • 0066f1cff5 Update baseline. No comparison was done between the new error messages and the old ones, too many diffs. J302-043 Emmanuel Briot 2010-11-05 10:50:50 +00:00
  • aacc12e6ac Improve the summary of the testsuite, for easy parsing to generate the certificates. JA25-025 Emmanuel Briot 2010-11-05 10:50:48 +00:00
  • 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 Emmanuel Briot 2010-11-05 10:50:46 +00:00
  • a818cfcffd Disable support for inline schemas in XML files Testsuite: 871 failures, XF:0, XP:3 J302-043 Emmanuel Briot 2010-11-05 10:50:44 +00:00
  • 8237ddfb1c (Replace_State): also mark states accessible through empty transitions. Testsuite: 872 failures, XF:1, XP:3 J302-043 Emmanuel Briot 2010-11-05 10:50:42 +00:00
  • 38cddf0240 (Dump): added support for dumping a nested NFA as a dot output. Useful for analyzing the metaschema, which is too big to conveniently display in the PDF viewers J302-043 Emmanuel Briot 2010-11-05 10:50:39 +00:00
  • bc55460b99 If an element is matched through <any processContent=strict>, it is not an error if the element is not defined in the XSD, as long as a type is given for it via a xsi:type attribute Testsuite: 873 failures, XF:0, XP:5 J302-043 Emmanuel Briot 2010-11-05 10:50:38 +00:00
  • 5f2ba344a0 (Combine): fix merging algorithm when the base is "##any" Testsuite: 874 failures, XF:0, XP:6 J302-043 Emmanuel Briot 2010-11-05 10:50:36 +00:00
  • 0135612ac8 Added support for <attribute> in a simpleType <restriction> Minor cleanup to the datastructure, in the way we store attributes while parsing a schema Testsuite: 877 failures, XF:0, XP:9 Emmanuel Briot 2010-11-05 10:50:34 +00:00
  • d85cf880e9 A "language" type must have whitespace=collapse facet Testsuite: 881 failures, XF:0, XP:13 J304-043 Emmanuel Briot 2010-11-05 10:50:32 +00:00
  • 4190c6ca9e Add support for NOTATION (checking that it was indeed defined in the document). Testsuite: 882 failures, XF:0, XP:14 J302-043 Emmanuel Briot 2010-11-05 10:50:30 +00:00
  • a899f2a7fc A type with two or more <pattern> should combine them with a "|" Testsuite: 883 failures, XF:0, XP:15 J302-043 Emmanuel Briot 2010-11-05 10:50:27 +00:00
  • 28b3a877e0 (For_Each_Item): fix off-by-one indexing when the string finishes with a single whitespace. Testsuite: 884 failures, XF:0, XP:16 J302-043 Emmanuel Briot 2010-11-05 10:50:25 +00:00
  • 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 Emmanuel Briot 2010-11-05 10:50:23 +00:00
  • 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 Emmanuel Briot 2010-11-05 10:50:21 +00:00
  • a9e71de213 The toplevel element need not be in the XSD, if a xsi:type is given for it. Testsuite results: 897 failures, XF:0, XP:30 J302-043 Emmanuel Briot 2010-11-05 10:50:19 +00:00
  • 70bf6e8d32 (<enumeration>): we need to compare the values with Equal, not "=", since the standard mandates comparing in the value space, not the lexical representation. Fix copy-paste error in instantiations of Generic_Equal Testsuite results: 899 failures, XF:0, XP:32 J302-043 Emmanuel Briot 2010-11-05 10:50:17 +00:00
  • bcfd9cfee0 Substitute the default element value if no content was provided, when checking validity Testsuite results: 901 failures, XF:0, XP:34 J302-043 Emmanuel Briot 2010-11-05 10:50:16 +00:00
  • 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 Emmanuel Briot 2010-11-05 10:50:13 +00:00
  • 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 Emmanuel Briot 2010-11-05 10:50:11 +00:00
  • 7613b39283 Fix handling of xsi:nil Testsuite results: 991 failures, XF:0, XP:124 J302-043 Emmanuel Briot 2010-11-05 10:50:08 +00:00
  • 37f1d3ef47 Additional tests done with Xerces confirm the tests are incorrect and should be disabled J302-043 Emmanuel Briot 2010-11-05 10:50:06 +00:00
  • 4fe1e6a23d Added support for local attributes (the namespace is then optional in the XML document) Testsuite results: 1009 failures, XF:0,XP:142 J302-043 Emmanuel Briot 2010-11-05 10:50:04 +00:00
  • 1f49f5e2de Fix test that detects whether a namespace was already used prior to its redeclaration Testsuite results: 1029, XF:3, XP:159 J302-043 Emmanuel Briot 2010-11-05 10:50:02 +00:00
  • 1f897ccd4f (For_Each_Active_State): change iterator, so that we can get the parent active state, instead of relying in the order in which the states are returned, which was not guaranteed. This fixes a few XF tests Testsuite results: 1030 failures, XF:4, XP:159 J302-043 Emmanuel Briot 2010-11-05 10:49:59 +00:00
  • 9b87877d6d A "ref" attribute can override the use_type of its referenced attribute. Testsuite results: 1030 failures, XF:5, XP:158 J302-043 Emmanuel Briot 2010-11-05 10:49:56 +00:00
  • 919e432e0c (Validate_HexBinary): the length must be an even number Testsuite results:1032 failures, XF:7, XP:158 (numbers are different, since previous counts did not include the "always fail" groups) J302-043 Emmanuel Briot 2010-11-05 10:49:54 +00:00
  • c2ee634da4 Change output of the testsuite, to display the number of tests in each category For JA25-025 Emmanuel Briot 2010-11-05 10:49:52 +00:00
  • 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 Emmanuel Briot 2010-11-05 10:49:50 +00:00
  • a8efb94cfd Do not normalize the attribute value for <pattern> Testsuite results: 1036 failures, XF:9, XP:155 J302-043 Emmanuel Briot 2010-11-05 10:49:48 +00:00
  • c250b30e70 Disable stE054, cannot work J304-043 Emmanuel Briot 2010-11-05 10:49:46 +00:00
  • 379304f492 Change data structures for the handling of <anyAttribute>. This is slightly cleaner (less records with discriminants) A <restriction> which does not redefine a <anyAttribute> should not inherit them from its base either Testsuite results: 1039 failures, XF:11, XP:156 J302-043 Emmanuel Briot 2010-11-05 10:49:43 +00:00
  • 83ed6d0a4f Fix handling of restriction's base type as an inlined type. Minor cleanup in the data structure to represent this. Testsuite results: 1041 failures, XF:13, XP:156 J302-043 Emmanuel Briot 2010-11-05 10:49:41 +00:00
  • ce267517c0 Fix handling of "fixed" values for elements that have a complexType. The value of fixed must be read from the parent state in the NFA. Testsuite results: 1043 failures, XF:15, XP:156 J302-043 Emmanuel Briot 2010-11-05 10:49:39 +00:00
  • 5df64ac5cc "+INF" is not a valid value for floats and doubles (only "INF") Testsuite results:1050, XF:22, XP:156 J302-043 Emmanuel Briot 2010-11-05 10:49:37 +00:00
  • 0a4bfa9f27 Check that the actual type of an element is not abstract. Testsuite results: 1052 failures, XF:24, XP:156 Emmanuel Briot 2010-11-05 10:49:36 +00:00
  • f09b032a46 Check "fixed" values for attributes where the type is not specified (ie is "anySimpleType") Testsuite results: 1055 failures, XF:27, XP:156 J302-043 Emmanuel Briot 2010-11-05 10:49:34 +00:00
  • 6d688668d8 Better handling of "ID" types: we now check their unicity within a document Testsuite results: 1065 failures, XF:37, XP:156 J302-043 Emmanuel Briot 2010-11-05 10:49:32 +00:00
  • 0c605a59d5 Report types IDREF and IDREFS as unsupported for now when used for elements Testsuite results: 1106 failures, XF:42, XP:156 J302-043 Emmanuel Briot 2010-11-05 10:49:30 +00:00
  • 4cb50833f8 For <anyAttribute>, add support for processContents, where we need to check whether a definition for the global attribute exists and validate against it Testsuite results: 1112 failures, XF:46, XP:158 J302-043 Emmanuel Briot 2010-11-05 10:49:28 +00:00
  • 1b174b8294 Review the implementation of <any>: The states are now by default setup as <ur-Type>, that is they will accept any number of children to any depth, and any mixed contents. Raise error if the definition of an element is not found when the processContent is "strict" Change the list of active states if processContent is strict or lax, and if we found the definition of the element. Testsuite results: 1124 failures, XF:58, XP:158 J302-043 Emmanuel Briot 2010-11-05 10:49:25 +00:00
  • d16de71d4b Review the implementation of <anyAttribute>: in the case of restrictions, we must match both the base and the local anyAttribute; in the case of extensions, we can match any (which we were always doing before) Testsuite results: 1179 failures, XF:66 J302-043 Emmanuel Briot 2010-11-05 10:49:22 +00:00
  • 2154cf739a Use Equal instead of "=" to check that a fixed value matches the element's value. J302-043 Testsuite results: 1238 failures, 77 in XF Emmanuel Briot 2010-11-05 10:49:19 +00:00
  • dea6420c51 Fix handling of <pattern>: when in a restriction, we must match both the base's patterns and the restriction's pattern. This fixes a long standing bug (hidden before apparently) where we were always combining the patterns with "|", which is only valid for extensions Testsuite results: 1239 failures / 76 in XF J302-043 Emmanuel Briot 2010-11-05 10:49:17 +00:00
  • 49a77e4d6f Very that an element matches its "fixed" constraint Testsuite results: 1246 failures (83 in XF) J302-043 Emmanuel Briot 2010-11-05 10:49:15 +00:00
  • ab0bec2f1b Some more progress on <anyAttribute>, although not complete yet Testsuite results: 1278 failures J302-043 Emmanuel Briot 2010-11-05 10:49:14 +00:00