Teste de tipo de parâmetro de entrada de um método em OCL

Question

Eu tenho uma classe em UML, que se parece com isso (é em alemão, mas eu acho que não importa):

O primeiro método usa uma matriz de 4 "Rohstoffkarte".O que é uma classe abstrata e eu tenho 5 de concreto sub-classes para ele.Agora, eu gostaria de verificação (OCL) de que todos os 4 casos na matriz são da mesma sub-classe.

Alguma idéia de como fazer isso?Eu estou trabalhando com MagicDraw.

Obrigado.

Answer 1

você pode usar

oclIsKindOf, oclIsTypeOf para o tipo de verificação de conformidade, e usar oclType para obter o tipo de um objeto.

Ver OMG Object Constraint Language Specification Versão 2.3.1, p.22

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