L’énoncé define ... set, placée dans le preamble, définit la politique de rangement d’un ou plusieurs ensembles. Il doit se placer après (mais non nécessairement immédiatement après) la déclaration des entités possédantes (owns) et celle des entités membres (may belong to) et pour une classe, il doit se placer après les objets membres.
| Syntaxe :
|
|
|
|
![{\displaystyle {\begin{aligned}&\color {blue}{\text{define }}\color {black}Nom_{\text{1}}{\text{, }}Nom_{\text{2}}{\text{, }}...{\text{, }}Nom_{\text{n}}\color {blue}{\text{ as }}\!\![\!\!{\text{ a }}\!\!]\!\!{\text{ }}\left\{{\begin{matrix}{\text{fifo}}\\{\text{lifo}}\\\end{matrix}}\right\}{\text{ set }}\!\![\!\!{\text{ s }}\!\!]\!\!{\text{ }}\\&\color {blue}{\text{define }}\color {black}Nom_{\text{1}}{\text{, }}Nom_{\text{2}}{\text{, }}...{\text{, }}Nom_{\text{n}}\color {blue}{\text{ as }}\!\![\!\!{\text{ a }}\!\!]\!\!{\text{ set }}\!\![\!\!{\text{ s }}\!\!]\!\!{\text{ }}\\&\color {blue}\qquad \qquad \qquad \qquad \qquad {\text{ ranked }}\color {black}\left[\color {blue}{\text{by }}\color {black}\left\{{\begin{matrix}\color {blue}{\text{low}}\\\color {blue}{\text{high}}\\\end{matrix}}\color {black}\right\}{\text{ }}Attribut^{}\right]^{c\color {blue}{\text{ then}}}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1f7465fd30437f3dea0632a1da9272866e81e94)
|
Attribut est le nom de l’attribut de rangement des entités pouvant appartenir à l’ensemble de type ranked, et high (low) précise que ce sont les fortes (faibles) valeurs de cet attribut qui auront priorité.
Exemples :
define laMain as a set ranked by low Couleur, ‘‘ Ordonnancement des cartes
then by high Valeur ; ‘‘ dans la main du joueur
define Jeu_De_Cartes as a set ranked by low Rang;
define File_Attente as a fifo set;
