public final class FrameDescriptor
extends java.lang.Object
implements java.lang.Cloneable
Constructor and Description |
---|
FrameDescriptor() |
FrameDescriptor(java.lang.Object defaultValue) |
Modifier and Type | Method and Description |
---|---|
FrameSlot |
addFrameSlot(java.lang.Object identifier) |
FrameSlot |
addFrameSlot(java.lang.Object identifier,
FrameSlotKind kind) |
FrameSlot |
addFrameSlot(java.lang.Object identifier,
java.lang.Object info,
FrameSlotKind kind) |
FrameDescriptor |
copy() |
static FrameDescriptor |
create() |
static FrameDescriptor |
create(java.lang.Object defaultValue) |
FrameSlot |
findFrameSlot(java.lang.Object identifier) |
FrameSlot |
findOrAddFrameSlot(java.lang.Object identifier) |
FrameSlot |
findOrAddFrameSlot(java.lang.Object identifier,
FrameSlotKind kind) |
FrameSlot |
findOrAddFrameSlot(java.lang.Object identifier,
java.lang.Object info,
FrameSlotKind kind) |
java.lang.Object |
getDefaultValue() |
java.util.Set<java.lang.Object> |
getIdentifiers()
Retrieve the list of all the identifiers associated with this frame descriptor.
|
Assumption |
getNotInFrameAssumption(java.lang.Object identifier) |
int |
getSize() |
java.util.List<? extends FrameSlot> |
getSlots() |
Assumption |
getVersion() |
void |
removeFrameSlot(java.lang.Object identifier) |
FrameDescriptor |
shallowCopy() |
public FrameDescriptor()
public FrameDescriptor(java.lang.Object defaultValue)
public static FrameDescriptor create()
public static FrameDescriptor create(java.lang.Object defaultValue)
public FrameSlot addFrameSlot(java.lang.Object identifier)
public FrameSlot addFrameSlot(java.lang.Object identifier, FrameSlotKind kind)
public FrameSlot addFrameSlot(java.lang.Object identifier, java.lang.Object info, FrameSlotKind kind)
public FrameSlot findFrameSlot(java.lang.Object identifier)
public FrameSlot findOrAddFrameSlot(java.lang.Object identifier)
public FrameSlot findOrAddFrameSlot(java.lang.Object identifier, FrameSlotKind kind)
public FrameSlot findOrAddFrameSlot(java.lang.Object identifier, java.lang.Object info, FrameSlotKind kind)
public void removeFrameSlot(java.lang.Object identifier)
public int getSize()
public java.util.List<? extends FrameSlot> getSlots()
public java.util.Set<java.lang.Object> getIdentifiers()
public FrameDescriptor copy()
public FrameDescriptor shallowCopy()
public Assumption getVersion()
public java.lang.Object getDefaultValue()
public Assumption getNotInFrameAssumption(java.lang.Object identifier)