CataTestXSD/Exemple Catalogue 2 (1.1).xml

   1 <?xml version="1.0" encoding="UTF-8"?>\r
   2 <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 ../Efi2Xsd/ModeleEficas/Model%20Efficas%20(1.1)%20%20v9.xsd">\r
   3         <commandes>\r
   4                 <OPER efficas:nom="CREECARTE">\r
   5                         <SIMP efficas:nom="UNITE" efficas:statut="f" efficas:minOccurences="1" efficas:maxOccurences="1">\r
   6                                 <!-- La cohérence entre minOccurences et maxOccurences n'est pas vérifié -->\r
   7                                 <valeurDef>\r
   8                                         <!-- Essai liste : si maxOccurences == 1 ne devrait pas pouvoir être une liste -->\r
   9                                         <!--                                    <typesimple xsi:type="efficas:T_list_I">21 22</typesimple>-->\r
  10                                         <!-- Erreurs volontaires : -->\r
  11                                         <!--                                    <typesimple xsi:type="efficas:T_I">21 34 </typesimple>-->\r
  12                                                                            <!--<valeurDef xsi:type="T_I">21 2.2</valeurDef>-->\r
  13                                         <typesimple xsi:type="efficas:T_I">21</typesimple>\r
  14                                 </valeurDef>\r
  15                                 <nomTypeAttendu>I</nomTypeAttendu>\r
  16                         </SIMP>\r
  17                         <typeCree>carte</typeCree>\r
  18                 </OPER>\r
  19                 <OPER efficas:nom="CREECARTEFLUX">\r
  20                         <SIMP efficas:nom="NOMFLUX" efficas:statut="o">\r
  21                                 <valeurDef>\r
  22                                         <typesimple xsi:type="efficas:T_TXM">dsd</typesimple>\r
  23                                 </valeurDef>\r
  24                                 <nomTypeAttendu>TXM</nomTypeAttendu>\r
  25                         </SIMP>\r
  26                         <typeCree>carte_flux_r</typeCree>\r
  27                 </OPER>\r
  28                 <OPER efficas:nom="CREEMAILLE">\r
  29                         <SIMP efficas:nom="NOEUDS" efficas:statut="o" efficas:minOccurences="1" efficas:maxOccurences="-1">\r
  30                                 <!-- La cohérence entre la cardinalité et le type de valeur par défaut n'est pas vérifié -->\r
  31                                 <!-- La cohérence entre la cardinalité et la taille de la liste n'est pas vérifié -->\r
  32                                 <valeurDef>\r
  33                                         <typesimple xsi:type="efficas:T_list_I">1 2</typesimple>\r
  34                                 </valeurDef>\r
  35                                 <!-- La cohérence entre T_list_I et le 'I' du typeAttendu n'est pas vérifié-->\r
  36                                 <nomTypeAttendu>I</nomTypeAttendu>\r
  37                         </SIMP>\r
  38                         <typeCree>maille</typeCree>\r
  39                 </OPER>\r
  40                 <PROC efficas:nom="E1">\r
  41                         <efficas:regles>\r
  42                                 <!--                            <EXCLUS>ETAT_INIT RESULTAT</EXCLUS>-->\r
  43                                 <EXCLUS>RESULTAT</EXCLUS>\r
  44                                 <EXCLUS>ETAT_INIT</EXCLUS>\r
  45                         </efficas:regles>\r
  46                         <FACT efficas:nom="ETAT_INIT" efficas:statut="f" efficas:maxOccurences="-1">\r
  47                                 <SIMP efficas:nom="GROUP_MA_1" efficas:statut="o" efficas:maxOccurences="-1">\r
  48                                         <nomTypeAttendu>I</nomTypeAttendu>\r
  49                                         <validators>NoRepeat</validators>\r
  50                                 </SIMP>\r
  51                                 <SIMP efficas:nom="GROUP_NO_2" efficas:statut="o" efficas:maxOccurences="-1">\r
  52                                         <nomTypeAttendu>I</nomTypeAttendu>\r
  53                                         <validators>NoRepeat</validators>\r
  54                                 </SIMP>\r
  55                         </FACT>\r
  56                         <FACT efficas:nom="RESULTAT" efficas:statut="o">\r
  57                                 <SIMP efficas:nom="DEPL" efficas:statut="o">\r
  58                                         <nomTypeAttendu>R</nomTypeAttendu>\r
  59                                         <validators>NoRepeat</validators>\r
  60                                 </SIMP>\r
  61                                 <SIMP efficas:nom="VITE" efficas:statut="f">\r
  62                                         <nomTypeAttendu>R</nomTypeAttendu>\r
  63                                         <validators>NoRepeat</validators>\r
  64                                 </SIMP>\r
  65                                 <SIMP efficas:nom="ACCE" efficas:statut="f">\r
  66                                         <nomTypeAttendu>R</nomTypeAttendu>\r
  67                                         <validators>NoRepeat</validators>\r
  68                                 </SIMP>\r
  69                         </FACT>\r
  70                 </PROC>\r
  71                 <PROC efficas:nom="E2">\r
  72                         <regles>\r
  73                                 <UN_PARMI>CONCEPT</UN_PARMI>\r
  74                                 <UN_PARMI>CONCEPT2</UN_PARMI>\r
  75                         </regles>\r
  76                         <FACT efficas:nom="CONCEPT">\r
  77                                 <SIMP efficas:nom="NOM" efficas:statut="o" efficas:maxOccurences="-1">\r
  78                                         <!-- On attend une classe utilisateur quelconque, elle n'est pas nommée -->\r
  79                                         <nomTypeAttendu>T_classeUtilisateur</nomTypeAttendu>\r
  80                                         <validators>NoRepeat</validators>\r
  81                                 </SIMP>\r
  82                                 <SIMP efficas:nom="CHAINE" efficas:statut="f">\r
  83                                         <nomTypeAttendu>TXM</nomTypeAttendu>\r
  84                                 </SIMP>\r
  85                                 <SIMP efficas:nom="POSITION" efficas:statut="f">\r
  86                                         <valeurDef>\r
  87                                                 <typesimple xsi:type="efficas:T_I">1</typesimple>\r
  88                                         </valeurDef>\r
  89                                         <nomTypeAttendu>I</nomTypeAttendu>\r
  90                                 </SIMP>\r
  91                                 <SIMP efficas:nom="TOUT" efficas:statut="f">\r
  92                                         <plageValeur>\r
  93                                                 <into>\r
  94                                                         <typesimple xsi:type="T_TXM">OUI</typesimple>\r
  95                                                         <typesimple xsi:type="T_TXM">NON</typesimple>\r
  96                                                         <!-- TODO : On ne devrait pas pouvoir mixer des types différents -->\r
  97                                                         <!--                                            <typesimple xsi:type="T_I">1</typesimple>-->\r
  98                                                         <!-- Ds un autre cas de type attendu, on pourrait avoir une séquence de tuples -->\r
  99                                                         <!-- <tuple>OUI NON</tuple>                                             -->\r
 100                                                         <!-- TODO : Vérifier que les tuples sont de type homogène -->\r
 101                                                         <!-- <tuple>OUI NON 2</tuple> -->\r
 102                                                 </into>\r
 103                                         </plageValeur>\r
 104                                         <nomTypeAttendu>TXM</nomTypeAttendu>\r
 105                                 </SIMP>\r
 106                         </FACT>\r
 107                         <!-- Test unicité : Ne devrait pas passer -->\r
 108                         <SIMP efficas:nom="CONCEPT1">\r
 109                                 <nomTypeAttendu>I</nomTypeAttendu>\r
 110                         </SIMP>\r
 111                         <FACT efficas:nom="CONCEPT2">\r
 112                                 <SIMP efficas:nom="essai1">\r
 113                                         <nomTypeAttendu>I</nomTypeAttendu>\r
 114                                 </SIMP>\r
 115                         </FACT>\r
 116                 </PROC>\r
 117                 <!-- Test unicité -->\r
 118                 <PROC efficas:nom="E3">\r
 119                         <SIMP efficas:nom="DEFORMATION" efficas:statut="f">\r
 120                                 <valeurDef>\r
 121                                         <typesimple xsi:type="efficas:T_TXM">PETIT</typesimple>\r
 122                                 </valeurDef>\r
 123                                 <plageValeur>\r
 124                                         <into>\r
 125                                                 <!-- Il n'est pas necessaire d'utiliser les "" ds les tuples -->\r
 126                                                 <typesimple xsi:type="T_TXM">PETIT</typesimple>\r
 127                                                 <typesimple xsi:type="T_TXM">PETIT</typesimple>\r
 128                                         </into>\r
 129                                 </plageValeur>\r
 130                                 <nomTypeAttendu>TXM</nomTypeAttendu>\r
 131                         </SIMP>\r
 132                         <BLOC efficas:nom="b_blocIn">\r
 133                                 <SIMP efficas:nom="ITER_INTE_PAS" efficas:statut="f">\r
 134                                         <valeurDef>\r
 135                                                 <typesimple xsi:type="efficas:T_I">0</typesimple>\r
 136                                         </valeurDef>\r
 137                                         <nomTypeAttendu>I</nomTypeAttendu>\r
 138                                 </SIMP>\r
 139                                 <SIMP efficas:nom="ALGO_INTE" efficas:statut="f">\r
 140                                         <plageValeur>\r
 141                                                 <into>\r
 142                                                         <typesimple xsi:type="efficas:T_TXM">ANALYTIQUE</typesimple>\r
 143                                                         <typesimple xsi:type="efficas:T_TXM">SACANTE</typesimple>\r
 144                                                         <typesimple xsi:type="efficas:T_TXM">DEKKER</typesimple>\r
 145                                                         <typesimple xsi:type="efficas:T_TXM">NEWTON_ID</typesimple>\r
 146                                                         <typesimple xsi:type="efficas:T_TXM">BRENT</typesimple>\r
 147                                                 </into>\r
 148                                         </plageValeur>\r
 149                                         <nomTypeAttendu>TXM</nomTypeAttendu>\r
 150                                 </SIMP>\r
 151                                 <SIMP efficas:nom="CARTE" efficas:statut="f">\r
 152                                         <nomTypeAttendu xsi:type="T_classeUtilisateurName" efficas:nom="carte">T_classeUtilisateur</nomTypeAttendu>\r
 153                                         <!-- 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 -->\r
 154                                         <!--                                    <nomTypeAttendu xsi:type="T_classe_utilisateur_name">T_classe_utilisateur</nomTypeAttendu>-->\r
 155                                         <!--                                    <nomTypeAttendu>T_classe_utilisateur</nomTypeAttendu>-->\r
 156                                         <!-- REM : La ligne suivante est interdite par abstraction -->\r
 157                                         <!--                                    <classeUtilisateurName efficas:nom="carte">T_classe_utilisateur</classeUtilisateurName>-->\r
 158                                 </SIMP>\r
 159                                 <BLOC efficas:nom="b_carte">\r
 160                                         <SIMP efficas:nom="CONTRAINTE" efficas:statut="o" efficas:maxOccurences="-1">\r
 161                                                 <doc efficas:fr="Options pour le calcul des contraintes et efforts généralisés"/>\r
 162                                                 <plageValeur>\r
 163                                                         <into>\r
 164                                                                 <fonctionUtilisateur>C_NOM_CHAM_INTO(phenomene='CONTRAINTE',categorie='lin')</fonctionUtilisateur>\r
 165                                                         </into>\r
 166                                                 </plageValeur>\r
 167                                                 <nomTypeAttendu>TXM</nomTypeAttendu>\r
 168                                                 <validators>NoRepeat</validators>\r
 169                                         </SIMP>\r
 170                                         <condition/>\r
 171                                 </BLOC>\r
 172                                 <condition>"DEFORMATION in ('PETIT','PETIT_REAC','GROT_GDEP')"</condition>\r
 173                         </BLOC>\r
 174                 </PROC>\r
 175                 <PROC efficas:nom="testSIMPList">\r
 176                 <!--Ex 3.1 pour un type simple (la validation des éléments de la liste n'est pas possible en xsd) :-->\r
 177                 <SIMP efficas:nom="testListI" efficas:minOccurences="0" efficas:maxOccurences="2">\r
 178                    <valeurDef><typeSimple xsi:type=T_list_I>12 13</typeSimple></valeurDef>\r
 179                    <into><typeSimple xsi:type=T_list_I>12 13</typeSimple> </into>\r
 180                    <into><typeSimple xsi:type=T_list_I>22 23</typeSimple> </into>\r
 181                    <into><typeSimple xsi:type=T_list_I>33</typeSimple> </into>\r
 182                 </SIMP>\r
 183 \r
 184                 <!--Ex 3.2 (idem 2.2, idem 1.2)-->\r
 185                 <SIMP efficas:nom="testListTuple" efficas:minOccurences="0" efficas:maxOcuurences="2">\r
 186                    <valeurDef><tuple n=3>12 13 14</tuple><tuple n=3>15 16 17</tuple></valeurDef>\r
 187                    <into><tuple n=3>22 23 24</tuple><tuple n=3>25 26 27</tuple></into>\r
 188                    <into><tuple n=3>12 13 14</tuple><tuple n=3>15 16 17</tuple></into>\r
 189                    <into><tuple n=3>32 33 34</tuple><tuple n=3>35 36 37</tuple></into>\r
 190                    <into><tuple n=3>42 43 44</tuple><tuple n=3>45 46 47</tuple></into>\r
 191                    <into><<tuple n=3>2 3 4</tuple></into>\r
 192                 </SIMP>\r
 193 \r
 194                 </PROC>\r
 195         </commandes>\r
 196 </cata>\r