Object

org.opalj.ai.debug

InterpretMethods

Related Doc: package debug

Permalink

object InterpretMethods extends AnalysisExecutor

Performs an abstract interpretation of all methods of the given class file(s) using a configurable domain.

This class is meant to support the development and testing of new domains.

Source
InterpretMethods.scala
Linear Supertypes
AnalysisExecutor, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. InterpretMethods
  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. val analysis: InterpretMethodsAnalysis[URL]

    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
    InterpretMethodsAnalysisExecutor
  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
    InterpretMethodsAnalysisExecutor
    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
    InterpretMethodsAnalysisExecutor
  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