No file by this name exists.
<?xml version="1.0" encoding="UTF-8"?> <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>
There are no pages that use this file.