class
	CGI_RESPONSE_HEADER

General
	cluster: cgi_facilities
	description: "Class which deals with the output header"

Ancestors
	CGI_COMMON_STATUS_TYPES
	CGI_IN_AND_OUT

Queries
	Document_moved_status: INTEGER_32
	Forbidden_status: INTEGER_32
	header: STRING_8
	Internal_server_error_status: INTEGER_32
	is_complete_header: BOOLEAN
	is_sent: BOOLEAN
	No_response_status: INTEGER_32
	Not_found_status: INTEGER_32
	Not_implemented_status: INTEGER_32
	Output: STDOUT
	Response_header: CGI_RESPONSE_HEADER
	Stdin: STDIN
	Success_status: INTEGER_32
	Unauthorized_status: INTEGER_32

Commands
	generate_http_redirection (an_url: STRING_8; is_secure: BOOLEAN)
	generate_text_header
	reinitialize_header
	return_status (a_status: INTEGER_32; a_message: STRING_8)
	send_to_browser
	set_cookie (key, value, expiration, path, domain, secure: STRING_8)
	set_expiration (a_date: STRING_8)
	set_pragma (a_pragma: STRING_8)