Skip to main content

privileged_view

Function privileged_view 

Source
pub fn privileged_view(
    owning_unit: &str,
    unit_tables: &HashMap<String, UnitTable>,
    unit_uses: &HashMap<String, Vec<String>>,
    unit_consumes: &HashMap<String, Vec<String>>,
) -> Option<SuiteView>
Expand description

owning_unit’s privileged view: its types, fns, methods, plus those of every commons it uses, plus the types and instance methods of every consumed context. #1814: closed over the types those imported declarations reach, as the unit’s own table is, so a case is checked against the same types the target is.