From 690ff971e627e91bdcde851326b919d9f244b0da Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Wed, 1 Jun 2011 15:39:58 +0000
Subject: [PATCH] for convenience, because I kept assuming these methods
existed
---
src/purescala/Definitions.scala | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/src/purescala/Definitions.scala b/src/purescala/Definitions.scala
index 5ebcd9eb8..5aa535395 100644
--- a/src/purescala/Definitions.scala
+++ b/src/purescala/Definitions.scala
@@ -287,6 +287,11 @@ object Definitions {
def hasPrecondition : Boolean = precondition.isDefined
def hasPostcondition : Boolean = postcondition.isDefined
+ def getImplementation : Expr = body.get
+ def getBody : Expr = body.get
+ def getPrecondition : Expr = precondition.get
+ def getPostcondition : Expr = postcondition.get
+
def allIdentifiers : Set[Identifier] = {
args.map(_.id).toSet ++
body.map(Trees.allIdentifiers(_)).getOrElse(Set[Identifier]()) ++
--
GitLab