Class FrameDescriptor

Method Details

• create

  public static FrameDescriptor create()

• create

  public static FrameDescriptor create(Object defaultValue)

• addFrameSlot

  public FrameSlot addFrameSlot(Object identifier)

• addFrameSlot

  public FrameSlot addFrameSlot(Object identifier, FrameSlotKind kind)

• addFrameSlot

  public FrameSlot addFrameSlot(Object identifier, Object info, FrameSlotKind kind)

• findFrameSlot

  public FrameSlot findFrameSlot(Object identifier)

• findOrAddFrameSlot

  public FrameSlot findOrAddFrameSlot(Object identifier)

• findOrAddFrameSlot

  public FrameSlot findOrAddFrameSlot(Object identifier, FrameSlotKind kind)

• findOrAddFrameSlot

  public FrameSlot findOrAddFrameSlot(Object identifier, Object info, FrameSlotKind kind)

• removeFrameSlot

  public void removeFrameSlot(Object identifier)

• getSize

  public int getSize()

• getSlots

  public List<? extends FrameSlot> getSlots()

• getIdentifiers

  public Set<Object> getIdentifiers()

  Retrieve the list of all the identifiers associated with this frame descriptor.

  Returns:

  the list of all the identifiers in this frame descriptor

• copy

  public FrameDescriptor copy()

• shallowCopy

  public FrameDescriptor shallowCopy()

• getVersion

  public Assumption getVersion()

• getDefaultValue

  public Object getDefaultValue()

• getNotInFrameAssumption

  public Assumption getNotInFrameAssumption(Object identifier)