Function bitvec::order::verify_for_type
source · [−]pub fn verify_for_type<O, R>(verbose: bool) where
O: BitOrder,
R: BitRegister,
Expand description
Verifies a BitOrder
implementation’s adherence to the stated rules, for
one register type.
This function checks some BitOrder
implementation against only one of the
BitRegister
types that it will encounter. This is useful if you are
implementing an ordering that only needs to be concerned with a subset of the
types, and you know that you will never use it with the types it does not
support.
Type Parameters
O
: TheBitOrder
implementation to test.R
: TheBitRegister
type for which to testO
.
Parameters
verbose
: Sets whether the test should print diagnostic information tostdout
.
Panics
This panics if it detects any violation of the BitOrder
implementation rules
for the combination of input types and index values.