DataMuseum.dk

top - metrics - download

    Length: 1689 (0x699)
    Types: TextFile
    Names: »V«

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

--| @SUMMARY This package contains a large amount of stuff from the
--|          parameter parser that do not require to be generic. It
--|          has been separated in order to minimize the size of the code
--|          in the case of multiple instantiations.
--|
with Text_Io;
with String_Utilities;
package Parameter_Parser_Defs is

    package Su renames String_Utilities;
    package Float_Io is new Text_Io.Float_Io (Float);

    type Text  is access String;
    type Image is access String;

    type Iteration_Status is
       (Ok, Ambiguous_Name, Undefined_Name, Undefined_Id, Literal_Has_Value,
        Missing_Name, Has_No_Value, Tilded_Value, Tilded_Literal,

        -- Numeric Conversion

        Malformed_Boolean, Malformed_Integer, Malformed_Float,

        -- Enumeration Values

        Malformed_Enumeration, Ambiguous_Enumeration, Undefined_Enumeration,

        -- Generic Values

        Malformed_Generic_Value);

    type Token_Kind is (Arrow, Bar, Dots, Tilde, Separator, End_String, Other);

    Boolean_Value : constant array (Boolean) of Image :=
       (new String'("False"), new String'("True"));


    -- Normalized Option Names are upper case with a lower bound of 1

    function Deslash (S : String) return String;

    function Clean (S : String) return String;

    function Normal (S : String) return String;

    function May_Be (Arg, Val : String) return Boolean;

    generic
        type Enumeration is (<>);

    procedure Unique_Prefix (S      :     String;
                             Result : out Enumeration;
                             Prefix : out Boolean;
                             Unique : out Boolean);

end Parameter_Parser_Defs;