diff options
| author |  qadeer <unknown> | 2010-08-27 05:05:47 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-08-27 05:05:47 +0000 |
| commit | c60b6a80965afe086396557c8090efac6bac94f3 (patch) | |
| tree | ee880101444dab9175b1d15bb234afb686c46deb | |
| parent | 0faac5618039d3617b676c24e9465f712072adf3 (diff) | |
minor error
| -rw-r--r-- | Source/VCExpr/VCExprASTPrinter.cs | 36 |
1 files changed, 23 insertions, 13 deletions
diff --git a/Source/VCExpr/VCExprASTPrinter.cs b/Source/VCExpr/VCExprASTPrinter.cs index 5e310c1c..c79c08db 100644 --- a/Source/VCExpr/VCExprASTPrinter.cs +++ b/Source/VCExpr/VCExprASTPrinter.cs @@ -32,20 +32,30 @@ Contract.Requires(expr != null); expr.Accept<bool, TextWriter/*!*/>(this, wr);
}
- public bool Visit(VCExprLiteral node, TextWriter wr){
-Contract.Requires(wr != null);
-Contract.Requires(node != null);
- if (node == VCExpressionGenerator.True)
- wr.Write("true");
- else if (node == VCExpressionGenerator.False)
- wr.Write("false");
- else if (node is VCExprIntLit) {
- wr.Write(((VCExprIntLit)node).Val);
- } else
- Contract.Assert(false); throw new cce.UnreachableException();
- return true;
+ public bool Visit(VCExprLiteral node, TextWriter wr)
+ {
+ Contract.Requires(wr != null);
+ Contract.Requires(node != null);
+ if (node == VCExpressionGenerator.True)
+ {
+ wr.Write("true");
+ }
+ else if (node == VCExpressionGenerator.False)
+ {
+ wr.Write("false");
+ }
+ else if (node is VCExprIntLit)
+ {
+ wr.Write(((VCExprIntLit)node).Val);
+ }
+ else
+ {
+ Contract.Assert(false); throw new cce.UnreachableException();
+ }
+ return true;
}
- public bool Visit(VCExprNAry node, TextWriter wr){
+ public bool Visit(VCExprNAry node, TextWriter wr)
+ {
Contract.Requires(wr != null);
Contract.Requires(node != null);
VCExprOp/*!*/ op = node.Op;
|