PreviousUpNext

14.5.6  Compiler_Mapstack_Set

The compiler Compiler_Mapstack_Set api defines the toplevel symbol table functionality used by Compiler_State.

The Compiler_Mapstack_Set api is implemented by the compiler_mapstack_set package.

The Compiler_Mapstack_Set api source code is in src/lib/compiler/toplevel/compiler-state/compiler-mapstack-set.api.

See also: Compiler_State.

See also: Inlining_Mapstack.

See also: Linking_Mapstack.

See also: Symbolmapstack.

The above information is manually maintained and may contain errors.

api {
    Linking_Mapstack ;
    Inlining_Mapstack ;
    Compiler_Mapstack_Set ;
    Symbol ;
    null_compiler_mapstack_set : Compiler_Mapstack_Set;
    symbolmapstack_part : Compiler_Mapstack_Set -> symbolmapstack::Symbolmapstack;
    linking_part : Compiler_Mapstack_Set -> Linking_Mapstack;
    inlining_part : Compiler_Mapstack_Set -> Inlining_Mapstack;
    make_compiler_mapstack_set : {inlining_mapstack:Inlining_Mapstack, 
                                  linking_mapstack:Linking_Mapstack, 
                                  symbolmapstack:symbolmapstack::Symbolmapstack}
                                 -> Compiler_Mapstack_Set;
    layer_compiler_mapstack_sets : (Compiler_Mapstack_Set , Compiler_Mapstack_Set)
                                   -> Compiler_Mapstack_Set;
    concatenate_compiler_mapstack_sets : (Compiler_Mapstack_Set , Compiler_Mapstack_Set)
                                         -> Compiler_Mapstack_Set;
    layer_symbolmapstack : (symbolmapstack::Symbolmapstack
                            , symbolmapstack::Symbolmapstack)
                           -> symbolmapstack::Symbolmapstack;
    layer_inlining_mapstack : (Inlining_Mapstack , Inlining_Mapstack)
                              -> Inlining_Mapstack;
    filter_compiler_mapstack_set : (Compiler_Mapstack_Set , List(symbol::Symbol ))
                                   -> Compiler_Mapstack_Set;
    consolidate_compiler_mapstack_set : Compiler_Mapstack_Set -> Compiler_Mapstack_Set;
    consolidate_symbolmapstack : symbolmapstack::Symbolmapstack
                                 -> symbolmapstack::Symbolmapstack;
    consolidate_inlining_mapstack : Inlining_Mapstack -> Inlining_Mapstack;
    trim_compiler_mapstack_set : Compiler_Mapstack_Set -> Compiler_Mapstack_Set;
    describe : symbolmapstack::Symbolmapstack -> symbol::Symbol -> Void;
    base_types_and_ops_symbolmapstack : symbolmapstack::Symbolmapstack;
};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext