Trait

org.opalj.ai.dataflow

DataFlowProblemRunner

Related Doc: package dataflow

Permalink

trait DataFlowProblemRunner extends AnalysisExecutor

Support methods to make it possible to solve a single DataFlowProblem.

Usage

Mix in this trait in the object which specifies your data-flow problem. After that you can run it.

Self Type
DataFlowProblemRunner with DataFlowProblemFactory
Source
DataFlowProblemRunner.scala
Linear Supertypes
AnalysisExecutor, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DataFlowProblemRunner
  2. AnalysisExecutor
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final val analysis: Analysis[URL, ReportableAnalysisResult]

    Permalink

    The analysis that will be executed.

    The analysis that will be executed.

    The analyze method implemented by the analysis will be called after loading all class files and creating a Project. Additionally, all specified (additional) parameters are passed to the analyze method.

    Definition Classes
    DataFlowProblemRunnerAnalysisExecutor
  5. def analysisSpecificParametersDescription: String

    Permalink

    Describes the analysis specific parameters.

    Describes the analysis specific parameters. An analysis specific parameter has to start with a dash ("-") and has to contain an equals sign ("=").

    Definition Classes
    AnalysisExecutor
    Note

    The parameter -library= is already predefined (see general documentation).

    ,

    The parameter -cp= is already predefined (see general documentation).

  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def checkAnalysisSpecificParameters(parameters: Seq[String]): Traversable[String]

    Permalink

    Checks if the (additional) parameters are understood by the analysis.

    Checks if the (additional) parameters are understood by the analysis. If an error is found a list of issues is returned and the analysis will not be executed.

    This method must be overridden if the analysis defines additional parameters. A method that overrides this method should return the list of issues if it can't validate all arguments. The default behavior is to check that there are no additional parameters.

    Definition Classes
    AnalysisExecutor
  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  13. def handleParsingExceptions(project: SomeProject, exceptions: Traversable[Throwable]): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    AnalysisExecutor
  14. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  16. def main(args: Array[String]): Unit

    Permalink
    Definition Classes
    AnalysisExecutor
  17. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  18. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  20. def printUsage(implicit logContext: LogContext): Unit

    Permalink

    Prints out general information how to use this analysis.

    Prints out general information how to use this analysis. Printed whenever the set of specified parameters is not valid.

    Attributes
    protected
    Definition Classes
    AnalysisExecutor
  21. def setupProject(cpFiles: Iterable[File], libcpFiles: Iterable[File], completelyLoadLibraries: Boolean, analysisMode: AnalysisMode, fallbackConfiguration: Config)(implicit initialLogContext: LogContext): Project[URL]

    Permalink
    Definition Classes
    AnalysisExecutor
  22. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  23. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  24. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnalysisExecutor

Inherited from AnyRef

Inherited from Any

Ungrouped