Lines Matching refs:Type
443 tab(Type,Table) switch table of Type (int,atom,functor,
1257 asm_arg(tab{table:Table,type:Type}, H, IList0, IList, TList0, TList, BList0, BList) ?- !,
1258 table_size(Table, Type, Size),
1261 make_switch_table(Type, H, TLabel, Table, TList0, TList).
1401 make_switch_table(Type, H, TL, Table, [align(2),label(TL)|Ts0], Ts) :-
1403 (Type == atom ; Type == functor), !,
1415 table_size(Table, Type, Size) :-
1417 extra_table_entries(Type, Extra),
1424 insert_table([Key-L0|Es], Type, H, [Key,L|Ts0], Ts) :-
1427 valid_key(Type, Key),
1431 insert_table(Es, Type, H, Ts0, Ts).
1657 disasm_arg(tab{type:Type,table:Table}, [Address,Size0|Ws1], Ws,
1659 extra_table_entries(Type, Extra),
1664 interpret_switch_table(Entries, Type, Base, H, Table).
1755 interpret_switch_table([Key-A|Entries], Type, Base, H, [TKey-Ref|Table]) :-
1757 typed_key(Type, Key, TKey),
1758 interpret_switch_table(Entries, Type, Base, H, Table).