diff options
author | rustanleino <unknown> | 2010-05-12 01:00:42 +0000 |
---|---|---|
committer | rustanleino <unknown> | 2010-05-12 01:00:42 +0000 |
commit | 33a5c553fab275428437c0439667fc09d2f89dce (patch) | |
tree | 531ad9f246c4996e71371f925a11570e417915c9 /Source/Core/Util.ssc | |
parent | e5fcbeda373f505f4ebfd29cafe776d9ec7b8db5 (diff) |
BCT: Added prelude. Started test1 as a test of verification.
Diffstat (limited to 'Source/Core/Util.ssc')
-rw-r--r-- | Source/Core/Util.ssc | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Source/Core/Util.ssc b/Source/Core/Util.ssc index e90358ac..87323eb5 100644 --- a/Source/Core/Util.ssc +++ b/Source/Core/Util.ssc @@ -200,6 +200,21 @@ namespace Microsoft.Boogie this.col = 0;
}
+ public void WriteText(string! text) {
+ int processed = 0;
+ while (true) {
+ int n = text.IndexOf('\n', processed);
+ if (n == -1) {
+ this.writer.Write(text);
+ this.col += text.Length - processed;
+ return;
+ }
+ processed = n + 1;
+ this.line++;
+ this.col = 0;
+ }
+ }
+
public void WriteLine(string! text, params object[] args)
{
this.WriteLine(string.Format(text, args));
|