Packages

p

org.opalj.br

analyses

package analyses

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. analyses
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class CovariantEqualsMethodDefined[Source] extends OneStepAnalysis[Source, Iterable[Issue]]

    Finds classes that define only a co-variant equals method (an equals method where the parameter type is a subtype of java.lang.Object), but which do not also define a "standard" equals method.

    Finds classes that define only a co-variant equals method (an equals method where the parameter type is a subtype of java.lang.Object), but which do not also define a "standard" equals method.

    Implementation Note

    This analysis is implemented using a traditional approach where each analysis analyzes the project's resources on its own and fully controls the process.

  2. type MultipleResultsAnalysis[Source, +AnalysisResult] = Analysis[Source, Iterable[AnalysisResult]]
  3. type ProgressEvent = analyses.ProgressEvents.Value
  4. class ProjectDemo extends AnyRef

    Demonstrates how to create and access a Project using Java.

  5. type ProjectInformationKeys = Seq[ProjectInformationKey[_ <: AnyRef, _ <: AnyRef]]
  6. type SingleOptionalResultAnalysis[Source, +AnalysisResult] = Analysis[Source, Option[AnalysisResult]]
  7. type SomeProject = Project[_]
  8. type StringConstantsInformation = Map[String, ConstArray[PCInMethod]]

Value Members

  1. object CovariantEqualsMethodDefinedAnalysis extends AnalysisExecutor

    Enables the stand alone execution of this analysis.

  2. object MoreCheckers

    Implementation of some simple static analyses to demonstrate the flexibility and power offered by Scala and OPAL when analyzing class files.

    Implementation of some simple static analyses to demonstrate the flexibility and power offered by Scala and OPAL when analyzing class files.

    The implemented static analyses are inspired by Findbugs (http://findbugs.sourceforge.net/bugDescriptions.html).

    • 0-FINDBUGS: CI: Class is final but declares protected field (CI_CONFUSED_INHERITANCE) // http://code.google.com/p/findbugs/source/browse/branches/2.0_gui_rework/findbugs/src/java/edu/umd/cs/findbugs/detect/ConfusedInheritance.java
    • 2-FINDBUGS: CN: Class implements Cloneable but does not define or use clone method (CN_IDIOM)
    • 2-FINDBUGS: CN: clone method does not call super.clone() (CN_IDIOM_NO_SUPER_CALL)
    • 2-FINDBUGS: CN: Class defines clone() but doesn't implement Cloneable (CN_IMPLEMENTS_CLONE_BUT_NOT_CLONEABLE)
    • 1-FINDBUGS: Co: Abstract class defines covariant compareTo() method (CO_ABSTRACT_SELF)
    • 1-FINDBUGS: Co: Covariant compareTo() method defined (CO_SELF_NO_OBJECT)
    • 0-FINDBUGS: Dm: Explicit garbage collection; extremely dubious except in benchmarking code (DM_GC)
    • 1-FINDBUGS: Dm: Method invokes dangerous method runFinalizersOnExit (DM_RUN_FINALIZERS_ON_EXIT)
    • 1-FINDBUGS: Eq: Abstract class defines covariant equals() method (EQ_ABSTRACT_SELF)
    • 0-FINDBUGS: FI: Finalizer should be protected, not public (FI_PUBLIC_SHOULD_BE_PROTECTED)
    • 0-FINDBUGS: Se: Class is Serializable but its superclass doesn't define a void constructor (SE_NO_SUITABLE_CONSTRUCTOR)
    • 0-FINDBUGS: UuF: Unused field (UUF_UNUSED_FIELD)
    • 0-FINDBUGS: (IMSE_DONT_CATCH_IMSE) http://code.google.com/p/findbugs/source/browse/branches/2.0_gui_rework/findbugs/src/java/edu/umd/cs/findbugs/detect/DontCatchIllegalMonitorStateException.java
  3. object ProjectIndexStatistics extends DefaultOneStepAnalysis

    Some statistics about the usage of field/method names in a project.

  4. object SimpleProjectStatistics extends DefaultOneStepAnalysis

    Demonstrates how to collect some statistics about the analyzed project (created for Entwicklertag 2015 in Frankfurt).

Inherited from AnyRef

Inherited from Any

Ungrouped