Package com.ibm.wala.demandpa.alg

Class CallStack

java.lang.Object

com.ibm.wala.util.collections.ImmutableStack<CallerSiteContext>

com.ibm.wala.demandpa.alg.CallStack

All Implemented Interfaces:

StateMachine.State, Iterable<CallerSiteContext>

public class CallStack
extends ImmutableStack<CallerSiteContext>
implements StateMachine.State

Representation for a calling context.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	CallStack(CallerSiteContext[] entries)

Method Summary

Modifier and Type	Method	Description
static CallStack	emptyCallStack()
protected CallerSiteContext[]	makeInternalArray(int size)
protected CallStack	makeStack(CallerSiteContext[] tmpEntries)
CallStack	pop()
CallStack	push(CallerSiteContext entry)

Methods inherited from class com.ibm.wala.util.collections.ImmutableStack

contains, emptyStack, equals, get, getMaxSize, hashCode, isEmpty, iterator, peek, popAll, pushAll, replaceTop, reverse, size, topMatches, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

CallStack

protected CallStack(CallerSiteContext[] entries)

Method Details

emptyCallStack

public static CallStack emptyCallStack()

makeStack

protected CallStack makeStack(CallerSiteContext[] tmpEntries)

Overrides:

makeStack in class ImmutableStack<CallerSiteContext>

makeInternalArray

protected CallerSiteContext[] makeInternalArray(int size)

Overrides:

makeInternalArray in class ImmutableStack<CallerSiteContext>

pop

public CallStack pop()

Overrides:

pop in class ImmutableStack<CallerSiteContext>

push

public CallStack push(CallerSiteContext entry)

Overrides:

push in class ImmutableStack<CallerSiteContext>