⟦f5c9e6826⟧

E3 Source Code



with Dynamic_Object, Text_Io, Bounded_String, Binary_Trees_Pkg;
with Models;

-- Gestion d OBJET Table de Symbole
-- (Utilisation et instanciation d un arbre generique)

package Symbols is
    Error_Symbol_Store : exception;
    Error_Symbol_Index : exception;
    Error_Symbol_Search : exception;

    type Object is limited private;
    type Symbol_Index is limited private;

    Max_Symbol_String : constant := 32;

--CREATE
--Creation d une table de symboles
    procedure Create (D : in out Object);

--HAS_SYMBOL
--teste si une variable existe dans la table de symboles
    function Has_Symbol (D : in Object; Name : in String) return Boolean;

--GET_SYMBOL_TYPE_BY_NAME
--renvoie le type d une variable de la table
    function Get_Symbol_Type_By_Name (D : Object; Name : String) return String;

--GET_SYMBOL_OBJECT_BY_NAME
-- Copie dans un objet dynamique passe en parametre du contenu d une variable
-- de la table

    procedure Get_Symbol_Object_By_Name
                 (D : Object;
                  Name : String;
                  F : in out Dynamic_Object.Dynamic_Object);

--GET_SYMBOL_VALUE
-- retourne la valeur d une variable entiere dans la table.
    function Get_Symbol_Value (D : Object;
                               M : Models.Object;
                               Symbol_Name : String;
                               Attribute_Name : String) return Integer;

--GET_SYMBOL_VALUE
-- retourne la valeur d une variable booleene dans la table.
    function Get_Symbol_Value (D : Object;
                               M : Models.Object;
                               Symbol_Name : String;
                               Attribute_Name : String) return Boolean;

--GET_SYMBOL_VALUE
-- retourne la valeur d une variable chaine dans la table.
    function Get_Symbol_Value (D : Object;
                               M : Models.Object;
                               Symbol_Name : String;
                               Attribute_Name : String) return String;

--PUT_SYMBOL_VALUE
-- affectation d une valeur booleene dans une variable de la table.
    procedure Put_Symbol_Value (D : in out Object;
                                M : Models.Object;
                                Symbol_Name : String;
                                Attribute_Name : String;
                                The_Value : Boolean);


--PUT_SYMBOL_VALUE
-- affectation d une valeur chaine dans une variable de la table.
    procedure Put_Symbol_Value (D : in out Object;
                                M : Models.Object;
                                Symbol_Name : String;
                                Attribute_Name : String;
                                The_Value : String);

--PUT_SYMBOL_VALUE
-- affectation d une valeur entiere dans une variable de la table.
    procedure Put_Symbol_Value (D : in out Object;
                                M : Models.Object;
                                Symbol_Name : String;
                                Attribute_Name : String;
                                The_Value : Integer);

--IS_POINTER
--teste si la variable passee en parametre est un pointeur
    function Is_Pointer (D : Object; Symbol_Name : String) return Boolean;

--PUT_POINTER_REFERENCE
-- affecte une nouvelle reference a un variable pointeur
    procedure Put_Pointer_Reference (D : in out Object;
                                     Symbol_Name : String;
                                     Reference_Name : String);

--GET_POINTER_REFERENCE
-- renvoie le reference pointee par une variable pointeur
    function Get_Pointer_Reference
                (D : Object; Symbol_Name : String) return String;

--GET_SYMBOL_TYPE
-- renvoie le type d une variable de la table (renvoie ENUMERE ou STRUCTURE)
    function Get_Symbol_Type (D : Object;
                              M : Models.Object;
                              Symbol_Name : String;
                              Attribute_Name : String) return String;

--GET_SYMBOL_TYPE
-- renvoie le type d un champs d une variable de la table
-- (renvoie ENTIER ou CHAINE ou BOOLEEN ou CONST )
    function Get_Symbol_Type
                (D : Object; M : Models.Object; Symbol_Name : String)
                return String;


--DUMP_SYMBOLS
-- affichage de la table des symboles
    procedure Dump_Symbols (D : in Object);

--DUMP_NUMBER_OF_SYMBOL
-- renvoie le nombre de variable contenue dans la table
    procedure Dump_Number_Of_Symbol (D : in Object);

-- STORE_SYMBOL
-- Ajout dans la table d une nouvelle variable ainsi que sa valeur
-- contenue dans un objet dynamique
    procedure Store_Symbol (D : in out Object;
                            Aname : String;
                            Atype : String;
                            F : Dynamic_Object.Dynamic_Object);


-- DISPOSE_OBJECT
-- Destruction de la table des symboles
    procedure Dispose_Object (D : in out Object);

-- GETSION D UN OBJET ITERARTEUR DE L OBJET TABLE
    procedure Open_Symbol_Indexation (D : Object; I : in out Symbol_Index);
    procedure Next_Symbol_Index (I : in out Symbol_Index);
    function Get_Indexed_Symbol_Name (I : Symbol_Index) return String;
    function Get_Indexed_Symbol_Type (I : Symbol_Index) return String;
    procedure Get_Indexed_Symbol_Value
                 (I : Symbol_Index; F : in out Dynamic_Object.Dynamic_Object);
    function No_More_Symbols (I : Symbol_Index) return Boolean;


private
    type Symbol is
        record
            Symbol_Name : Bounded_String.Variable_String (Max_Symbol_String);
            Symbol_Type : Bounded_String.Variable_String (Max_Symbol_String);
            Symbol_Value : Dynamic_Object.Dynamic_Object;
        end record;


    function Compare (A, B : Symbol) return Integer;
    package Symbols_Tree is new Binary_Trees_Pkg (Symbol, Compare);

    type Object is
        record
            Node : Symbols_Tree.Tree;
        end record;

    type Symbol_Index is
        record
            Node : Symbols_Tree.Iterator;
        end record;

end Symbols;
DataMuseum.dk

Rational R1000/400

⟦f5c9e6826⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
