Arguments des méthodes


o Les classes de base pour représenter les arguments
o Arguments prédéfinis des méthodes
Les méthodes (au sens d'instances de Method, voir page 'Attributs fonctionnels : les méthodes') décrivent des connaissances fonctionnelles sur les entités, les processus ou les événements.
Elles possèdent un attribut (appelé le corps) qui décrit la procédure exécutée lors de l'invocation de la méthode (par le message Body adressé à la méthode ou le message Exec..Method adressé à l'entité, le processus ou l'événement).
Ce que fait ce corps et/ou la valeur qu'il renvoie peuvent dépendre du contexte de l'appel. Ces élements de contexte sont transmis au corps de la méthode sous forme de paramètres. La liste des paramètres est une donnée membre de la classe Method. Ainsi, leurs valeurs sont accessibles à l'intérieur du corps.
En fait, un paramètre est une instances de la présente classe Argument.

Dans DIESE, le type d'un paramètre, désormais appelé argument, peut être :

A chacun de ces types correspond une sous-classe prédéfinie de Argument. Seules ces sous-classes peuvent avoir des instances (autrement dit, on ne crée jamais d'instance directe de Argument).

De façon générale :


This page was generated with the help of DOC++.