summaryrefslogtreecommitdiff
path: root/Source/Dafny/DafnyAst.cs
diff options
context:
space:
mode:
authorGravatar rustanleino <unknown>2010-10-27 01:06:32 +0000
committerGravatar rustanleino <unknown>2010-10-27 01:06:32 +0000
commite2e52528b7232ff95c2bbecd73e35207fd38e121 (patch)
tree196b7632f915461be7b7f7baea426a951120e592 /Source/Dafny/DafnyAst.cs
parentcd2643c9f8b6069771e0e9ab5ff9f33f975ae4f8 (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.cs2
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;