Class HandleObjectManager

    • Field Detail

      • definedHandleObjects

        protected final Set definedHandleObjects
        The set of handle objects that are defined. This value may be empty, but it is never null.
      • handleObjectsById

        protected final Map handleObjectsById
        The map of identifiers (String) to handle objects ( HandleObject). This collection may be empty, but it is never null.
    • Constructor Detail

      • HandleObjectManager

        public HandleObjectManager()
    • Method Detail

      • checkId

        protected final void checkId​(String id)
        Verifies that the identifier is valid. Exceptions will be thrown if the identifier is invalid in some way.
        Parameters:
        id - The identifier to validate; may be anything.
      • getDefinedHandleObjectIds

        protected final Set getDefinedHandleObjectIds()
        Returns the set of identifiers for those handle objects that are defined.
        Returns:
        The set of defined handle object identifiers; this value may be empty, but it is never null.