diff options
Diffstat (limited to 'Source/Dafny/DafnyAst.ssc')
| -rw-r--r-- | Source/Dafny/DafnyAst.ssc | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Source/Dafny/DafnyAst.ssc b/Source/Dafny/DafnyAst.ssc index 4b97edbd..f50ded86 100644 --- a/Source/Dafny/DafnyAst.ssc +++ b/Source/Dafny/DafnyAst.ssc @@ -871,6 +871,20 @@ namespace Microsoft.Dafny }
}
+ public class SeqUpdateExpr : Expression {
+ public readonly Expression! Seq;
+ public readonly Expression! Index;
+ public readonly Expression! Value;
+
+ public SeqUpdateExpr(Token! tok, Expression! seq, Expression! index, Expression! val)
+ {
+ Seq = seq;
+ Index = index;
+ Value = val;
+ base(tok);
+ }
+ }
+
public class FunctionCallExpr : Expression {
public readonly string! Name;
[Peer] public readonly Expression! Receiver;
|