T
- The type of the abstract values.public abstract class Stack<T extends AbstractValue<T>>
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static accrue.analysis.interprocvarcontext.Stack.EmptyStack |
EMPTY |
Constructor and Description |
---|
Stack() |
Modifier and Type | Method and Description |
---|---|
static <T extends AbstractValue<T>> |
emptyStack() |
abstract boolean |
equals(java.lang.Object o) |
abstract boolean |
isEmpty() |
abstract boolean |
leq(Stack<T> that) |
abstract T |
peek() |
abstract java.lang.Object |
peekSource() |
abstract Stack<T> |
pop() |
Stack<T> |
push(T v,
java.lang.Object source) |
static <T extends AbstractValue<T>> |
singleton(T v,
java.lang.Object source) |
abstract int |
size() |
protected abstract void |
tailString(java.lang.StringBuffer sb) |
abstract Stack<T> |
upperBound(Stack<T> that) |
abstract Stack<T> |
widen(Stack<T> that) |
public static final <T extends AbstractValue<T>> Stack<T> emptyStack()
public static final <T extends AbstractValue<T>> Stack<T> singleton(T v, java.lang.Object source)
public abstract T peek()
public abstract java.lang.Object peekSource()
public abstract boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public abstract boolean isEmpty()
public abstract int size()
protected abstract void tailString(java.lang.StringBuffer sb)