java.lang.Object
- proguard.analysis.cpa.jvm.state.JvmFrameAbstractState<StateT>

所有已实现的接口:

AbstractState<JvmFrameAbstractState<StateT>>
```
public class JvmFrameAbstractState<StateT extends AbstractState<StateT>>
extends java.lang.Object
implements AbstractState<JvmFrameAbstractState<StateT>>
```
The JvmFrameAbstractState combines the operand stack as the StackAbstractState and the local variable array as the ListAbstractState. This abstract state does not restrict the way one models values, i.e., one abstract state may correspond to a byte sequence of arbitrary length.

字段概要

字段
修饰符和类型字段说明

protected ListAbstractState<StateT> localVariables

protected StackAbstractState<StateT> operandStack

构造器概要

构造器
构造器	说明
`JvmFrameAbstractState()`	Create an empty frame.
`JvmFrameAbstractState(ListAbstractState<StateT> localVariables, StackAbstractState<StateT> operandStack)`	Create a frame from a local variable array and an operand stack.

方法概要

所有方法实例方法具体方法
修饰符和类型	方法	说明
`JvmFrameAbstractState<StateT>`	`copy()`	Creates a copy of itself.
`boolean`	`equals(java.lang.Object obj)`
`ListAbstractState<StateT>`	`getLocalVariables()`	Returns the variable array.
`StackAbstractState<StateT>`	`getOperandStack()`	Returns the operand stack.
`StateT`	`getVariableOrDefault(int index, StateT defaultState)`	Returns an abstract state at the `index`th position of the variable array or `defaultState` if there is no entry.
`int`	`hashCode()`
`boolean`	`isLessOrEqual(JvmFrameAbstractState<StateT> abstractState)`	Compares itself to the `abstractState` (i.e., compare the states on the partial order provided by the domain of the analysis).
`JvmFrameAbstractState<StateT>`	`join(JvmFrameAbstractState<StateT> abstractState)`	Computes a join over itself and another abstract state `abstractState` (i.e., finds the least upper bound on the semilattice).
`StateT`	`peek(int index)`	Returns the `index`th element from the top of the operand stack.
`StateT`	`peekOrDefault(int index, StateT defaultState)`	Returns the `index`th element from the top of the operand stack or returns `defaultState` if the stack does not have enough elements.
`StateT`	`pop()`	Removes the top element of the operand stack end returns it.
`StateT`	`popOrDefault(StateT defaultState)`	Removes the top element of the operand stack end returns it.
`StateT`	`push(StateT state)`	Inserts `state` to the top of the operand stack and returns it.
`java.util.List<StateT>`	`pushAll(java.util.List<StateT> states)`	Sequentially inserts elements of `states` to the top of the operand stack and returns `states`.
`StateT`	`setVariable(int index, StateT state, StateT defaultState)`	Sets the `index`th position of the variable array to `state` and returns `state`.

从类继承的方法 java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

从接口继承的方法 proguard.analysis.cpa.interfaces.AbstractState
getPrecision, isLess

- 字段详细资料
  - localVariables
```
protected final ListAbstractState<StateT extends AbstractState<StateT>> localVariables
```
  - operandStack
```
protected final StackAbstractState<StateT extends AbstractState<StateT>> operandStack
```
- 构造器详细资料
  - JvmFrameAbstractState
```
public JvmFrameAbstractState()
```
    Create an empty frame.
  - JvmFrameAbstractState
```
public JvmFrameAbstractState(ListAbstractState<StateT> localVariables,
                             StackAbstractState<StateT> operandStack)
```
    Create a frame from a local variable array and an operand stack.
    
    参数:
    
    localVariables - a local variable array
    
    operandStack - an operand stack
- 方法详细资料
  - join
```
public JvmFrameAbstractState<StateT> join(JvmFrameAbstractState<StateT> abstractState)
```
    从接口复制的说明: AbstractState
    
    Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).
    
    指定者:
    
    join 在接口中 AbstractState<StateT extends AbstractState<StateT>>
  - isLessOrEqual
```
public boolean isLessOrEqual(JvmFrameAbstractState<StateT> abstractState)
```
    从接口复制的说明: AbstractState
    
    Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).
    
    指定者:
    
    isLessOrEqual 在接口中 AbstractState<StateT extends AbstractState<StateT>>
  - copy
```
public JvmFrameAbstractState<StateT> copy()
```
    从接口复制的说明: AbstractState
    
    Creates a copy of itself.
    
    指定者:
    
    copy 在接口中 AbstractState<StateT extends AbstractState<StateT>>
  - equals
```
public boolean equals(java.lang.Object obj)
```
    指定者:
    
    equals 在接口中 AbstractState<StateT extends AbstractState<StateT>>
    
    覆盖:
    
    equals 在类中 java.lang.Object
  - hashCode
```
public int hashCode()
```
    指定者:
    
    hashCode 在接口中 AbstractState<StateT extends AbstractState<StateT>>
    
    覆盖:
    
    hashCode 在类中 java.lang.Object
  - peekOrDefault
```
public StateT peekOrDefault(int index,
                            StateT defaultState)
```
    Returns the indexth element from the top of the operand stack or returns defaultState if the stack does not have enough elements.
  - peek
```
public StateT peek(int index)
```
    Returns the indexth element from the top of the operand stack.
  - pop
```
public StateT pop()
```
    Removes the top element of the operand stack end returns it.
  - popOrDefault
```
public StateT popOrDefault(StateT defaultState)
```
    Removes the top element of the operand stack end returns it. Returns defaultState if the stack is empty.
  - push
```
public StateT push(StateT state)
```
    Inserts state to the top of the operand stack and returns it.
  - pushAll
```
public java.util.List<StateT> pushAll(java.util.List<StateT> states)
```
    Sequentially inserts elements of states to the top of the operand stack and returns states.
  - getVariableOrDefault
```
public StateT getVariableOrDefault(int index,
                                   StateT defaultState)
```
    Returns an abstract state at the indexth position of the variable array or defaultState if there is no entry.
  - setVariable
```
public StateT setVariable(int index,
                          StateT state,
                          StateT defaultState)
```
    Sets the indexth position of the variable array to state and returns state. If the array has to be extended, the added cells are padded with defaultState.
  - getLocalVariables
```
public ListAbstractState<StateT> getLocalVariables()
```
    Returns the variable array.
  - getOperandStack
```
public StackAbstractState<StateT> getOperandStack()
```
    Returns the operand stack.

修饰符和类型	字段	说明
`protected ListAbstractState<StateT>`	`localVariables`
`protected StackAbstractState<StateT>`	`operandStack`

类 JvmFrameAbstractState<StateT extends AbstractState<StateT>>

字段概要

构造器概要

方法概要

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

从接口继承的方法 proguard.analysis.cpa.interfaces.AbstractState

字段详细资料

localVariables

operandStack

构造器详细资料

JvmFrameAbstractState

JvmFrameAbstractState

方法详细资料

join

isLessOrEqual

copy

equals

hashCode

peekOrDefault

peek

pop

popOrDefault

push

pushAll

getVariableOrDefault

setVariable

getLocalVariables

getOperandStack