2045 cfg implement abs int driver

TypeCobol.Analysis.Test/BasicAbstractInterpretationTest.cs

@@ -0,0 +1,117 @@
+using System.Collections.Generic;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TypeCobol.Compiler.CodeModel;
+using TypeCobol.Compiler.Nodes;
+using System.IO;
+using System.Runtime.CompilerServices;
+using TypeCobol.Analysis.Graph;
+
+using static TypeCobol.Analysis.Test.CfgTestUtils;
+
+namespace TypeCobol.Analysis.Test
+{
+    /// <summary>
+    /// These are basic tests for control from instructions.
+    /// </summary>
+    [TestClass]
+    public class BasicAbstractInterpretationTest
+    {
+        /// <summary>
+        /// This is a template method for a simple test on a source file
+        /// containing a single program.
+        /// Performs parsing, diagnostics comparison and CFG comparison.
+        /// </summary>
+        /// <remarks>
+        /// All parameters are optional, by default :
+        /// - input is BasicCfgInstrs\[CallerMethod].cbl
+        /// - expected result is BasicCfgInstrs\[CallerMethod].int
+        /// - CFG building mode is Standard
+        /// - fullInstruction is True
+        /// </remarks>
+        /// <param name="inputDirectoryPath">Full path to the directory containing the input source file.</param>
+        /// <param name="inputFileName">Name of the input source file without extension.</param>
+        /// <param name="inputExtension">Extension of the input source file including the '.'.</param>
+        /// <param name="expectedResultDirectoryPath">Full path to the directory containing the expected result file.</param>
+        /// <param name="expectedResultFileName">Name of the expected result file without extension.</param>
+        /// <param name="expectedResultExtension">Extension of the expected result file including the '.'.</param>
+        /// <param name="mode">CFG Building mode.</param>
+        /// <param name="fullInstruction">True to use full instruction during dot generation.</param>
+        private void TestTemplate(
+            string inputDirectoryPath = null,
+            [CallerMemberName] string inputFileName = null,
+            string inputExtension = ".cbl",
+            string expectedResultDirectoryPath = null,
+            [CallerMemberName] string expectedResultFileName = null,
+            string expectedResultExtension = ".int",
+            CfgBuildingMode mode = CfgBuildingMode.Standard,
+            bool fullInstruction = true)
+        {
+            string inputFilePath = Path.Combine(inputDirectoryPath ?? BasicCfgInstrs, inputFileName + inputExtension);
+            Assert.IsTrue(File.Exists(inputFilePath), $"Input file '{inputFilePath}' does not exist.");
+
+            string expectedResultFilePath = Path.Combine(expectedResultDirectoryPath ?? BasicCfgInstrs, expectedResultFileName + expectedResultExtension);
+            Assert.IsTrue(File.Exists(expectedResultFilePath), $"Expected results file '{expectedResultFilePath}' does not exist.");
+
+            var graphs = ParseCompareDiagnostics<object>(inputFilePath, mode);
+            Assert.IsTrue(graphs.Count == 1); //single program
+            var cfg = graphs[0];
+            Assert.IsNull(cfg.ParentGraph);
+            Assert.IsTrue(cfg.ProgramOrFunctionNode is Program);
+            Assert.IsNull(cfg.NestedGraphs);
+            GenAbstractInterpretCfgAndCompare(cfg, inputFilePath, expectedResultFilePath, fullInstruction);
+        }
+
+        [TestMethod]
+        public void IfThen0() => TestTemplate();
+
+        [TestMethod]
+        public void IfThenElse0() => TestTemplate();
+
+        [TestMethod]
+        public void IfThenNested0() => TestTemplate();
+
+        [TestMethod]
+        public void IfThenNested1() => TestTemplate();
+
+        [TestMethod]
+        public void IfThenNested2() => TestTemplate();
+
+        [TestMethod]
+        public void IfThenElseCascade0() => TestTemplate();
+
+        [TestMethod]
+        public void IfThenElseNested1() => TestTemplate();
+
+        [TestMethod]
+        public void IfThenNextSentence0() => TestTemplate();
+
+        [TestMethod]
+        public void IfThenElseNextSentence0() => TestTemplate();
+
+        [TestMethod]
+        public void IfThenElseNextSentence1() => TestTemplate();
+
+        [TestMethod]
+        public void IfThenElseNextSentence2() => TestTemplate();
+
+        [TestMethod]
+        public void Evaluate0() => TestTemplate();
+
+        [TestMethod]
+        public void EvaluateMultiWhen0() => TestTemplate();
+
+        [TestMethod]
+        public void EvaluateNoOther0() => TestTemplate();
+        [TestMethod]
+        public void MixPerformEvaluateIf0() => TestTemplate();
+        [TestMethod]
+        public void ComplexGotoPara0() => TestTemplate();
+
+        [TestMethod]
+        public void Declaratives0() => TestTemplate();
+
+        [TestMethod]
+        public void Declaratives1() => TestTemplate();
+
+    }
+}

