diff options
Diffstat (limited to 'Source/Core')
| -rw-r--r-- | Source/Core/AbsyCmd.ssc | 10 | ||||
| -rw-r--r-- | Source/Core/StandardVisitor.ssc | 5 |
2 files changed, 13 insertions, 2 deletions
diff --git a/Source/Core/AbsyCmd.ssc b/Source/Core/AbsyCmd.ssc index de40c2e8..723b40e3 100644 --- a/Source/Core/AbsyCmd.ssc +++ b/Source/Core/AbsyCmd.ssc @@ -2022,11 +2022,17 @@ namespace Microsoft.Boogie public override void Emit(TokenTextWriter! stream, int level)
{
stream.Write(this, level, "assert ");
- if (this.Attributes != null)
- this.Attributes.Emit(stream);
+ EmitAttributes(stream);
this.Expr.Emit(stream);
stream.WriteLine(";");
}
+ protected void EmitAttributes(TokenTextWriter! stream)
+ {
+ for (QKeyValue kv = this.Attributes; kv != null; kv = kv.Next) {
+ kv.Emit(stream);
+ stream.Write(" ");
+ }
+ }
public override void Typecheck(TypecheckingContext! tc)
{
Expr.Typecheck(tc);
diff --git a/Source/Core/StandardVisitor.ssc b/Source/Core/StandardVisitor.ssc index 192ed7a4..a44290e8 100644 --- a/Source/Core/StandardVisitor.ssc +++ b/Source/Core/StandardVisitor.ssc @@ -269,6 +269,11 @@ namespace Microsoft.Boogie node = (GlobalVariable) this.VisitVariable(node);
return node;
}
+ public virtual SimpleVariable! VisitSimpleVariable(SimpleVariable! node)
+ {
+ node = (SimpleVariable) this.VisitSimpleVariable(node);
+ return node;
+ }
public virtual GotoCmd! VisitGotoCmd(GotoCmd! node)
{
node.labelTargets = this.VisitBlockSeq((!)node.labelTargets);
|