JavaScript is disabled on your browser.
de.uka.*
public static final int
2
public static final int
1
public static final int
0
public static final int
1
public static final int
3
public static final int
0
public static final int
1
public static final int
2
public static final int
4
public static final int
0
public static final int
2
public static final int
1
public static final int
0
public static final int
3
public static final int
8
public static final int
3
public static final int
2
public static final int
0
public static final int
1
public static final int
3
public static final int
5
public static final int
3
public static final int
0
public static final int
1
public static final int
2
public static final int
4
"featureconfig"
"featureconfig"
"http://sdq.ipd.uka.de/FeatureConfig/2.0"
public static final int
7
public static final int
3
public static final int
0
public static final int
1
public static final int
4
public static final int
2
public static final int
5
public static final int
2
public static final int
2
public static final int
1
public static final int
4
public static final int
3
public static final int
0
public static final int
5
public static final int
9
public static final int
4
public static final int
3
public static final int
0
public static final int
1
public static final int
2
public static final int
4
public static final int
6
public static final int
3
public static final int
0
public static final int
1
public static final int
2
public static final int
4
public static final int
2
public static final int
0
public static final int
1
"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)"
"true --let childSelectedCount : Integer = self.children->select(c|c.configState = ConfigState::USER_SELECTED or c.configState = ConfigState::MASCHINE_SELECTED)->size() --in --\t if self.origin.oclIsTypeOf(featuremodel::FeatureGroup) then--\t \tchildSelectedCount >= self.origin.min and (childSelectedCount <= self.origin.max or self.origin.max = -1)--\t else--\t \tself.origin.min >= 1 implies (self.configState = ConfigState::USER_SELECTED or self.configState = ConfigState::MASCHINE_SELECTED)--\t endif"
"self.confignode.origin.attributes->one(a | a.name = self.name) and self.confignode.origin.attributes->any(a | a.name = self.name).oclIsTypeOf(featuremodel::DoubleAttribute)"
"self.confignode.origin.attributes->one(a | a.name = self.name) and self.confignode.origin.attributes->any(a | a.name = self.name).oclIsTypeOf(featuremodel::ExternalObjectAttribute)"
"if (configurationDefault->size() = 1 and configurationDefault.defaultConfig = self) then FeatureConfigState::DEFAULT else ( if (configurationOverrides->size() = 1 and configurationOverrides.configOverrides->size() > 0 and configurationOverrides.configOverrides->includes(self)) then FeatureConfigState::OVERRIDE else FeatureConfigState::NOT_SET endif ) endif"
"self.confignode.origin.attributes->one(a | a.name = self.name) and self.confignode.origin.attributes->any(a | a.name = self.name).oclIsTypeOf(featuremodel::IntegerAttribute)"
"self.confignode.origin.attributes->one(a | a.name = self.name) and self.confignode.origin.attributes->any(a | a.name = self.name).oclIsTypeOf(featuremodel::StringAttribute)"
public static final int
2
public static final int
1
protected static final int
6
"de.uka.ipd.sdq.featureconfig"
public static final int
4
public static final int
6
public static final int
3
public static final int
5
public static final int
0
public static final int
2
public static final int
1
public static final int
2
public static final int
0
public static final int
1
public static final int
2
public static final int
3
public static final int
17
public static final int
4
public static final int
0
public static final int
8
public static final int
4
public static final int
0
public static final int
1
public static final int
2
public static final int
3
public static final int
5
public static final int
12
public static final int
3
public static final int
0
public static final int
2
public static final int
1
public static final int
4
public static final int
14
public static final int
3
public static final int
0
public static final int
1
public static final int
2
public static final int
4
"featuremodel"
"featuremodel"
"http://sdq.ipd.uka.de/FeatureModel/2.0"
public static final int
16
public static final int
0
public static final int
1
public static final int
2
public static final int
3
public static final int
0
public static final int
2
public static final int
3
public static final int
6
public static final int
0
public static final int
1
public static final int
4
public static final int
5
public static final int
7
public static final int
4
public static final int
3
public static final int
0
public static final int
1
public static final int
2
public static final int
5
public static final int
7
public static final int
6
public static final int
2
public static final int
1
public static final int
0
public static final int
3
public static final int
13
public static final int
3
public static final int
0
public static final int
1
public static final int
2
public static final int
4
public static final int
11
public static final int
3
public static final int
0
public static final int
2
public static final int
1
public static final int
4
public static final int
3
public static final int
0
public static final int
1
public static final int
2
public static final int
1
public static final int
0
public static final int
1
public static final int
2
public static final int
10
public static final int
4
public static final int
0
public static final int
1
public static final int
2
public static final int
3
public static final int
5
public static final int
9
public static final int
4
public static final int
0
public static final int
1
public static final int
2
public static final int
3
public static final int
5
public static final int
5
public static final int
1
public static final int
0
public static final int
2
public static final int
15
public static final int
3
public static final int
0
public static final int
1
public static final int
2
public static final int
4
public static final int
2
public static final int
0
public static final int
1
protected static final double
0.0
protected static final double
0.0
protected static final double
0.0
"true --self.groupType = GroupTypes::ALL implies (self.min = -1 and self.max = -1)"
protected static final int
1
protected static final int
1
"true --self.groupType = GroupTypes::OR implies (self.min = 1 and self.max = -1)"
"true --(self.groupType = GroupTypes::OR or self.groupType = GroupTypes::XOR) implies self.children->forAll(c|c.isMandatory)"
"true --self.groupType = GroupTypes::XOR implies (self.min = 1 and self.max = 1)"
"true --each attribute name is unique for this feature--self.attributes->isUnique(attr | attr.name)"
protected static final int
0
protected static final int
0
protected static final int
0
protected static final boolean
false
protected static final boolean
false
"self.optionalChildren->size()+self.mandatoryChildren->size()>=1"
protected static final int
6
"de.uka.ipd.sdq.featuremodel"
public static final int
1
public static final int
4
public static final int
5
public static final int
3
public static final int
6
public static final int
2