Add tests for syntax API

Issue link: #57
MSDN-WhiteKnight · Mar 5, 2021 · 92574d5 · 92574d5
1 parent bb95872
commit 92574d5
Show file tree

Hide file tree

Showing 9 changed files with 154 additions and 1 deletion.
diff --git a/tests/CilTools.BytecodeAnalysis.Tests.NetCore/SyntaxTests.cs b/tests/CilTools.BytecodeAnalysis.Tests.NetCore/SyntaxTests.cs
@@ -0,0 +1,21 @@
+/* CIL Tools
+ * Copyright (c) 2021,  MSDN.WhiteKnight (https://github.com/MSDN-WhiteKnight) 
+ * License: BSD 2.0 */
+using System;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using CilTools.Tests.Common;
+
+namespace CilTools.BytecodeAnalysis.Tests.NetCore
+{
+    [TestClass]
+    public class SyntaxTests
+    {
+        [TestMethod]
+        public void Test_ToSyntaxTree()
+        {
+            MethodInfo mi = typeof(SampleMethods).GetMethod("PrintHelloWorld");
+            SyntaxTestsCore.Test_ToSyntaxTree(mi);
+        }
+    }
+}
diff --git a/tests/CilTools.BytecodeAnalysis.Tests/CilTools.BytecodeAnalysis.Tests.csproj b/tests/CilTools.BytecodeAnalysis.Tests/CilTools.BytecodeAnalysis.Tests.csproj
@@ -60,6 +60,7 @@
     <Compile Include="CilGraphTests_Text.cs" />
     <Compile Include="ReflectionTests.cs" />
     <Compile Include="CilGraphNodeTests.cs" />
+    <Compile Include="SyntaxTests.cs" />
   </ItemGroup>
   <ItemGroup>
     <ProjectReference Include="..\..\CilTools.BytecodeAnalysis\CilTools.BytecodeAnalysis.csproj">

diff --git a/tests/CilTools.BytecodeAnalysis.Tests/SyntaxTests.cs b/tests/CilTools.BytecodeAnalysis.Tests/SyntaxTests.cs
@@ -0,0 +1,21 @@
+/* CIL Tools
+ * Copyright (c) 2021,  MSDN.WhiteKnight (https://github.com/MSDN-WhiteKnight) 
+ * License: BSD 2.0 */
+using System;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using CilTools.Tests.Common;
+
+namespace CilTools.BytecodeAnalysis.Tests
+{
+    [TestClass]
+    public class SyntaxTests
+    {
+        [TestMethod]
+        public void Test_ToSyntaxTree()
+        {
+            MethodInfo mi = typeof(SampleMethods).GetMethod("PrintHelloWorld");
+            SyntaxTestsCore.Test_ToSyntaxTree(mi);
+        }
+    }
+}
diff --git a/tests/CilTools.Metadata.Tests/CilTools.Metadata.Tests.csproj b/tests/CilTools.Metadata.Tests/CilTools.Metadata.Tests.csproj
@@ -70,6 +70,7 @@
     <Compile Include="CilReaderTests.cs" />
     <Compile Include="Properties\AssemblyInfo.cs" />
     <Compile Include="ReflectionTests.cs" />
+    <Compile Include="SyntaxTests.cs" />
   </ItemGroup>
   <ItemGroup>
     <None Include="packages.config" />

diff --git a/tests/CilTools.Metadata.Tests/ReflectionTests.cs b/tests/CilTools.Metadata.Tests/ReflectionTests.cs
@@ -162,6 +162,7 @@ public void Test_TypeAttributes()
 
                 //syntax
                 IEnumerable<SyntaxNode> syntax = SyntaxNode.GetTypeDefSyntax(t);
+                AssertThat.IsSyntaxTreeCorrect(syntax);
 
                 StringBuilder sb = new StringBuilder(1000);
                 foreach (SyntaxNode node in syntax) sb.Append(node.ToString());

diff --git a/tests/CilTools.Metadata.Tests/SyntaxTests.cs b/tests/CilTools.Metadata.Tests/SyntaxTests.cs
@@ -0,0 +1,28 @@
+/* CIL Tools
+ * Copyright (c) 2021,  MSDN.WhiteKnight (https://github.com/MSDN-WhiteKnight) 
+ * License: BSD 2.0 */
+using System;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using CilTools.Tests.Common;
+
+namespace CilTools.Metadata.Tests
+{
+    [TestClass]
+    public class SyntaxTests
+    {
+        [TestMethod]
+        public void Test_ToSyntaxTree()
+        {
+            AssemblyReader reader = new AssemblyReader();
+
+            using (reader)
+            {
+                Assembly ass = reader.LoadFrom(typeof(SampleMethods).Assembly.Location);
+                Type t = ass.GetType("CilTools.Tests.Common.SampleMethods");
+                MethodBase mi = t.GetMember("PrintHelloWorld")[0] as MethodBase;
+                SyntaxTestsCore.Test_ToSyntaxTree(mi);
+            }
+        }
+    }
+}
diff --git a/tests/CilTools.Tests.Common/AssertThat.cs b/tests/CilTools.Tests.Common/AssertThat.cs
@@ -1,12 +1,13 @@
 /* CIL Tools
- * Copyright (c) 2020,  MSDN.WhiteKnight (https://github.com/MSDN-WhiteKnight) 
+ * Copyright (c) 2021,  MSDN.WhiteKnight (https://github.com/MSDN-WhiteKnight) 
  * License: BSD 2.0 */
 using System;
 using System.Collections.Generic;
 using System.Linq;
 using System.Text.RegularExpressions;
 using System.Text;
 using CilTools.BytecodeAnalysis;
