Changed calls to Debug.Assert to Contract.Assert.

Suppress source contexts for empty statements.
Added a "whole program" option. When that is specified, then virtual calls are translated into a series of if-statements that test the dynamic type of the receiver and call the appropriate method. This is done only for subtypes that are defined in the CUA (Code Under Analysis -- which currently consists of just the one assembly being translated). [Note: currently the dynamic type is not implemented. That is next.]

1 files changed, 2 insertions, 1 deletions

diff --git a/BCT/RegressionTests/TranslationTest/TwoDIntHeapInput.txt b/BCT/RegressionTests/TranslationTest/TwoDIntHeapInput.txt
index 1fa0bd18..56e19305 100644
--- a/BCT/RegressionTests/TranslationTest/TwoDIntHeapInput.txt
+++ b/BCT/RegressionTests/TranslationTest/TwoDIntHeapInput.txt
@@ -77,6 +77,7 @@ implementation RegressionTestInput.ClassWithBoolTypes.#ctor$System.Boolean(this:
     assert {:sourceFile "Class1.cs"} {:sourceLine 72} true;

     assert {:sourceFile "Class1.cs"} {:sourceLine 73} true;

     $Heap[this, RegressionTestInput.ClassWithBoolTypes.b] := z;

+    assert {:sourceFile "Class1.cs"} {:sourceLine 74} true;

     if (z)

     {

         assert {:sourceFile "Class1.cs"} {:sourceLine 74} true;

@@ -421,7 +422,7 @@ procedure RegressionTestInput.Class0.MethodThatRepresentsAnAynchronousMethod$Sys
 

 

 

-implementation RegressionTestInput.Class0.MethodThatRepresentsAnAynchronousMethod$System.Int32(this: int, x$in: int) returns ($result: int)

+implementation {:RegressionTestInput.Async} RegressionTestInput.Class0.MethodThatRepresentsAnAynchronousMethod$System.Int32(this: int, x$in: int) returns ($result: int)

 {

   var x: int;

   var local_0: int;