public class StackFrame
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.util.Stack<Sequence<?>> |
dynamicStack |
static StackFrame |
EMPTY |
protected SlotManager |
map |
protected Sequence<?>[] |
slots |
Constructor and Description |
---|
StackFrame(SlotManager map,
Sequence[] slots) |
Modifier and Type | Method and Description |
---|---|
StackFrame |
copy() |
SlotManager |
getStackFrameMap() |
Sequence<?>[] |
getStackFrameValues() |
boolean |
holdsDynamicValue() |
Sequence<?> |
popDynamicValue() |
void |
pushDynamicValue(Sequence<?> value) |
void |
setStackFrameValues(Sequence[] values) |
protected SlotManager map
protected Sequence<?>[] slots
protected java.util.Stack<Sequence<?>> dynamicStack
public static final StackFrame EMPTY
public StackFrame(SlotManager map, Sequence[] slots)
public SlotManager getStackFrameMap()
public Sequence<?>[] getStackFrameValues()
public void setStackFrameValues(Sequence[] values)
public StackFrame copy()
public void pushDynamicValue(Sequence<?> value)
public Sequence<?> popDynamicValue()
public boolean holdsDynamicValue()
Copyright (c) 2004-2020 Saxonica Limited. All rights reserved.