gsdlab/clafer — Issue #4: Incorrect instance
Author: lpassos
Created: 2011-10-08 22:46:53+00:00
State: open

Description: resulting instance does not reflect its constraints

-----------------------------------------------------------------------------------------

How to reproduce:

abstract Person
name
first -> string
last -> string
or spokenLanguage
english
german
other -> string

thomasEdison extends Person
[ first = "Thomas"
last = "Edison"
english
other = "french"
]

-----------------------------------------------------------------------------------------

Result: when running alloy on the produced file from clafer translator result in an instance thomasEdison with only english as spokenLanguage.

-----------------------------------------------------------------------------------------

Expected result: thomasEdison instance should have english and "french" as spokenLaguages