From 9b21c7ad95431367d86b63ea93091daec8f9e6cb Mon Sep 17 00:00:00 2001
From: Eric Fayolle <eric.fayolle@edf.fr>
Date: Tue, 19 Feb 2019 16:38:39 +0100
Subject: [PATCH] =?utf8?q?Am=C3=A9lioration=20du=20XSD=20grammaire=20Efica?=
 =?utf8?q?s?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 .../Exemple Catalogue 2 (1.1).xml             | 176 ++++++++++++++++++
 .../ModeleEficas/Model Efficas (1.1)  v9.xsd  |   7 +-
 2 files changed, 181 insertions(+), 2 deletions(-)
 create mode 100755 Efi2Xsd/ModeleEficas/Exemple Catalogue 2 (1.1).xml

diff --git a/Efi2Xsd/ModeleEficas/Exemple Catalogue 2 (1.1).xml b/Efi2Xsd/ModeleEficas/Exemple Catalogue 2 (1.1).xml
new file mode 100755
index 00000000..c80f763a
--- /dev/null
+++ b/Efi2Xsd/ModeleEficas/Exemple Catalogue 2 (1.1).xml	
@@ -0,0 +1,176 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<cata xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://chercheurs.edf.com/logiciels/efficas" xmlns:efficas="http://chercheurs.edf.com/logiciels/efficas" xsi:schemaLocation="http://chercheurs.edf.com/logiciels/efficas file:///Z:/MED_SVN/PASCALE/EFICAS/eficas.git/Efi2Xsd/ModeleEficas/Model%20Efficas%20(1.1)%20%20v9.xsd">
+	<commandes>
+		<OPER efficas:nom="CREECARTE">
+			<SIMP efficas:nom="UNITE" efficas:statut="f" efficas:minOccurences="1" efficas:maxOccurences="1">
+				<!-- La cohérence entre minOccurences et maxOccurences n'est pas vérifié -->
+				<valeurDef>
+					<!-- Essai liste : si maxOccurences == 1 ne devrait pas pouvoir être une liste -->
+					<!--					<typesimple xsi:type="efficas:T_list_I">21 22</typesimple>-->
+					<!-- Erreurs volontaires : -->
+					<!--					<typesimple xsi:type="efficas:T_I">21 34 </typesimple>-->
+					<!--<valeurDef xsi:type="T_I">21 2.2</valeurDef>-->
+					<typesimple xsi:type="efficas:T_I">21</typesimple>
+				</valeurDef>
+				<nomTypeAttendu>I</nomTypeAttendu>
+			</SIMP>
+			<typeCree>carte</typeCree>
+		</OPER>
+		<OPER efficas:nom="CREECARTEFLUX">
+			<SIMP efficas:nom="NOMFLUX" efficas:statut="o">
+				<valeurDef>
+					<TXM>dsd</TXM>
+				</valeurDef>
+				<nomTypeAttendu>TXM</nomTypeAttendu>
+			</SIMP>
+			<typeCree>carte_flux_r</typeCree>
+		</OPER>
+		<OPER efficas:nom="CREEMAILLE">
+			<SIMP efficas:nom="NOEUDS" efficas:statut="o" efficas:minOccurences="1" efficas:maxOccurences="-1">
+				<!-- La cohérence entre la cardinalité et le type de valeur par défaut n'est pas vérifié -->
+				<!-- La cohérence entre la cardinalité et la taille de la liste n'est pas vérifié -->
+				<valeurDef>
+					<typesimple xsi:type="efficas:T_list_I">1 2</typesimple>
+				</valeurDef>
+				<!-- La cohérence entre T_list_I et le 'I' du nomTypeAttendu n'est pas vérifié-->
+				<nomTypeAttendu>I</nomTypeAttendu>
+			</SIMP>
+			<typeCree>maille</typeCree>
+		</OPER>
+		<PROC efficas:nom="E1">
+			<efficas:regles>
+				<!--				<EXCLUS>ETAT_INIT RESULTAT</EXCLUS>-->
+				<EXCLUS>RESULTAT</EXCLUS>
+				<EXCLUS>ETAT_INIT</EXCLUS>
+			</efficas:regles>
+			<FACT efficas:nom="ETAT_INIT" efficas:statut="f" efficas:maxOccurences="-1">
+				<SIMP efficas:nom="GROUP_MA_1" efficas:statut="o" efficas:maxOccurences="-1">
+					<nomTypeAttendu>I</nomTypeAttendu>
+					<validators>NoRepeat</validators>
+				</SIMP>
+				<SIMP efficas:nom="GROUP_NO_2" efficas:statut="o" efficas:maxOccurences="-1">
+					<nomTypeAttendu>I</nomTypeAttendu>
+					<validators>NoRepeat</validators>
+				</SIMP>
+			</FACT>
+			<FACT efficas:nom="RESULTAT" efficas:statut="o">
+				<SIMP efficas:nom="DEPL" efficas:statut="o">
+					<nomTypeAttendu>R</nomTypeAttendu>
+					<validators>NoRepeat</validators>
+				</SIMP>
+				<SIMP efficas:nom="VITE" efficas:statut="f">
+					<nomTypeAttendu>R</nomTypeAttendu>
+					<validators>NoRepeat</validators>
+				</SIMP>
+				<SIMP efficas:nom="ACCE" efficas:statut="f">
+					<nomTypeAttendu>R</nomTypeAttendu>
+					<validators>NoRepeat</validators>
+				</SIMP>
+			</FACT>
+		</PROC>
+		<PROC efficas:nom="E2">
+			<regles>
+				<UN_PARMI>CONCEPT</UN_PARMI>
+				<UN_PARMI>CONCEPT2</UN_PARMI>
+			</regles>
+			<FACT efficas:nom="CONCEPT">
+				<SIMP efficas:nom="NOM" efficas:statut="o" efficas:maxOccurences="-1">
+					<!-- On attend une classe utilisateur quelconque, elle n'est pas nommée -->
+					<nomTypeAttendu>classeUtilisateur</nomTypeAttendu>
+					<validators>NoRepeat</validators>
+				</SIMP>
+				<SIMP efficas:nom="CHAINE" efficas:statut="f">
+					<nomTypeAttendu>TXM</nomTypeAttendu>
+				</SIMP>
+				<SIMP efficas:nom="POSITION" efficas:statut="f">
+					<valeurDef>
+						<typesimple xsi:type="efficas:T_I">1</typesimple>
+					</valeurDef>
+					<nomTypeAttendu>I</nomTypeAttendu>
+				</SIMP>
+				<SIMP efficas:nom="TOUT" efficas:statut="f">
+					<plageValeur>
+						<into>
+							<TXM>OUI</TXM>
+							<TXM>NON</TXM>
+							<!-- TODO : On ne devrait pas pouvoir mixer des types différents -->
+							<!--						<typesimple xsi:type="T_I">1</typesimple>-->
+							<!-- Ds un autre cas de type attendu, on pourrait avoir une séquence de tuples -->
+							<!-- <tuple>OUI NON</tuple>						-->
+							<!-- REM: Les tuples ne sont pas forcément homogènes en Eficas : -->
+							<!-- <tuple>OUI NON 2</tuple> -->
+						</into>
+					</plageValeur>
+					<nomTypeAttendu>TXM</nomTypeAttendu>
+				</SIMP>
+			</FACT>
+			<!-- Test unicité : Ne devrait pas passer -->
+			<SIMP efficas:nom="CONCEPT2">
+				<nomTypeAttendu>I</nomTypeAttendu>
+			</SIMP>
+			<FACT efficas:nom="CONCEPT3">
+				<SIMP efficas:nom="essai1">
+					<nomTypeAttendu>I</nomTypeAttendu>
+				</SIMP>
+			</FACT>
+		</PROC>
+		<!-- Test unicité -->
+		<PROC efficas:nom="E3">
+			<SIMP efficas:nom="DEFORMATION" efficas:statut="f">
+				<valeurDef>
+					<TXM>PETIT</TXM>
+				</valeurDef>
+				<plageValeur>
+					<into>
+						<!-- Il n'est pas necessaire d'utiliser les "" ds les tuples -->
+						<TXM>PETIT</TXM>
+						<TXM>PETIT</TXM>
+					</into>
+				</plageValeur>
+				<nomTypeAttendu>TXM</nomTypeAttendu>
+			</SIMP>
+			<BLOC efficas:nom="b_blocIn">
+				<SIMP efficas:nom="ITER_INTE_PAS" efficas:statut="f">
+					<valeurDef>
+						<typesimple xsi:type="efficas:T_I">0</typesimple>
+					</valeurDef>
+					<nomTypeAttendu>I</nomTypeAttendu>
+				</SIMP>
+				<SIMP efficas:nom="ALGO_INTE" efficas:statut="f">
+					<plageValeur>
+						<into>
+							<TXM>ANALYTIQUE</TXM>
+							<TXM>SACANTE</TXM>
+							<TXM>DEKKER</TXM>
+							<TXM>NEWTON_ID</TXM>
+							<TXM>BRENT</TXM>
+						</into>
+					</plageValeur>
+					<nomTypeAttendu>TXM</nomTypeAttendu>
+				</SIMP>
+				<SIMP efficas:nom="CARTE" efficas:statut="f">
+					<nomTypeAttendu xsi:type="T_nomClasseUtilisateur" efficas:nom="carte">classeUtilisateur</nomTypeAttendu>
+					<!-- REM : Les deux lignes suivantes sont équivalente et ne permettent pas de spécifier le nom du type utilisateur, le type anonyme hérite de la classe efficas de base -->
+					<!--  					<nomTypeAttendu xsi:type="T_classe_utilisateur_name">T_classe_utilisateur</nomTypeAttendu>-->
+					<!--  					<nomTypeAttendu>T_classe_utilisateur</nomTypeAttendu>-->
+					<!-- REM : La ligne suivante est interdite par abstraction -->
+					<!--					<classeUtilisateurName efficas:nom="carte">T_classe_utilisateur</classeUtilisateurName>-->
+				</SIMP>
+				<BLOC efficas:nom="b_carte">
+					<SIMP efficas:nom="CONTRAINTE" efficas:statut="o" efficas:maxOccurences="-1">
+						<doc efficas:fr="Options pour le calcul des contraintes et efforts généralisés"/>
+						<plageValeur>
+							<into>
+								<fonctionUtilisateur>C_NOM_CHAM_INTO(phenomene='CONTRAINTE',categorie='lin')</fonctionUtilisateur>
+							</into>
+						</plageValeur>
+						<nomTypeAttendu>TXM</nomTypeAttendu>
+						<validators>NoRepeat</validators>
+					</SIMP>
+					<condition/>
+				</BLOC>
+				<condition>"DEFORMATION in ('PETIT','PETIT_REAC','GROT_GDEP')"</condition>
+			</BLOC>
+		</PROC>
+	</commandes>
+</cata>
diff --git a/Efi2Xsd/ModeleEficas/Model Efficas (1.1)  v9.xsd b/Efi2Xsd/ModeleEficas/Model Efficas (1.1)  v9.xsd
index 42f4f0f8..96ade997 100755
--- a/Efi2Xsd/ModeleEficas/Model Efficas (1.1)  v9.xsd	
+++ b/Efi2Xsd/ModeleEficas/Model Efficas (1.1)  v9.xsd	
@@ -45,8 +45,8 @@
 		<xs:sequence>
 			<xs:element ref="commandes" minOccurs="0" maxOccurs="unbounded"/>
 		</xs:sequence>
-	    <xs:attribute ref="nom"/>
-	    <xs:attribute ref="version"/>
+		<xs:attribute ref="nom"/>
+		<xs:attribute ref="version"/>
 	</xs:complexType>
 	<xs:complexType name="T_commandes">
 		<xs:choice minOccurs="0" maxOccurs="unbounded">
@@ -480,6 +480,7 @@
 			<xs:maxLength value="2"/>
 		</xs:restriction>
 	</xs:simpleType>
+	
 	<!-- Ajouter une contrainte : taille pair -->
 	<!-- Il n'est pas possible de définir des listes de listes -->
 	<xs:simpleType name="T_list_C">
@@ -544,6 +545,8 @@
 			<xs:simpleType>
 				<xs:restriction base="xs:string">
 					<xs:whiteSpace value="preserve"/>
+					<!-- Si on lit le xsd avec le binding pyxb de xmlshema la ligne suivante pose un problème à l'appel de la méthode toxml() -->
+					<!-- cela est du au fait que minidom write appel objet.replace(..) et que le binding de l'objet whitespace contient un champ 'replace' ; quelle solution ?  renommer le binding o.replace ?-->
 				</xs:restriction>
 			</xs:simpleType>
 		</xs:list>
-- 
2.39.2