Packages

o

org.opalj.ai.domain.l1

IfNullParameterAnalysis

object IfNullParameterAnalysis extends DefaultOneStepAnalysis

A very basic analysis that determines the behavior of a method if a parameter is potentially null compared to a call of the method where the parameter is guaranteed to be non-null.

Note that the difference may not just manifest in the number of thrown exceptions. E.g., consider the following code from javax.imageio.ImageIO:

public static Iterator<ImageReader> getImageReadersBySuffix(String fileSuffix) {
 if (fileSuffix == null) {
     throw new IllegalArgumentException("fileSuffix == null!");
 }
 // Ensure category is present
 ...

Here, the difference is that an IllegalArgumentException is thrown. The reported result is: Map(13 -> Set(java.lang.IllegalArgumentException(origin=4))) and states that the instruction with the program counter 13 (the throw instruction) throws the exception created by program counter 4 (the new Illegal... expression).

Linear Supertypes
DefaultOneStepAnalysis, OneStepAnalysis[URL, ReportableAnalysisResult], Analysis[URL, ReportableAnalysisResult], AnalysisExecutor, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IfNullParameterAnalysis
  2. DefaultOneStepAnalysis
  3. OneStepAnalysis
  4. Analysis
  5. AnalysisExecutor
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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
    IfNullParameterAnalysis → Analysis
  12. def doAnalyze(theProject: Project[URL], parameters: Seq[String], isInterrupted: () ⇒ Boolean): BasicReport
    Definition Classes
    IfNullParameterAnalysis → 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. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. def main(args: Array[String]): Unit
    Definition Classes
    AnalysisExecutor
  22. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. def printUsage(implicit logContext: LogContext): Unit
    Attributes
    protected
    Definition Classes
    AnalysisExecutor
  26. def setupProject(cpFiles: Iterable[File], libcpFiles: Iterable[File], completelyLoadLibraries: Boolean, projectType: ProjectType, fallbackConfiguration: Config)(implicit initialLogContext: LogContext): Project[URL]
    Definition Classes
    AnalysisExecutor
  27. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  28. def title: String
    Definition Classes
    IfNullParameterAnalysis → Analysis
  29. def toString(): String
    Definition Classes
    AnyRef → Any
  30. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from DefaultOneStepAnalysis

Inherited from OneStepAnalysis[URL, ReportableAnalysisResult]

Inherited from Analysis[URL, ReportableAnalysisResult]

Inherited from AnalysisExecutor

Inherited from AnyRef

Inherited from Any

Ungrouped