TypeCobol.Analysis.Test/BasicCfgInstrs/ComplexGotoPara0.int

@@ -0,0 +1,34 @@
+Entering block : 0
+Leaving block : 0
+Entering block : 1
+DISPLAY 'IN PARA-A'
+GO TO PARA-C
+Leaving block : 1
+Entering block : 4
+DISPLAY 'IN PARA-C '
+Leaving block : 4
+Entering block : 5
+GO TO PARA-E PARA-F PARA-G DEPENDING ON m
+Leaving block : 5
+Entering block : 10
+DISPLAY 'IN PARA-G '
+Leaving block : 10
+Entering block : 11
+GOBACK
+Leaving block : 11
+Entering block : 9
+DISPLAY 'IN PARA-F '
+Leaving block : 9
+Entering block : 8
+DISPLAY 'IN PARA-E '
+Leaving block : 8
+Entering block : 6
+Leaving block : 6
+Entering block : 7
+DISPLAY 'IN PARA-D '
+Leaving block : 7
+
+=======
+METRICS
+=======
+{EdgeCount=12; NodeCount=10; ControlSubgraphCount=0; HighCyclomaticComplexity=4; HighEssentialComplexityPath=4}

TypeCobol.Analysis.Test/BasicCfgInstrs/Declaratives0.int

@@ -0,0 +1,21 @@
+Entering block : 0
+Leaving block : 0
+Entering block : 4
+Leaving block : 4
+Entering block : 5
+DISPLAY "TOTO"
+Leaving block : 5
+Entering block : 1
+    USE FOR DEBUGGING ON ALL PROCEDURES.
+Leaving block : 1
+Entering block : 2
+       display DEBUG-NAME
+Leaving block : 2
+Entering block : 3
+    EXIT
+Leaving block : 3
+
+=======
+METRICS
+=======
+{EdgeCount=5; NodeCount=6; ControlSubgraphCount=0; HighCyclomaticComplexity=1; HighEssentialComplexityPath=1}

TypeCobol.Analysis.Test/BasicCfgInstrs/Declaratives1.int

@@ -0,0 +1,74 @@
+Entering block : 0
+Leaving block : 0
+Entering block : 17
+                       USE FOR DEBUGGING ON ALL PROCEDURES.
+Leaving block : 17
+Entering block : 18
+Leaving block : 18
+Entering block : 19
+PERFORM COMP-FOOT-CALC
+VARYING IDX FROM +1 BY +1
+UNTIL IDX > +6
+Leaving block : 19
+Entering block : 20
+Leaving block : 20
+Entering block : 21
+GO TO COMP-FOOT-EXIT
+Leaving block : 21
+Entering block : 25
+EXIT
+Leaving block : 25
+Entering block : 13
+                       USE FOR DEBUGGING ON ALL PROCEDURES.
+Leaving block : 13
+Entering block : 14
+MOVE NUM(3) TO NBJ(3)
+Leaving block : 14
+Entering block : 15
+MOVE NBJ(4) TO NUM(4)
+Leaving block : 15
+Entering block : 16
+EXIT
+Leaving block : 16
+Entering block : 9
+                       USE FOR DEBUGGING ON ALL PROCEDURES.
+Leaving block : 9
+Entering block : 10
+MOVE NUM(1) TO NBJ(1)
+Leaving block : 10
+Entering block : 11
+MOVE NBJ(2) TO NUM(2)
+Leaving block : 11
+Entering block : 12
+EXIT
+Leaving block : 12
+Entering block : 26
+Leaving block : 26
+Entering block : 1
+    USE FOR DEBUGGING ON ALL PROCEDURES.
+Leaving block : 1
+Entering block : 2
+    SET IDX to 1
+Leaving block : 2
+Entering block : 3
+    SEARCH ELEM
+Leaving block : 3
+Entering block : 6
+Leaving block : 6
+Entering block : 7
+    display "--------------------------------------"
+Leaving block : 7
+Entering block : 8
+EXIT
+Leaving block : 8
+Entering block : 4
+           when NBJ(IDX) = 28
+Entering block : 5
+           display NUM(IDX) "/" LIB(IDX)
+Leaving block : 5
+Leaving block : 4
+
+=======
+METRICS
+=======
+{EdgeCount=28; NodeCount=24; ControlSubgraphCount=1; HighCyclomaticComplexity=6; HighEssentialComplexityPath=5}

TypeCobol.Analysis.Test/BasicCfgInstrs/Evaluate0.int

@@ -0,0 +1,41 @@
+Entering block : 0
+    EVALUATE menu-input
+      WHEN "0"
+Entering block : 1
+        DISPLAY "OPTION 0"
+Leaving block : 1
+Entering block : 2
+      WHEN "1" THRU "9"
+Entering block : 3
+        DISPLAY "OPTION 1-9"
+Leaving block : 3
+Entering block : 4
+      WHEN "R"
+Entering block : 5
+        DISPLAY "OPTION R"
+Leaving block : 5
+Entering block : 6
+      WHEN "X"
+Entering block : 7
+        DISPLAY "OPTION X"
+Leaving block : 7
+Entering block : 8
+        DISPLAY "NO OPTION"
+Leaving block : 8
+Leaving block : 6
+Entering block : 9
+Leaving block : 9
+Leaving block : 4
+Entering block : 10
+Leaving block : 10
+Leaving block : 2
+Entering block : 11
+Leaving block : 11
+Leaving block : 0
+Entering block : 12
+Leaving block : 12
+
+=======
+METRICS
+=======
+{EdgeCount=16; NodeCount=13; ControlSubgraphCount=4; HighCyclomaticComplexity=5; HighEssentialComplexityPath=1}

TypeCobol.Analysis.Test/BasicCfgInstrs/EvaluateMultiWhen0.int

@@ -0,0 +1,37 @@
+Entering block : 0
+    EVALUATE menu-input
+      WHEN 'A'
+      WHEN 'B'
+      WHEN 'C'
+      WHEN 'D'
+Entering block : 1
+        DISPLAY "OPTION [A-B]"
+Leaving block : 1
+Entering block : 2
+      WHEN "E"
+Entering block : 3
+        DISPLAY "OPTION E"
+Leaving block : 3
+Entering block : 4
+      WHEN "F"
+      WHEN "G"
+Entering block : 5
+        DISPLAY "OPTION F and G"
+Leaving block : 5
+Entering block : 6
+         DISPLAY "BAD OPTION"
+Leaving block : 6
+Leaving block : 4
+Entering block : 7
+Leaving block : 7
+Leaving block : 2
+Entering block : 8
+Leaving block : 8
+Leaving block : 0
+Entering block : 9
+Leaving block : 9
+
+=======
+METRICS
+=======
+{EdgeCount=12; NodeCount=10; ControlSubgraphCount=3; HighCyclomaticComplexity=4; HighEssentialComplexityPath=1}

TypeCobol.Analysis.Test/BasicCfgInstrs/EvaluateNoOther0.int

@@ -0,0 +1,39 @@
+Entering block : 0
+    EVALUATE menu-input
+      WHEN "0"
+Entering block : 1
+        DISPLAY "OPTION 0"
+Leaving block : 1
+Entering block : 2
+      WHEN "1" THRU "9"
+Entering block : 3
+        DISPLAY "OPTION 1-9"
+Leaving block : 3
+Entering block : 4
+      WHEN "R"
+Entering block : 5
+        DISPLAY "OPTION R"
+Leaving block : 5
+Entering block : 6
+      WHEN "X"
+Entering block : 7
+        DISPLAY "OPTION X"
+Leaving block : 7
+Leaving block : 6
+Entering block : 8
+Leaving block : 8
+Leaving block : 4
+Entering block : 9
+Leaving block : 9
+Leaving block : 2
+Entering block : 10
+Leaving block : 10
+Leaving block : 0
+Entering block : 11
+    DISPLAY "MAYBE NO OPTIONS"
+Leaving block : 11
+
+=======
+METRICS
+=======
+{EdgeCount=15; NodeCount=12; ControlSubgraphCount=4; HighCyclomaticComplexity=5; HighEssentialComplexityPath=1}

TypeCobol.Analysis.Test/BasicCfgInstrs/IfThen0.int

@@ -0,0 +1,14 @@
+Entering block : 0
+    IF A = 10 THEN
+Entering block : 1
+      DISPLAY "A = 10"
+      DISPLAY "RIGHT ?"
+Leaving block : 1
+Leaving block : 0
+Entering block : 2
+Leaving block : 2
+
+=======
+METRICS
+=======
+{EdgeCount=3; NodeCount=3; ControlSubgraphCount=1; HighCyclomaticComplexity=2; HighEssentialComplexityPath=1}