Package de.uka.ipd.sdq.featureconfig

Interface ConfigNode

    • Method Detail

      • getOrigin

        Feature getOrigin()
        Returns the value of the 'Origin' reference.

        If the meaning of the 'Origin' reference isn't clear, there really should be more of a description here...

        Returns:
        the value of the 'Origin' reference.
        See Also:
        setOrigin(Feature), featureconfigPackage.getConfigNode_Origin()
        Generated class or method.
        EMF model class or method.
        required="true" ordered="false"

      • setOrigin

        void setOrigin​(Feature value)
        Sets the value of the 'Origin' reference.
        Parameters:
        value - the new value of the 'Origin' reference.
        See Also:
        getOrigin()
        Generated class or method.

      • getAttributevalue

        EList<AttributeValue> getAttributevalue()
        Returns the value of the 'Attributevalue' containment reference list. The list contents are of type AttributeValue. It is bidirectional and its opposite is 'Confignode'.

        If the meaning of the 'Attributevalue' reference list isn't clear, there really should be more of a description here...

        Returns:
        the value of the 'Attributevalue' containment reference list.
        See Also:
        featureconfigPackage.getConfigNode_Attributevalue(), AttributeValue.getConfignode()
        Generated class or method.
        EMF model class or method.
        opposite="confignode" containment="true" ordered="false"

      • ConfigCardinalityInvalid

        boolean ConfigCardinalityInvalid​(DiagnosticChain diagnostics,
                                 Map<Object,​Object> context)
        true --let childSelectedCount : Integer = self.children->select(c|c.configState = ConfigState::USER_SELECTED or c.configState = ConfigState::MASCHINE_SELECTED)->size() --in -- if self.origin.oclIsTypeOf(featuremodel::FeatureGroup) then -- childSelectedCount >= self.origin.min and (childSelectedCount <= self.origin.max or self.origin.max = -1) -- else -- self.origin.min >= 1 implies (self.configState = ConfigState::USER_SELECTED or self.configState = ConfigState::MASCHINE_SELECTED) -- endif
        Parameters:
        diagnostics - The chain of diagnostics to which problems are to be appended.
        context - The cache of context-specific information.
        Generated class or method.
        EMF model class or method.
        annotation="http://www.eclipse.org/uml2/1.1.0/GenModel body='true \r\n--let childSelectedCount : Integer = self.children->select(c|c.configState = ConfigState::USER_SELECTED or c.configState = ConfigState::MASCHINE_SELECTED)->size() \r\n--in \r\n--\t if self.origin.oclIsTypeOf(featuremodel::FeatureGroup) then\r\n--\t \tchildSelectedCount >= self.origin.min and (childSelectedCount <= self.origin.max or self.origin.max = -1)\r\n--\t else\r\n--\t \tself.origin.min >= 1 implies (self.configState = ConfigState::USER_SELECTED or self.configState = ConfigState::MASCHINE_SELECTED)\r\n--\t endif'"

      • CheckMultiplicityOfFeatureGroup

        boolean CheckMultiplicityOfFeatureGroup​(DiagnosticChain diagnostics,
                                        Map<Object,​Object> context)
        true --not self.origin.featuregroup->isEmpty() implies (self.origin.featuregroup.children->size() <= self.origin.featuregroup.max and self.origin.featuregroup.children->size() >= self.origin.featuregroup.min)
        Parameters:
        diagnostics - The chain of diagnostics to which problems are to be appended.
        context - The cache of context-specific information.
        Generated class or method.
        EMF model class or method.
        annotation="http://www.eclipse.org/uml2/1.1.0/GenModel body='true\r\n--not self.origin.featuregroup->isEmpty() implies (self.origin.featuregroup.children->size() <= self.origin.featuregroup.max and self.origin.featuregroup.children->size() >= self.origin.featuregroup.min)'"