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
b3fa15c9
Commit
b3fa15c9
authored
Jul 02, 2018
by
Sarah Grebing
Browse files
tree structure for scripttrees interim state
parent
73513b9a
Pipeline
#23400
failed with stages
Changes
6
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ProofTree.java
View file @
b3fa15c9
...
...
@@ -334,6 +334,7 @@ public class ProofTree extends BorderPane {
}
}
}
treeProof
.
refresh
();
treeScript
.
refresh
();
}
...
...
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ScriptTree/AbstractTreeNode.java
0 → 100644
View file @
b3fa15c9
package
edu.kit.iti.formal.psdbg.gui.controls.ScriptTree
;
import
lombok.Getter
;
import
lombok.Setter
;
import
java.util.List
;
public
class
AbstractTreeNode
{
@Getter
@Setter
private
AbstractTreeNode
parent
;
@Getter
@Setter
private
List
<
AbstractTreeNode
>
children
;
}
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ScriptTree/BranchLabelNode.java
0 → 100644
View file @
b3fa15c9
package
edu.kit.iti.formal.psdbg.gui.controls.ScriptTree
;
import
de.uka.ilkd.key.proof.Node
;
import
edu.kit.iti.formal.psdbg.gui.controls.ScriptTree.AbstractTreeNode
;
import
lombok.Getter
;
import
lombok.RequiredArgsConstructor
;
@RequiredArgsConstructor
public
class
BranchLabelNode
extends
AbstractTreeNode
{
@Getter
private
final
Node
keyBranchNode
;
@Getter
private
final
String
labelName
;
}
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ScriptTree/DummyGoalNode.java
0 → 100644
View file @
b3fa15c9
package
edu.kit.iti.formal.psdbg.gui.controls.ScriptTree
;
import
edu.kit.iti.formal.psdbg.gui.controls.ScriptTree.AbstractTreeNode
;
import
lombok.Getter
;
import
lombok.RequiredArgsConstructor
;
@RequiredArgsConstructor
public
class
DummyGoalNode
extends
AbstractTreeNode
{
@Getter
private
boolean
closedGoal
;
}
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ScriptTreeNode.java
→
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/
ScriptTree/
ScriptTreeNode.java
View file @
b3fa15c9
package
edu.kit.iti.formal.psdbg.gui.controls
;
package
edu.kit.iti.formal.psdbg.gui.controls
.ScriptTree
;
import
de.uka.ilkd.key.proof.Node
;
import
edu.kit.iti.formal.psdbg.gui.controls.ScriptTree.AbstractTreeNode
;
import
edu.kit.iti.formal.psdbg.interpreter.data.KeyData
;
import
edu.kit.iti.formal.psdbg.interpreter.dbg.PTreeNode
;
import
lombok.Getter
;
...
...
@@ -12,13 +13,10 @@ import lombok.Setter;
* The scriptTreeNodes is the model calls for TreeNodes
*/
@RequiredArgsConstructor
public
class
ScriptTreeNode
{
public
class
ScriptTreeNode
extends
AbstractTreeNode
{
@Getter
private
final
PTreeNode
<
KeyData
>
scriptState
;
@Getter
@Setter
private
Node
keyNode
;
}
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ScriptTreeGraph.java
View file @
b3fa15c9
...
...
@@ -3,6 +3,8 @@ package edu.kit.iti.formal.psdbg.gui.controls;
import
com.google.common.graph.Graph
;
import
com.google.common.graph.GraphBuilder
;
import
de.uka.ilkd.key.proof.Node
;
import
edu.kit.iti.formal.psdbg.gui.controls.ScriptTree.AbstractTreeNode
;
import
edu.kit.iti.formal.psdbg.gui.controls.ScriptTree.ScriptTreeNode
;
import
edu.kit.iti.formal.psdbg.interpreter.data.KeyData
;
import
edu.kit.iti.formal.psdbg.interpreter.dbg.PTreeNode
;
...
...
@@ -10,7 +12,7 @@ import edu.kit.iti.formal.psdbg.interpreter.dbg.PTreeNode;
public
class
ScriptTreeGraph
{
private
ScriptTreeNode
rootNode
;
private
final
Graph
<
Scrip
tTreeNode
>
graph
=
private
final
Graph
<
Abstrac
tTreeNode
>
graph
=
GraphBuilder
.
directed
().
allowsSelfLoops
(
false
).
build
();
public
void
createGraph
(
PTreeNode
<
KeyData
>
rootPTreeNode
,
Node
root
)
{
...
...
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