list of dots Digital Research Alliance of Canada logo  NSERC logo  University of Ottawa logo / UniversitĂ© d'Ottawa

User Manual    [Previous]   [Next]   

E017 Non Immutable Bidirectionality

Umple semantic error reported when a non-directed association is declared to be immutable, or appears in an immutable class.

Allowing two-way associations to be immutable would be impossible since it would require change to one object when it is linked to the other, and that would break the concept of immutability.

Example

// The following example generates the error message
// Change the -- to -> to solve the problem
class Y {
  immutable;
  1 -- * Z;
  isA X;
}

class Z {
  immutable;
  y;
}
      

Load the above code into UmpleOnline