Interface JavaRegistry<T>

All Known Implementing Classes:
SimpleJavaRegistry

public interface JavaRegistry<T>
A wrapper for a list, holding Java registry values.
  • Method Summary

    Modifier and Type
    Method
    Description
    byId(@org.checkerframework.checker.index.qual.NonNegative int id)
    Looks up a registry entry by its ID.
    int
    byValue(T value)
    Reverse looks-up an object to return its network ID, or -1.
    void
    reset(List<T> values)
    Resets the objects by these IDs.
    All values of this registry, as a list.
  • Method Details

    • byId

      T byId(@org.checkerframework.checker.index.qual.NonNegative int id)
      Looks up a registry entry by its ID. The object can be null, or not present.
    • byValue

      int byValue(T value)
      Reverse looks-up an object to return its network ID, or -1.
    • reset

      void reset(List<T> values)
      Resets the objects by these IDs.
    • values

      List<T> values()
      All values of this registry, as a list.