Moved to draft

draft/library/wsf_js_widget/kernel/progressbar/wsf_progress_control.e

@@ -0,0 +1,97 @@
+note
+	description: "Summary description for {WSF_PROGRESS_CONTROL}."
+	author: ""
+	date: "$Date$"
+	revision: "$Revision$"
+
+class
+	WSF_PROGRESS_CONTROL
+
+inherit
+
+	WSF_CONTROL
+
+create
+	make_progress, make_progress_with_source
+
+feature {NONE} -- Initialization
+
+	make_progress (n: STRING)
+			-- Initialize with specified control name
+		do
+			make_control (n, "div")
+			add_class ("progress")
+			progress := 0
+		end
+
+	make_progress_with_source (n: STRING; p: WSF_PROGRESSSOURCE)
+			-- Initialize with specified control name and progresssource
+		do
+			make_progress (n)
+			progress_source := p
+		end
+
+feature -- State handling
+
+	set_state (new_state: JSON_OBJECT)
+		do
+			if attached {JSON_NUMBER} new_state.item ("progress") as new_progress then
+				progress := new_progress.item.to_integer
+			end
+		end
+
+	state: JSON_OBJECT
+		do
+			create Result.make
+			Result.put (create {JSON_NUMBER}.make_integer (progress_value), "progress")
+		end
+
+feature -- Event handling
+
+	handle_callback (cname: STRING; event: STRING; event_parameter: detachable STRING)
+		do
+			if cname.same_string (control_name) and event.same_string ("progress_fetch") then
+				state_changes.put (create {JSON_NUMBER}.make_integer (progress_value), "progress")
+			end
+		end
+
+feature -- Rendering
+
+	render: STRING
+		local
+			p: STRING
+		do
+			p := progress_value.out
+			Result := render_tag_with_tagname ("div", "", "role=%"progressbar%" aria-valuenow=%"" + p + "%" aria-valuemin=%"0%" aria-valuemax=%"100%" style=%"width: " + p + "%%;%"", "progress-bar")
+			Result := render_tag (Result, "")
+		end
+
+feature -- Change
+
+	set_progress (p: INTEGER)
+			-- Set current progress value to specified value. Must be between 0 and 100. Must only be called when no progresssource has been set to this progress control
+		require
+			no_progress_source: not (attached progress_source)
+			valid_input_value: p >= 0 and p <= 100
+		do
+			progress := p
+			state_changes.put (create {JSON_NUMBER}.make_integer (progress), "progress")
+		end
+
+feature -- Implementation
+
+	progress_value: INTEGER
+		do
+			Result := progress
+			if attached progress_source as ps then
+				Result := ps.progress
+			end
+		end
+
+feature -- Properties
+
+	progress_source: detachable WSF_PROGRESSSOURCE
+
+	progress: INTEGER
+
+end

draft/library/wsf_js_widget/kernel/progressbar/wsf_progresssource.e

@@ -0,0 +1,17 @@
+note
+	description: "Summary description for {WSF_PROGRESSSOURCE}."
+	author: ""
+	date: "$Date$"
+	revision: "$Revision$"
+
+deferred class
+	WSF_PROGRESSSOURCE
+
+feature -- Specification
+
+	progress: INTEGER
+			-- Current value of progress between 0 and 100 of this progresssource
+		deferred
+		end
+
+end