Add demo parameter for level to run

Author: maximilianruesch

DEVELOPING_OPAL/demos/src/main/scala/org/opalj/fpcf/analyses/StringAnalysisDemo.scala

@@ -6,6 +6,7 @@ package analyses
 import java.net.URL
 import java.util.concurrent.ScheduledThreadPoolExecutor
 import java.util.concurrent.TimeUnit
+import scala.util.Try
 
 import org.opalj.ai.domain.l1.DefaultDomainWithCFGAndDefUse
 import org.opalj.ai.fpcf.properties.AIDomainFactoryKey
@@ -15,6 +16,7 @@ import org.opalj.br.analyses.Project
 import org.opalj.br.analyses.ProjectAnalysisApplication
 import org.opalj.br.fpcf.ContextProviderKey
 import org.opalj.br.fpcf.FPCFAnalysesManagerKey
+import org.opalj.br.fpcf.FPCFLazyAnalysisScheduler
 import org.opalj.br.fpcf.PropertyStoreKey
 import org.opalj.br.fpcf.analyses.ContextProvider
 import org.opalj.br.fpcf.properties.Context
@@ -26,7 +28,11 @@ import org.opalj.tac.cg.AllocationSiteBasedPointsToCallGraphKey
 import org.opalj.tac.fpcf.analyses.cg.reflection.ReflectionRelatedCallsAnalysisScheduler
 import org.opalj.tac.fpcf.analyses.string.LazyMethodStringFlowAnalysis
 import org.opalj.tac.fpcf.analyses.string.LazyStringAnalysis
+import org.opalj.tac.fpcf.analyses.string.l0.LazyL0StringFlowAnalysis
+import org.opalj.tac.fpcf.analyses.string.l1.LazyL1StringFlowAnalysis
 import org.opalj.tac.fpcf.analyses.string.l2.LazyL2StringFlowAnalysis
+import org.opalj.tac.fpcf.analyses.string.l3.LazyL3StringFlowAnalysis
+import org.opalj.tac.fpcf.analyses.string.trivial.LazyTrivialStringAnalysis
 import org.opalj.tac.fpcf.analyses.systemproperties.TriggeredSystemPropertiesAnalysisScheduler
 import org.opalj.util.PerformanceEvaluation.time
 import org.opalj.util.Seconds
@@ -36,6 +42,47 @@ import org.opalj.util.Seconds
  */
 object StringAnalysisDemo extends ProjectAnalysisApplication {
 
+    private case class Configuration(
+        private val analysisConfig: Configuration.AnalysisConfig
+    ) {
+
+        def analyses: Seq[FPCFLazyAnalysisScheduler] = {
+            analysisConfig match {
+                case Configuration.TrivialAnalysis => Seq(LazyTrivialStringAnalysis)
+                case Configuration.LevelAnalysis(level) =>
+                    Seq(
+                        LazyStringAnalysis,
+                        LazyMethodStringFlowAnalysis,
+                        Configuration.LevelToSchedulerMapping(level)
+                    )
+            }
+        }
+    }
+
+    private object Configuration {
+
+        private[Configuration] trait AnalysisConfig
+        private[Configuration] case object TrivialAnalysis extends AnalysisConfig
+        private[Configuration] case class LevelAnalysis(level: Int) extends AnalysisConfig
+
+        final val LevelToSchedulerMapping = Map(
+            0 -> LazyL0StringFlowAnalysis,
+            1 -> LazyL1StringFlowAnalysis,
+            2 -> LazyL2StringFlowAnalysis,
+            3 -> LazyL3StringFlowAnalysis
+        )
+
+        def apply(parameters: Seq[String]): Configuration = {
+            val levelParameter = parameters.find(_.startsWith("-level=")).getOrElse("-level=trivial")
+            val analysisConfig = levelParameter.replace("-level=", "") match {
+                case "trivial" => TrivialAnalysis
+                case string    => LevelAnalysis(string.toInt)
+            }
+
+            new Configuration(analysisConfig)
+        }
+    }
+
     override def description: String =
         """
           | Analyses the callees of the Main.entrypoint method of the given project,
@@ -44,13 +91,37 @@ object StringAnalysisDemo extends ProjectAnalysisApplication {
           | Also contains some live logging of runtime information about the property store.
           |""".stripMargin
 
+    override def analysisSpecificParametersDescription: String =
+        s"[-level=trivial|${Configuration.LevelToSchedulerMapping.keys.toSeq.sorted.mkString("|")}]"
+
+    override def checkAnalysisSpecificParameters(parameters: Seq[String]): Iterable[String] = {
+        parameters.flatMap {
+            case levelParameter if levelParameter.startsWith("-level=") =>
+                levelParameter.replace("-level=", "") match {
+                    case "trivial" =>
+                        None
+                    case string
+                        if Try(string.toInt).isSuccess
+                            && Configuration.LevelToSchedulerMapping.keySet.contains(string.toInt) =>
+                        None
+                    case value =>
+                        Some(s"Unknown level parameter value: $value")
+                }
+
+            case param => Some(s"unknown parameter: $param")
+        }
+    }
+
     override def doAnalyze(
         project:       Project[URL],
         parameters:    Seq[String],
         isInterrupted: () => Boolean
-    ): BasicReport = BasicReport(analyze(project))
+    ): BasicReport = {
+        implicit val configuration: Configuration = Configuration(parameters)
+        BasicReport(analyze(project))
+    }
 
-    def analyze(project: Project[URL]): String = {
+    def analyze(project: Project[URL])(implicit configuration: Configuration): String = {
         val domain = classOf[DefaultDomainWithCFGAndDefUse[_]]
         project.updateProjectInformationKeyInitializationData(AIDomainFactoryKey) {
             case None               => Set(domain)
@@ -88,11 +159,7 @@ object StringAnalysisDemo extends ProjectAnalysisApplication {
             analysesManager
                 .runAll(
                     cgKey.allCallGraphAnalyses(project)
-                        ++ Seq(
-                            LazyStringAnalysis,
-                            LazyMethodStringFlowAnalysis,
-                            LazyL2StringFlowAnalysis
-                        )
+                        ++ configuration.analyses
                         ++ Seq(
                             ReflectionRelatedCallsAnalysisScheduler,
                             TriggeredSystemPropertiesAnalysisScheduler