Class Hierarchy
- java.lang.Object
- proguard.evaluation.value.BasicValueFactory (implements proguard.evaluation.value.ValueFactory)
- proguard.evaluation.value.TypedReferenceValueFactory
- proguard.evaluation.ParticularReferenceValueFactory
- proguard.analysis.cpa.jvm.domain.value.JvmCfaReferenceValueFactory
- proguard.evaluation.ParticularReferenceValueFactory
- proguard.evaluation.value.TypedReferenceValueFactory
- proguard.analysis.cpa.jvm.operators.DefaultExpandOperator<ContentT> (implements proguard.analysis.cpa.bam.ExpandOperator<ContentT>)
- proguard.analysis.cpa.jvm.domain.value.ValueExpandOperator
- proguard.analysis.cpa.jvm.operators.DefaultReduceOperator<ContentT> (implements proguard.analysis.cpa.bam.ReduceOperator<ContentT>)
- proguard.analysis.cpa.jvm.domain.value.ValueReduceOperator
- proguard.analysis.cpa.jvm.state.JvmAbstractState<ContentT> (implements proguard.analysis.cpa.interfaces.AbstractState<StateT>, proguard.analysis.cpa.interfaces.ProgramLocationDependent)
- proguard.analysis.cpa.jvm.domain.value.JvmValueAbstractState
- proguard.analysis.cpa.jvm.transfer.JvmTransferRelation<ContentT> (implements proguard.analysis.cpa.interfaces.ProgramLocationDependentForwardTransferRelation<ContentT>)
- proguard.analysis.cpa.jvm.domain.value.JvmValueTransferRelation
- proguard.analysis.cpa.jvm.domain.value.ValueAbstractState (implements proguard.analysis.cpa.interfaces.AbstractState<StateT>)
- proguard.evaluation.value.BasicValueFactory (implements proguard.evaluation.value.ValueFactory)