User Manual    [Previous]   [Next]   

W1514 Require Statement Not Satisfied

Warning reporting that the use statements in the model do not satisfy a require statement.

A require statement constrains which mixsets may be used together. This warning is raised when the use statements violate such a constraint: for example, a required mixset has no use statement, or two mixsets that exclude each other are both used. A require statement at the top level of a file always applies; a require statement inside a mixset applies only when that mixset is used. The same check sets the Configuration Status shown in a feature diagram to Valid or Not Valid.

To get rid of this warning, change the use statements so that they satisfy the require statement, or change the require statement itself.

Example

// DesignA and DesignB exclude each other, so using both of them
// does not satisfy the feature model and raises the warning.
mixset DesignA {
  require [not DesignB];
  class X { name; }
}

mixset DesignB {
  require [not DesignA];
  class X { age; }
}

// To get rid of the warning, use only one of the two designs.
use DesignA, DesignB;

      

Load the above code into UmpleOnline