From 0831d796dd48062104f140cbcffd49f189c7ec37 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Tue, 15 Sep 2015 13:05:30 +0200
Subject: [PATCH] Remove dead code
---
.../scala/leon/codegen/CodeGenPhase.scala | 24 -------------------
.../leon/codegen/CompilationResult.scala | 8 -------
2 files changed, 32 deletions(-)
delete mode 100644 src/main/scala/leon/codegen/CodeGenPhase.scala
delete mode 100644 src/main/scala/leon/codegen/CompilationResult.scala
diff --git a/src/main/scala/leon/codegen/CodeGenPhase.scala b/src/main/scala/leon/codegen/CodeGenPhase.scala
deleted file mode 100644
index d76e79a83..000000000
--- a/src/main/scala/leon/codegen/CodeGenPhase.scala
+++ /dev/null
@@ -1,24 +0,0 @@
-/* Copyright 2009-2015 EPFL, Lausanne */
-
-package leon
-package codegen
-
-import scala.util.control.NonFatal
-
-import purescala.Definitions._
-
-object CodeGenPhase extends LeonPhase[Program,CompilationResult] {
- val name = "CodeGen"
- val description = "Compiles a Leon program into Java methods"
-
- def run(ctx : LeonContext)(p : Program) : CompilationResult = {
- try {
- val unit = new CompilationUnit(ctx, p)
- unit.writeClassFiles("./")
- CompilationResult(successful = true)
- } catch {
- case NonFatal(e) => CompilationResult(successful = false)
- }
-
- }
-}
diff --git a/src/main/scala/leon/codegen/CompilationResult.scala b/src/main/scala/leon/codegen/CompilationResult.scala
deleted file mode 100644
index e8a99e5d9..000000000
--- a/src/main/scala/leon/codegen/CompilationResult.scala
+++ /dev/null
@@ -1,8 +0,0 @@
-/* Copyright 2009-2015 EPFL, Lausanne */
-
-package leon
-package codegen
-
-case class CompilationResult(
- successful : Boolean = false
-)
--
GitLab