WI #2045 Add comment on the default execution performed.

TypeCobolTeam · Oct 27, 2021 · 7f8af6b · 7f8af6b
1 parent a840251
commit 7f8af6b
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/TypeCobol.Analysis/Graph/CfgAbstractInterpretation.Environment.cs b/TypeCobol.Analysis/Graph/CfgAbstractInterpretation.Environment.cs
@@ -9,7 +9,11 @@ namespace TypeCobol.Analysis.Graph
     public partial class CfgAbstractInterpretation<N,D>
     {
         /// <summary>
-        /// Abstract interpretation execution environment
+        /// Abstract interpretation execution environment.
+        /// The default execution performed is based on a dfs algorithm, with exception that
+        /// branching instructions are handled specifically.
+        /// Thus not all execution paths are applied, but all nodes are visited using dfs like algorithm if they are accessible.
+        /// A node cannot be visited twice.
         /// </summary>
         public class Environment
         {