From d099710a2b011ac32dbd09fbf5e92a478ae39928 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Fri, 8 Oct 2010 16:11:17 +0000
Subject: [PATCH]
---
src/purescala/Extensions.scala | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/src/purescala/Extensions.scala b/src/purescala/Extensions.scala
index 99c0cf8b8..791e0e7d4 100644
--- a/src/purescala/Extensions.scala
+++ b/src/purescala/Extensions.scala
@@ -29,6 +29,11 @@ object Extensions {
def analyse(program: Program) : Unit
}
+ abstract class Tactic(reporter: Reporter) extends Extension(reporter) {
+ def generatePostconditions(function: FunDef) : Seq[Expr]
+ def generatePreconditions(function: FunDef) : Seq[Expr]
+ }
+
// The rest of the code is for dynamically loading extensions
private var allLoaded : Seq[Extension] = Nil
--
GitLab