diff options
| author |  stefanheule <unknown> | 2012-02-25 03:13:05 -0800 |
|---|---|---|
| committer | stefanheule <unknown> | 2012-02-25 03:13:05 -0800 |
| commit | 307f7b2d5e0ab579baa520b9ff71ff0ea68c2543 (patch) | |
| tree | c143f2b49ae9e082362100270f1b706b1b4e294f /Chalice/src/main/scala | |
| parent | 95a0a2ad4c055bbb91497a3128c8f86c86cf26c0 (diff) | |
Chalice: add classes to track predicate information
Diffstat (limited to 'Chalice/src/main/scala')
| -rw-r--r-- | Chalice/src/main/scala/Translator.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Chalice/src/main/scala/Translator.scala b/Chalice/src/main/scala/Translator.scala index be672a2f..efd704c7 100644 --- a/Chalice/src/main/scala/Translator.scala +++ b/Chalice/src/main/scala/Translator.scala @@ -1404,6 +1404,9 @@ class Translator { ***************** EXPRESSIONS *****************
**********************************************************************/
+case class FoldedPredicate(predicate: String, receiver: Expr, version: Expr, conditions: Set[(VarExpr,Boolean)])
+case class FoldedPredicatesInformation(foldedPredicates: List[FoldedPredicate])
+
object ExpressionTranslator {
val Globals = {
(HeapName, theap) ::
|