Description Ed Willink 2010-07-26 01:10:20 EDT

After entering an N-ary association such as:

class Person;

association class Family {
 property father : Person[*];
 property mother : Person[*];
 property child : Person[*];
 invariant ChildHasFather: child->notEmpty() implies father->notEmpty();
 invariant ChildHasMother: child->notEmpty() implies mother->notEmpty();
}

the branches are correctly labelled but as soon as some edit provokes a refresh all branches acquire the label of the last branch.

Examining the notation file suggests that the problem is a modelling error; each branch 'element' uses the association id, so all three branches in the notation file are indistinguishable model-wise.