class interface
	HTML_FORM

create 

	make

feature 

	make

	Newline: STRING is ""
			-- (from HTML_FORM_CONSTANTS)

	Tag_end: STRING is ">"
			-- (from HTML_FORM_CONSTANTS)
	
feature -- Add new options

	add_option (an_option: STRING)
		require
			an_option /= void
	
feature -- Form

	Action: STRING is " ACTION="
			-- (from HTML_FORM_CONSTANTS)

	Enctype: STRING is " ENCTYPE="
			-- (from HTML_FORM_CONSTANTS)

	Form_end: STRING is "</FORM>"
			-- (from HTML_FORM_CONSTANTS)

	Form_start: STRING is "<FORM"
			-- (from HTML_FORM_CONSTANTS)

	Get: STRING is "GET"
			-- (from HTML_FORM_CONSTANTS)

	Method: STRING is " METHOD="
			-- (from HTML_FORM_CONSTANTS)

	Name: STRING is " NAME="
			-- (from HTML_FORM_CONSTANTS)

	Post: STRING is "POST"
			-- (from HTML_FORM_CONSTANTS)
	
feature -- Input

	Align: STRING is " ALIGN="
			-- (from HTML_FORM_CONSTANTS)

	Checkbox: STRING is "CHECKBOX"
			-- (from HTML_FORM_CONSTANTS)

	Checked: STRING is " CHECKED"
			-- (from HTML_FORM_CONSTANTS)

	Hidden: STRING is "HIDDEN"
			-- (from HTML_FORM_CONSTANTS)

	Image: STRING is "IMAGE"
			-- (from HTML_FORM_CONSTANTS)

	Input_start: STRING is "<INPUT"
			-- (from HTML_FORM_CONSTANTS)

	Maxlength: STRING is " MAXLENGTH="
			-- (from HTML_FORM_CONSTANTS)

	Radio: STRING is "RADIO"
			-- (from HTML_FORM_CONSTANTS)

	Reset: STRING is "RESET"
			-- (from HTML_FORM_CONSTANTS)

	Sendfile: STRING is ""SEND FILE""
			-- (from HTML_FORM_CONSTANTS)

	Size: STRING is " SIZE="
			-- (from HTML_FORM_CONSTANTS)

	Src: STRING is " SRC="
			-- (from HTML_FORM_CONSTANTS)

	Submit: STRING is "SUBMIT"
			-- (from HTML_FORM_CONSTANTS)

	Text: STRING is "TEXT"
			-- (from HTML_FORM_CONSTANTS)

	Type: STRING is " TYPE="
			-- (from HTML_FORM_CONSTANTS)

	Value: STRING is " VALUE="
			-- (from HTML_FORM_CONSTANTS)
	
feature -- Routines out

	attribute_out (an_attribute, its_value: STRING): STRING
			-- String representation for the pair 'an_attribute' and 'its_value'

	attributes_out: STRING

	body_out: STRING

	out: STRING
	
feature -- Select

	Multiple: STRING is " MULTIPLE"
			-- (from HTML_FORM_CONSTANTS)

	Option_end: STRING is ""
			-- (from HTML_FORM_CONSTANTS)

	Option_start: STRING is "<OPTION"
			-- (from HTML_FORM_CONSTANTS)

	Select_end: STRING is "</SELECT>"
			-- (from HTML_FORM_CONSTANTS)

	Select_start: STRING is "<SELECT"
			-- (from HTML_FORM_CONSTANTS)

	Selected: STRING is " SELECTED"
			-- (from HTML_FORM_CONSTANTS)
	
feature -- Set attributes

	set_action (s: STRING)
		require
			s /= void

	set_enctype (s: STRING)
		require
			s /= void

	set_method (s: STRING)
		require
			s /= void

	set_name (s: STRING)
		require
			s /= void
	
feature -- TextArea

	Cols: STRING is " COLS="
			-- (from HTML_FORM_CONSTANTS)

	Off: STRING is "OFF"
			-- (from HTML_FORM_CONSTANTS)

	Physical: STRING is "PHYSICAL"
			-- (from HTML_FORM_CONSTANTS)

	Rows: STRING is " ROWS="
			-- (from HTML_FORM_CONSTANTS)

	Textarea_end: STRING is "</TEXTAREA>"
			-- (from HTML_FORM_CONSTANTS)

	Textarea_start: STRING is "<TEXTAREA"
			-- (from HTML_FORM_CONSTANTS)

	Virtual: STRING is "VIRTUAL"
			-- (from HTML_FORM_CONSTANTS)

	Wrap: STRING is " WRAP="
			-- (from HTML_FORM_CONSTANTS)
	
feature -- Wipe out

	wipe_out
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class HTML_FORM