UBF Constant Pool

Universal Binary Format (UBF) Constant Pool
Version 1.0
Working Draft (2016-02-10)

Dependencies

Grammar

Production Rules

Value =                                      (* Value ----------------------- *)
    ...
  | ConstantPoolValue                        (* Value (Constant Pool) *)
;

ConstantPoolValue =                          (* Value --------- Constant Pool *)
    "\xC0" uint8                             (* read; maxID 254 *)
  | "\xC1" uint16                            (* read; maxID 65,534 *)

  | "\xC2" uint8  Value                      (* write; maxID 254 *)
  | "\xC3" uint16 Value                      (* write; maxID 65,534 *)
;

Key =                                        (* Key ------------------------- *)
    ...
  | ConstantPoolKey                          (* Key (Constant Pool) *)
;

ConstantPoolKey =                            (* Key ----------- Constant Pool *)
    "\xC4" uint8                             (* read; maxID 254 *)
  | "\xC5" uint16                            (* read; maxID 65,534 *)

  | "\xC6" uint8  Key                        (* write; maxID 254 *)
  | "\xC7" uint16 Key                        (* write; maxID 65,534 *)
;