Packages

class CGState[ContextType <: Context] extends BaseAnalysisState with TypeIteratorState with TACAIBasedAnalysisState[ContextType]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CGState
  2. TACAIBasedAnalysisState
  3. ContextualAnalysis
  4. TypeIteratorState
  5. BaseAnalysisState
  6. AnalysisState
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new CGState(callContext: ContextType, _tacDependee: EOptionP[Method, properties.TACAI])

Type Members

  1. type ContextType = ContextType
    Definition Classes
    TACAIBasedAnalysisState → ContextualAnalysis

Value Members

  1. def addCallSite(callSite: CallSite, receiver: V, cbsTargets: Set[ReferenceType]): Unit
  2. final def addDependency(depender: Entity, dependee: EOptionP[Entity, Property]): Unit
    Definition Classes
    TypeIteratorState
  3. val callContext: ContextType
    Definition Classes
    CGState → TACAIBasedAnalysisState
  4. def callSiteData(callSite: CallSite): (V, Set[ReferenceType])
  5. def dependees: Set[SomeEOptionP]

    Inherited classes that introduce new dependencies must override this method and call add a call to super!

    Inherited classes that introduce new dependencies must override this method and call add a call to super!

    Definition Classes
    TACAIBasedAnalysisState → AnalysisState
  6. final def dependersOf(dependee: EPK[Entity, Property]): Set[Entity]
    Definition Classes
    TypeIteratorState
  7. final def getProperty[E <: Entity, P <: Property](dependee: EPK[E, P]): EOptionP[E, P]
    Definition Classes
    TypeIteratorState
  8. final def hasDependee(dependee: EPK[Entity, Property]): Boolean
    Definition Classes
    TypeIteratorState
  9. final def hasDependency(depender: Entity, dependee: EPK[Entity, Property]): Boolean
    Definition Classes
    TypeIteratorState
  10. def hasNonFinalCallSite: Boolean
  11. def hasOpenDependencies: Boolean

    Inherited classes that introduce new dependencies must override this method and call add a call to super!

    Inherited classes that introduce new dependencies must override this method and call add a call to super!

    Definition Classes
    TACAIBasedAnalysisState → AnalysisState
  12. final def hasTACDependee: Boolean
    Definition Classes
    TACAIBasedAnalysisState
  13. final def removeDependee(dependee: EPK[Entity, Property]): Unit
    Definition Classes
    TypeIteratorState
  14. final def removeDepender(depender: Entity): Unit
    Definition Classes
    TypeIteratorState
  15. final def tac: TACode[TACMethodParameter, DUVar[ValueInformation]]
    Definition Classes
    TACAIBasedAnalysisState
  16. final def tacDependee: EOptionP[Method, properties.TACAI]
    Definition Classes
    TACAIBasedAnalysisState
  17. final def updateDependency(eps: SomeEPS): Unit
    Definition Classes
    TypeIteratorState
  18. final def updateTACDependee(tacDependee: EOptionP[Method, properties.TACAI]): Unit
    Definition Classes
    TACAIBasedAnalysisState