diff --git a/ui/src/main/java/edu/kit/iti/formal/psdbg/examples/java/sumAndMax/SumAndMaxExample.java b/ui/src/main/java/edu/kit/iti/formal/psdbg/examples/java/sumAndMax/SumAndMaxExample.java new file mode 100644 index 0000000000000000000000000000000000000000..8514133d3a5872feeb1a7b2be74d46abfe4c40f1 --- /dev/null +++ b/ui/src/main/java/edu/kit/iti/formal/psdbg/examples/java/sumAndMax/SumAndMaxExample.java @@ -0,0 +1,17 @@ +package edu.kit.iti.formal.psdbg.examples.java.sumAndMax; + +import edu.kit.iti.formal.psdbg.examples.JavaExample; + +public class SumAndMaxExample extends JavaExample { + + public SumAndMaxExample() { + setName("SumAndMax Example"); + setJavaFile(this.getClass().getResource("SumAndMax.java")); + + + defaultInit(getClass()); + + System.out.println(this); + + } +} diff --git a/ui/src/main/resources/META-INF/services/edu.kit.iti.formal.psdbg.examples.Example b/ui/src/main/resources/META-INF/services/edu.kit.iti.formal.psdbg.examples.Example index 115deffb28b8bf488726958759d5edaed3503a0f..5bb891ce1c105a426c87db9f7497518e9240cc51 100644 --- a/ui/src/main/resources/META-INF/services/edu.kit.iti.formal.psdbg.examples.Example +++ b/ui/src/main/resources/META-INF/services/edu.kit.iti.formal.psdbg.examples.Example @@ -4,4 +4,5 @@ edu.kit.iti.formal.psdbg.examples.java.simple.JavaSimpleExample edu.kit.iti.formal.psdbg.examples.java.transitive.PaperExample edu.kit.iti.formal.psdbg.examples.java.dpqs.DualPivotExample edu.kit.iti.formal.psdbg.examples.agatha.AgathaExample -edu.kit.iti.formal.psdbg.examples.java.bubbleSort.BubbleSortExample \ No newline at end of file +edu.kit.iti.formal.psdbg.examples.java.bubbleSort.BubbleSortExample +edu.kit.iti.formal.psdbg.examples.java.sumAndMax.SumAndMaxExample \ No newline at end of file