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

User Manual    [Previous]   [Next]   

W015 Immutable Class State Machine

Umple semantic warning reported when an immutable class is defined as having a state machine.

By definition, an immutable class can't change state, so it can't have a state machine. Any state machine defined is ignored.

Example

// The following example shows how to
// generate this warning.
// Removing the immutable keyword will
// solve the problem.
class X {
  immutable;
  Integer y;
  sm {
    S1 {
    }
  }
}
      

Load the above code into UmpleOnline