Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
sarah.grebing
ProofScriptParser
Commits
72cc4c20
Commit
72cc4c20
authored
Jun 16, 2017
by
Sarah Grebing
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
cleaning fxml
parent
179c80b3
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
6 additions
and
119 deletions
+6
-119
src/main/java/edu/kit/formal/gui/model/InspectionModel.java
src/main/java/edu/kit/formal/gui/model/InspectionModel.java
+6
-66
src/main/resources/DebuggerMain.fxml
src/main/resources/DebuggerMain.fxml
+0
-53
No files found.
src/main/java/edu/kit/formal/gui/model/InspectionModel.java
View file @
72cc4c20
...
...
@@ -30,77 +30,17 @@ public class InspectionModel {
private
Set
<
Integer
>
highlightedJavaLines
;
private
boolean
closable
;
private
boolean
isInterpreterTab
;
public
ASTNode
getNode
()
{
return
node
;
}
private
boolean
isInterpreterTab
;
public
void
setN
ode
(
ASTNode
node
)
{
public
InspectionM
ode
l
(
ASTNode
node
)
{
this
.
node
=
node
;
}
public
List
<
GoalNode
>
getCurrentGoals
()
{
return
currentGoals
;
}
public
void
setCurrentGoals
(
List
<
GoalNode
>
currentGoals
)
{
this
.
currentGoals
=
currentGoals
;
}
public
GoalNode
getSelectedGoalNodeToShow
()
{
return
selectedGoalNodeToShow
;
}
public
void
setSelectedGoalNodeToShow
(
GoalNode
selectedGoalNodeToShow
)
{
this
.
selectedGoalNodeToShow
=
selectedGoalNodeToShow
;
}
public
Map
<
GoalNode
,
Color
>
getColorofEachGoalNodeinListView
()
{
return
colorofEachGoalNodeinListView
;
}
public
void
setColorofEachGoalNodeinListView
(
Map
<
GoalNode
,
Color
>
colorofEachGoalNodeinListView
)
{
this
.
colorofEachGoalNodeinListView
=
colorofEachGoalNodeinListView
;
}
public
boolean
isShowJavaView
()
{
return
showJavaView
;
}
public
void
setShowJavaView
(
boolean
showJavaView
)
{
this
.
showJavaView
=
showJavaView
;
}
public
String
getJavaString
()
{
return
javaString
;
}
public
void
setJavaString
(
String
javaString
)
{
this
.
javaString
=
javaString
;
}
public
Set
<
Integer
>
getHighlightedJavaLines
()
{
return
highlightedJavaLines
;
}
public
void
setHighlightedJavaLines
(
Set
<
Integer
>
highlightedJavaLines
)
{
this
.
highlightedJavaLines
=
highlightedJavaLines
;
}
public
boolean
isClosable
()
{
return
closable
;
}
public
void
setClosable
(
boolean
closable
)
{
this
.
closable
=
closable
;
}
public
boolean
isInterpreterTab
()
{
return
isInterpreterTab
;
}
/***************************************************************************************************************
* Getter and Setter
*
*/
public
void
setInterpreterTab
(
boolean
interpreterTab
)
{
isInterpreterTab
=
interpreterTab
;
}
}
src/main/resources/DebuggerMain.fxml
View file @
72cc4c20
...
...
@@ -101,62 +101,9 @@
</ToolBar>
<ScriptTabPane
fx:id=
"tabPane"
side=
"left"
styleClass=
"tab-pane"
tabClosingPolicy=
"SELECTED_TAB"
VBox.vgrow=
"ALWAYS"
/>
<!-- <TabPane fx:id="tabPane" side="left" styleClass="tab-pane"
tabClosingPolicy="SELECTED_TAB" VBox.vgrow="ALWAYS">
<tabs>
<Tab fx:id="startTab" text="Untitled">
<content>
<ScriptArea fx:id="scriptArea" VBox.vgrow="ALWAYS"/>
</content>
</Tab>
</tabs>
</TabPane>-->
</children>
</VBox>
<InspectionViewTabPane
fx:id=
"inspectionViewTabPane"
></InspectionViewTabPane>
<!--<SplitPane orientation="VERTICAL" dividerPositions="0.25,0.75">
<items>
<SectionPane title="Current Goals">
<headerRight>
<Button onMouseClicked="#showGoalOptions">
<graphic>
<MaterialDesignIconView glyphName="WRENCH"/>
</graphic>
</Button>
</headerRight>
<center>
<ListView fx:id="goalView"/>
</center>
</SectionPane>
<SplitPane>
<padding>
<Insets top="5" left="5" right="5" bottom="5"/>
</padding>
<items>
<SectionPane title="Sequent">
<headerRight>
<Button>
<graphic>
<MaterialDesignIconView glyphName="WRENCH"/>
</graphic>
</Button>
</headerRight>
<center>
<SequentView fx:id="sequentView"/>
</center>
</SectionPane>
<SectionPane title="Source Code">
<center>
<JavaArea fx:id="javaSourceCode"/>
</center>
</SectionPane>
</items>
</SplitPane>
</items>
</SplitPane>-->
</items>
</SplitPane>
</center>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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