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
db43b73f
Commit
db43b73f
authored
Sep 27, 2018
by
Lulu Luong
Browse files
added subfolder
parent
a4f363e1
Pipeline
#28430
passed with stages
in 2 minutes and 57 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
ui/src/main/java/edu/kit/iti/formal/psdbg/examples/Example.java
View file @
db43b73f
...
...
@@ -4,6 +4,7 @@ import edu.kit.iti.formal.psdbg.gui.controller.DebuggerMain;
import
edu.kit.iti.formal.psdbg.gui.model.MainScriptIdentifier
;
import
lombok.*
;
import
org.apache.commons.io.FileUtils
;
import
org.apache.commons.io.FilenameUtils
;
import
org.apache.commons.io.IOUtils
;
import
java.io.File
;
...
...
@@ -25,10 +26,11 @@ public abstract class Example {
public
static
File
newTempFile
(
URL
url
,
String
filename
)
throws
IOException
{
//TODO: add unterordner
File
psdbg
=
new
File
(
FileUtils
.
getTempDirectoryPath
(),
"psdbg"
);
File
examplefolder
=
new
File
(
psdbg
.
getPath
(),
FilenameUtils
.
removeExtension
(
filename
));
File
f
=
new
File
(
psdbg
,
filename
);
File
f
=
new
File
(
examplefolder
,
filename
);
FileUtils
.
copyURLToFile
(
url
,
f
);
return
f
;
}
...
...
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