diff options
Diffstat (limited to 'Source/Core/Scanner.cs')
| -rw-r--r-- | Source/Core/Scanner.cs | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/Source/Core/Scanner.cs b/Source/Core/Scanner.cs index c6b15cc5..b23a46a4 100644 --- a/Source/Core/Scanner.cs +++ b/Source/Core/Scanner.cs @@ -229,16 +229,16 @@ public class Scanner { private Buffer/*!*/ _buffer; // scanner buffer
- public Buffer/*!*/ buffer {
- get {
- Contract.Ensures(Contract.Result<Buffer>() != null);
- return this._buffer;
- }
- set {
- Contract.Requires(value != null);
- this._buffer = value;
- }
- }
+ public Buffer/*!*/ buffer {
+ get {
+ Contract.Ensures(Contract.Result<Buffer>() != null);
+ return this._buffer;
+ }
+ set {
+ Contract.Requires(value != null);
+ this._buffer = value;
+ }
+ }
Token/*!*/ t; // current token
int ch; // current input character
@@ -330,7 +330,7 @@ public class Scanner { Contract.Requires(fileName != null);
pt = tokens = new Token(); // first token is a dummy
t = new Token(); // dummy because t is a non-null field
- this._buffer = new Buffer(s, true);
+ this._buffer = new Buffer(s, true);
this.errorHandler = errorHandler;
this.Filename = useBaseName? GetBaseName(fileName) : fileName;
Init();
|