From 35548ed3228482cb68444018ee99361fa4a24ae8 Mon Sep 17 00:00:00 2001
From: Joseph Mirabel <jmirabel@laas.fr>
Date: Tue, 27 Mar 2018 18:37:50 +0200
Subject: [PATCH] Prevent name collision in graph construction.
---
src/graph/helper.cc | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/graph/helper.cc b/src/graph/helper.cc
index 1dd9637..f898acb 100644
--- a/src/graph/helper.cc
+++ b/src/graph/helper.cc
@@ -1043,6 +1043,9 @@ namespace hpp {
const std::vector <Rule>& rules,
const value_type& prePlaceWidth)
{
+ if (ps->graphs.has (graphName))
+ throw std::invalid_argument ("A graph named " + graphName + " already exists.");
+
const Device& robot = *(ps->robot ());
const pinocchio::Model& model = robot.model();
Grippers_t grippers (griNames.size());
--
GitLab