+using CilTools.Syntax;
 using Microsoft.VisualStudio.TestTools.UnitTesting;
 
 namespace CilTools.Tests.Common
@@ -66,6 +67,38 @@ public static void IsMatch(string s, MatchElement[] match, string message="")
 
             Assert.IsTrue(Regex.IsMatch(s, pattern), message);
         }
+
+        static void IsCorrectRecusive(SyntaxNode node,SyntaxNode parent, int c)
+        {
+            if (c > 100000)
+            {
+                Assert.Fail("Recursion is too deep in AssertThat.IsCorrectRecusive");
+            }
+
+            Assert.IsNotNull(node.Parent, "Parent node should not be null");
+            Assert.AreSame(parent, node.Parent);
+
+            foreach (SyntaxNode child in node.EnumerateChildNodes())
+            {
+                IsCorrectRecusive(child, node, c+1);
+            }
+        }
+
+        public static void IsSyntaxTreeCorrect(SyntaxNode root)
+        {
+            foreach (SyntaxNode child in root.EnumerateChildNodes())
+            {
+                IsCorrectRecusive(child,root, 0);
+            }
+        }
+
+        public static void IsSyntaxTreeCorrect(IEnumerable<SyntaxNode> nodes)
+        {
+            foreach (SyntaxNode node in nodes)
+            {
+                IsSyntaxTreeCorrect(node);
+            }
+        }
     }
 
     public abstract class MatchElement

diff --git a/tests/CilTools.Tests.Common/CilGraphTestsCore.cs b/tests/CilTools.Tests.Common/CilGraphTestsCore.cs
@@ -213,6 +213,7 @@ public static void Test_CilGraph_Pointer(MethodBase mi)
 
             //syntax
             MethodDefSyntax mds = graph.ToSyntaxTree();
+            AssertThat.IsSyntaxTreeCorrect(mds);
             SyntaxNode[] chilren = mds.Body.GetChildNodes();
 
             AssertThat.HasOnlyOneMatch(
@@ -362,6 +363,7 @@ ldarga.s     x
 
             //syntax
             MethodDefSyntax mds = graph.ToSyntaxTree();
+            AssertThat.IsSyntaxTreeCorrect(mds);
             SyntaxNode[] chilren = mds.Body.GetChildNodes();
 
             AssertThat.HasOnlyOneMatch(

diff --git a/tests/CilTools.Tests.Common/SyntaxTestsCore.cs b/tests/CilTools.Tests.Common/SyntaxTestsCore.cs
@@ -0,0 +1,45 @@
+/* CIL Tools
+ * Copyright (c) 2021,  MSDN.WhiteKnight (https://github.com/MSDN-WhiteKnight) 
+ * License: BSD 2.0 */
+using System;
+using System.Reflection;
+using CilTools.BytecodeAnalysis;
+using CilTools.Reflection;
+using CilTools.Syntax;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+
+namespace CilTools.Tests.Common
+{
+    public static class SyntaxTestsCore
+    {
+        public static void Test_ToSyntaxTree(MethodBase mi)
+        {
+            CilGraph graph = CilGraph.Create(mi);
+            MethodDefSyntax mds = graph.ToSyntaxTree();
+            AssertThat.IsSyntaxTreeCorrect(mds);
+            Assert.AreEqual("method", mds.Signature.Name);
+
+            AssertThat.HasOnlyOneMatch(
+                mds.Signature.EnumerateChildNodes(),
+                (x) => { return x is KeywordSyntax && (x as KeywordSyntax).Content == "public"; },
+                "Method signature should contain 'public' keyword"
+                );
+
+            AssertThat.HasOnlyOneMatch(
+                mds.Signature.EnumerateChildNodes(),
+                (x) => { 
+                    return x is IdentifierSyntax && (x as IdentifierSyntax).Content == "PrintHelloWorld"; 
+                },
+                "Method signature should contain mathod name identifier"
+                );
+
+            AssertThat.HasOnlyOneMatch(
+                mds.Body.Content,
+                (x) => {
+                    return x is InstructionSyntax && (x as InstructionSyntax).Operation == "ldstr";
+                },
+                "Method body should contain 'ldstr' instruction"
+                );
+        }
+    }
+}