# <copyright>
# </copyright>
#
# $Id$

# ====================================================================
# To code developer:
#   Do NOT change the properties between this line and the
#   "%%% END OF TRANSLATED PROPERTIES %%%" line.
#   Make a new property name, append to the end of the file and change
#   the code to use the new property.
# ====================================================================

# ====================================================================
# %%% END OF TRANSLATED PROPERTIES %%%
# ====================================================================

pluginName = InstantMessenger Model
providerName = Vrije Universiteit Brussel

validation.category1.name = InstantMessenger Model OCL Constraints

validation.constraint1.name = Singleton user interface
validation.constraint1.message = "{0}" may only contain a single instance of each user interface
validation.constraint1.ocl = \
 self.userInterface->select(u|u.oclIsKindOf(AWTUserInterface))->size() <= 1 and \
 self.userInterface->select(u|u.oclIsKindOf(SwingUserInterface))->size() <= 1 and \
 self.userInterface->select(u|u.oclIsKindOf(LCDUIUserInterface))->size() <= 1 and \
 self.userInterface->select(u|u.oclIsKindOf(SWTUserInterface))->size() <= 1