Notices | Cast3M

$$$$ EXIS     NOTICE  PASCAL    22/06/27    21:15:02     11394          
                                             DATE     22/06/27

    Operateur EXISTE                         Voir aussi : TABL DANS
    ----------------  
    LOG1(,LOG2,...) =  EXISTE  |  NOM1 (*TYP1)                    | ;
                               |  NOM1 (*'FICHIER')               |
                               |  TAB1     OBJ1                   |
                               |  OBJ1     OBJ2                   |
                               |  %        OBJ2                   |
                               |  CH1      MOT1                   |
                               |  CH1      OBJ1                   |
                               |  LMOTS1 | MOT1                |  |
                               |         | LMOTS2  ('ET'/'OU') |  |
                               |  LENTI1   ENTI1                  |
                               |  LREEL1   FLOT1   (FLOT2)        |
                               |  SOL1     'CONT'                 |
                               |  NUAG1    MOT1                   |
                               |  CHAR1  | MOT1 (MOT2)   |        |
                               |         | 'LIBR'/'LIE ' |        |
                               |  MODL1    MOT1     MOT2          |



    Objet :
    _______

    L'operateur EXISTE permet de verifier l'existence d'objets.


    Commentaires :
    ______________

    Dans tous les cas qui suivent, LOG1(,LOG2,...) sont des  objets de
    type LOGIQUE valant VRAI si l'existence est averee, FAUX sinon.


    1)  Lorsqu'un unique argument NOM1 est present, l'operateur permet
        de savoir si un objet portant un tel nom existe.
        a) L'ensemble *TYP1 est facultatif.
            - S'il est present, le test est VRAI si un objet NOM1 de
              type TYP1 existe.
            - S'il est omis, le test est FAUX seulement pour les objets
              de type ANNULE
              En effet, tout nom NOM1 non attribue est vu comme un objet
              existant de type MOT.

        b) L'ensemble *'FICHIER' permet de tester l'existence du fichier NOM1.
           NOM1 doit etre de type 'MOT' et definir le chemin absolu ou
           relatif vers le fichier a tester.


    2)  Dans le cas d'une table TAB1 (type TABLE), il permet de savoir
        si l'indice OBJ1 de la table existe (type ENTIER, FLOTTANT, MOT,
        LOGIQUE, PROCEDUR...).


    3)  Dans le cas d'un OBJET OBJ1, il permet se savoir si l'indice
        OBJ2 existe. A l'interieur d'une methode s'appliquant sur
        l'objet, % remplace le nom de l'objet.


    4)  Dans le cas d'un champ CH1 (type CHPOINT ou MCHAML), il permet
        de savoir si la composante de nom MOT1 (type MOT) existe.
        Dans le cas d'un champ CH1 (type MCHAML), il permet de savoir
        si une zone s'appuie sur l'objet OBJ1 (type MAILLAGE ou
        MMODEL). La verification porte aussi sur le constituant et
        la phase pour le type MMODEL.


    5)  Dans le cas d'une liste de mots LMOTS1 (type LISTMOTS), il
        permet de savoir si le mot MOT1 (type MOT) existe. On peut
        aussi fournir une seconde liste de mots a rechercher LMOTS2
        (type LISTMOTS). Dans ce cas, LOG1 est VRAI si TOUS les mots de
        LMOTS2 sont dans LMOTS1 (mot-cle 'ET') ou bien si AU MOINS UN
        des mots de LMOTS2 est trouve dans LMOTS1 (mot-cle 'OU'). En
        l'absence de mot-cle, on sort autant d'objets LOG1, LOG2, ...
        qu'il y a de mots a tester dans LMOTS2.


    6)  Dans le cas d'une liste d'entiers LENTI1 (type LISTENTI), il
        permet de savoir si l entier ENTI1 (type ENTIER) existe.


    7)  Dans le cas d'une liste de reels LREEL1 (type LISTREEL), il
        permet de savoir si le reel FLOT1 (type FLOTTANT) existe. Il
        est possible de fournir la tolerance FLOT2 (type FLOTTANT)
        utilisee pour tester les egalites entre nombres reels.


    8)  Dans le cas d'un objet SOL1 (type SOLUTION), il permet de savoir
        si les contraintes (mot-cle 'CONT') sont incluses.


    9)  Dans le cas d'un objet NUAG1 (type NUAGE), il permet de savoir
        si le mot MOT1 (type MOT) est un nom de composante du NUAGE.


    10) Dans le cas de CHAR1 (type CHARGEMENT), il permet de savoir si
        le mot MOT1 (type MOT) est le nom d'un chargement elementaire,
        ou bien s'il existe des sous-objets CHARGEMENT de nature libre
        (mot-cle 'LIBRE') ou liee (mot-cle 'LIE') dans CHAR1, ou bien
        si le chargement elementaire de nom MOT1 est defini a partir
        d'un objet de type MOT2 (CHPOINT, MCHAML, TABLE ou LISTOBJE).


    11) Dans le cas d'un objet MODL1 (type MMODEL), les deux arguments
        MOT1 et MOT2 (type MOT) permettent de savoir :

        a) S'il existe des zones du MMODEL correspondant a une
           formulation donnee. Dans ce cas MOT1 est alors 'FORM' et
           MOT2 est un ou plusieurs mots definissant la formulation.

        b) S'il existe des zones du MMODEL correspondant a un ou
           plusieurs constituants donnes. Dans ce cas MOT1 est alors
           'CONS' et MOT2 est un ou plusieurs mots definissant les
           constituants.

        c) S'il existe des zones du MMODEL correspondant a un ou
           plusieurs elements finis donnes. Dans ce cas MOT1 est alors
           'ELEM' et MOT2 est un ou plusieurs mots definissant les
           elements finis.

        d) S'il existe des zones elementaires du MMODEL dont la liste
           de mots qui definit le comportement du materiau contient
           le(s) mot(s) MOT2. Pour cela, on specifiera 'MATE' pour MOT1.

        e) S'il existe des zones du MMODEL correspondant a une
           mise en oeuvre non locale donnee. Dans ce cas MOT1
           est alors 'NON_LOCAL' et MOT2 est un mot définissant
           la mise en oeuvre non locale.