|
|
| Line 1: |
Line 1: |
| <?xml version="1.0" encoding="UTF-8"?>
| | logxml_xsd.xml |
| <!-- Schema Declaration file for probcli's xml log files generated by -logxml XMLFILE command -->
| |
| <!-- Version: 29th September 2019, for probcli version 1.9.1 -->
| |
| <xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
| |
| <xs:element name="probcli-run">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="version" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:attribute name="major" type="xs:string" use="required"/>
| |
| <xs:attribute name="minor" type="xs:string" use="required"/>
| |
| <xs:attribute name="patch" type="xs:string" use="required"/>
| |
| <xs:attribute name="suffix" type="xs:string" use="required"/>
| |
| <xs:attribute name="revision" type="xs:string" use="required"/>
| |
| <xs:attribute name="lastchanged" type="xs:string" use="required"/>
| |
| <xs:attribute name="prolog" type="xs:string" use="required"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="options" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="number">
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:integer">
| |
| </xs:extension>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="list">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="set_pref" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="atom" minOccurs="1" maxOccurs="2">
| |
| <xs:annotation>
| |
| <xs:documentation xml:lang="fr">nom de la préférence utilisée et sa valeur associée</xs:documentation>
| |
| </xs:annotation>
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="number" minOccurs="0" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:integer">
| |
| </xs:extension>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="set_preference_group" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="atom" minOccurs="2" maxOccurs="2">
| |
| <xs:annotation>
| |
| <xs:documentation xml:lang="fr">nom de la groupe de préférence utilisée et sa valeur associée</xs:documentation>
| |
| </xs:annotation>
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="eval_string_or_file" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:sequence>
| |
| <xs:any minOccurs="4" maxOccurs="5" processContents="skip"/>
| |
| </xs:sequence>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="expect_error" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="atom" minOccurs="1" maxOccurs="2">
| |
| <xs:annotation>
| |
| <xs:documentation xml:lang="fr">nom de la categorie d'erreur attendue</xs:documentation>
| |
| </xs:annotation>
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="expect_error_pos" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="execute" minOccurs="0" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="number">
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:integer"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="atom" minOccurs="0" maxOccurs="2">
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="atom" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:annotation>
| |
| <xs:documentation xml:lang="fr">Noms des options choisis utilisé</xs:documentation>
| |
| </xs:annotation>
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="optional_error" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:annotation>
| |
| <xs:documentation xml:lang="fr">Nom des options choisis en échec</xs:documentation>
| |
| </xs:annotation>
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="atom" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="log" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="path" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="atom" minOccurs="1" maxOccurs="1">
| |
| <xs:annotation>
| |
| <xs:documentation xml:lang="fr">Format dans lequel le log est écrit</xs:documentation>
| |
| </xs:annotation>
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="add_csp_guide" type="Option_with_Path" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="test_description" type="Option_with_Path" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="all_deadlocking_paths" type="Option_with_Path" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="load_state" type="Option_with_Path" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="save_state" type="Option_with_Path" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="dot_analyse_output_prefix" type="Option_with_Path" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="process_latex_file" type="Option_with_Path" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="evaluate_expression_over_history_to_csv_file" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="set_card" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="set_argv" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="check_goal" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="add_additional_property" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="set_goal" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="mcm_tests" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="mcm_cover" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="cbc_tests" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="cbc_deadlock_check" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="cbc_operation_check" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="cbc_assertion_check" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="constraint_based_check" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="cbc_assertions" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="ltl_formula_model_check" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="ctl_formula_model_check" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="refinement_check" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="cli_start_mc_with_tlc" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="cli_mc" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="cli_random_animate" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="cache_storage" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="coverage" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="pretty_print_internal_rep" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="dot_command" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="check_statespace_hash" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="cli_check_assertions" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="print_values" type="Option_with_Path" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="history" type="Option_with_Path" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="history_option" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="timeout" minOccurs="0" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="number">
| |
| <xs:annotation>
| |
| <xs:documentation xml:lang="fr">Valeur timeout en ms</xs:documentation>
| |
| </xs:annotation>
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:integer"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="logxml_write_ids" minOccurs="1" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="atom" minOccurs="2" maxOccurs="2">
| |
| <xs:annotation>
| |
| <xs:documentation xml:lang="fr">String à retrouver dans l'élèment à afficher et type de cet élément</xs:documentation>
| |
| </xs:annotation>
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="files" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="number">
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:integer"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="atom">
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="list">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="path" minOccurs="1" maxOccurs="unbounded">
| |
| <xs:annotation>
| |
| <xs:documentation xml:lang="fr">chemin des machines exécutées</xs:documentation>
| |
| </xs:annotation>
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="date" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:attribute name="year" type="xs:string" use="required"/>
| |
| <xs:attribute name="month" type="xs:string" use="required"/>
| |
| <xs:attribute name="day" type="xs:string" use="required"/>
| |
| <xs:attribute name="hour" type="xs:string" use="required"/>
| |
| <xs:attribute name="minutes" type="xs:string" use="required"/>
| |
| <xs:attribute name="seconds" type="xs:string" use="required"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="process_file" minOccurs="1" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="b_machine_preferences" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="list" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="set_pref" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="atom" minOccurs="2" maxOccurs="2">
| |
| <xs:annotation>
| |
| <xs:documentation xml:lang="fr">nom de la préférence utilisée et sa valeur associée</xs:documentation>
| |
| </xs:annotation>
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="animation_mode" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:attribute name="major" type="xs:string" use="required"/>
| |
| <xs:attribute name="minor" type="xs:string" use="required"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="b_machine_statistics" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:attribute name="machine_name" type="xs:string" use="required"/>
| |
| <xs:attribute name="tail_filename" type="xs:string" use="required"/>
| |
| <xs:attribute name="constants" type="xs:integer" use="required"/>
| |
| <xs:attribute name="variables" type="xs:integer" use="required"/>
| |
| <xs:attribute name="properties" type="xs:integer" use="required"/>
| |
| <xs:attribute name="invariants" type="xs:integer" use="required"/>
| |
| <xs:attribute name="static_assertions" type="xs:integer" use="required"/>
| |
| <xs:attribute name="dynamic_assertions" type="xs:integer" use="required"/>
| |
| <xs:attribute name="operations" type="xs:integer" use="required"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="cbc_deadlock_check" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:sequence>
| |
| <xs:any minOccurs="1" maxOccurs="unbounded" processContents="skip"/>
| |
| </xs:sequence>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="model_check" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:sequence>
| |
| <xs:any minOccurs="1" maxOccurs="unbounded" processContents="skip"/>
| |
| </xs:sequence>
| |
| <xs:anyAttribute processContents="skip"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="ctl_model_check" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:sequence>
| |
| <xs:any minOccurs="1" maxOccurs="unbounded" processContents="skip"/>
| |
| </xs:sequence>
| |
| <xs:anyAttribute processContents="skip"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="ltl_model_check" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:sequence>
| |
| <xs:any minOccurs="1" maxOccurs="unbounded" processContents="skip"/>
| |
| </xs:sequence>
| |
| <xs:anyAttribute processContents="skip"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="model_check_with_tlc" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:sequence>
| |
| <xs:any minOccurs="1" maxOccurs="unbounded" processContents="skip"/>
| |
| </xs:sequence>
| |
| <xs:anyAttribute processContents="skip"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="random_animate" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:sequence>
| |
| <xs:any minOccurs="1" maxOccurs="unbounded" processContents="skip"/>
| |
| </xs:sequence>
| |
| <xs:anyAttribute processContents="skip"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="check_goal" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="refinement_check" minOccurs="0" maxOccurs="unbounded">
| |
| </xs:element>
| |
| <xs:element name="check_properties" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:attribute name="total" type="xs:integer" use="required"/>
| |
| <xs:attribute name="true" type="xs:integer" use="required"/>
| |
| <xs:attribute name="false" type="xs:integer" use="required"/>
| |
| <xs:attribute name="unknown" type="xs:integer" use="required"/>
| |
| <xs:attribute name="runtime" type="xs:integer" use="required"/>
| |
| <xs:attribute name="timeout" type="xs:integer" use="optional"/>
| |
| <xs:attribute name="enum_warning" type="xs:integer" use="optional"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="check_assertions" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:attribute name="total" type="xs:integer" use="required"/>
| |
| <xs:attribute name="true" type="xs:integer" use="required"/>
| |
| <xs:attribute name="false" type="xs:integer" use="required"/>
| |
| <xs:attribute name="unknown" type="xs:integer" use="required"/>
| |
| <xs:attribute name="runtime" type="xs:integer" use="required"/>
| |
| <xs:attribute name="timeout" type="xs:integer" use="optional"/>
| |
| <xs:attribute name="enum_warning" type="xs:integer" use="optional"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="cbc_operation_check" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:sequence>
| |
| <xs:any minOccurs="1" maxOccurs="unbounded" processContents="skip"/>
| |
| </xs:sequence>
| |
| <xs:anyAttribute processContents="skip"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="cbc_assertion_check" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:sequence>
| |
| <xs:any minOccurs="1" maxOccurs="unbounded" processContents="skip"/>
| |
| </xs:sequence>
| |
| <xs:anyAttribute processContents="skip"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="execute" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="executed" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:attribute name="steps" type="xs:integer" use="required"/>
| |
| <xs:attribute name="result" type="xs:string" use="required"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="error_occurred" type="Error_occurred" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="optional_error_occurred" type="Error_occurred" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="expected_error_occurred" type="Error_occurred" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="multiple_errors_occurred" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="probcli-errors" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:attribute name="errors" type="xs:integer" use="required"/>
| |
| <xs:attribute name="warnings" type="xs:integer" use="required"/>
| |
| <xs:attribute name="expected_errors" type="xs:integer"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="statistics" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:annotation>
| |
| <xs:documentation xml:lang="fr">memoire utilisé en bytes, temps de l'exécution et temps passé depuis l'appel à proB</xs:documentation>
| |
| </xs:annotation>
| |
| <xs:attribute name="walltime" type="xs:string" use="required"/>
| |
| <xs:attribute name="walltime_since_start" type="xs:string" use="required"/>
| |
| <xs:attribute name="memory_used" type="xs:integer" use="required"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| <xs:attribute name="max_steps" type="xs:integer" use="required"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="state" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="variable" minOccurs="0" maxOccurs="unbounded">
| |
| <xs:annotation>
| |
| <xs:documentation xml:lang="fr">affiche l'état à la fin de l'exécution d'une variable demandée par l'option logxml_write_ids</xs:documentation>
| |
| </xs:annotation>
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="set" type="Set" minOccurs="0" maxOccurs="1"/>
| |
| <xs:element name="interval_set" type="Interval_set" minOccurs="0" maxOccurs="1"/>
| |
| <xs:element name="symbolic_set" minOccurs="0" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="empty_set" minOccurs="0" maxOccurs="1"/>
| |
| </xs:choice>
| |
| <xs:attribute name="name" type="xs:string" use="required"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="error_occurred" type="Error_occurred" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="optional_error_occurred" type="Error_occurred" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="expected_error_occurred" type="Error_occurred" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="multiple_errors_occurred" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="probcli-errors" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:attribute name="errors" type="xs:integer" use="required"/>
| |
| <xs:attribute name="warnings" type="xs:integer" use="required"/>
| |
| <xs:attribute name="expected_errors" type="xs:integer"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="statistics" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:attribute name="walltime" type="xs:string" use="required"/>
| |
| <xs:attribute name="walltime_since_start" type="xs:string" use="required"/>
| |
| <xs:attribute name="memory_used" type="xs:integer" use="required"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| <xs:attribute name="filename" type="xs:string" use="required"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="summary" minOccurs="0" maxOccurs="1">
| |
| </xs:element>
| |
| <xs:element name="probcli-errors" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:attribute name="errors" type="xs:integer" use="required"/>
| |
| <xs:attribute name="warnings" type="xs:integer" use="required"/>
| |
| <xs:attribute name="expected_errors" type="xs:integer"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="statistics" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:attribute name="walltime" type="xs:string" use="required"/>
| |
| <xs:attribute name="walltime_since_start" type="xs:string" use="required"/>
| |
| <xs:attribute name="memory_used" type="xs:integer" use="required"/>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:complexType name="Set">
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="pair" type="Pair" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="integer" type="Integer" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="bool" type="Bool" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="string" type="String" minOccurs="0" maxOccurs="unbounded"/>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| <xs:complexType name="Pair">
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="fst" type="First_Element" minOccurs="1" maxOccurs="1"/>
| |
| <xs:element name="snd" type="Second_Element" minOccurs="1" maxOccurs="1"/>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| <xs:complexType name="First_Element">
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="integer" type="Integer" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="set" type="Set" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="pair" type="Pair" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="bool" type="Bool" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="string" type="String" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="empty_set" minOccurs="0" maxOccurs="1"/>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| <xs:complexType name="Second_Element">
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="pair" type="Pair" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="set" type="Set" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="empty_set" minOccurs="0" maxOccurs="1"/>
| |
| <xs:element name="integer" type="Integer" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="bool" type="Bool" minOccurs="0" maxOccurs="unbounded"/>
| |
| <xs:element name="string" type="String" minOccurs="0" maxOccurs="unbounded"/>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| <xs:complexType name="Interval_set">
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="from" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType >
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="integer" type="Integer" minOccurs="1" maxOccurs="1"/>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| <xs:element name="to" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="integer" type="Integer" minOccurs="1" maxOccurs="1"/>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| <xs:complexType name="Option_with_Path">
| |
| <xs:choice maxOccurs="unbounded">
| |
| <xs:element name="path" minOccurs="1" maxOccurs="1">
| |
| <xs:complexType>
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:element>
| |
| </xs:choice>
| |
| </xs:complexType>
| |
| <xs:complexType name="Error_occurred">
| |
| <xs:annotation>
| |
| <xs:documentation xml:lang="fr">erreurs relevé par proB</xs:documentation>
| |
| </xs:annotation>
| |
| <xs:attribute name="category" type="xs:string" use="required"/>
| |
| <xs:attribute name="type" type="xs:string" use="required"/>
| |
| <xs:attribute name="message" type="xs:string" use="required"/>
| |
| <xs:attribute name="file" type="xs:string" />
| |
| <xs:attribute name="start_line" type="xs:integer" />
| |
| <xs:attribute name="end_line" type="xs:integer" />
| |
| <xs:attribute name="start_col" type="xs:integer" />
| |
| <xs:attribute name="end_col" type="xs:integer" />
| |
| </xs:complexType>
| |
| <xs:complexType name="Integer">
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:integer"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| <xs:complexType name="String">
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| <xs:complexType name="Bool">
| |
| <xs:simpleContent>
| |
| <xs:extension base="xs:string"/>
| |
| </xs:simpleContent>
| |
| </xs:complexType>
| |
| </xs:schema>
| |