DataMuseum.dk

top - metrics - download

    Length: 1412 (0x584)
    Types: TextFile
    Names: »V«

└─⟦5829e5ed5⟧ Bits:30000534 8mm tape, Rational 1000, RCI 2_0_5
    └─⟦c9a165082⟧ »DATA« 
        └─⟦2162db02b⟧ 
            └─⟦this⟧ 

TextFile

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;