diff options
| author |  Unknown <t-espave@A3479886.redmond.corp.microsoft.com> | 2011-07-20 15:39:28 -0700 |
|---|---|---|
| committer | Unknown <t-espave@A3479886.redmond.corp.microsoft.com> | 2011-07-20 15:39:28 -0700 |
| commit | f728aa881caee16eaf6b5d25262578d64059f7f2 (patch) | |
| tree | e285bd6745643945eddd0dbeba8b896a79716726 /BCT/PhoneControlsExtractor | |
| parent | 912748bde10f4a9db6af6771a6d6861166d49006 (diff) | |
setting $Exception explicitly to null in phone translation
Diffstat (limited to 'BCT/PhoneControlsExtractor')
| -rw-r--r-- | BCT/PhoneControlsExtractor/PhoneBoogieCodeGenerator.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/BCT/PhoneControlsExtractor/PhoneBoogieCodeGenerator.py b/BCT/PhoneControlsExtractor/PhoneBoogieCodeGenerator.py index c9a63c92..5c9da941 100644 --- a/BCT/PhoneControlsExtractor/PhoneBoogieCodeGenerator.py +++ b/BCT/PhoneControlsExtractor/PhoneBoogieCodeGenerator.py @@ -56,6 +56,7 @@ def outputMainProcedure(file): file.write("\tvar $isEnabled: bool;\n")
file.write("\tvar $control: Ref;\n\n")
+ file.write("\t$Exception := null;\n")
for i in range(0,len(boogiePageVars)):
file.write("\tcall " + boogiePageClasses[i] + ".#ctor(" + boogiePageVars[i] + ");\n")
|