feature-portion-not-variable

Available in: KerML, SysML

This checks that portion features are not variable.

Specification

(empty)

Example

This is impossible to trigger in SysML because variable is computed automatically for relevant elements. Otherwise, in KerML:

class A {
    portion var feature x; // error
}
class B {
    portion const feature x; // error
}

Remove either portion, var, or const:

class A { var feature x; } // ok
class B { portion feature x; } // ok