Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
Commits
59023b9d
Commit
59023b9d
authored
Apr 27, 2018
by
Sarah Grebing
Browse files
minor
parent
5d0e3a4f
Pipeline
#21440
passed with stages
in 3 minutes and 38 seconds
Changes
1
Pipelines
1
Show whitespace changes
Inline
Side-by-side
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java
View file @
59023b9d
...
...
@@ -178,10 +178,14 @@ public class DebuggerMain implements Initializable {
list.forEach(keyDataGoalNode -> System.out.println("list = " + keyDataGoalNode.getData().getNode().sequent()));*/
InspectionModel
im
=
new
InspectionModel
();
ObservableList
<
GoalNode
<
KeyData
>>
goals
=
FXCollections
.
observableArrayList
(
state
PointerToPostMortem
.
getState
AfterStmt
()
.
getGoals
());
ObservableList
<
GoalNode
<
KeyData
>>
goals
=
FXCollections
.
observableArrayList
(
stateAfterStmt
.
getGoals
());
im
.
setGoals
(
goals
);
if
(
stateAfterStmt
.
getSelectedGoalNode
()
!=
null
){
im
.
setSelectedGoalNodeToShow
(
stateAfterStmt
.
getSelectedGoalNode
());
}
else
{
im
.
setSelectedGoalNodeToShow
(
goals
.
get
(
0
));
}
inspectionViewsController
.
newPostMortemInspector
(
im
)
.
dock
(
dockStation
,
DockPos
.
CENTER
,
getActiveInspectorDock
());
...
...
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