Skip to content

Commit

Permalink
Added examples for evaluation
Browse files Browse the repository at this point in the history
  • Loading branch information
@ekuiter
ekuiter committed Nov 19, 2019
1 parent 47534e8 commit 0baab00
Show file tree
Hide file tree
Showing 3 changed files with 119 additions and 1 deletion.
2 changes: 1 addition & 1 deletion server/src/main/java/de/ovgu/spldev/varied/ProjectManager.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ public void resetInstance() {
Project featureIDEProject = new Project("FeatureIDE");

for (String artifactName : new String[]{
EMPTY, "uvr2web", "CollaborativeModeling"
EMPTY, "uvr2web", "CollaborativeModeling", "Car", "FameDB"
})
addExampleArtifact(examplesProject, artifactName);
addProject(examplesProject);
Expand Down
77 changes: 77 additions & 0 deletions server/src/main/resources/examples/Car.xml
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,77 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<featureModel>
<properties/>
<struct>
<and name="Car">
<feature name="Carbody"/>
<and mandatory="true" name="Radio">
<or mandatory="true" name="Ports">
<feature mandatory="true" name="USB"/>
<feature mandatory="true" name="CD"/>
</or>
<and mandatory="true" name="Navigation">
<alt mandatory="true" name="DigitalCards">
<feature mandatory="true" name="Europe"/>
<feature mandatory="true" name="USA"/>
</alt>
<feature name="GPSAntenna"/>
</and>
<feature mandatory="true" name="Bluetooth"/>
</and>
<alt name="Gearbox">
<feature mandatory="true" name="Manual"/>
<feature mandatory="true" name="Automatic"/>
</alt>
<feature name="GearboxTest"/>
</and>
</struct>
<constraints>
<rule>
<imp>
<var>Navigation</var>
<var>USB</var>
</imp>
</rule>
<rule>
<imp>
<var>Europe</var>
<var>Gearbox</var>
</imp>
</rule>
<rule>
<imp>
<var>GPSAntenna</var>
<var>USB</var>
</imp>
</rule>
<rule>
<conj>
<var>Carbody</var>
<var>Gearbox</var>
</conj>
</rule>
<rule>
<imp>
<conj>
<var>Gearbox</var>
<var>Radio</var>
</conj>
<var>Navigation</var>
</imp>
</rule>
<rule>
<imp>
<var>Carbody</var>
<conj>
<var>Automatic</var>
<not>
<var>Bluetooth</var>
</not>
</conj>
</imp>
</rule>
</constraints>
<calculations Auto="true" Constraints="true" Features="true" Redundant="true" Tautology="true"/>
<comments/>
<featureOrder userDefined="false"/>
</featureModel>
41 changes: 41 additions & 0 deletions server/src/main/resources/examples/FameDB.xml
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<featureModel>
<properties/>
<struct>
<and abstract="true" name="DB">
<alt abstract="true" name="OS">
<feature mandatory="true" name="NutOS"/>
<feature mandatory="true" name="Win"/>
</alt>
<alt abstract="true" name="BufferMgr">
<and abstract="true" mandatory="true" name="Persistent">
<alt abstract="true" name="MemAlloc">
<feature mandatory="true" name="Static"/>
<feature mandatory="true" name="Dynamic"/>
</alt>
<alt abstract="true" name="PageRepl">
<feature mandatory="true" name="LRU"/>
<feature mandatory="true" name="LFU"/>
</alt>
</and>
<feature mandatory="true" name="InMemory"/>
</alt>
<feature mandatory="true" name="DebugLogging"/>
<and abstract="true" name="Storage">
<or abstract="true" name="API">
<feature mandatory="true" name="get"/>
<feature mandatory="true" name="put"/>
<feature mandatory="true" name="delete"/>
</or>
<alt abstract="true" name="Index">
<feature mandatory="true" name="BTree"/>
<feature mandatory="true" name="Unindexed"/>
</alt>
</and>
</and>
</struct>
<constraints/>
<calculations Auto="true" Constraints="true" Features="true" Redundant="true" Tautology="true"/>
<comments/>
<featureOrder userDefined="false"/>
</featureModel>

0 comments on commit 0baab00

Please sign in to comment.