108 lines
4.7 KiB
Ada
108 lines
4.7 KiB
Ada
|
------------------------------------------------------------------------------
|
||
|
|
-- --
|
||
|
|
-- GNAT COMPILER COMPONENTS --
|
||
|
|
-- --
|
||
|
|
-- I N T E R F A C E S . F O R T R A N --
|
||
|
|
-- --
|
||
|
|
-- S p e c --
|
||
|
|
-- --
|
||
|
|
-- This specification is derived from the Ada Reference Manual for use with --
|
||
|
|
-- GNAT. In accordance with the copyright of that document, you can freely --
|
||
|
|
-- copy and modify this specification, provided that if you redistribute a --
|
||
|
|
-- modified version, any changes that you have made are clearly indicated. --
|
||
|
|
-- --
|
||
|
|
------------------------------------------------------------------------------
|
||
|
|
|
||
|
|
with Ada.Numerics.Generic_Complex_Types;
|
||
|
|
pragma Elaborate_All (Ada.Numerics.Generic_Complex_Types);
|
||
|
|
|
||
|
|
package Interfaces.Fortran is
|
||
|
|
pragma Pure;
|
||
|
|
|
||
|
|
type Fortran_Integer is new Integer;
|
||
|
|
type Real is new Float;
|
||
|
|
type Double_Precision is new Long_Float;
|
||
|
|
|
||
|
|
type Logical is new Boolean;
|
||
|
|
for Logical'Size use Integer'Size;
|
||
|
|
pragma Convention (Fortran, Logical);
|
||
|
|
-- As required by Fortran standard, logical allocates same space as
|
||
|
|
-- an integer. The convention is important, since in Fortran, Booleans
|
||
|
|
-- are implemented with zero/non-zero semantics for False/True, and the
|
||
|
|
-- pragma Convention (Fortran) activates the special handling required
|
||
|
|
-- in this case.
|
||
|
|
|
||
|
|
package Single_Precision_Complex_Types is
|
||
|
|
new Ada.Numerics.Generic_Complex_Types (Real);
|
||
|
|
|
||
|
|
package Double_Precision_Complex_Types is
|
||
|
|
new Ada.Numerics.Generic_Complex_Types (Double_Precision);
|
||
|
|
|
||
|
|
type Complex is new Single_Precision_Complex_Types.Complex;
|
||
|
|
|
||
|
|
type Double_Complex is new Double_Precision_Complex_Types.Complex;
|
||
|
|
|
||
|
|
subtype Imaginary is Single_Precision_Complex_Types.Imaginary;
|
||
|
|
i : Imaginary renames Single_Precision_Complex_Types.i;
|
||
|
|
j : Imaginary renames Single_Precision_Complex_Types.j;
|
||
|
|
|
||
|
|
type Character_Set is new Character;
|
||
|
|
|
||
|
|
type Fortran_Character is array (Positive range <>) of Character_Set;
|
||
|
|
|
||
|
|
-- Additional declarations as permitted by Ada 2012, p.608, paragraph 21.
|
||
|
|
-- Interoperability with Fortran 77's vendor extension using star
|
||
|
|
-- notation and Fortran 90's intrinsic types with kind=n parameter.
|
||
|
|
-- The following assumes that `n' matches the byte size, which
|
||
|
|
-- most Fortran compiler, including GCC's follow.
|
||
|
|
|
||
|
|
type Integer_Star_1 is new Integer_8;
|
||
|
|
type Integer_Kind_1 is new Integer_8;
|
||
|
|
type Integer_Star_2 is new Integer_16;
|
||
|
|
type Integer_Kind_2 is new Integer_16;
|
||
|
|
type Integer_Star_4 is new Integer_32;
|
||
|
|
type Integer_Kind_4 is new Integer_32;
|
||
|
|
type Integer_Star_8 is new Integer_64;
|
||
|
|
type Integer_Kind_8 is new Integer_64;
|
||
|
|
|
||
|
|
type Logical_Star_1 is new Boolean with Convention => Fortran, Size => 8;
|
||
|
|
type Logical_Star_2 is new Boolean with Convention => Fortran, Size => 16;
|
||
|
|
type Logical_Star_4 is new Boolean with Convention => Fortran, Size => 32;
|
||
|
|
type Logical_Star_8 is new Boolean with Convention => Fortran, Size => 64;
|
||
|
|
type Logical_Kind_1 is new Boolean with Convention => Fortran, Size => 8;
|
||
|
|
type Logical_Kind_2 is new Boolean with Convention => Fortran, Size => 16;
|
||
|
|
type Logical_Kind_4 is new Boolean with Convention => Fortran, Size => 32;
|
||
|
|
type Logical_Kind_8 is new Boolean with Convention => Fortran, Size => 64;
|
||
|
|
|
||
|
|
type Real_Star_4 is new Float;
|
||
|
|
type Real_Kind_4 is new Float;
|
||
|
|
type Real_Star_8 is new Long_Float;
|
||
|
|
type Real_Kind_8 is new Long_Float;
|
||
|
|
-- In the kind syntax, n is the same as the associated real kind
|
||
|
|
|
||
|
|
type Complex_Star_8 is new Complex;
|
||
|
|
type Complex_Kind_4 is new Complex;
|
||
|
|
type Complex_Star_16 is new Double_Complex;
|
||
|
|
type Complex_Kind_8 is new Double_Complex;
|
||
|
|
-- In the star syntax, n is twice as large (real+imaginary size)
|
||
|
|
|
||
|
|
type Character_Kind_n is new Fortran_Character;
|
||
|
|
|
||
|
|
function To_Fortran (Item : Character) return Character_Set;
|
||
|
|
function To_Ada (Item : Character_Set) return Character;
|
||
|
|
|
||
|
|
function To_Fortran (Item : String) return Fortran_Character;
|
||
|
|
function To_Ada (Item : Fortran_Character) return String;
|
||
|
|
|
||
|
|
procedure To_Fortran
|
||
|
|
(Item : String;
|
||
|
|
Target : out Fortran_Character;
|
||
|
|
Last : out Natural);
|
||
|
|
|
||
|
|
procedure To_Ada
|
||
|
|
(Item : Fortran_Character;
|
||
|
|
Target : out String;
|
||
|
|
Last : out Natural);
|
||
|
|
|
||
|
|
end Interfaces.Fortran;
|