From 0baab0028676199f7fa6a91debb1b6d35e21c6e5 Mon Sep 17 00:00:00 2001
From: Elias Kuiter <info@elias-kuiter.de>
Date: Tue, 19 Nov 2019 15:44:56 +0100
Subject: [PATCH] Added examples for evaluation

---
 .../de/ovgu/spldev/varied/ProjectManager.java |  2 +-
 server/src/main/resources/examples/Car.xml    | 77 +++++++++++++++++++
 server/src/main/resources/examples/FameDB.xml | 41 ++++++++++
 3 files changed, 119 insertions(+), 1 deletion(-)
 create mode 100644 server/src/main/resources/examples/Car.xml
 create mode 100644 server/src/main/resources/examples/FameDB.xml

diff --git a/server/src/main/java/de/ovgu/spldev/varied/ProjectManager.java b/server/src/main/java/de/ovgu/spldev/varied/ProjectManager.java
index 3f1ca072..2b7702c6 100644
--- a/server/src/main/java/de/ovgu/spldev/varied/ProjectManager.java
+++ b/server/src/main/java/de/ovgu/spldev/varied/ProjectManager.java
@@ -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);
diff --git a/server/src/main/resources/examples/Car.xml b/server/src/main/resources/examples/Car.xml
new file mode 100644
index 00000000..448cf7e0
--- /dev/null
+++ b/server/src/main/resources/examples/Car.xml
@@ -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>
diff --git a/server/src/main/resources/examples/FameDB.xml b/server/src/main/resources/examples/FameDB.xml
new file mode 100644
index 00000000..bc710d9b
--- /dev/null
+++ b/server/src/main/resources/examples/FameDB.xml
@@ -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>