Added precondition in layout control

2014-01-04 14:15:05 +01:00
parent c9599f449f
commit c4acbf563f
1 changed files with 7 additions and 4 deletions
--- a/draft/library/wsf_js_widget/kernel/webcontrol/wsf_layout_control.e
+++ b/draft/library/wsf_js_widget/kernel/webcontrol/wsf_layout_control.e
@@ -39,6 +39,9 @@ feature -- Add control
 		end

 	add_control (col: INTEGER; c: WSF_STATELESS_CONTROL)
+		require
+			col >= 1 and col <= controls.count
+			attached {WSF_STATELESS_MULTI_CONTROL [WSF_STATELESS_CONTROL]} controls [col]
 		do
 			if attached {WSF_STATELESS_MULTI_CONTROL [WSF_STATELESS_CONTROL]} controls [col] as div then
 				div.add_control (c)