Package de.uka.ipd.sdq.featureconfig
Interface ConfigNode
- All Known Implementing Classes:
ConfigNodeImpl
A representation of the model object 'Config Node'.
Holds ConfigState of a Feature. For a Feature it holds the actual value.
The following features are supported:
- See Also:
- Generated class or method.
- EMF model class or method.
-
Method Summary
Modifier and TypeMethodDescriptionboolean
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)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) -- endifReturns the value of the 'Attributevalue' containment reference list.Returns the value of the 'Config State' attribute.Returns the value of the 'Origin' reference.void
setConfigState
(ConfigState value) Sets the value of the 'Config State
' attribute.void
Sets the value of the 'Origin
' reference.Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
-
Method Details
-
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:
- Generated class or method.
- EMF model class or method.
- required="true" ordered="false"
-
setOrigin
Sets the value of the 'Origin
' reference.- Parameters:
value
- the new value of the 'Origin' reference.- See Also:
- Generated class or method.
-
getConfigState
ConfigState getConfigState()Returns the value of the 'Config State' attribute. The default value is"DEFAULT"
. The literals are from the enumerationConfigState
. actual state for annotated Features; for FeatureGroups it is a derived attribute- Returns:
- the value of the 'Config State' attribute.
- See Also:
- Generated class or method.
- EMF model class or method.
- default="DEFAULT" required="true" ordered="false"
-
setConfigState
Sets the value of the 'Config State
' attribute.- Parameters:
value
- the new value of the 'Config State' attribute.- See Also:
- Generated class or method.
-
getAttributevalue
EList<AttributeValue> getAttributevalue()Returns the value of the 'Attributevalue' containment reference list. The list contents are of typeAttributeValue
. 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:
- Generated class or method.
- EMF model class or method.
- opposite="confignode" containment="true" ordered="false"
-
ConfigCardinalityInvalid
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
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)'"
-