Tipo di test del parametro di input di un metodo in OCL

Question

Ho una classe in umL che sembra questo (è in tedesco, ma penso che non importa):

Il primo metodo prende una serie di 4 " rohstoffkarte ".Questa è una classe astratta e ho 5 sottocasse concrete per questo.Ora voglio controllare (con OCL) che tutte e 4 le istanze nell'array provengono dalla stessa sotto-classe.

Qualche idea come fare questo?Sto lavorando con MagicDraw.

Grazie.

Answer 1

Puoi usare

oclIsKindOf, oclIsTypeOf per verificare la conformità del tipo e utilizzare oclType per ottenere il tipo di oggetto.

Vedere OMG Object Object Constaint Lingua Specifiche Versione 2.3.1, P.22

http://www.omg.org/spec/ocl/2.3.1