class Reflection extends DefaultFeatureQuery

Groups features that use the java reflection API.

Note

The features represent the REFLECTION test cases from the Call Graph Test Project (JCG).

Linear Supertypes
DefaultFeatureQuery, FeatureQuery, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Reflection
  2. DefaultFeatureQuery
  3. FeatureQuery
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Reflection()(implicit hermes: HermesConfig)

Type Members

  1. type V = DUVar[ValueInformation]

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. val ClassT: ObjectType
  5. val ConstructorT: ObjectType
  6. val FieldGetMD: MethodDescriptor
  7. val FieldT: ObjectType
  8. val ForName1MD: MethodDescriptor
  9. val ForName3MD: MethodDescriptor
  10. val GetFieldMD: MethodDescriptor
  11. val GetMD: MethodDescriptor
  12. val GetMethodMD: MethodDescriptor
  13. val GetProperty1MD: MethodDescriptor
  14. val GetProperty2MD: MethodDescriptor
  15. val Invoke: MethodDescriptor
  16. val MethodT: ObjectType
  17. val NewInstanceMD: MethodDescriptor
  18. val PropertiesT: ObjectType
  19. final def apply[S](projectConfiguration: ProjectConfiguration, project: Project[S], rawClassFiles: Traversable[(ClassFile, S)]): TraversableOnce[Feature[S]]

    The function which analyzes the project and extracts the feature information.

    The function which analyzes the project and extracts the feature information.

    project

    A representation of the project. To speed up queries, intermediate information that may also be required by other queries can/should be stored in the project using the org.opalj.fpcf.PropertyStore or using a org.opalj.br.analyses.ProjectInformationKey.

    rawClassFiles

    A direct 1:1 representation of the class files. This makes it possible to write queries that need to get an understanding of an unprocessed class file; e.g. that need to analyze the constant pool in detail.

    Definition Classes
    DefaultFeatureQuery → FeatureQuery
    Note

    Every query should regularly check that its thread is not interrupted using isInterrupted.

  20. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  21. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  22. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  24. def evaluate[S](projectConfiguration: ProjectConfiguration, project: Project[S], rawClassFiles: Traversable[(ClassFile, S)]): IndexedSeq[LocationsContainer[S]]
    Definition Classes
    Reflection → DefaultFeatureQuery
  25. def featureIDs: Seq[String]

    The unique ids of the extracted features.

    The unique ids of the extracted features.

    Definition Classes
    Reflection → FeatureQuery
  26. def fieldUsedForInvocation[S](pc: Int, assignment: Assignment[V])(implicit stmts: Array[Stmt[V]]): Boolean
  27. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  28. def getFieldUsedForInvokation[S](pc: Int, stmt: Assignment[V])(implicit project: SomeProject, tacai: (Method) ⇒ TACode[TACMethodParameter, V], stmts: Array[Stmt[V]]): Boolean
  29. def handleInvoke[S](call: VirtualFunctionCall[V], l: Location[S])(implicit locations: Array[LocationsContainer[S]]): Unit
  30. def handleParameterSources[S](call: Call[V], l: Location[S])(implicit project: SomeProject, locations: Array[LocationsContainer[S]], stmts: Array[Stmt[V]]): Unit
  31. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  32. val htmlDescription: Either[String, URL]

    Returns an HTML description of this feature query that is targeted at end users; by default it calls mdDescription to try to find a markdown document that describes this feature and then uses TxtMark to convert the document.

    Returns an HTML description of this feature query that is targeted at end users; by default it calls mdDescription to try to find a markdown document that describes this feature and then uses TxtMark to convert the document. If a document is returned the web engine's user style sheet is set to org.opalj.hermes.FeatureQueries.MDCSS; in case of an URL no stylesheet is set.

    returns

    An HTML document/a link to an HTML document that describes this query.

    Definition Classes
    FeatureQuery
  33. val id: String

    A short descriptive name; by default the simple name of this class.

    A short descriptive name; by default the simple name of this class.

    Definition Classes
    FeatureQuery
  34. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  35. final def isInterrupted(): Boolean

    Queries should regularly check if they are interrupted using this method.

    Queries should regularly check if they are interrupted using this method.

    Definition Classes
    FeatureQuery
  36. def mayUse(uvars: Seq[Expr[V]], pc: Int): Boolean
  37. def mdDescription: String

    Returns an explanation of the feature (group) using Markdown as its formatting language.

    Returns an explanation of the feature (group) using Markdown as its formatting language.

    By default the name of the class is used to lookup the resource "className.markdown" which is expected to be found along the extractor.

    Attributes
    protected
    Definition Classes
    FeatureQuery
  38. def methodUsedForInvocation[S](pc: Int, stmt: Assignment[V])(implicit project: SomeProject, tacai: (Method) ⇒ TACode[TACMethodParameter, V], stmts: Array[Stmt[V]]): Boolean
  39. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  40. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  41. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  42. def projectContainsNonLocalCall(declType: ObjectType, name: String)(implicit project: SomeProject, tacai: (Method) ⇒ TACode[TACMethodParameter, V]): Boolean
  43. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  44. def toString(): String
    Definition Classes
    AnyRef → Any
  45. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  46. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  47. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from DefaultFeatureQuery

Inherited from FeatureQuery

Inherited from AnyRef

Inherited from Any

Ungrouped