0

How to write a OCL constraint to check if a particular Key-Value pair is always present in a HashTable using iterate feature in OCL? I am a beginner in OCL. Any hints or example would be helpful.

1 Answers1

1

Take a look at the Unique operator for collections. It may be a simpler way to achieve what you want.

Jordi Cabot
  • 8,058
  • 2
  • 33
  • 39
  • If you are interested in describing such constraint with `iterate`, the OCL specification already includes formal definitions for the collection operations. – Javier Mar 07 '14 at 05:51