程序包 proguard.analysis.cpa.defaults

类 ListAbstractState<AbstractSpaceT extends AbstractState<AbstractSpaceT>>

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.ArrayList<AbstractSpaceT>

proguard.analysis.cpa.defaults.ListAbstractState<AbstractSpaceT>

所有已实现的接口:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<AbstractSpaceT>, java.util.Collection<AbstractSpaceT>, java.util.List<AbstractSpaceT>, java.util.RandomAccess, AbstractState<ListAbstractState<AbstractSpaceT>>

public class ListAbstractState<AbstractSpaceT extends AbstractState<AbstractSpaceT>>
extends java.util.ArrayList<AbstractSpaceT>
implements AbstractState<ListAbstractState<AbstractSpaceT>>

This ListAbstractState represents a list of AbstractStates with the semilattice operators lifted to the list.

另请参阅:

序列化表格

字段概要

从类继承的字段 java.util.AbstractList

modCount

构造器概要

构造器

构造器	说明
ListAbstractState()	Create a list abstract state with initial capacity 0.
ListAbstractState(int initalCapacity)	Create a list abstract state with selected initial capacity.

方法概要

修饰符和类型	方法	说明
ListAbstractState<AbstractSpaceT>	copy()	Creates a copy of itself.
AbstractSpaceT	getOrDefault(int index, AbstractSpaceT defaultState)	Returns the abstract state at index, if present, returns the defaultState otherwise.
boolean	isLessOrEqual(ListAbstractState<AbstractSpaceT> abstractState)	Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).
ListAbstractState<AbstractSpaceT>	join(ListAbstractState<AbstractSpaceT> abstractState)	Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).
AbstractSpaceT	set(int index, AbstractSpaceT element, AbstractSpaceT defaultState)	Sets an element at index to elem.

从类继承的方法 java.util.ArrayList

add, add, addAll, addAll, clear, clone, contains, ensureCapacity, equals, forEach, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize

从类继承的方法 java.util.AbstractCollection

containsAll, toString

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

finalize, getClass, notify, notifyAll, wait, wait, wait

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

equals, getPrecision, hashCode, isLess

从接口继承的方法 java.util.Collection

parallelStream, stream, toArray

从接口继承的方法 java.util.List

containsAll

构造器详细资料

ListAbstractState

public ListAbstractState()

Create a list abstract state with initial capacity 0.

ListAbstractState

public ListAbstractState(int initalCapacity)

Create a list abstract state with selected initial capacity.

参数:

initalCapacity - initial capacity

方法详细资料

join

public ListAbstractState<AbstractSpaceT> join(ListAbstractState<AbstractSpaceT> abstractState)

从接口复制的说明: AbstractState

Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).

指定者:

join 在接口中 AbstractState<AbstractSpaceT extends AbstractState<AbstractSpaceT>>

isLessOrEqual

public boolean isLessOrEqual(ListAbstractState<AbstractSpaceT> 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<AbstractSpaceT extends AbstractState<AbstractSpaceT>>

copy

public ListAbstractState<AbstractSpaceT> copy()

从接口复制的说明: AbstractState

Creates a copy of itself.

指定者:

copy 在接口中 AbstractState<AbstractSpaceT extends AbstractState<AbstractSpaceT>>

getOrDefault

public AbstractSpaceT getOrDefault(int index,
                                   AbstractSpaceT defaultState)

Returns the abstract state at index, if present, returns the defaultState otherwise.

set

public AbstractSpaceT set(int index,
                          AbstractSpaceT element,
                          AbstractSpaceT defaultState)

Sets an element at index to elem. Extends its length and pads with defaultState, if necessary.