proguard.analysis.cpa.defaults

Class StackAbstractState<AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.Vector<E>

java.util.Stack<AbstractSpaceT>

proguard.analysis.cpa.defaults.StackAbstractState<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<StackAbstractState<AbstractSpaceT>>, AbstractState

public class StackAbstractState<AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>
extends java.util.Stack<AbstractSpaceT>
implements LatticeAbstractState<StackAbstractState<AbstractSpaceT>>

This StackAbstractState represents a stack of LatticeAbstractStates with the semilattice operators lifted to the stack.

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.Vector

capacityIncrement, elementCount, elementData

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor and Description
StackAbstractState()

Method Summary

Modifier and Type	Method and Description
StackAbstractState<AbstractSpaceT>	copy() Creates a copy of itself.
boolean	isLessOrEqual(StackAbstractState<AbstractSpaceT> abstractState) Compares itself to the abstractState.
StackAbstractState<AbstractSpaceT>	join(StackAbstractState<AbstractSpaceT> abstractState) Computes a join over itself and the abstractState.
AbstractSpaceT	peek(int index) Returns the indexth element from the top of the stack.
AbstractSpaceT	peekOrDefault(int index, AbstractSpaceT defaultState) Returns the indexth element from the top of the stack.
AbstractSpaceT	popOrDefault(AbstractSpaceT defaultState) Removes the top of the stack and returns it.

Methods inherited from class java.util.Stack

empty, peek, pop, push, search

Methods inherited from class java.util.Vector

add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, equals, firstElement, forEach, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, iterator, lastElement, lastIndexOf, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeIf, removeRange, replaceAll, retainAll, set, setElementAt, setSize, size, sort, spliterator, subList, toArray, toArray, toString, trimToSize

Methods inherited from class java.lang.Object

equals, finalize, getClass, 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.Collection

parallelStream, stream

Constructor Detail

StackAbstractState

public StackAbstractState()

Method Detail

join

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

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

Specified by:

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

isLessOrEqual

public boolean isLessOrEqual(StackAbstractState<AbstractSpaceT> abstractState)

Description copied from interface: LatticeAbstractState

Compares itself to the abstractState.

Specified by:

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

copy

public StackAbstractState<AbstractSpaceT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState

popOrDefault

public AbstractSpaceT popOrDefault(AbstractSpaceT defaultState)

Removes the top of the stack and returns it. If the stack is empty, it returns the defaultState.

peek

public AbstractSpaceT peek(int index)

Returns the indexth element from the top of the stack. If the stack does not have enough elements, it throws an exception.

peekOrDefault

public AbstractSpaceT peekOrDefault(int index,
                                    AbstractSpaceT defaultState)

Returns the indexth element from the top of the stack. If the stack does not have enough elements, it returns the defaultState.