From bc4a3ea668c91c1fbfc8b639179941c00cdf9d43 Mon Sep 17 00:00:00 2001 From: feger <marc.feger@hhu.de> Date: Mon, 15 Jul 2019 13:52:02 +0200 Subject: [PATCH] Unify edges by adding only distinct edge ids to the graph --- src/js/graph/graph.js | 1 + src/js/graph/graphCreator.js | 7 ++++--- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/src/js/graph/graph.js b/src/js/graph/graph.js index 7c174e2..aa174e5 100644 --- a/src/js/graph/graph.js +++ b/src/js/graph/graph.js @@ -12,6 +12,7 @@ export class Graph { addEdge(newEdge){ this.edges.push(newEdge); + this.edges = this.getUnique(this.edges, "id"); } getUnique(arr, comp) { diff --git a/src/js/graph/graphCreator.js b/src/js/graph/graphCreator.js index 08e35d9..cc63365 100644 --- a/src/js/graph/graphCreator.js +++ b/src/js/graph/graphCreator.js @@ -12,19 +12,19 @@ export class GraphCreator { if (element instanceof neo4j.types.Node) { var id = element.identity.toInt(); var newNode = null; - if (element.labels.includes(elements.ISSUE)){ + if (element.labels.includes(elements.ISSUE)) { newNode = { "id": id, "labels": element.labels, "title": element.properties.title }; - }else if (element.labels.includes(elements.STATEMENT)){ + } else if (element.labels.includes(elements.STATEMENT)) { newNode = { "id": id, "labels": element.labels, "textversion": element.properties.textversion }; - }else if (element.labels.includes(elements.ARGUMENT)){ + } else if (element.labels.includes(elements.ARGUMENT)) { newNode = { "id": id, "labels": element.labels @@ -35,6 +35,7 @@ export class GraphCreator { element.forEach(function (relation) { if (relation instanceof neo4j.types.Relationship) { var newEdge = { + "id": relation.identity.toInt(), "source": relation.start.toInt(), "target": relation.end.toInt(), "type": relation.type -- GitLab