AddrRange (B2R2)

AddrRange Module

Provides a useful set of functions for handling AddrRange values.

Function or value	Description
`AddrRange.create min max` Full Usage: `AddrRange.create min max` Parameters: min : `Addr` - The start address (inclusive). max : `Addr` - The end address (inclusive). Returns: `AddrRange` An AddrRange with Min = min and Max = max.	Creates an AddrRange from the given min and max addresses. Raises InvalidAddrRangeException if min is greater than max. min : `Addr` The start address (inclusive). max : `Addr` The end address (inclusive). Returns: `AddrRange` An AddrRange with Min = min and Max = max.
`AddrRange.singleton addr` Full Usage: `AddrRange.singleton addr` Parameters: addr : `Addr` - The address. Returns: `AddrRange` An AddrRange where Min and Max are both addr.	Creates an AddrRange of size 1 containing only the given address, i.e., Min = Max = addr. addr : `Addr` The address. Returns: `AddrRange` An AddrRange where Min and Max are both addr.