From ec92b4cca82a960c8b9592b32496043c93f409b7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ali=20Sinan=20K=C3=B6ksal?= <alisinan@gmail.com>
Date: Thu, 24 Mar 2011 15:31:21 +0000
Subject: [PATCH] Extractors has an AbstractPlugin
---
src/funcheck/CPComponent.scala | 2 +-
src/funcheck/Extractors.scala | 2 +-
src/funcheck/FunCheckPlugin.scala | 3 +--
3 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/src/funcheck/CPComponent.scala b/src/funcheck/CPComponent.scala
index e049328f2..c7e016be8 100644
--- a/src/funcheck/CPComponent.scala
+++ b/src/funcheck/CPComponent.scala
@@ -3,7 +3,7 @@ package funcheck
import scala.tools.nsc._
import scala.tools.nsc.plugins._
-class CPComponent(val global: Global, val pluginInstance: FunCheckPlugin)
+class CPComponent(val global: Global, val pluginInstance: CPPlugin)
extends PluginComponent
with CodeExtraction
with Serialization
diff --git a/src/funcheck/Extractors.scala b/src/funcheck/Extractors.scala
index 3b540a735..bf92c52e2 100644
--- a/src/funcheck/Extractors.scala
+++ b/src/funcheck/Extractors.scala
@@ -5,7 +5,7 @@ import scala.tools.nsc._
/** Contains extractors to pull-out interesting parts of the Scala ASTs. */
trait Extractors {
val global: Global
- val pluginInstance: FunCheckPlugin
+ val pluginInstance: AbstractPlugin
import global._
import global.definitions._
diff --git a/src/funcheck/FunCheckPlugin.scala b/src/funcheck/FunCheckPlugin.scala
index ceb7611f1..247c77f37 100644
--- a/src/funcheck/FunCheckPlugin.scala
+++ b/src/funcheck/FunCheckPlugin.scala
@@ -5,7 +5,7 @@ import scala.tools.nsc.{Global,Phase}
import scala.tools.nsc.plugins.{Plugin,PluginComponent}
/** This class is the entry point for the plugin. */
-class FunCheckPlugin(val global: Global) extends Plugin {
+class FunCheckPlugin(val global: Global) extends AbstractPlugin {
import global._
val name = "funcheck"
@@ -13,7 +13,6 @@ class FunCheckPlugin(val global: Global) extends Plugin {
var stopAfterAnalysis: Boolean = true
var stopAfterExtraction: Boolean = false
- var silentlyTolerateNonPureBodies: Boolean = false
/** The help message displaying the options for that plugin. */
override val optionsHelp: Option[String] = Some(
--
GitLab