Updated SequentialEdge to CrossChainEdge in cross chain analysis

Author: merendamattia

src/main/java/it/unipr/crossChainAnalysis/CrossChainAnalysis.java

@@ -244,7 +244,7 @@ private Set<Edge> addEdges(Set<Statement> sources, Set<Statement> targets) {
 
 		for (Statement source : sources)
 			for (Statement target : targets)
-				edges.add(new SequentialEdge(source, target));
+				edges.add(new CrossChainEdge(source, target));
 
 		return edges;
 	}

src/main/java/it/unipr/crossChainAnalysis/CrossChainEdge.java

@@ -0,0 +1,25 @@
+package it.unipr.crossChainAnalysis;
+
+import it.unive.lisa.program.cfg.edge.SequentialEdge;
+import it.unive.lisa.program.cfg.statement.Statement;
+
+public class CrossChainEdge extends SequentialEdge {
+    /**
+     * Builds an "empty" cross chain edge, meaning that it does not have endpoints.
+     */
+    public CrossChainEdge() {
+        super();
+    }
+
+    /**
+     * Builds the cross chain edge.
+     *
+     * @param source      the source statement
+     * @param destination the destination statement
+     */
+    public CrossChainEdge(
+            Statement source,
+            Statement destination) {
+        super(source, destination);
+    }
+}