diff options
author | 2012-02-25 03:14:22 -0800 | |
---|---|---|
committer | 2012-02-25 03:14:22 -0800 | |
commit | 9fab0cf955db318038e2230fa2325caec3174caa (patch) | |
tree | bede7503e08adf86ff9150de152a3ffbe2b64f1b /Chalice/src/main/scala/Ast.scala | |
parent | 3126a9e64e25b441c9cab4128a7031bdcb229e84 (diff) |
Chalice: begging of a method UpdateSecMask that decrements (recursively) the secondary mask
Diffstat (limited to 'Chalice/src/main/scala/Ast.scala')
-rw-r--r-- | Chalice/src/main/scala/Ast.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Chalice/src/main/scala/Ast.scala b/Chalice/src/main/scala/Ast.scala index ffb109d5..524bbf60 100644 --- a/Chalice/src/main/scala/Ast.scala +++ b/Chalice/src/main/scala/Ast.scala @@ -208,6 +208,9 @@ case class Variable(id: String, t: Type, isGhost: Boolean, isImmutable: Boolean) def this(name: String, typ: Type) = this(name,typ,false,false);
override def toString = (if (isGhost) "ghost " else "") + (if (isImmutable) "const " else "var ") + id;
}
+case class BoogieExpr(expr: Boogie.Expr) extends ASTNode {
+ override def toString = "BoogieExpr("+expr+")"
+}
object S_Variable { var VariableCount = 0 }
case class SpecialVariable(name: String, typ: Type) extends Variable(name, typ, false, false) {
override val UniqueName = name
|