Class FrameDescriptor

  • All Implemented Interfaces:
    java.lang.Cloneable

    public final class FrameDescriptor
    extends java.lang.Object
    implements java.lang.Cloneable
    Descriptor of the slots of frame objects. Multiple frame instances are associated with one such descriptor.
    • Constructor Detail

      • FrameDescriptor

        public FrameDescriptor()
      • FrameDescriptor

        public FrameDescriptor​(java.lang.Object defaultValue)
    • Method Detail

      • create

        public static FrameDescriptor create​(java.lang.Object defaultValue)
      • addFrameSlot

        public FrameSlot addFrameSlot​(java.lang.Object identifier)
      • addFrameSlot

        public FrameSlot addFrameSlot​(java.lang.Object identifier,
                                      java.lang.Object info,
                                      FrameSlotKind kind)
      • findFrameSlot

        public FrameSlot findFrameSlot​(java.lang.Object identifier)
      • findOrAddFrameSlot

        public FrameSlot findOrAddFrameSlot​(java.lang.Object identifier)
      • findOrAddFrameSlot

        public FrameSlot findOrAddFrameSlot​(java.lang.Object identifier,
                                            FrameSlotKind kind)
      • findOrAddFrameSlot

        public FrameSlot findOrAddFrameSlot​(java.lang.Object identifier,
                                            java.lang.Object info,
                                            FrameSlotKind kind)
      • removeFrameSlot

        public void removeFrameSlot​(java.lang.Object identifier)
      • getSize

        public int getSize()
      • getSlots

        public java.util.List<? extends FrameSlot> getSlots()
      • getIdentifiers

        public java.util.Set<java.lang.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
      • getDefaultValue

        public java.lang.Object getDefaultValue()
      • getNotInFrameAssumption

        public Assumption getNotInFrameAssumption​(java.lang.Object identifier)