AdaCL.Wide_Strings.Hex

Strings with hex numbers.

More...

Entities

Subprograms

Generic_Image
Generic_Value
Image
Image
Image
Image
Value
Value
Value
Value

Description

Operation on hex string which don't contain the 16# and #

Generic_Image ^[source]

43	function Generic_Image (Value : in Unsigned_Type) return Wide_String with
44	Pure_Function, Post => (Generic_Image'Result'Length = Width);

Given an modulus type returns an hex character string without the base marker. @generic Unsigned_Type Modulo type to convert to a hex string. @generic Width Width of the hex string formated to. Wide_String is filled with leading 0

Value of type AdaCL.Wide_Strings.Hex.Generic_Image.Unsigned_Type

Value to convert to hex

Return value

Fixed width character string repesenting the value

Generic_Value ^[source]

54	function Generic_Value (Image : in Wide_String) return Unsigned_Type with
55	Pure_Function;

Given a string to hex digits return the value as an unsigned type @generic Unsigned_Type Modulo type to convert to a hex string. @generic Value Value to convert to hex

Image of type Wide_String

Return value

Fixed width character string repesenting the value

Image ^[source]

64	function Image (Value : in Interfaces.Unsigned_8) return Wide_String with
65	Pure_Function, Inline, Post => (Image'Result'Length = 2);

Given an Unsigned_8 returns an hex 2 character hex string without the base marker

Value of type Unsigned_8

Value to convert to hex

Return value

Fixed 2 character string repesenting the value

Image ^[source]

72	function Image (Value : in Interfaces.Unsigned_16) return Wide_String with
73	Pure_Function, Inline, Post => (Image'Result'Length = 4);

Given an Unsigned_16 returns an hex 4 character hex string without the base marker

Value of type Unsigned_16

Value to convert to hex

Return value

Fixed 4 character string repesenting the value

Image ^[source]

80	function Image (Value : in Interfaces.Unsigned_32) return Wide_String with
81	Pure_Function, Inline, Post => (Image'Result'Length = 8);

Given an Unsigned_32 returns an hex 8 character hex string without the base marker

Value of type Unsigned_32

Value to convert to hex

Return value

Fixed 8 character string repesenting the value

Image ^[source]

88	function Image (Value : in Interfaces.Unsigned_64) return Wide_String with
89	Pure_Function, Inline, Post => (Image'Result'Length = 16);

Given an Unsigned_64 returns an hex 16 character hex string without the base marker

Value of type Unsigned_64

Value to convert to hex

Return value

Fixed 16 character string repesenting the value

Value ^[source]

98	function Value (Image : in Wide_String) return Interfaces.Unsigned_8 with
99	Pure_Function, Inline;

Given hex string, return its Value as a Unsigned_8.

Image of type Wide_String

Hex Wide_String without 16#...#.

Return value

parsed Unsigned_8 value

Value ^[source]

106	function Value (Image : in Wide_String) return Interfaces.Unsigned_16 with
107	Pure_Function, Inline;

Given hex string, return its Value as a Unsigned_64.

Image of type Wide_String

Hex Wide_String without 16#...#.

Return value

parsed Unsigned_16 value

Value ^[source]

114	function Value (Image : in Wide_String) return Interfaces.Unsigned_32 with
115	Pure_Function, Inline;

Given hex string, return its Value as a Unsigned_64.

Image of type Wide_String

Hex Wide_String without 32#...#.

Return value

parsed Unsigned_32 value

Value ^[source]

122	function Value (Image : in Wide_String) return Interfaces.Unsigned_64 with
123	Pure_Function, Inline;

Given hex string, return its Value as a Unsigned_64.

Image of type Wide_String

Hex Wide_String without 16#...#.

Return value

parsed Unsigned_64 value