DataMuseum.dk

top - download

    Length: 1443 (0x5a3)
    Types: TextFile
    Names: »V«

└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─ ⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦12c68c704⟧ 
                └─⟦this⟧ 
└─⟦5f3412b64⟧ Bits:30000745 8mm tape, Rational 1000, ENVIRONMENT 12_6_5 TOOLS 
    └─ ⟦91c658230⟧ »DATA« 
        └─⟦458657fb6⟧ 
            └─⟦220843204⟧ 
                └─⟦this⟧ 

TextFile

with Diana, Activity_Implementation, Directory;

package Load_View is

    function Needs_Resolution (Comp_Unit_Id : Diana.Tree) return Boolean;
    -- True for spec units that are not mirror specs.
    -- The comp_unit should not be a subunit.

    type Resolution_Status is (Successful, Invalid_Activity,
                               Undefined_View, Invalid_View, Other_Error);

    procedure Resolve (Comp_Unit_Id :     Diana.Tree;
                       Result       : out Diana.Tree;
                       Status       : out Resolution_Status;
                       The_Activity :     Activity_Implementation.Activity_Id :=
                          Activity_Implementation.Current);
    -- Assumes that argument Needs_Resolution. Uses activity map to get
    -- appropriate non-spec version of the given unit.
    -- The argument should not be the id for a body or a subunit.
    -- If STATUS=SUCCESSFUL, then RESULT gets a Dn_Comp_Unit node.
    -- If STATUS=INVALID_VIEW, then RESULT gets a Dn_String_Literal node
    -- containing the name of the non-existent unit in the load view.
    -- Otherwise returns an empty tree.


    function Resolve (Comp_Unit_Id : Diana.Tree; Load_View : Directory.Object)
                     return Diana.Tree;
    -- for use if the target view is known through some means other than
    -- an activity.

    pragma Subsystem (Compiler_Utilities);
    pragma Module_Name (4, 2910);

end Load_View;