Merge pull request #7 from DafnyVSCode/improvement/test-namespace

Move the tests into the Microsoft.Dafny.LanguageServer namespace.
dafny-lang · Nov 6, 2020 · caa7bfb · caa7bfb
2 parents de46c5f + 41ddefa
commit caa7bfb
Show file tree

Hide file tree

Showing 11 changed files with 18 additions and 17 deletions.
diff --git a/Source/DafnyLS.IntegrationTest/DafnyLS.IntegrationTest.csproj b/Source/DafnyLS.IntegrationTest/DafnyLS.IntegrationTest.csproj
@@ -3,6 +3,7 @@
  <PropertyGroup>
  <TargetFramework>netcoreapp3.1</TargetFramework>
  <IsPackable>false</IsPackable>
+ <RootNamespace>Microsoft.Dafny.LanguageServer.IntegrationTest</RootNamespace>
  </PropertyGroup>
 
  <ItemGroup>

diff --git a/Source/DafnyLS.IntegrationTest/DafnyLanguageServerTestBase.cs b/Source/DafnyLS.IntegrationTest/DafnyLanguageServerTestBase.cs
@@ -12,7 +12,7 @@
 using System.IO;
 using System.IO.Pipelines;
 
-namespace DafnyLS.IntegrationTest {
+namespace Microsoft.Dafny.LanguageServer.IntegrationTest {
  public class DafnyLanguageServerTestBase : LanguageServerTestBase {
  public const string LanguageId = "dafny";
 

diff --git a/Source/DafnyLS.IntegrationTest/Extensions/LanguageClientExtensions.cs b/Source/DafnyLS.IntegrationTest/Extensions/LanguageClientExtensions.cs
@@ -5,7 +5,7 @@
 using System.Threading;
 using System.Threading.Tasks;
 
-namespace DafnyLS.IntegrationTest.Extensions {
+namespace Microsoft.Dafny.LanguageServer.IntegrationTest.Extensions {
  /// <summary>
  /// Extension methods for simplified interaction with the language client.
  /// </summary>

diff --git a/Source/DafnyLS.IntegrationTest/Synchronization/DeclarationLocationMigrationTest.cs b/Source/DafnyLS.IntegrationTest/Synchronization/DeclarationLocationMigrationTest.cs
@@ -1,4 +1,4 @@
-using DafnyLS.IntegrationTest.Extensions;
+using Microsoft.Dafny.LanguageServer.IntegrationTest.Extensions;
 using Microsoft.Dafny.LanguageServer;
 using Microsoft.Dafny.LanguageServer.Language;
 using Microsoft.Dafny.LanguageServer.Language.Symbols;
@@ -7,7 +7,7 @@
 using System.Linq;
 using System.Threading.Tasks;
 
-namespace DafnyLS.IntegrationTest.Synchronization {
+namespace Microsoft.Dafny.LanguageServer.IntegrationTest.Synchronization {
  [TestClass]
  public class DeclarationLocationMigrationTest : SynchronizationTestBase {
  // The assertion Assert.IsFalse(document.SymbolTable.Resolved) is used to ensure that

diff --git a/Source/DafnyLS.IntegrationTest/Synchronization/LookupMigrationTest.cs b/Source/DafnyLS.IntegrationTest/Synchronization/LookupMigrationTest.cs
@@ -1,9 +1,9 @@
-using DafnyLS.IntegrationTest.Extensions;
+using Microsoft.Dafny.LanguageServer.IntegrationTest.Extensions;
 using Microsoft.VisualStudio.TestTools.UnitTesting;
 using OmniSharp.Extensions.LanguageServer.Protocol.Models;
 using System.Threading.Tasks;
 
-namespace DafnyLS.IntegrationTest.Synchronization {
+namespace Microsoft.Dafny.LanguageServer.IntegrationTest.Synchronization {
  [TestClass]
  public class LookupMigrationTest : SynchronizationTestBase {
  // The assertion Assert.IsFalse(document.SymbolTable.Resolved) is used to ensure that

diff --git a/Source/DafnyLS.IntegrationTest/Synchronization/OpenDocumentTest.cs b/Source/DafnyLS.IntegrationTest/Synchronization/OpenDocumentTest.cs
@@ -1,10 +1,10 @@
-using DafnyLS.IntegrationTest.Extensions;
+using Microsoft.Dafny.LanguageServer.IntegrationTest.Extensions;
 using Microsoft.Dafny;
 using Microsoft.VisualStudio.TestTools.UnitTesting;
 using OmniSharp.Extensions.LanguageServer.Protocol.Client;
 using System.Threading.Tasks;
 
-namespace DafnyLS.IntegrationTest {
+namespace Microsoft.Dafny.LanguageServer.IntegrationTest {
  [TestClass]
  public class OpenDocumentTest : DafnyLanguageServerTestBase {
  private ILanguageClient _client;

diff --git a/Source/DafnyLS.IntegrationTest/Synchronization/SymbolMigrationTest.cs b/Source/DafnyLS.IntegrationTest/Synchronization/SymbolMigrationTest.cs
@@ -1,11 +1,11 @@
-using DafnyLS.IntegrationTest.Extensions;
+using Microsoft.Dafny.LanguageServer.IntegrationTest.Extensions;
 using Microsoft.Dafny.LanguageServer.Language.Symbols;
 using Microsoft.VisualStudio.TestTools.UnitTesting;
 using OmniSharp.Extensions.LanguageServer.Protocol.Models;
 using System.Linq;
 using System.Threading.Tasks;
 
-namespace DafnyLS.IntegrationTest.Synchronization {
+namespace Microsoft.Dafny.LanguageServer.IntegrationTest.Synchronization {
  [TestClass]
  public class SymbolMigrationTest : SynchronizationTestBase {
  [TestMethod]

diff --git a/Source/DafnyLS.IntegrationTest/Synchronization/SynchronizationTestBase.cs b/Source/DafnyLS.IntegrationTest/Synchronization/SynchronizationTestBase.cs
@@ -1,11 +1,11 @@
-using DafnyLS.IntegrationTest.Extensions;
+using Microsoft.Dafny.LanguageServer.IntegrationTest.Extensions;
 using Microsoft.VisualStudio.TestTools.UnitTesting;
 using OmniSharp.Extensions.LanguageServer.Protocol.Client;
 using OmniSharp.Extensions.LanguageServer.Protocol.Document;
 using OmniSharp.Extensions.LanguageServer.Protocol.Models;
 using System.Threading.Tasks;
 
-namespace DafnyLS.IntegrationTest.Synchronization {
+namespace Microsoft.Dafny.LanguageServer.IntegrationTest.Synchronization {
  public class SynchronizationTestBase : DafnyLanguageServerTestBase {
  protected ILanguageClient Client { get; private set; }
 

diff --git a/Source/DafnyLS.IntegrationTest/Synchronization/TextInsertionTest.cs b/Source/DafnyLS.IntegrationTest/Synchronization/TextInsertionTest.cs
@@ -1,9 +1,9 @@
-using DafnyLS.IntegrationTest.Extensions;
+using Microsoft.Dafny.LanguageServer.IntegrationTest.Extensions;
 using Microsoft.VisualStudio.TestTools.UnitTesting;
 using OmniSharp.Extensions.LanguageServer.Protocol.Models;
 using System.Threading.Tasks;
 
-namespace DafnyLS.IntegrationTest.Synchronization {
+namespace Microsoft.Dafny.LanguageServer.IntegrationTest.Synchronization {
  [TestClass]
  public class TextInsertionTest : SynchronizationTestBase {
  [TestMethod]

diff --git a/Source/DafnyLS.IntegrationTest/Synchronization/TextReplacementTest.cs b/Source/DafnyLS.IntegrationTest/Synchronization/TextReplacementTest.cs
@@ -1,9 +1,9 @@
-using DafnyLS.IntegrationTest.Extensions;
+using Microsoft.Dafny.LanguageServer.IntegrationTest.Extensions;
 using Microsoft.VisualStudio.TestTools.UnitTesting;
 using OmniSharp.Extensions.LanguageServer.Protocol.Models;
 using System.Threading.Tasks;
 
-namespace DafnyLS.IntegrationTest.Synchronization {
+namespace Microsoft.Dafny.LanguageServer.IntegrationTest.Synchronization {
  [TestClass]
  public class TextReplacementTest : SynchronizationTestBase {
  [TestMethod]

diff --git a/Source/DafnyLS.IntegrationTest/TestLogger.cs b/Source/DafnyLS.IntegrationTest/TestLogger.cs
@@ -1,6 +1,6 @@
 using Microsoft.Extensions.Logging;
 
-namespace DafnyLS.IntegrationTest {
+namespace Microsoft.Dafny.LanguageServer.IntegrationTest {
  /// <summary>
  /// Utility collection to simplify the test implementation.
  /// </summary>