Hierarchy For Package proguard.analysis.cpa.jvm.domain.reference

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • proguard.analysis.cpa.defaults.AbstractWrapperState (implements proguard.analysis.cpa.interfaces.AbstractState)
    • proguard.analysis.cpa.jvm.domain.reference.CompositeHeapJvmAbstractState (implements proguard.analysis.cpa.defaults.LatticeAbstractState<AbstractStateT>, proguard.analysis.cpa.interfaces.ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>)
  • proguard.analysis.cpa.jvm.domain.reference.CompositeHeapTransferRelation (implements proguard.analysis.cpa.interfaces.ProgramLocationDependentForwardTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>, proguard.analysis.cpa.interfaces.WrapperTransferRelation)
  • proguard.analysis.cpa.jvm.state.JvmAbstractState<StateT> (implements proguard.analysis.cpa.defaults.LatticeAbstractState<AbstractStateT>, proguard.analysis.cpa.interfaces.ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>)
    • proguard.analysis.cpa.jvm.domain.reference.JvmReferenceAbstractState
  • proguard.analysis.cpa.jvm.domain.reference.JvmCompositeHeapExpandOperator (implements proguard.analysis.cpa.bam.ExpandOperator<CfaNodeT,CfaEdgeT,SignatureT>)
  • proguard.analysis.cpa.jvm.domain.reference.JvmCompositeHeapReduceOperator (implements proguard.analysis.cpa.bam.ReduceOperator<CfaNodeT,CfaEdgeT,SignatureT>)
  • proguard.analysis.cpa.jvm.operators.JvmDefaultExpandOperator<StateT> (implements proguard.analysis.cpa.bam.ExpandOperator<CfaNodeT,CfaEdgeT,SignatureT>, proguard.analysis.cpa.jvm.state.JvmAbstractStateFactory<StateT>)
    • proguard.analysis.cpa.jvm.domain.reference.JvmReferenceExpandOperator
  • proguard.analysis.cpa.jvm.operators.JvmDefaultReduceOperator<StateT> (implements proguard.analysis.cpa.jvm.state.JvmAbstractStateFactory<StateT>, proguard.analysis.cpa.bam.ReduceOperator<CfaNodeT,CfaEdgeT,SignatureT>)
    • proguard.analysis.cpa.jvm.domain.reference.JvmReferenceReduceOperator
  • proguard.analysis.cpa.jvm.transfer.JvmTransferRelation<StateT> (implements proguard.analysis.cpa.interfaces.ProgramLocationDependentForwardTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>)
    • proguard.analysis.cpa.jvm.domain.reference.JvmReferenceTransferRelation
  • proguard.analysis.cpa.jvm.domain.reference.Reference