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
670967de
Commit
670967de
authored
Jun 01, 2017
by
alexander.weigl
🐼
Committed by
Alexander Weigl
Jun 01, 2017
Browse files
Icons. Yeah!
parent
8a1f4e87
Pipeline
#10913
passed with stage
in 2 minutes and 4 seconds
Changes
4
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
pom.xml
View file @
670967de
...
...
@@ -127,7 +127,31 @@
</build>
<!-- for icons -->
<repositories>
<repository>
<snapshots>
<enabled>
false
</enabled>
</snapshots>
<id>
bintray-jerady-maven
</id>
<name>
bintray
</name>
<url>
http://dl.bintray.com/jerady/maven
</url>
</repository>
</repositories>
<dependencies>
<dependency>
<groupId>
de.jensd
</groupId>
<artifactId>
fontawesomefx-materialdesignfont
</artifactId>
<version>
1.7.22-4
</version>
</dependency>
<dependency>
<groupId>
de.jensd
</groupId>
<artifactId>
fontawesomefx-commons
</artifactId>
<version>
8.15
</version>
</dependency>
<dependency>
<groupId>
org.fxmisc.richtext
</groupId>
<artifactId>
richtextfx
</artifactId>
...
...
src/main/java/edu/kit/formal/gui/ProofScriptDebugger.java
View file @
670967de
...
...
@@ -5,6 +5,7 @@ package edu.kit.formal.gui;
* @author S. Grebing
*/
import
de.jensd.fx.glyphs.materialdesignicons.demo.MaterialDesignIconsDemoApp
;
import
edu.kit.formal.gui.controller.DebuggerMainWindowController
;
import
edu.kit.formal.gui.model.RootModel
;
import
javafx.application.Application
;
...
...
@@ -26,6 +27,7 @@ public class ProofScriptDebugger extends Application {
RootModel
rm
=
new
RootModel
();
FXMLLoader
fxmlLoader
=
new
FXMLLoader
(
getClass
().
getResource
(
"/DebuggerMain.fxml"
));
Parent
root
=
null
;
try
{
root
=
(
Parent
)
fxmlLoader
.
load
();
...
...
src/main/java/edu/kit/formal/gui/controller/DebuggerMainWindowController.java
View file @
670967de
...
...
@@ -7,6 +7,7 @@ import edu.kit.formal.interpreter.KeYProofFacade;
import
edu.kit.formal.interpreter.data.GoalNode
;
import
edu.kit.formal.interpreter.data.KeyData
;
import
edu.kit.formal.interpreter.dbg.Debugger
;
import
javafx.beans.property.SimpleBooleanProperty
;
import
javafx.beans.property.SimpleObjectProperty
;
import
javafx.concurrent.Service
;
import
javafx.concurrent.Task
;
...
...
@@ -33,9 +34,11 @@ import java.util.concurrent.Executors;
*/
public
class
DebuggerMainWindowController
implements
Initializable
{
private
static
String
testFile1
=
"/home/sarah/Documents/KIT_Mitarbeiter/ProofScriptingLanguage/src/test/resources/edu/kit/formal/interpreter/"
;
private
static
String
testFile
=
"/home/sarah/Documents/KIT_Mitarbeiter/ProofScriptingLanguage/src/test/resources/edu/kit/formal/interpreter/contraposition/"
;
private
SimpleBooleanProperty
debugMode
=
new
SimpleBooleanProperty
(
false
);
@FXML
Pane
rootPane
;
@FXML
...
...
@@ -104,6 +107,8 @@ public class DebuggerMainWindowController implements Initializable {
@FXML
public
void
changeToDebugMode
()
{
setDebugMode
(
true
);
executeScript
();
}
@FXML
...
...
@@ -170,7 +175,6 @@ public class DebuggerMainWindowController implements Initializable {
}
public
void
setStage
(
Stage
stage
)
{
this
.
stage
=
stage
;
}
...
...
@@ -202,7 +206,7 @@ public class DebuggerMainWindowController implements Initializable {
@Override
public
void
initialize
(
URL
location
,
ResourceBundle
resources
)
{
setDebugMode
(
false
);
}
/**
...
...
@@ -274,5 +278,15 @@ public class DebuggerMainWindowController implements Initializable {
}
public
boolean
isDebugMode
()
{
return
debugMode
.
get
();
}
public
SimpleBooleanProperty
debugModeProperty
()
{
return
debugMode
;
}
public
void
setDebugMode
(
boolean
debugMode
)
{
this
.
debugMode
.
set
(
debugMode
);
}
}
src/main/resources/DebuggerMain.fxml
View file @
670967de
<?xml version="1.0" encoding="UTF-8"?>
<?import de.jensd.fx.glyphs.materialdesignicons.*?>
<?import edu.kit.formal.gui.controller.ListGoalView?>
<?import edu.kit.formal.gui.controller.ScriptArea?>
<?import javafx.scene.control.*?>
<?import javafx.scene.layout.*?>
<?import java.lang.Boolean?>
<Pane
xmlns:fx=
"http://javafx.com/fxml/1"
fx:id=
"rootPane"
maxHeight=
"-Infinity"
maxWidth=
"-Infinity"
minHeight=
"-Infinity"
minWidth=
"-Infinity"
prefHeight=
"400.0"
prefWidth=
"600.0"
xmlns=
"http://javafx.com/javafx/8.0.102-ea"
fx:controller=
"edu.kit.formal.gui.controller.DebuggerMainWindowController"
>
<!--
<fx:define>
<Boolean fx:id="disableDebuggingButtons" fx:value="true" />
</fx:define>-->
<children>
<SplitPane
fx:id=
"splitPane"
dividerPositions=
"0.5"
layoutY=
"29.0"
prefHeight=
"371.0"
prefWidth=
"600.0"
>
<items>
...
...
@@ -18,10 +28,48 @@
<children>
<ToolBar
fx:id=
"toolbar"
prefHeight=
"40.0"
prefWidth=
"200.0"
>
<items>
<Button
fx:id=
"buttonStartInterpreter"
onAction=
"#executeScript"
mnemonicParsing=
"false"
text=
"Execute Script"
/>
<Button
fx:id=
"startDebugMode"
onAction=
"#changeToDebugMode"
mnemonicParsing=
"false"
text=
"Change to Debug Mode"
/>
<Button
fx:id=
"buttonStartInterpreter"
onAction=
"#executeScript"
>
<graphic>
<MaterialDesignIconView
glyphName=
"PLAY"
size=
"24.0"
/>
</graphic>
<tooltip>
<Tooltip
text=
"Execute Script"
/>
</tooltip>
</Button>
<Button
fx:id=
"startDebugMode"
onAction=
"#changeToDebugMode"
>
<graphic>
<MaterialDesignIconView
glyphName=
"PLAY_PAUSE"
size=
"24.0"
/>
</graphic>
<tooltip>
<Tooltip
text=
"Change to Debug Mode"
/>
</tooltip>
</Button>
<Separator/>
<Button
disable=
"${! controller.debugMode}"
>
<graphic>
<MaterialDesignIconView
glyphName=
"DEBUG_STEP_INTO"
size=
"24.0"
/>
</graphic>
</Button>
<Button
disable=
"${! controller.debugMode}"
>
<graphic>
<MaterialDesignIconView
glyphName=
"DEBUG_STEP_OVER"
size=
"24.0"
/>
</graphic>
</Button>
<Button
disable=
"${! controller.debugMode}"
>
<graphic>
<MaterialDesignIconView
glyphName=
"DEBUG_STEP_OUT"
size=
"24.0"
/>
</graphic>
</Button>
<Button
disable=
"${! controller.debugMode}"
>
<graphic>
<MaterialDesignIconView
glyphName=
"STOP"
size=
"24.0"
/>
</graphic>
</Button>
</items>
</ToolBar>
<ScrollPane
fx:id=
"scrollPaneCode"
prefHeight=
"369.0"
prefWidth=
"295.0"
...
...
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