File upload implementation part1

draft/library/wsf_js_widget/kernel/input/wsf_file_control.e

@@ -0,0 +1,81 @@
+note
+	description: "Summary description for {WSF_FILE_CONTROL}."
+	author: ""
+	date: "$Date$"
+	revision: "$Revision$"
+
+class
+	WSF_FILE_CONTROL
+
+inherit
+
+	WSF_VALUE_CONTROL [detachable WSF_PENDING_FILE]
+		rename
+			make as make_value_control
+		end
+
+create
+	make
+
+feature {NONE} -- Initialization
+
+	make
+		do
+			make_value_control ("input")
+		end
+
+feature {WSF_PAGE_CONTROL, WSF_CONTROL} -- State management
+
+	set_state (new_state: JSON_OBJECT)
+			-- Restore text from json
+		do
+			if attached {JSON_STRING} new_state.item ("file") as new_name and attached {JSON_STRING} new_state.item ("type") as new_type and attached {JSON_NUMBER} new_state.item ("size") as new_size then
+				create file.make (new_name.unescaped_string_32, new_type.unescaped_string_32, new_size.item.to_integer_32);
+			end
+		end
+
+	state: WSF_JSON_OBJECT
+			-- Return state which contains the current text and if there is an event handle attached
+		do
+			create Result.make
+			Result.put_boolean (attached change_event, "callback_change")
+		end
+
+feature --Event handling
+
+	set_change_event (e: attached like change_event)
+			-- Set text change event handle
+		do
+			change_event := e
+		end
+
+	handle_callback (cname: LIST [STRING]; event: STRING; event_parameter: detachable STRING)
+		do
+			if Current.control_name.same_string (cname [1]) and attached change_event as cevent then
+				if event.same_string ("change") then
+					cevent.call (Void)
+				end
+			end
+		end
+
+feature -- Implementation
+
+	value: detachable WSF_PENDING_FILE
+		do
+			Result := file
+		end
+
+	render: STRING
+		do
+			Result := render_tag ("", "type=%"file%"  ")
+		end
+
+feature -- Properties
+
+	file: detachable WSF_PENDING_FILE
+			-- Text to be displayed
+
+	change_event: detachable PROCEDURE [ANY, TUPLE]
+			-- Procedure to be execued on change
+
+end

draft/library/wsf_js_widget/kernel/input/wsf_pending_file.e

@@ -0,0 +1,30 @@
+note
+	description: "Summary description for {WSF_PENDING_FILE}."
+	author: ""
+	date: "$Date$"
+	revision: "$Revision$"
+
+class
+	WSF_PENDING_FILE
+
+create
+	make
+
+feature {NONE}
+
+	make (a_name, a_type: STRING; a_size: INTEGER)
+		do
+			name := a_name
+			type := a_type
+			size := a_size
+		end
+
+feature --Properties
+
+	name: STRING
+
+	type: STRING
+
+	size: INTEGER
+
+end

draft/library/wsf_js_widget/kernel/validator/wsf_filesize_validator.e

@@ -0,0 +1,54 @@
+note
+	description: "Summary description for {WSF_FILESIZE_VALIDATOR}."
+	author: ""
+	date: "$Date$"
+	revision: "$Revision$"
+
+class
+	WSF_FILESIZE_VALIDATOR
+
+inherit
+
+	WSF_VALIDATOR [detachable WSF_PENDING_FILE]
+		rename
+			make as make_validator
+		redefine
+			state
+		end
+
+create
+	make
+
+feature {NONE} -- Initialization
+
+	make (m: INTEGER; e: STRING)
+			-- Initialize with specified maximum filesize and error message which will be displayed on validation failure
+		do
+			make_validator (e)
+			max := m
+		end
+
+feature -- Implementation
+
+	is_valid (input: detachable WSF_PENDING_FILE): BOOLEAN
+		do
+			Result := True
+			if attached input as a_input then
+				Result := a_input.size < max or a_input.size = max
+			end
+		end
+
+feature -- State
+
+	state: WSF_JSON_OBJECT
+		do
+			Result := Precursor
+			Result.put_integer (max, "max")
+		end
+
+feature -- Properties
+
+	max: INTEGER
+			-- The maximal allowed value
+
+end

draft/library/wsf_js_widget/kernel/webcontrol/wsf_form_element_control.e

@@ -36,12 +36,13 @@ feature {NONE} -- Initialization
 		do
 			make_control ("div")
 			add_class ("form-group")
-			if attached {WSF_INPUT_CONTROL} c or attached {WSF_TEXTAREA_CONTROL} c then
-				c.add_class ("form-control")
-			end
 			if attached {WSF_HTML_CONTROL} c then
 				c.add_class ("form-control-static")
+			elseif not attached {WSF_VALUE_CONTROL [LIST[ANY]]} c then
+
+				c.add_class ("form-control")
 			end
+			label_width := 2
 			value_control := c
 			validators := v
 			label := a_label