each constant and predicate can only be defined once

fmlab-iis · Aug 25, 2024 · 52bca0f · 52bca0f
1 parent 1a6b114
commit 52bca0f
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/src/timbuk_parser-nobison.cc b/src/timbuk_parser-nobison.cc
@@ -956,7 +956,12 @@ AUTOQ::Automata<Symbol> AUTOQ::Parsing::TimbukParser<Symbol>::ReadAutomaton(cons
                     if (lhs.empty() || rhs.empty()) {
                         throw std::runtime_error(AUTOQ_LOG_PREFIX + "Invalid number \"" + str + "\".");
                     }
-                    constants[lhs] = ComplexParser(rhs).getComplex();
+                    if (constants.find(lhs) == constants.end()) {
+                        constants[lhs] = ComplexParser(rhs).getComplex();
+                    } else {
+                        AUTOQ_ERROR("[ERROR] The constant \"" + lhs + "\" is already defined.");
+                        exit(1);
+                    }
                 }
             }
         }
@@ -973,7 +978,12 @@ AUTOQ::Automata<Symbol> AUTOQ::Parsing::TimbukParser<Symbol>::ReadAutomaton(cons
                     if (lhs.empty() || rhs.empty()) {
                         throw std::runtime_error(AUTOQ_LOG_PREFIX + "Invalid number \"" + str + "\".");
                     }
-                    predicates[lhs] = rhs;
+                    if (predicates.find(lhs) == predicates.end()) {
+                        predicates[lhs] = rhs;
+                    } else {
+                        AUTOQ_ERROR("[ERROR] The predicate \"" + lhs + "\" is already defined.");
+                        exit(1);
+                    }
                 }
             }
         }