gov.nasa.jpl.imce.oti.magicdraw.dynamicScripts
validation
Validates all TypedElements in scope of the selected packages per MOF 2.5 well-formedness constraints
Validates all MultiplicityElements in scope of the selected packages per MOF 2.5 well-formedness constraints
Validates all MultiplicityElements in scope of the selected packages per MOF 2.5 well-formedness constraints
MOF 2.5, Section 14.4 CMOF Constraints [14] The values of MultiplicityElement::lowerValue and upperValue must be of kind LiteralInteger and LiteralUnlimitedNatural respectively.
MOF 2.5, Section 12.4 EMOF Constraints [32] The values of MultiplicityElement::lowerValue and upperValue must be of kind LiteralInteger and LiteralUnlimitedNatural respectively.
Validates all TypedElements in scope of the selected packages per MOF 2.5 well-formedness constraints
Validates all TypedElements in scope of the selected packages per MOF 2.5 well-formedness constraints
MOF 2.5, Section 14.4 CMOF Constraints [6] Names are required for all NamedElements except for ValueSpecifications.
MOF 2.5, Section 12.4 EMOF Constraints [3] Names are required for all NamedElements except for ValueSpecifications.
Validates all TypedElements in scope of the selected packages per MOF 2.5 well-formedness constraints
Validates all TypedElements in scope of the selected packages per MOF 2.5 well-formedness constraints
MOF 2.5, Section 14.4 CMOF Constraints [2] The type of Operation::raisedException is limited to be Class rather than Type. [22] A TypedElement cannot be typed by an Association. [23] A TypedElement other than a LiteralSpecification or an OpaqueExpression must have a Type. [28] A Property typed by a kind of DataType must have aggregation = none. [29] A Property owned by a DataType can only be typed by a DataType. [30] Each Association memberEnd Property must be typed by a Class.
MOF 2.5, Section 12.4 EMOF Constraints [1] The type of Operation::raisedException is limited to be Class rather than Type. [22] A TypedElement cannot be typed by an Association. [23] A TypedElement other than a LiteralSpecification or an OpaqueExpression must have a Type. [28] A Property typed by a kind of DataType must have aggregation = none. [29] A Property owned by a DataType can only be typed by a DataType. [30] Each Association memberEnd Property must be typed by a Class.
Validates all TypedElements in scope of the selected packages per MOF 2.5 well-formedness constraints
Validates all TypedElements in scope of the selected packages per MOF 2.5 well-formedness constraints
MOF 2.5, Section 14.4 CMOF Constraints [7] CMOF does not support visibilities. All property visibilities must be explicitly set to public where applicable, that is for all NamedElements, ElementImports, and PackageImports. Furthermore, no alias is allowed for any ElementImport.
MOF 2.5, Section 12.4 EMOF Constraints [4] Core::Basic and EMOF does not support visibilities. All property visibilities must be explicitly set to public where applicable, that is for all NamedElements, ElementImports and PackageImports. Furthermore, no alias is allowed for any ElementImport.
Validates all TypedElements in scope of the selected packages per MOF 2.5 well-formedness constraints
MOF 2.5, Section 14.4 CMOF Constraints [13] A multi-valued Property or Parameter cannot have a default value. The default value of a Property or Parameter typed by a PrimitiveType must be a kind of LiteralSpecification. The default value of a Property or Parameter typed by an Enumeration must be a kind of InstanceValue. A Property or Parameter typed by a Class cannot have a default value. [24] A TypedElement that is a kind of Parameter or Property typed by a Class cannot have a default value. [25] For a TypedElement that is a kind of Parameter or Property typed by an Enumeration, the defaultValue, if any, must be a kind of InstanceValue. [26] For a TypedElement that is a kind of Parameter or Property typed by an PrimitiveType, the defaultValue, if any, must be a kind of LiteralSpecification.
MOF 2.5, Section 12.4 EMOF Constraints [24] A TypedElement that is a kind of Parameter or Property typed by a Class cannot have a default value. [25] For a TypedElement that is a kind of Parameter or Property typed by an Enumeration, the defaultValue, if any, must be a kind of InstanceValue. [26] For a TypedElement that is a kind of Parameter or Property typed by a PrimitiveType, the defaultValue, if any, must be a kind of LiteralSpecification. [31] A multi-valued Property or Parameter cannot have a default value.