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
All Methods Static Methods Instance Methods Concrete Methods 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 Detail
-
CallStack
protected CallStack(CallerSiteContext[] entries)
-
-
Method Detail
-
emptyCallStack
public static CallStack emptyCallStack()
-
makeStack
protected CallStack makeStack(CallerSiteContext[] tmpEntries)
- Overrides:
makeStack
in classImmutableStack<CallerSiteContext>
-
makeInternalArray
protected CallerSiteContext[] makeInternalArray(int size)
- Overrides:
makeInternalArray
in classImmutableStack<CallerSiteContext>
-
pop
public CallStack pop()
- Overrides:
pop
in classImmutableStack<CallerSiteContext>
-
push
public CallStack push(CallerSiteContext entry)
- Overrides:
push
in classImmutableStack<CallerSiteContext>
-
-