DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦fd86f9740⟧ Ada Source

    Length: 39936 (0x9c00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure Test_Complement_Array, seg_0476e7

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦this⟧ 

E3 Source Code



with Text_Io, Complement, Complement_Array, Identifier,
     Field_Identifier_Array, Enumeration_Array, Complement_Identifier_Array;
use Text_Io, Complement_Array;
procedure Test_Complement_Array is

    Com, Com1 : Complement.Object;
    Co, Co1 : Identifier.Object;
    C, C1 : Natural;
    Id, Id1, Id2 : Identifier.Object;
    Val_Enum : Natural;

    Ok : Boolean;

begin
    Complement_Identifier_Array.Show;

    -- Complement_Identifier_Array.Put (Identifier.From_String ("e1"));
    -- Complement_Identifier_Array.Put (Identifier.From_String ("e2"));
    -- Complement_Identifier_Array.Put (Identifier.From_String ("e3"));
    -- Complement_Identifier_Array.Put (Identifier.From_String ("e4"));
    -- Complement_Identifier_Array.Put (Identifier.From_String ("e5"));
    -- Complement_Identifier_Array.Put (Identifier.From_String ("e6"));
    -- Complement_Identifier_Array.Put (Identifier.From_String ("e7"));
    -- Complement_Identifier_Array.Put (Identifier.From_String ("e8"));
    -- Complement_Identifier_Array.Put (Identifier.From_String ("e9"));

    Complement_Array.Put_Word (Identifier.From_String ("e1"), Ok);
    Complement_Array.Put_Word (Identifier.From_String ("e2"), Ok);
    Complement_Array.Put_Word (Identifier.From_String ("e3"), Ok);
    Complement_Array.Put_Word (Identifier.From_String ("e4"), Ok);
    Complement_Array.Put_Word (Identifier.From_String ("e5"), Ok);
    Complement_Array.Put_Word (Identifier.From_String ("e6"), Ok);
    Complement_Array.Put_Word (Identifier.From_String ("e7"), Ok);
    Complement_Array.Put_Word (Identifier.From_String ("e8"), Ok);
    Complement_Array.Put_Word (Identifier.From_String ("e9"), Ok);

    Complement_Identifier_Array.Show;
    Complement_Array.Show;


    Id1 := Identifier.From_String ("etat_porte");
    Id2 := Identifier.From_String ("ouverte");
    Enumeration_Array.Put_Literal (Id1, Id2, Ok);
    Id2 := Identifier.From_String ("fermee");
    Enumeration_Array.Put_Literal (Id1, Id2, Ok);
    Id2 := Identifier.From_String ("verrouillee");
    Enumeration_Array.Put_Literal (Id1, Id2, Ok);
    Id2 := Identifier.From_String ("deverrouillee");
    Enumeration_Array.Put_Literal (Id1, Id2, Ok);

    Val_Enum := Enumeration_Array.Enum (Identifier.Image (Id1));

    Enumeration_Array.Show;
    Complement_Array.Show;

    -- Put_Line ("-- UNKNOWN --");
    -- Complement.Show (Com);
    -- Co := Identifier.From_String ("simple");
    -- Put_Line ("-- put --");
    -- Put (Com, Co, Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- C := Complement_Array.Index (Identifier.Image (Co));
    -- Put_Line ("index co : " & Natural'Image (C));
    --
    -- Put_Line ("-- create_number_field --");
    -- Id := Identifier.From_String ("vie");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Number_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_number --");
    -- Field_Put_Number (C, field_identifier_array.index(identifier.image(id)), 124, Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Put_Line ("-- create_sentence_field --");
    -- Id := Identifier.From_String ("description");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Sentence_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_sentence --");
    -- Field_Put_Sentence
    --    (C, field_identifier_array.index(identifier.image(id)),
    --     Identifier.From_String ("C'est un petit homme vert !"), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Put_Line ("-- create_enumerate_field --");
    -- Id := Identifier.From_String ("etat");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Enumerate_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_enumerate --");
    -- Field_Put_Enumerate (C, field_identifier_array.index(identifier.image(id)), Val_Enum,
    --                      Enumeration_Array.Literal
    --                         (Val_Enum, Identifier.Image (Id2)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Put_Line ("C is subject ? " & Boolean'Image
    --                                  (Is_A_Subject (Identifier.Image (Co))));
    -- Put_Line ("C is animate ? " & Boolean'Image
    --                                  (Is_An_Animate (Identifier.Image (Co))));
    -- Put_Line ("C is place ? " & Boolean'Image
    --                                (Is_A_Place (Identifier.Image (Co))));
    -- Put_Line ("C is entity ? " & Boolean'Image
    --                                 (Is_An_Entity (Identifier.Image (Co))));
    -- Put_Line ("C is word? " & Boolean'Image
    --                              (Is_A_Word (Identifier.Image (Co))));
    -- Put_Line ("C is verb ? " & Boolean'Image
    --                               (Is_A_Verb (Identifier.Image (Co))));
    --
    -- Put_Line ("Name : " & Name (C));
    -- Put_Line ("Place : " & Natural'Image (Place (C)));
    -- Put_Line ("field number : " &
    --           Integer'Image (Field_Number
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("vie")))));
    -- Put_Line ("field sentence : " &
    --           Field_Sentence (C, Field_Identifier_Array.Index
    --                                 (Identifier.From_String ("description"))));
    -- Put_Line ("field enumeration : " &
    --           Integer'Image (Field_Enumeration
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("etat")))));
    -- Put_Line ("field literal : " &
    --           Integer'Image (Field_Literal
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("etat")))));
    -- Put_Line ("verb number : " & Integer'Image (Verb_Number (C)));
    --
    -- Complement.Show (Com);

    -- Put_Line ("-- word --");
    -- Complement.Show (Com);
    -- Put_Word (Identifier.From_String ("DedanS"), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Word (Identifier.From_String ("DedanS"), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Co := Identifier.From_String ("simple");
    -- C := Complement_Array.Index (Identifier.Image (Co));
    -- Put_Line ("index co : " & Natural'Image (C));   --
    -- Put_Line ("-- create_number_field --");
    -- Id := Identifier.From_String ("vie");
    -- Field_Identifier_Array.Put (Id);
    -- Put_Line ("nu :" & Integer'Image (field_identifier_array.index(identifier.image(id))));
    -- Create_Number_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_number --");
    -- Field_Put_Number (C, field_identifier_array.index(identifier.image(id)), 124, Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Put_Line ("-- create_sentence_field --");
    -- Id := Identifier.From_String ("description");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Sentence_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_sentence --");
    -- Field_Put_Sentence
    --    (C, field_identifier_array.index(identifier.image(id)),
    --     Identifier.From_String ("C'est un petit homme vert !"), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Put_Line ("-- create_enumerate_field --");
    -- Id := Identifier.From_String ("etat");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Enumerate_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_enumerate --");
    -- Field_Put_Enumerate (C, field_identifier_array.index(identifier.image(id)), Val_Enum,
    --                      Enumeration_Array.Literal
    --                         (Val_Enum, Identifier.Image (Id2)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Put_Line ("C is subject ? " & Boolean'Image
    --                                  (Is_A_Subject (Identifier.Image (Co))));
    -- Put_Line ("C is animate ? " & Boolean'Image
    --                                  (Is_An_Animate (Identifier.Image (Co))));
    -- Put_Line ("C is place ? " & Boolean'Image
    --                                (Is_A_Place (Identifier.Image (Co))));
    -- Put_Line ("C is entity ? " & Boolean'Image
    --                                 (Is_An_Entity (Identifier.Image (Co))));
    -- Put_Line ("C is word? " & Boolean'Image
    --                              (Is_A_Word (Identifier.Image (Co))));
    -- Put_Line ("C is verb ? " & Boolean'Image
    --                               (Is_A_Verb (Identifier.Image (Co))));
    --
    -- Put_Line ("Name : " & Name (C));
    -- Put_Line ("Place : " & Natural'Image (Place (C)));
    -- Put_Line ("field number : " &
    --           Integer'Image (Field_Number
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("vie")))));
    -- Put_Line ("field sentence : " &
    --           Field_Sentence (C, Field_Identifier_Array.Index
    --                                 (Identifier.From_String ("description"))));
    -- Put_Line ("field enumeration : " &
    --           Integer'Image (Field_Enumeration
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("etat")))));
    -- Put_Line ("field literal : " &
    --           Integer'Image (Field_Literal
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("etat")))));
    -- Put_Line ("verb number : " & Integer'Image (Verb_Number (C)));
    --
    -- Complement.Show (Com);
    --
    -- Put_Line ("-- verb --");
    -- Complement.Show (Com);
    -- Put_Verb (Identifier.From_String ("aller"), 1, Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Verb (Identifier.From_String ("aller"), 2, Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Co := Identifier.From_String ("simple");
    -- C := Complement_Array.Index (Identifier.Image (Co));
    -- Put_Line ("index co : " & Natural'Image (C));
    --
    -- Put_Line ("-- create_number_field --");
    -- Id := Identifier.From_String ("vie");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Number_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_number --");
    -- Field_Put_Number (C, field_identifier_array.index(identifier.image(id)), 124, Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Put_Line ("-- create_sentence_field --");
    -- Id := Identifier.From_String ("description");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Sentence_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_sentence --");
    -- Field_Put_Sentence
    --    (C, field_identifier_array.index(identifier.image(id)),
    --     Identifier.From_String ("C'est un petit homme vert !"), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Put_Line ("-- create_enumerate_field --");
    -- Id := Identifier.From_String ("etat");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Enumerate_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_enumerate --");
    -- Field_Put_Enumerate (C, field_identifier_array.index(identifier.image(id)), Val_Enum,
    --                      Enumeration_Array.Literal
    --                         (Val_Enum, Identifier.Image (Id2)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Put_Line ("C is subject ? " & Boolean'Image
    --                                  (Is_A_Subject (Identifier.Image (Co))));
    -- Put_Line ("C is animate ? " & Boolean'Image
    --                                  (Is_An_Animate (Identifier.Image (Co))));
    -- Put_Line ("C is place ? " & Boolean'Image
    --                                (Is_A_Place (Identifier.Image (Co))));
    -- Put_Line ("C is entity ? " & Boolean'Image
    --                                 (Is_An_Entity (Identifier.Image (Co))));
    -- Put_Line ("C is word? " & Boolean'Image
    --                              (Is_A_Word (Identifier.Image (Co))));
    -- Put_Line ("C is verb ? " & Boolean'Image
    --                               (Is_A_Verb (Identifier.Image (Co))));
    --
    -- Put_Line ("Name : " & Name (C));
    -- Put_Line ("Place : " & Natural'Image (Place (C)));
    -- Put_Line ("field number : " &
    --           Integer'Image (Field_Number
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("vie")))));
    -- Put_Line ("field sentence : " &
    --           Field_Sentence (C, Field_Identifier_Array.Index
    --                                 (Identifier.From_String ("description"))));
    -- Put_Line ("field enumeration : " &
    --           Integer'Image (Field_Enumeration
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("etat")))));
    -- Put_Line ("field literal : " &
    --           Integer'Image (Field_Literal
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("etat")))));
    -- Put_Line ("verb number : " & Integer'Image (Verb_Number (C)));
    --
    -- Complement.Show (Com);
    --
    -- Co := Identifier.From_String ("porte");
    -- Put (Complement.Entity_Object, Co, Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- C := Complement_Array.Index (Identifier.Image (Co));
    -- Put_Line ("index co : " & Natural'Image (C));
    -- Put_Line ("-- entite --");
    -- Complement.Show (Com);
    --
    -- Put_Line ("-- put_place --");
    -- Put_Place (C, 2, Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    --
    -- Put_Line ("-- create_number_field --");
    -- Id := Identifier.From_String ("vie");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Number_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_number --");
    -- Field_Put_Number (C, field_identifier_array.index(identifier.image(id)), 124, Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Put_Line ("-- create_sentence_field --");
    -- Id := Identifier.From_String ("description");
    --
    -- Field_Identifier_Array.Put (Id);
    -- Create_Sentence_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_sentence --");
    -- Field_Put_Sentence
    --    (C, field_identifier_array.index(identifier.image(id)),
    --     Identifier.From_String ("C'est un petit homme vert !"), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Put_Line ("-- create_enumerate_field --");
    -- Id := Identifier.From_String ("etat");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Enumerate_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_enumerate --");
    -- Id2 := Identifier.From_String ("fermee");
    --
    -- Put_Line ("id : " & Identifier.Image (Id));
    -- Put_Line ("id2 : " & Identifier.Image (Id2));
    -- Put_Line ("val_enum :" & Natural'Image (Val_Enum));
    -- Put_Line ("val_lit :" & Natural'Image
    --                            (Enumeration_Array.Literal
    --                                (Val_Enum, Identifier.Image (Id2))));
    --
    -- Field_Put_Enumerate (C, field_identifier_array.index(identifier.image(id)), Val_Enum,
    --                      Enumeration_Array.Literal
    --                         (Val_Enum, Identifier.Image (Id2)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Complement.Show (Com);
    --
    -- Id := Identifier.From_String ("histoire");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Sentence_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_sentence --");
    -- Field_Put_Sentence (C, field_identifier_array.index(identifier.image(id)),
    --                     Identifier.From_String ("Il etait une fois ..."), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    --
    -- Id := Identifier.From_String ("vie");
    -- Put_Line ("vie is number ? " &
    --           Boolean'Image (Field_Is_A_Number
    --                             (C, field_identifier_array.index(identifier.image(id)))));
    -- Put_Line ("vie is enumerate ? " &
    --           Boolean'Image (Field_Is_An_Enumerate
    --                             (C, field_identifier_array.index(identifier.image(id)))));
    -- Put_Line ("vie is sentence ? " &
    --           Boolean'Image (Field_Is_A_Sentence
    --                             (C, field_identifier_array.index(identifier.image(id)))));
    -- Put_Line ("vie is exist? " &
    --           Boolean'Image (Field_Exist (C,
    --                                       field_identifier_array.index(identifier.image(id)))));
    --
    -- Put_Line ("C is subject ? " & Boolean'Image
    --                                  (Is_A_Subject (Identifier.Image (Co))));
    -- Put_Line ("C is animate ? " & Boolean'Image
    --                                  (Is_An_Animate (Identifier.Image (Co))));
    -- Put_Line ("C is place ? " & Boolean'Image
    --                                (Is_A_Place (Identifier.Image (Co))));
    -- Put_Line ("C is entity ? " & Boolean'Image
    --                                 (Is_An_Entity (Identifier.Image (Co))));
    -- Put_Line ("C is word? " & Boolean'Image
    --                              (Is_A_Word (Identifier.Image (Co))));
    -- Put_Line ("C is verb ? " & Boolean'Image
    --                               (Is_A_Verb (Identifier.Image (Co))));
    --
    -- Put_Line ("Name : " & Name (C));
    -- Put_Line ("Place : " & Natural'Image (Place (C)));
    -- Put_Line ("field number : " &
    --           Integer'Image (Field_Number
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("vie")))));
    -- Put_Line ("field sentence : " &
    --           Field_Sentence (C, Field_Identifier_Array.Index
    --                                 (Identifier.From_String ("description"))));
    -- Put_Line ("field enumeration : " &
    --           Integer'Image (Field_Enumeration
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("etat")))));
    -- Put_Line ("field literal : " &
    --           Integer'Image (Field_Literal
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("etat")))));
    -- Put_Line ("verb number : " & Integer'Image (Verb_Number (C)));
    --
    -- Complement.Show (Com);

    -- Put_Line ("-- anime --");
    --
    -- Co := Identifier.From_String ("tigre");
    -- Put (Complement.Animate_Object, Co, Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put (Complement.Entity_Object, Co, Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- C := Complement_Array.Index (Identifier.Image (Co));
    -- Put_Line ("index co : " & Natural'Image (C));
    --
    -- Put_Line ("-- put_place --");
    -- Put_Place (C, 3, Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    --
    -- Put_Line ("-- create_number_field --");
    -- Id := Identifier.From_String ("vie");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Number_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_number --");
    -- Field_Put_Number (C, field_identifier_array.index(identifier.image(id)), 124, Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Put_Line ("-- create_sentence_field --");
    -- Id := Identifier.From_String ("description");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Sentence_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_sentence --");
    -- Field_Put_Sentence
    --    (C, field_identifier_array.index(identifier.image(id)),
    --     Identifier.From_String ("C'est un petit homme vert !"), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Put_Line ("-- create_enumerate_field --");
    -- Id := Identifier.From_String ("etat");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Enumerate_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_enumerate --");
    -- Field_Put_Enumerate (C, field_identifier_array.index(identifier.image(id)), Val_Enum,
    --                      Enumeration_Array.Literal
    --                         (Val_Enum, Identifier.Image (Id2)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    -- Put_Movement (Co, 1);
    -- Put_Movement (Co, 5);
    -- Put_Movement (Co, 5);
    -- Put_Movement (Co, 4);
    -- Put_Movement (Co, 7);
    -- Put_Movement (Co, 3);
    -- -- Movement_Init (C);
    -- for I in 1 .. 12 loop
    --     Put_Line ("place : " & Natural'Image (Place (C)));
    --     Move (C);
    -- end loop;
    --
    -- Complement.Show (Com);
    --
    -- Id := Identifier.From_String ("histoire");
    -- Field_Identifier_Array.Put (Id);
    -- Create_Sentence_Field (C, field_identifier_array.index(identifier.image(id)), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    -- Put_Line ("-- field_put_sentence --");
    -- Field_Put_Sentence (C, field_identifier_array.index(identifier.image(id)),
    --                     Identifier.From_String ("Il etait une fois ..."), Ok);
    -- Put_Line ("ok : " & Boolean'Image (Ok));
    --
    --
    -- Id := Identifier.From_String ("vie");
    -- Put_Line ("vie is number ? " &
    --           Boolean'Image (Field_Is_A_Number
    --                             (C, field_identifier_array.index(identifier.image(id)))));
    -- Put_Line ("vie is enumerate ? " &
    --           Boolean'Image (Field_Is_An_Enumerate
    --                             (C, field_identifier_array.index(identifier.image(id)))));
    -- Put_Line ("vie is sentence ? " &
    --           Boolean'Image (Field_Is_A_Sentence
    --                             (C, field_identifier_array.index(identifier.image(id)))));
    -- Put_Line ("vie is exist? " &
    --           Boolean'Image (Field_Exist (C,
    --                                       field_identifier_array.index(identifier.image(id)))));
    --
    -- Put_Line ("C is subject ? " & Boolean'Image
    --                                  (Is_A_Subject (Identifier.Image (Co))));
    -- Put_Line ("C is animate ? " & Boolean'Image
    --                                  (Is_An_Animate (Identifier.Image (Co))));
    -- Put_Line ("C is place ? " & Boolean'Image
    --                                (Is_A_Place (Identifier.Image (Co))));
    -- Put_Line ("C is entity ? " & Boolean'Image
    --                                 (Is_An_Entity (Identifier.Image (Co))));
    -- Put_Line ("C is word? " & Boolean'Image
    --                              (Is_A_Word (Identifier.Image (Co))));
    -- Put_Line ("C is verb ? " & Boolean'Image
    --                               (Is_A_Verb (Identifier.Image (Co))));
    --
    -- Put_Line ("Name : " & Name (C));
    -- Put_Line ("Place : " & Natural'Image (Place (C)));
    -- Put_Line ("field number : " &
    --           Integer'Image (Field_Number
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("vie")))));
    -- Put_Line ("field sentence : " &
    --           Field_Sentence (C, Field_Identifier_Array.Index
    --                                 (Identifier.From_String ("description"))));
    -- Put_Line ("field enumeration : " &
    --           Integer'Image (Field_Enumeration
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("etat")))));
    -- Put_Line ("field literal : " &
    --           Integer'Image (Field_Literal
    --                             (C, Field_Identifier_Array.Index
    --                                    (Identifier.From_String ("etat")))));
    -- Put_Line ("verb number : " & Integer'Image (Verb_Number (C)));
    --
    --
    -- Complement.Show (Com);

    Put_Line ("-- place --");
    Complement.Show (Com);



    Co := Identifier.From_String ("porte");
    Put (Complement.Place_Object, Co, Ok);

    Co1 := Identifier.From_String ("porte2");
    Put (Complement.Place_Object, Co1, Ok);
    Put (Complement.Animate_Object, Identifier.From_String ("hj"), Ok);
    Put (Complement.Entity_Object, Identifier.From_String ("kkk"), Ok);
    Put (Complement.Entity_Object, Identifier.From_String ("rret"), Ok);
    Put_Place (Index ("hj"), 3, Ok);
    Put_Place (Index ("kkk"), 4, Ok);
    Put_Place (Index ("rret"), 5, Ok);

    Complement_Array.Put_Word (Identifier.From_String ("nord"), Ok);
    Complement_Array.Put_Word (Identifier.From_String ("sud"), Ok);
    Complement_Array.Show;

    Put_Line ("ok : " & Boolean'Image (Ok));
    C := Complement_Array.Index (Identifier.Image (Co));
    Put_Line ("index co : " & Natural'Image (C));
    C1 := Complement_Array.Index (Identifier.Image (Co1));
    Put_Line ("index co : " & Natural'Image (C1));

    Put_Line ("-- put_place --");
    Put_Place (C, 2, Ok);
    Put_Line ("ok : " & Boolean'Image (Ok));
    Put_Line ("-- put_place --");
    Put_Place (C, 4, Ok);
    Put_Line ("ok : " & Boolean'Image (Ok));

    Put_Line ("-- create_number_field --");
    Id := Identifier.From_String ("vie");
    Field_Identifier_Array.Put (Id);
    Create_Number_Field
       (C, Field_Identifier_Array.Index (Identifier.Image (Id)), Ok);
    Put_Line ("ok : " & Boolean'Image (Ok));
    Put_Line ("-- field_put_number --");
    Field_Put_Number
       (C, Field_Identifier_Array.Index (Identifier.Image (Id)), 124, Ok);
    Put_Line ("ok : " & Boolean'Image (Ok));

    Put_Line ("-- create_sentence_field --");
    Id := Identifier.From_String ("description");
    Field_Identifier_Array.Put (Id);
    Create_Sentence_Field
       (C, Field_Identifier_Array.Index (Identifier.Image (Id)), Ok);
    Put_Line ("ok : " & Boolean'Image (Ok));
    Put_Line ("-- field_put_sentence --");
    Field_Put_Sentence
       (C, Field_Identifier_Array.Index (Identifier.Image (Id)),
        Identifier.From_String ("C'est un petit homme vert !"), Ok);
    Put_Line ("ok : " & Boolean'Image (Ok));

    Put_Line ("-- create_enumerate_field --");
    Id := Identifier.From_String ("etat");
    Field_Identifier_Array.Put (Id);
    Create_Enumerate_Field (C, Field_Identifier_Array.Index
                                  (Identifier.Image (Id)), Ok);

    Put_Line ("ok : " & Boolean'Image (Ok));
    Put_Line ("-- field_put_enumerate --");
    Field_Put_Enumerate
       (C, Field_Identifier_Array.Index (Identifier.Image (Id)), Val_Enum,
        Enumeration_Array.Literal (Val_Enum, Identifier.Image (Id2)), Ok);
    Put_Line ("ok : " & Boolean'Image (Ok));

    Put_Line ("exits exist : " & Boolean'Image (Exits_Exist (C)));

    Put_Line ("-- put exit --");
    Put_Exit (C, 1, 2, 3, 4, 5, Ok);
    Put_Line ("-- put exit --");
    Put_Exit (C, 1, 2, 3, 4, 5, Ok);
    Put_Line ("ok : " & Boolean'Image (Ok));


    Put_Line ("-- create_enumerate_field --");

    Id := Identifier.From_String ("sud");
    Id2 := Identifier.From_String ("nord");

    Field_Identifier_Array.Put (Id);
    Field_Identifier_Array.Put (Id2);
    Complement_Array.Show;
    Complement_Identifier_Array.Show;

    Put_Line ("-- put exit --");
    Put_Exit (C, 2, Complement_Array.Index ("porte"),
              Complement_Array.Index ("sud"), Complement_Array.Index ("porte2"),
              Complement_Array.Index ("nord"), Ok);
    Put_Line ("-- put exit --");
    Put_Exit (C1, 2, Complement_Array.Index ("porte2"),
              Complement_Array.Index ("nord"), Complement_Array.Index ("porte"),
              Complement_Array.Index ("sud"), Ok);


    Complement_Array.Show;  
    Complement_Identifier_Array.Show;  
    Field_Identifier_Array.Show;
    Create_Enumerate_Field (C, Field_Identifier_Array.Index
                                  (Identifier.Image (Id)), Ok);
    Put_Line ("ok : " & Boolean'Image (Ok));
    Create_Enumerate_Field (C1, Field_Identifier_Array.Index
                                   (Identifier.Image (Id2)), Ok);
    Put_Line ("ok : " & Boolean'Image (Ok));
    Put_Line ("-- field_put_enumerate --");
    Field_Put_Enumerate
       (C, Field_Identifier_Array.Index (Identifier.Image (Id)),
        Val_Enum, Enumeration_Array.Literal (Val_Enum, "fermee"), Ok);
    Put_Line ("ok : " & Boolean'Image (Ok));

    Put_Line ("ok : " & Boolean'Image (Ok));
    Put_Line ("exit exist 3 : " & Boolean'Image (Exit_Exist (C, 3)));
    Put_Line ("exit exist 2 : " & Boolean'Image (Exit_Exist (C, 2)));
    Put_Line ("exit exist 4 : " & Boolean'Image (Exit_Exist (C, 4)));

    Put_Line ("exit name 3 : " & Exit_Name (C, 3));
    Put_Line ("exit name 2 : " & Exit_Name (C, 2));
    Put_Line ("exit name 4 : " & Exit_Name (C, 4));

    Put_Line ("next place 3 : " & Natural'Image (Next_Place (C, 3)));
    Put_Line ("next place 2 : " & Natural'Image (Next_Place (C, 2)));
    Put_Line ("next place 4 : " & Natural'Image (Next_Place (C, 4)));

    List_Exits_Init (C);
    while not List_Exits_Done (C) loop
        Put_Line ("name : " & List_Exits_Name (C));
        List_Exits_Next (C);
    end loop;

    Complement.Show (Com);

    Id := Identifier.From_String ("histoire");
    Field_Identifier_Array.Put (Id);
    Create_Sentence_Field
       (C, Field_Identifier_Array.Index (Identifier.Image (Id)), Ok);
    Put_Line ("ok : " & Boolean'Image (Ok));
    Put_Line ("-- field_put_sentence --");
    Field_Put_Sentence (C, Field_Identifier_Array.Index (Identifier.Image (Id)),
                        Identifier.From_String ("Il etait une fois ..."), Ok);
    Put_Line ("ok : " & Boolean'Image (Ok));


    Id := Identifier.From_String ("vie");
    Put_Line ("vie is number ? " &
              Boolean'Image (Field_Is_A_Number
                                (C, Field_Identifier_Array.Index
                                       (Identifier.Image (Id)))));
    Put_Line ("vie is enumerate ? " &
              Boolean'Image (Field_Is_An_Enumerate
                                (C, Field_Identifier_Array.Index
                                       (Identifier.Image (Id)))));
    Put_Line ("vie is sentence ? " &
              Boolean'Image (Field_Is_A_Sentence
                                (C, Field_Identifier_Array.Index
                                       (Identifier.Image (Id)))));
    Put_Line ("vie is exist? " &
              Boolean'Image (Field_Belong (C, Field_Identifier_Array.Index
                                                 (Identifier.Image (Id)))));

    Put_Line ("C is subject ? " & Boolean'Image
                                     (Is_A_Subject (Identifier.Image (Co))));
    Put_Line ("C is animate ? " & Boolean'Image
                                     (Is_An_Animate (Identifier.Image (Co))));
    Put_Line ("C is place ? " & Boolean'Image
                                   (Is_A_Place (Identifier.Image (Co))));
    Put_Line ("C is entity ? " & Boolean'Image
                                    (Is_An_Entity (Identifier.Image (Co))));
    Put_Line ("C is word? " & Boolean'Image
                                 (Is_A_Word (Identifier.Image (Co))));
    Put_Line ("C is verb ? " & Boolean'Image
                                  (Is_A_Verb (Identifier.Image (Co))));

    Put_Line ("Name : " & Name (C));
    Put_Line ("Place : " & Natural'Image (Place (C)));
    Put_Line ("field number : " &
              Integer'Image (Field_Number
                                (C, Field_Identifier_Array.Index ("vie"))));
    Put_Line ("field sentence : " &
              Field_Sentence (C, Field_Identifier_Array.Index ("description")));
    Put_Line ("field enumeration : " &
              Integer'Image (Field_Enumeration
                                (C, Field_Identifier_Array.Index ("etat"))));
    Put_Line ("field literal : " &
              Integer'Image (Field_Literal
                                (C, Field_Identifier_Array.Index ("etat"))));
    Put_Line ("verb number : " & Complement_Array.Name (Synonym (C)));

    Complement.Show (Com);

    Enumeration_Array.Show;
    Field_Identifier_Array.Show;
    Complement_Identifier_Array.Show;
    Complement_Array.Show;

    Field_Put_Enumerate
       (C1, Field_Identifier_Array.Index ("nord"), Val_Enum,
        Enumeration_Array.Literal (Val_Enum, "deverrouillee"), Ok);

    Complement_Array.Show;  
    List_Exits_Init (C);
    while not List_Exits_Done (C) loop
        Put_Line (List_Exits_Name (C));
        List_Exits_Next (C);
    end loop;

    List_Complement_Init;  
    while not List_Complement_Done loop
        Put_Line (List_Complement_Name);  
        Put_Line (Natural'Image (List_Complement_Place));
        List_Complement_Next;
    end loop;
end Test_Complement_Array;

E3 Meta Data

    nblk1=26
    nid=b
    hdr6=48
        [0x00] rec0=19 rec1=00 rec2=01 rec3=060
        [0x01] rec0=15 rec1=00 rec2=15 rec3=01c
        [0x02] rec0=12 rec1=00 rec2=09 rec3=066
        [0x03] rec0=14 rec1=00 rec2=16 rec3=02a
        [0x04] rec0=12 rec1=00 rec2=07 rec3=04a
        [0x05] rec0=12 rec1=00 rec2=03 rec3=008
        [0x06] rec0=15 rec1=00 rec2=05 rec3=002
        [0x07] rec0=13 rec1=00 rec2=08 rec3=006
        [0x08] rec0=11 rec1=00 rec2=26 rec3=0a0
        [0x09] rec0=12 rec1=00 rec2=19 rec3=052
        [0x0a] rec0=15 rec1=00 rec2=1d rec3=020
        [0x0b] rec0=13 rec1=00 rec2=02 rec3=082
        [0x0c] rec0=12 rec1=00 rec2=1b rec3=09a
        [0x0d] rec0=12 rec1=00 rec2=21 rec3=04c
        [0x0e] rec0=15 rec1=00 rec2=1a rec3=024
        [0x0f] rec0=16 rec1=00 rec2=25 rec3=05e
        [0x10] rec0=14 rec1=00 rec2=22 rec3=010
        [0x11] rec0=14 rec1=00 rec2=1f rec3=050
        [0x12] rec0=11 rec1=00 rec2=06 rec3=026
        [0x13] rec0=11 rec1=00 rec2=0c rec3=082
        [0x14] rec0=19 rec1=00 rec2=0e rec3=024
        [0x15] rec0=13 rec1=00 rec2=1e rec3=004
        [0x16] rec0=18 rec1=00 rec2=18 rec3=03a
        [0x17] rec0=14 rec1=00 rec2=23 rec3=020
        [0x18] rec0=10 rec1=00 rec2=10 rec3=02c
        [0x19] rec0=12 rec1=00 rec2=1c rec3=046
        [0x1a] rec0=1b rec1=00 rec2=12 rec3=000
        [0x1b] rec0=0b rec1=00 rec2=0d rec3=032
        [0x1c] rec0=18 rec1=00 rec2=11 rec3=00c
        [0x1d] rec0=1b rec1=00 rec2=13 rec3=022
        [0x1e] rec0=18 rec1=00 rec2=14 rec3=032
        [0x1f] rec0=15 rec1=00 rec2=17 rec3=01e
        [0x20] rec0=19 rec1=00 rec2=04 rec3=032
        [0x21] rec0=11 rec1=00 rec2=20 rec3=05c
        [0x22] rec0=13 rec1=00 rec2=0f rec3=086
        [0x23] rec0=1c rec1=00 rec2=24 rec3=000
        [0x24] rec0=1c rec1=00 rec2=0b rec3=000
        [0x25] rec0=00 rec1=01 rec2=01 rec3=08a
    tail 0x2174aea1886544c00a198 0x42a00088462060003
Free Block Chain:
  0xb: 0000  00 0a 03 58 00 47 20 20 20 20 50 75 74 5f 4c 69  ┆   X G    Put_Li┆
  0xa: 0000  00 00 03 fc 80 01 3b 01 00 06 20 20 20 20 2d 2d  ┆      ;       --┆