diff options
author | 2010-10-27 01:06:32 +0000 | |
---|---|---|
committer | 2010-10-27 01:06:32 +0000 | |
commit | e2e52528b7232ff95c2bbecd73e35207fd38e121 (patch) | |
tree | 196b7632f915461be7b7f7baea426a951120e592 /Source/Dafny/DafnyAst.cs | |
parent | cd2643c9f8b6069771e0e9ab5ff9f33f975ae4f8 (diff) |
Dafny: Record source positions of start/end curly braces for declaration constructs.
Dafny VS2010 extension: link with Dafny and use it to parse and type check
Diffstat (limited to 'Source/Dafny/DafnyAst.cs')
-rw-r--r-- | Source/Dafny/DafnyAst.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs index 27f5e3a5..f83dd67a 100644 --- a/Source/Dafny/DafnyAst.cs +++ b/Source/Dafny/DafnyAst.cs @@ -505,6 +505,8 @@ namespace Microsoft.Dafny { }
public IToken/*!*/ tok;
+ public IToken BodyStartTok = Token.NoToken;
+ public IToken BodyEndTok = Token.NoToken;
public readonly string/*!*/ Name;
public readonly Attributes Attributes;
|