- DEFAULT_PEEKS - Static variable in class Device
-
Default number of bits to reveal per peek.
- DEFAULT_SIZE - Static variable in class Device
-
Default number of bits stored.
- Device - Class in <Unnamed>
-
Resource-locking device with circular bit storage.
- Device() - Constructor for class Device
-
Construct device using defaults.
- Device(int, int) - Constructor for class Device
-
Construct device with specified size and
number of peek/poke bits.
- Device(boolean[], int) - Constructor for class Device
-
Construct device with specified bits for testing.
- DeviceUnlocker - Class in <Unnamed>
-
Provides for unlocking resource-control devices.
- DeviceUnlocker() - Constructor for class DeviceUnlocker
-