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-2018 Saxonica Limited. All rights reserved.