check use ports for the case of implicit port number

nasa · Sep 26, 2024 · 54ea1ff · 54ea1ff
1 parent 3cb1793
commit 54ea1ff
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/compiler/lib/src/main/scala/analysis/Semantics/ResolveTopology/MatchedPortNumbering.scala b/compiler/lib/src/main/scala/analysis/Semantics/ResolveTopology/MatchedPortNumbering.scala
@@ -90,6 +90,9 @@ object MatchedPortNumbering {
             then Left(SemanticError.PortNumberOutOfRange(n, pi1.toString, maxSize1))
           else if(n > maxSize2 - 1)
             then Left(SemanticError.PortNumberOutOfRange(n, pi2.toString, maxSize2))
+          // Check to see if the port number is already in use
+          else if PortNumberingState.checkPortNumberInUse(n, state.numbering.usedPortNumbers)
+            then Left(SemanticError.PortNumberAlreadyInUse(n))
           else {
             val t1 = t.assignPortNumber(pi1, c1, n).assignPortNumber(pi2, c2, n)
             // Update the set of used ports so that the new port number is tracked