mannpatel/Software-Analysis
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Edge update so it works for Jgrapht

Browse Source
This commit is contained in:
Nicolas Amaya
2025-10-26 23:39:50 -06:00
parent f3fb1b16dd
commit 1d1adf78f8
2 changed files with 15 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
Assignment-3/javaparser-1.0.0/CFGGraph/CFGEdge.java
View File

@@ -4,10 +4,16 @@ import org.jgrapht.graph.DefaultEdge;
public class CFGEdge extends DefaultEdge {
//path defines if its a True or False or Null (when either T or F resulkt on the same node)
private boolean path;
private CFGNode from;
private CFGNode to;
public CFGEdge(boolean path) {
this.path = path;
public CFGEdge() {
this(null, null);
}
public CFGEdge(CFGNode from, CFGNode to) {
this.from = from;
this.to = to;
}
public void setPath(boolean path) { this.path = path; }
}