Value Members

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

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  final val analysis: DefaultOneStepAnalysis

   Definition Classes

   DefaultOneStepAnalysis → AnalysisExecutor

5.  def analysisSpecificParametersDescription: String

   Definition Classes

   AnalysisExecutor

6.  final def analyze(project: Project[URL], parameters: Seq[String], initProgressManagement: (Int) ⇒ ProgressManagement): ReportableAnalysisResult

   Definition Classes

   OneStepAnalysis → Analysis

7.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

8.  def checkAnalysisSpecificParameters(parameters: Seq[String]): Traversable[String]

   Definition Classes

   AnalysisExecutor

9.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @native() @throws( ... )

10.  def copyright: String

    Definition Classes

    Analysis

11.  def description: String

    Definition Classes

    InfiniteRecursions → Analysis

12.  def doAnalyze(project: Project[URL], parameters: Seq[String] = List.empty, isInterrupted: () ⇒ Boolean): BasicReport

    Definition Classes

    InfiniteRecursions → OneStepAnalysis

13.  def documentationUrl: Option[String]

    Definition Classes

    Analysis

14.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

15.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

16.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

17.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

18.  def handleParsingExceptions(project: SomeProject, exceptions: Traversable[Throwable]): Unit

    Attributes

    protected

    Definition Classes

    AnalysisExecutor

19.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

20.  def inifiniteRecursions(maxRecursionDepth: Int, project: SomeProject, method: Method, pcs: Chain[Int]): Option[InfiniteRecursion]

    Perform an abstract interpretation and check if (after some stabilization time) the parameters to the recursive call are unchanged.

    Perform an abstract interpretation and check if (after some stabilization time) the parameters to the recursive call are unchanged.

    maxRecursionDepth determines after how many non-recursive calls the analysis is aborted.

21.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

22.  def main(args: Array[String]): Unit

    Definition Classes

    AnalysisExecutor

23.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

24.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

25.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

26.  def printUsage(implicit logContext: LogContext): Unit

    Attributes

    protected

    Definition Classes

    AnalysisExecutor

27.  def setupProject(cpFiles: Iterable[File], libcpFiles: Iterable[File], completelyLoadLibraries: Boolean, projectType: ProjectType, fallbackConfiguration: Config)(implicit initialLogContext: LogContext): Project[URL]

    Definition Classes

    AnalysisExecutor

28.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

29.  def title: String

    Definition Classes

    InfiniteRecursions → Analysis

30.  def toString(): String

    Definition Classes

    AnyRef → Any

31.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

32.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

33.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )