macho_symbols_in_program.dcl 272 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11
definition module macho_symbols_in_program;

from StdFile import ::Files;
import _SystemStrictLists;

:: Symbol = { symbol_name :: !String, symbol_value :: !Int};

read_symbols :: !{#Char} !*Files -> (!{#Symbol},!*Files);

get_symbol_value :: !{#Char} !{#Symbol} -> Int;