Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
Commits
e7ca8e3f
Commit
e7ca8e3f
authored
Nov 14, 2017
by
Sarah Grebing
Browse files
added lulus example
parent
553a1d6a
Pipeline
#15427
passed with stages
in 7 minutes and 45 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
ui/src/main/java/edu/kit/iti/formal/psdbg/examples/java/sumAndMax/SumAndMaxExample.java
0 → 100644
View file @
e7ca8e3f
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
);
}
}
ui/src/main/resources/META-INF/services/edu.kit.iti.formal.psdbg.examples.Example
View file @
e7ca8e3f
...
...
@@ -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
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment