Re: Generic formals and Aspects

[Shark8 <onewingedshark@gmail.com>]

Try the following:


------ SPEC ------
    generic
	type Discrete_Type is (<>);  -- CANDIDATE

    package Big_Endian_Integer_Buffer is
	
	function Get return Discrete_Type;
	procedure Set (Value : Discrete_Type);
	
    Private
	type Internal is new Discrete_Type
	  with Static_Predicate => Internal'Size in 16 | 32 | 64;
	
	Size_In_Bytes : constant Positive := Internal'Size / 8;

	type Buffer_Type is array (1 .. Size_In_Bytes) of Interfaces.Unsigned_8
	  with Component_Size => 8;

	Buffer : Buffer_Type := (others => 0);
    end Big_Endian_Integer_Buffer;
    

------ BODY ------
    package body Big_Endian_Integer_Buffer is
	
	function Get return Discrete_Type is
	    Result : Discrete_Type
	      with Import, Address => Buffer'Address;
	begin
	    Return Discrete_Type(Result);
	End Get;
	
	procedure Set (Value : Discrete_Type) is
	    Temp : Internal
	      with Import, Address => Buffer'Address;
	begin
	    Temp := Internal(Value);
	End Set;
	
    end Big_Endian_Integer_Buffer;