DataMuseum.dk

top - download

    Length: 815 (0x32f)
    Types: TextFile
    Names: »V«

└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─ ⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦c84a2ac9b⟧ 
                └─⟦this⟧ 

TextFile

with Directory;
with Errors;
package Design_Switches is

    type Kinds is (Options, Phase);

    function Value (Of_Switch : Kinds;  
                    In_World : String) return String;

    procedure Set (Switch : Kinds;  
                   To_Value : String;
                   In_World : String);
    --| Raises: FAILED when TO_VALUE is not an appropriate
    --|         value for SWITCH or when IN_WORLD is erroneous.


    Failed : exception;

    function Diagnosis return String;
    function Status return Errors.Condition;
    --| May be used to obtain further information on the cause of the
    --| FAILED exception.  DIAGNOSIS returns "" after successful operations.


    pragma Subsystem (Design_Facility, Closed);
    pragma Module_Name (4, 3592);
    pragma Bias_Key (27);

end Design_Switches;