implementation module gc_state

import StdMaybe
import StdEnv

:: *State
	= {
	// from user space:
		s_user_dynamics			:: !*{#UserDynamic}
	,	s_user_applications		:: !*{#DynamicApp}

	// from system space:
	,	system_dynamics			:: !*{#SystemDynamic}
	,	non_system_dynamics		:: ![String]
	
	,	system_libraries		:: !*{#Library}
	,	non_system_libraries	:: ![String]
	
	// dynamic linker path:
	,	dynamic_linker_path		:: !String
	}

initial_state :: *State
initial_state
	= {
		s_user_dynamics			= {}
	,	s_user_applications		= {}
	
	,	system_dynamics			= {}
	,	non_system_dynamics		= []
	
	,	system_libraries		= {}
	,	non_system_libraries	= []
	
	,	dynamic_linker_path		= {}
	}
		
:: SystemDynamic
	= {
		sd_id						:: !String
	,	sd_count					:: !Int
	,	sd_passed_md5_check			:: !Maybe Bool
	,	sd_unknown_libraries		:: !{String}
	,	sd_unknown_system_dynamics	:: !{String}
	}
	
initial_system_dynamic :: SystemDynamic
initial_system_dynamic
	= {
		sd_id						= ""
	,	sd_count					= 0
	,	sd_passed_md5_check			= Nothing
	,	sd_unknown_libraries		= {}
	, 	sd_unknown_system_dynamics	= {}
	}	
	
:: Library
	= {
		l_id				:: !String
	,	l_used				:: !Bool
	,	l_passed_md5_check	:: !Maybe Bool
	,	l_lib_ok			:: !Bool
	,	l_typ_ok			:: !Bool
	}
		
:: UserDynamic
	= {
		ud_name				:: !String
	,	ud_path_name_ext	:: !String
	,	ud_system_id		:: !String
	,	ud_system_exists	:: !Bool
	}

initial_user_dynamic :: UserDynamic
initial_user_dynamic
	= {
		ud_name				= ""
	,	ud_path_name_ext	= ""
	,	ud_system_id		= ""
	,	ud_system_exists	= True
	}
	
	
:: DynamicApp
	= {
		da_name				:: !String
	,	da_path_name_ext	:: !String
	,	da_library_id		:: !String
	, 	da_library_exists	:: !Bool
	}

initial_user_application :: DynamicApp
initial_user_application
	= {
		da_name				= ""
	,	da_path_name_ext	= ""
	,	da_library_id		= ""
	,	da_library_exists	= True
	}


:: UserState
	= {
		us_dynamics			:: [UserDynamic]
	,	us_applications		:: [DynamicApp]
	}

initial_user_state :: UserState
initial_user_state
	= {
		us_dynamics			= []
	,	us_applications		= []
	}