diff options
-rw-r--r-- | BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt | 16 | ||||
-rw-r--r-- | BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt | 16 |
2 files changed, 20 insertions, 12 deletions
diff --git a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt index e4fd8eae..2136ef03 100644 --- a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt +++ b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt @@ -314,9 +314,9 @@ implementation System.String.op_Inequality$System.String$System.String(a$in: Ref -function isControlEnabled(Ref) : bool;
+var isControlEnabled: [Ref]bool;
-function isControlChecked(Ref) : bool;
+var isControlChecked: [Ref]bool;
procedure System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Ref, value$in: bool);
@@ -324,7 +324,7 @@ procedure System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Re implementation System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Ref, value$in: bool)
{
- assume isControlEnabled($this) == value$in;
+ isControlEnabled[$this] := value$in;
}
@@ -337,7 +337,7 @@ implementation System.Windows.Controls.Control.get_IsEnabled($this: Ref) returns {
var enabledness: bool;
- enabledness := isControlEnabled($this);
+ enabledness := isControlEnabled[$this];
$result := Box2Ref(Bool2Box(enabledness));
}
@@ -352,7 +352,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.set_IsChecked$Sys var check: bool;
check := Box2Bool(Ref2Box(value$in));
- assume isControlChecked($this) == check;
+ isControlChecked[$this] := check;
}
@@ -365,7 +365,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.get_IsChecked($th {
var isChecked: bool;
- isChecked := isControlChecked($this);
+ isChecked := isControlChecked[$this];
$result := Box2Ref(Bool2Box(isChecked));
}
@@ -454,6 +454,10 @@ function BitwiseExclusiveOr(int, int) : int; function BitwiseNegation(int) : int;
+function RightShift(int) : int;
+
+function LeftShift(int) : int;
+
function $DynamicType(Ref) : Type;
function $TypeOf(Type) : Ref;
diff --git a/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt b/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt index 8d329f79..baf65b27 100644 --- a/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt +++ b/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt @@ -312,9 +312,9 @@ implementation System.String.op_Inequality$System.String$System.String(a$in: Ref -function isControlEnabled(Ref) : bool;
+var isControlEnabled: [Ref]bool;
-function isControlChecked(Ref) : bool;
+var isControlChecked: [Ref]bool;
procedure System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Ref, value$in: bool);
@@ -322,7 +322,7 @@ procedure System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Re implementation System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Ref, value$in: bool)
{
- assume isControlEnabled($this) == value$in;
+ isControlEnabled[$this] := value$in;
}
@@ -335,7 +335,7 @@ implementation System.Windows.Controls.Control.get_IsEnabled($this: Ref) returns {
var enabledness: bool;
- enabledness := isControlEnabled($this);
+ enabledness := isControlEnabled[$this];
$result := Box2Ref(Bool2Box(enabledness));
}
@@ -350,7 +350,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.set_IsChecked$Sys var check: bool;
check := Box2Bool(Ref2Box(value$in));
- assume isControlChecked($this) == check;
+ isControlChecked[$this] := check;
}
@@ -363,7 +363,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.get_IsChecked($th {
var isChecked: bool;
- isChecked := isControlChecked($this);
+ isChecked := isControlChecked[$this];
$result := Box2Ref(Bool2Box(isChecked));
}
@@ -440,6 +440,10 @@ function BitwiseExclusiveOr(int, int) : int; function BitwiseNegation(int) : int;
+function RightShift(int) : int;
+
+function LeftShift(int) : int;
+
function $DynamicType(Ref) : Type;
function $TypeOf(Type) : Ref;
|