fix documentation - change check to catch propagated edges too

uni-bremen-agst · Aug 16, 2023 · d27b8d5 · d27b8d5
1 parent 735a67b
commit d27b8d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Assets/SEE/Tools/ReflexionAnalysis/ReflexionAnalysis.cs b/Assets/SEE/Tools/ReflexionAnalysis/ReflexionAnalysis.cs
@@ -218,7 +218,7 @@ public static bool IsSpecified(Edge edge)
         /// <returns>true if edge is a divergent architecture dependency</returns>
         public static bool IsDivergent(Edge edge)
         {
-            AssertOrThrow(edge.IsInImplementation(), () => new NotInSubgraphException(Implementation, edge));
+            AssertOrThrow(edge.IsInReflexion(), () => new NotInSubgraphException(Implementation, edge));
             return edge.State() == State.Divergent;
         }
         #endregion