Index

Package: Ids

Description

package Values.Ids is
Copyright (c) 2012-2013 Kevin Wellwood All rights reserved. This source code is distributed under the Modified BSD License. For terms and conditions, see license.txt.

Classes

Id_Value

type Id_Value is new Value with private;

Ancestors:

Primitive operations:

Compare (overriding Values.Compare)
Get_Type (overriding Values.Get_Type)
To_Unsigned_64
Value_Input (overriding Values.Value_Input)
Value_Read (overriding Values.Value_Read)
Value_Write (overriding Values.Value_Write)
Values.=."=" (Inherited)
Values.Delete (Inherited)

Id_Ptr

type Id_Ptr is new Value_Ptr with private;

Ancestors:

Primitive operations:

Get (overriding Id_Value)
Values.<."<" (Inherited)
Values.<=."<=" (Inherited)
Values.=."=" (Inherited)
Values.>.">" (Inherited)
Values.>=.">=" (Inherited)
Values.Adjust (Inherited)
Values.Clone (Inherited)
Values.Finalize (Inherited)
Values.Get (Inherited)
Values.Set (Inherited)
Values.To_Ptr (Inherited)
Values.Value_Ptr (Inherited)
Values.Value_Ptr_Input (Inherited)
Values.Value_Ptr_Output (Inherited)
Values.Value_Ptr_Read (Inherited)
Values.Value_Ptr_Write (Inherited)

Constants & Global variables

Subprograms & Entries

Create

function Create
( val: Unsigned_64 ) return Id_Ptr;

Clone

function Clone
( this: access Id_Value ) return Value_Ptr'Class;

Compare

function Compare
( this: Id_Value;
other: Value'Class ) return Integer;

Get_Type

function Get_Type
( this: Id_Value ) return Value_Type;

Image

function Image
( this: Id_Value ) return String;

To_Unsigned_64

function To_Unsigned_64
( this: Id_Value ) return Unsigned_64;
Access the internal value

As_Id

function As_Id
( ptr: Value_Ptr'Class ) return Id_Ptr;
Casts a Value_Ptr down to a Id_Ptr. Returns Nul on failure.

As_Value

function As_Value
( this: Id_Ptr ) return Value_Ptr;
Casts a Id_Ptr up to a Value_Ptr.

Get

function Get
( this: Id_Ptr ) return access Id_Value'Class;
Returns an access to the Id_Ptr, or null if no target.