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, java.lang.Iterable<CallerSiteContext>

public class CallStack
extends com.ibm.wala.util.collections.ImmutableStack<CallerSiteContext>
implements StateMachine.State

Representation for a calling context.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CallStack(CallerSiteContext[] entries)

Method Summary

Modifier and Type	Method and 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 Detail

CallStack

protected CallStack(CallerSiteContext[] entries)

Method Detail

emptyCallStack

public static CallStack emptyCallStack()

makeStack

protected CallStack makeStack(CallerSiteContext[] tmpEntries)

Overrides:

makeStack in class com.ibm.wala.util.collections.ImmutableStack<CallerSiteContext>

makeInternalArray

protected CallerSiteContext[] makeInternalArray(int size)

Overrides:

makeInternalArray in class com.ibm.wala.util.collections.ImmutableStack<CallerSiteContext>

pop

public CallStack pop()

Overrides:

pop in class com.ibm.wala.util.collections.ImmutableStack<CallerSiteContext>

push

public CallStack push(CallerSiteContext entry)

Overrides:

push in class com.ibm.wala.util.collections.ImmutableStack<CallerSiteContext>