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
504cd092
Commit
504cd092
authored
Jun 07, 2017
by
Sarah Grebing
Browse files
Added tabbedpane in fxml for scriptarea and model skelett for inspectionviewmodel
parent
0d2787e3
Pipeline
#10989
failed with stage
in 2 minutes and 40 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
src/main/java/edu/kit/formal/gui/model/InspectionModel.java
0 → 100644
View file @
504cd092
package
edu.kit.formal.gui.model
;
import
edu.kit.formal.interpreter.data.GoalNode
;
import
edu.kit.formal.proofscriptparser.ast.ASTNode
;
import
javafx.scene.paint.Color
;
import
java.util.List
;
import
java.util.Map
;
import
java.util.Set
;
/**
* Model for the inspection view
*
* @author S.Grebing
*/
public
class
InspectionModel
{
private
ASTNode
node
;
private
List
<
GoalNode
>
currentGoals
;
private
GoalNode
selectedGoalNodeToShow
;
private
Map
<
GoalNode
,
Color
>
colorofEachGoalNodeinListView
;
private
boolean
showJavaView
;
private
String
javaString
;
private
Set
<
Integer
>
highlightedJavaLines
;
private
boolean
closable
;
}
src/main/resources/DebuggerMain.fxml
View file @
504cd092
...
...
@@ -6,7 +6,7 @@
<?import javafx.geometry.Insets?>
<?import javafx.scene.control.*?>
<?import javafx.scene.layout.*?>
<BorderPane
fx:id=
"rootPane"
xmlns=
"http://javafx.com/javafx/8.0.112"
xmlns:fx=
"http://javafx.com/fxml/1"
<BorderPane
xmlns:fx=
"http://javafx.com/fxml/1"
fx:id=
"rootPane"
xmlns=
"http://javafx.com/javafx/8.0.112"
fx:controller=
"edu.kit.formal.gui.controller.DebuggerMainWindowController"
prefWidth=
"1024"
prefHeight=
"640"
>
<center>
...
...
@@ -74,7 +74,27 @@
</Button>
</items>
</ToolBar>
<ScriptArea
fx:id=
"scriptArea"
VBox.vgrow=
"ALWAYS"
/>
<TabPane
fx:id=
"tabPane"
side=
"left"
tabClosingPolicy=
"SELECTED_TAB"
VBox.vgrow=
"ALWAYS"
>
<tabs>
<Tab
text=
"Script"
>
<content>
<AnchorPane
VBox.vgrow=
"ALWAYS"
>
<ScrollPane
AnchorPane.rightAnchor=
"0.0"
AnchorPane.bottomAnchor=
"0.0"
AnchorPane.leftAnchor=
"0.0"
AnchorPane.topAnchor=
"0.0"
fitToWidth=
"true"
fitToHeight=
"true"
hbarPolicy=
"AS_NEEDED"
vbarPolicy=
"AS_NEEDED"
>
<ScriptArea
fx:id=
"scriptArea"
VBox.vgrow=
"ALWAYS"
/>
</ScrollPane>
</AnchorPane>
</content>
</Tab>
</tabs>
</TabPane>
</children>
</VBox>
<SplitPane
orientation=
"VERTICAL"
dividerPositions=
"0.25,0.75"
>
...
...
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