definition module State;

import pdState;
import RWSDebugChoice;
import
	SymbolTable, LinkerMessages;
	
import Redirections;

:: *State = {
	// misc
		one_pass_link		:: !Bool
	,	normal_static_link	:: !Bool
	,	linker_messages_state:: !LinkerMessagesState
	
	// linker tables
	,	application_name	:: !String
	,	n_libraries			:: !Int
	,	n_xcoff_files 		:: !Int
	,	n_xcoff_symbols		:: !Int
	,	n_library_symbols	:: !Int
	
	,	marked_bool_a		:: !*{#Bool}
	,	marked_offset_a		:: !*{#Int}
	,	module_offset_a		:: !*{#Int}
	,	xcoff_a 			:: !*{#*Xcoff}
	,	namestable			:: !*NamesTable

	// dynamic libraries
	,	library_list 		:: !LibraryList
	,	library_file_names	:: [String]
	
	,	pd_state			:: !*PDState

	, 	st_redirection_state	:: !*RedirectionState
};

EmptyState :: !*State;

// xcoff_a access
app_xcoff_a :: (!{#*Xcoff} -> !{#*Xcoff}) !*State -> !*State;
acc_xcoff_a :: (!{#*Xcoff} -> (!.x,!{#*Xcoff})) !*State -> (!.x,!*State);
selacc_xcoff :: !Int (!*Xcoff -> (!.x,!*Xcoff)) !*State -> (!.x,!*State);
selapp_xcoff :: !Int (!*Xcoff -> !*Xcoff) !*State -> !*State;

// xcoff_a; symbol_table access
selacc_symbol_table :: !Int (!*SymbolTable -> (!.x,!*SymbolTable)) !*State -> (!.x,!*State);

// xcoff_a; symbols
selacc_symbols :: !Int (!*SymbolArray -> (!.x,!*SymbolArray)) !*State -> (!.x,!*State);
selapp_symbols :: !Int (!*SymbolArray -> *SymbolArray) !*State -> !*State;

// xcoff_a; symbol access
sel_symbol file_n symbol_n state :== sel_symbol file_n symbol_n state
where { 	
	sel_symbol file_n symbol_n state
		= state!xcoff_a.[file_n].symbol_table.symbols.[symbol_n];
}
update_symbol :: !Symbol !Int !Int !State -> !State;

class UpdateSymbol a
where {
	upd_symbol :: !Symbol !Int !Int !*a -> !*a
};

instance UpdateSymbol State;
//1.3
instance UpdateSymbol !{#*Xcoff};
//3.1
/*2.0
instance UpdateSymbol {#*Xcoff};
0.2*/

// marked_bool_a access
acc_marked_bool_a :: (!*{#Bool} -> (!.x,!*{#Bool})) !*State -> (!.x,!*State);
selacc_marked_bool_a :: !Int !*State -> (!Bool,!*State);
	
// module_offset_a access
acc_module_offset_a :: (!*{#Int} -> (!.x,!*{#Int})) !*State -> (!.x,!*State);
app_module_offset_a :: (!*{#Int} -> !*{#Int}) !*State -> !*State;
selacc_module_offset_a :: !Int !*State -> (!Int,!*State);
		
// marked_offset_a access
acc_marked_offset_a :: (!*{#Int} -> (!.x,!*{#Int})) !*State -> (!.x,!*State);	
selacc_marked_offset_a :: !Int !*State -> (!Int,!*State);	
selacc_so_marked_offset_a :: !Int !*State -> (!Int,!*State);
		
// namestable access
app_namestable :: (!*NamesTable -> !*NamesTable) !*State -> !*State;
acc_namestable :: (!*NamesTable -> (!.x,!*NamesTable)) !*State -> (!.x,!*State);

// General
select_namestable state					:== acc_namestable (\namestable -> (namestable,{})) state; 
update_namestable :: NamesTable !State -> State;
select_marked_bool_a :: !State -> (!*{#Bool},!State);
select_marked_offset_a :: !State -> (!*{#Int},!State);
select_module_offset_a :: !State -> (!*{#Int},!State);
select_xcoff_a :: !State -> (!{#*Xcoff},!State);
update_state_with_xcoff :: !*Xcoff !State -> !State;

find_name :: !String !State -> (!Int,!Int,!State);
find_address_of_label :: !String !State -> !(!Bool,!Int,!State);
address_of_label2 :: !Int !Int !State -> (!Int,!State);

find_name4 :: !String !State -> (!Bool,!Int,!Int,!State);

// General
select_file_name file_n state :== sel_platform 
	(state!xcoff_a.[file_n].file_name)
	// was: (selacc_xcoff file_n (\xcoff=:{file_name} -> (file_name,xcoff)) state)
	(abort "macOS: selecties direkt maken pdSymbolTable)") //(selacc_xcoff file_n sel_file_name state)	
	; 
	
select_module_name file_n state 
	:==  (state!xcoff_a.[file_n].module_name);
//	(selacc_xcoff file_n (\xcoff=:{module_name} -> (module_name,xcoff)) state);
	
// winos specific				
select_n_symbols file_n state :== sel_platform
	(state!xcoff_a.[file_n].n_symbols)
//	(selacc_xcoff file_n (\xcoff=:{n_symbols} -> (n_symbols,xcoff)) state)
	(abort "select_n_symbols (state): macOS");
	
selacc_bss_symbols file_n state :== 
	(state!xcoff_a.[file_n].symbol_table.bss_symbols)
//	sel_platform			
//	(selacc_symbol_table file_n (\symbol_table=:{bss_symbols} -> (bss_symbols,symbol_table)) state)
//	(selacc_symbol_table file_n (\symbol_table=:{bss_symbols} -> (bss_symbols,symbol_table)) state)
	;
	
selacc_data_symbols file_n state :== 
	(state!xcoff_a.[file_n].symbol_table.data_symbols)
//	sel_platform
//	(selacc_symbol_table file_n (\symbol_table=:{data_symbols} -> (data_symbols,symbol_table)) state)
//	(selacc_symbol_table file_n (\symbol_table=:{data_symbols} -> (data_symbols,symbol_table)) state);
	;
		
selacc_text_symbols file_n state :== 
	(state!xcoff_a.[file_n].symbol_table.text_symbols)
//	sel_platform
//	(selacc_symbol_table file_n (\symbol_table=:{text_symbols} -> (text_symbols,symbol_table)) state)
//	(selacc_symbol_table file_n (\symbol_table=:{text_symbols} -> (text_symbols,symbol_table)) state);
	;
	
// macOS specific

// for xcoff:
selacc_text_relocations file_n state :== sel_platform
	(abort "selacc_text_relocations (state): winOS")
	(selacc_xcoff file_n get_text_relocations state);

selacc_data_relocations file_n state :== sel_platform
	(abort "selacc_data_relocations (state): winOS")
	(selacc_xcoff file_n get_data_relocations state);
	
selacc_header file_n state :== sel_platform
	(abort "selacc_header (state): winOS")
	(selacc_xcoff file_n get_header state);
	
selacc_n_symbols file_n state :== sel_platform
	(abort "selacc_n_symbols (state): winOS")
	(selacc_xcoff file_n get_n_symbols state);
	
selacc_text_v_address file_n state 	:== sel_platform
	(abort "selacc_text_v_address (state): winOS")
	(selacc_xcoff file_n get_text_v_address state);
	
selacc_data_v_address file_n state 	:== sel_platform
	(abort "selacc_data_v_address (state): winOS")
	(selacc_xcoff file_n get_data_v_address state);
	
selacc_toc0_symbols file_n state 	:== sel_platform
	(abort "selacc_toc0_symbols (state): winOS")
	(selacc_symbol_table file_n get_toc0_symbols state);
	
selacc_toc_symbols file_n state 	:== sel_platform
	(abort "selacc_toc_symbols (state): winOS")
	(selacc_symbol_table file_n get_toc_symbols state);

is_defined_symbol :: !String !*State -> !(!Bool,!Int,!Int,!*State);

instance AddMessage State;

app_pdstate :: (!*PDState -> !*PDState) !*State -> !*State;
acc_pdstate :: (!*PDState -> (!.x,!*PDState)) !*State -> (!.x,!*State);

find_name3 :: .Int .Int !*State -> *(.Bool,{#Char},*State);

instance GetPutRedirectionState State;

class symbol_n_to_offset s :: !.Int !.Int !*s -> *(Int,*s);

instance symbol_n_to_offset State;