proguard.analysis.cpa.defaults

Class ListAbstractState<AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.ArrayList<AbstractSpaceT>

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

All Implemented Interfaces:

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

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

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

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor and Description
ListAbstractState() Create a list abstract state with initial capacity 0.
ListAbstractState(int initalCapacity) Create a list abstract state with selected initial capacity.

Method Summary

Modifier and Type	Method and Description
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.
ListAbstractState<AbstractSpaceT>	join(ListAbstractState<AbstractSpaceT> abstractState) Computes a join over itself and the abstractState.
AbstractSpaceT	set(int index, AbstractSpaceT element, AbstractSpaceT defaultState) Sets an element at index to elem.

Methods inherited from class java.util.ArrayList

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

Methods inherited from class java.util.AbstractList

equals, hashCode

Methods inherited from class java.util.AbstractCollection

containsAll, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.defaults.LatticeAbstractState

isLess

Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState

equals, getPrecision, getStateByName, hashCode

Methods inherited from interface java.util.List

containsAll, equals, hashCode

Methods inherited from interface java.util.Collection

parallelStream, stream

Constructor Detail

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.

Parameters:

initalCapacity - initial capacity

Method Detail

join

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

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

Specified by:

join in interface LatticeAbstractState<ListAbstractState<AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>>

isLessOrEqual

public boolean isLessOrEqual(ListAbstractState<AbstractSpaceT> abstractState)

Description copied from interface: LatticeAbstractState

Compares itself to the abstractState.

Specified by:

isLessOrEqual in interface LatticeAbstractState<ListAbstractState<AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>>

copy

public ListAbstractState<AbstractSpaceT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState

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.