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 ImmutableStack

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

Modifier and Type	Method	Description
boolean	contains(CallerSiteContext entry)
static <T> ImmutableStack<T>	emptyStack()
boolean	equals(Object o)
CallerSiteContext	get(int i)
static int	getMaxSize()
int	hashCode()
boolean	isEmpty()
Iterator<CallerSiteContext>	iterator()
CallerSiteContext	peek()
ImmutableStack<CallerSiteContext>	popAll(ImmutableStack<CallerSiteContext> other)
ImmutableStack<CallerSiteContext>	pushAll(ImmutableStack<CallerSiteContext> other)
ImmutableStack<CallerSiteContext>	replaceTop(CallerSiteContext t)	return a new stack with the top replaced with t
ImmutableStack<CallerSiteContext>	reverse()
int	size()
boolean	topMatches(ImmutableStack<CallerSiteContext> other)
String	toString()

Methods inherited from class Object

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

Methods inherited from interface 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>