diff options
author | Mike Barnett <mbarnett@microsoft.com> | 2011-08-11 16:00:49 -0700 |
---|---|---|
committer | Mike Barnett <mbarnett@microsoft.com> | 2011-08-11 16:00:49 -0700 |
commit | 35b22d232b3d2535187ae465255184dcee8ac4d4 (patch) | |
tree | 973d2aae9eb114b9af7681a97d819b17221838d9 /BCT/RegressionTests/TranslationTest | |
parent | 01ed3c611cae8adc42d689929d6b5b258f5dfcb3 (diff) |
Fixed problem where events in stubs were generating duplicate declarations.
Diffstat (limited to 'BCT/RegressionTests/TranslationTest')
-rw-r--r-- | BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt | 8 | ||||
-rw-r--r-- | BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt | 8 |
2 files changed, 8 insertions, 8 deletions
diff --git a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt index 0ea68d94..2872a22f 100644 --- a/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt +++ b/BCT/RegressionTests/TranslationTest/GeneralHeapInput.txt @@ -324,7 +324,7 @@ procedure {:inline 1} System.Windows.Controls.Control.set_IsEnabled$System.Boole implementation System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Ref, value$in: bool)
{
- $Exception:=null;
+ $Exception := null;
isControlEnabled[$this] := value$in;
}
@@ -338,7 +338,7 @@ implementation System.Windows.Controls.Control.get_IsEnabled($this: Ref) returns {
var enabledness: bool;
- $Exception:=null;
+ $Exception := null;
enabledness := isControlEnabled[$this];
$result := Box2Ref(Bool2Box(enabledness));
}
@@ -353,7 +353,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.set_IsChecked$Sys {
var check: bool;
- $Exception:=null;
+ $Exception := null;
check := Box2Bool(Ref2Box(value$in));
isControlChecked[$this] := check;
}
@@ -368,7 +368,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.get_IsChecked($th {
var isChecked: bool;
- $Exception:=null;
+ $Exception := null;
isChecked := isControlChecked[$this];
$result := Box2Ref(Bool2Box(isChecked));
}
diff --git a/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt b/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt index 6c7ba975..074e2ef9 100644 --- a/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt +++ b/BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt @@ -322,7 +322,7 @@ procedure {:inline 1} System.Windows.Controls.Control.set_IsEnabled$System.Boole implementation System.Windows.Controls.Control.set_IsEnabled$System.Boolean($this: Ref, value$in: bool)
{
- $Exception:=null;
+ $Exception := null;
isControlEnabled[$this] := value$in;
}
@@ -336,7 +336,7 @@ implementation System.Windows.Controls.Control.get_IsEnabled($this: Ref) returns {
var enabledness: bool;
- $Exception:=null;
+ $Exception := null;
enabledness := isControlEnabled[$this];
$result := Box2Ref(Bool2Box(enabledness));
}
@@ -351,7 +351,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.set_IsChecked$Sys {
var check: bool;
- $Exception:=null;
+ $Exception := null;
check := Box2Bool(Ref2Box(value$in));
isControlChecked[$this] := check;
}
@@ -366,7 +366,7 @@ implementation System.Windows.Controls.Primitives.ToggleButton.get_IsChecked($th {
var isChecked: bool;
- $Exception:=null;
+ $Exception := null;
isChecked := isControlChecked[$this];
$result := Box2Ref(Bool2Box(isChecked));
}
|