Formule de lancement

Les conditions préalables à l'exécution sont définies et combinées dans la section Formule de lancement.

La formule de lancement est une expression booléenne qui utilise les opérateurs: ET et OU :

• C1 ET C2 est vraie si les conditions C1 et C2 sont vraies.
• C1 OU C2 est vraie si au moins l'une des conditions (C1 ou C2) est vraie.

Lors de l'évaluation de la formule :

• ET est prioritaire par rapport à OU.
• Les parenthèses définissent l'ordre d'évaluation.
• La formule de lancement est évaluée lors de la phase de vérification des conditions du lancement. L'Uproc est exécutée si la formule de lancement est vraie.

Le numéro de la condition est son identifiant pour une Uproc donnée. Si une condition est dupliquée, la condition dupliquée présente le même numéro que l'original. Si une condition est modifiée, toutes les conditions dupliquées (avec le même numéro) sont également modifiées.

La formule est lue de haut en bas et de gauche à droite. Le Lanceur évalue la formule de lancement dans cet ordre.

• Des conditions parallèles correspondent à un OU logique.
• Deux conditions l'une après l'autre correspondent à un ET logique.
• est une parenthèse ouverte, est une parenthèse fermée.

La formule de lancement (logique booléenne) combine trois types de conditions : enchaînement, non-simultanéité et ressource. Les trois premières lettres de la condition définissent le type de condition :

• DEP indique une condition d'enchaînement (dépendance)
• SIM indique une condition de non-simultanéité (incompatibilité)
• RES indique une condition de ressource

Par exemple :

• = (=CXX) est vraie si la condition (CXX) l'est également
• # (#CXX) est vraie si (CXX) est fausse

La formule de lancement par défaut est toujours définie avec une condition vide.

Pour créer la première condition :

• Sélectionnez la condition vide.
• Cliquez sur le bouton droit de la souris pour afficher le menu contextuel.
• Sélectionnez le type de condition à créer (enchaînement, non-simultanéité ou ressource). La fenêtre de définition de la condition apparaît.
• Saisissez les informations nécessaires (reportez-vous à la section "Formule de lancement" pour plus de détails) et cliquez sur OK pour valider. La nouvelle condition est ajoutée à la formule de lancement.

Pour créer un OU entre deux conditions (insérer une nouvelle condition au même niveau que celle sélectionnée) :

• Sélectionnez la condition dans la formule de lancement. La condition est alors mise en surbrillance.
• Dans le menu contextuel, sélectionnez Nouveau/Nouvelle condition à gauche pour insérer une nouvelle condition à gauche de la première condition ou Nouveau/Nouvelle condition à droite pour l'insérer à droite. Une condition vide est créée au même niveau que la première. La même fonction est disponible à partir du bouton Nouveau de la barre d'outils.

Pour créer un ET entre deux conditions (insérer une nouvelle condition au-dessus ou au-dessous de celle sélectionnée) :

• Cliquez sur la flèche représentant les parenthèses fermantes de la formule existante afin d'indiquer l'emplacement où la nouvelle condition doit être insérée. Les deux conditions sont alors mises en surbrillance.
• Cliquez sur Nouvelle condition en-dessous pour insérer une nouvelle condition à la suite des deux premières. Une condition vide est créée après la parenthèse.

Pour copier une condition ou un groupe de conditions dans le Presse-papiers :

• Cliquez sur la condition ou sur le triangle ( ou) délimitant le groupe de conditions. La sélection est alors mise en surbrillance.
• Cliquez sur Copier ou sélectionnez Copier dans le menu contextuel.

Pour coller une condition ou un groupe de conditions depuis le Presse-papiers vers la formule de lancement :

• Cliquez sur la condition ou sur le triangle ( ou) délimitant la condition ou le groupe de conditions. La sélection est alors mise en surbrillance.
• Cliquez sur Coller ou sélectionnez Collage spécial dans le menu contextuel pour coller la condition (ou le groupe) depuis le Presse-papiers au-dessous, au-dessus, à droite ou à gauche de la condition (ou du groupe) sélectionné(e).