程序包 proguard.analysis.cpa.defaults

类 MergeJoinOperator<StateT extends AbstractState<StateT>>

  • 类型参数:
    StateT - The type of the analyzed states.
    所有已实现的接口:
    MergeOperator<StateT>
    public final class MergeJoinOperator<StateT extends AbstractState<StateT>>
extends java.lang.Object
implements MergeOperator<StateT>
    This MergeOperator applies the join operator to its arguments.

    • 方法概要

      所有方法 实例方法 具体方法 
      修饰符和类型 方法 说明
      StateT merge​(StateT abstractState1, StateT abstractState2, Precision precision)
      The operator uses the abstractState1 to weaken abstractState2 depending on precision.

      • 从类继承的方法 java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • 构造器详细资料

      • MergeJoinOperator

        public MergeJoinOperator()

    • 方法详细资料

      • merge

        public StateT merge​(StateT abstractState1,
                    StateT abstractState2,
                    Precision precision)
        从接口复制的说明: MergeOperator
        The operator uses the abstractState1 to weaken abstractState2 depending on precision. Thus, it is asymmetric regarding its first two parameters. E.g., return abstractState2 for no merging. To guarantee the correct behavior of the algorithm implementations must have no side effects.
        指定者:
        merge 在接口中 MergeOperator<StateT extends AbstractState<StateT>>