From 8a0491436b163d5cc25edfac209a869770fce030 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 9 Jul 2015 15:15:40 +0200
Subject: [PATCH] XLangAnalysisPhase -> XLangDesugaringPhase
---
src/main/scala/leon/Main.scala | 6 +++---
...gAnalysisPhase.scala => XLangDesugaringPhase.scala} | 2 +-
.../test/verification/XLangVerificationSuite.scala | 10 +++++-----
3 files changed, 9 insertions(+), 9 deletions(-)
rename src/main/scala/leon/xlang/{XLangAnalysisPhase.scala => XLangDesugaringPhase.scala} (89%)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 6dbc05306..5ba9bfa53 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -16,7 +16,7 @@ object Main {
xlang.EpsilonElimination,
xlang.ImperativeCodeElimination,
xlang.FixReportLabels,
- xlang.XLangAnalysisPhase,
+ xlang.XLangDesugaringPhase,
purescala.FunctionClosure,
synthesis.SynthesisPhase,
termination.TerminationPhase,
@@ -140,7 +140,7 @@ object Main {
import frontends.scalac.ExtractionPhase
import synthesis.SynthesisPhase
import termination.TerminationPhase
- import xlang.{XLangAnalysisPhase, FixReportLabels}
+ import xlang.{XLangDesugaringPhase, FixReportLabels}
import verification.AnalysisPhase
import repair.RepairPhase
import evaluators.EvaluationPhase
@@ -174,7 +174,7 @@ object Main {
debugTrees("Program after extraction") andThen
PreprocessingPhase andThen
debugTrees("Program after pre-processing") andThen
- XLangAnalysisPhase andThen
+ XLangDesugaringPhase andThen
debugTrees("Program after xlang desugaring")
else
ExtractionPhase andThen
diff --git a/src/main/scala/leon/xlang/XLangAnalysisPhase.scala b/src/main/scala/leon/xlang/XLangDesugaringPhase.scala
similarity index 89%
rename from src/main/scala/leon/xlang/XLangAnalysisPhase.scala
rename to src/main/scala/leon/xlang/XLangDesugaringPhase.scala
index 470c0d389..f891b212e 100644
--- a/src/main/scala/leon/xlang/XLangAnalysisPhase.scala
+++ b/src/main/scala/leon/xlang/XLangDesugaringPhase.scala
@@ -6,7 +6,7 @@ package xlang
import purescala.Definitions.Program
import purescala.FunctionClosure
-object XLangAnalysisPhase extends TransformationPhase {
+object XLangDesugaringPhase extends TransformationPhase {
val name = "xlang desugaring"
val description = "Desugar xlang features into PureScala"
diff --git a/src/test/scala/leon/test/verification/XLangVerificationSuite.scala b/src/test/scala/leon/test/verification/XLangVerificationSuite.scala
index 4792a2b42..121120374 100644
--- a/src/test/scala/leon/test/verification/XLangVerificationSuite.scala
+++ b/src/test/scala/leon/test/verification/XLangVerificationSuite.scala
@@ -6,7 +6,7 @@ import leon._
import leon.test._
import leon.verification.{AnalysisPhase, VerificationReport}
-import leon.xlang.{FixReportLabels, XLangAnalysisPhase}
+import leon.xlang.{FixReportLabels, XLangDesugaringPhase}
import leon.frontends.scalac.ExtractionPhase
import leon.utils.PreprocessingPhase
@@ -23,10 +23,10 @@ class XLangVerificationSuite extends LeonTestSuite {
private case class Output(report : VerificationReport, reporter : Reporter)
private def mkPipeline : Pipeline[List[String],VerificationReport] =
- ExtractionPhase andThen
- PreprocessingPhase andThen
- XLangAnalysisPhase andThen
- AnalysisPhase andThen
+ ExtractionPhase andThen
+ PreprocessingPhase andThen
+ XLangDesugaringPhase andThen
+ AnalysisPhase andThen
FixReportLabels
private def mkTest(file : File, leonOptions : Seq[String], forError: Boolean)(block: Output=>Unit) = {
--
GitLab