Talk:Folding support - Revision history

Salmanasar: /* working title of the project */

2006-06-19T06:03:57Z

‎working title of the project

Salmanasar: /* working title of the project */

2006-06-19T06:02:46Z

‎working title of the project

Sanakan: cleanup

2006-06-18T00:40:02Z

cleanup

Show changes

Salmanasar: /* Testing/Checking */

2006-06-13T10:35:49Z

‎Testing/Checking

Salmanasar: Testing/Checking

2006-06-13T10:35:23Z

Testing/Checking

Salmanasar: /* ADT */

2006-05-23T10:09:20Z

‎ADT

Salmanasar: /* hint */

2006-05-09T11:21:13Z

‎hint

Bru: /* working title of the project */

2006-05-09T11:14:49Z

‎working title of the project

Bru: /* ADT */

2006-05-09T11:14:13Z

‎ADT

Bru: /* hint */

2006-05-09T11:09:38Z

‎hint

@@ Line 33: / Line 33: @@
 --[[User:Salmanasar|Salmanasar]] 08:02, 19 June 2006 (CEST)
-just for fun, since I was frustrated of compiling Eiffel: [[Image:http://n.ethz.ch/student/degend/download/origamie.JPG]]
+just for fun, since I was frustrated of compiling Eiffel: [[Image:origamie.JPG]]
 = Testing/Checking =

@@ Line 31: / Line 31: @@
 [[User:Bru|Bru]]
 origamiE is cool. Another propasal: FEdEX (Folding: an Editor EXtension or an Folding for Editors: an Eiffel eXtension)
 = Testing/Checking =

@@ Line 109: / Line 109: @@
 --[[User:Salmanasar|Salmanasar]] 12:35, 13 June 2006 (CEST)
-I wrote a little Eiffel-programm with which you can check if our folding-editor works:
+I wrote a little Eiffel-program with which you can check if our folding-editor works:
 <pre>

← Older revision		Revision as of 10:35, 13 June 2006
Line 104:		Line 104:
	[[User:Bru\|Bru]]		[[User:Bru\|Bru]]
	origamiE is cool. Another propasal: FEdEX (Folding: an Editor EXtension or an Folding for Editors: an Eiffel eXtension)		origamiE is cool. Another propasal: FEdEX (Folding: an Editor EXtension or an Folding for Editors: an Eiffel eXtension)
		+
		+	== Testing/Checking ==
		+
		+	--[[User:Salmanasar\|Salmanasar]] 12:35, 13 June 2006 (CEST)
		+
		+	I wrote a little Eiffel-programm with which you can check if our folding-editor works:
		+
		+	<pre>
		+	indexing
		+	description : "System's root class, Class to test if folding editor works"
		+	author: "salmanasar"
		+	date: "11.06.2006"
		+	revision: "1.1"
		+
		+	class
		+	ROOT_CLASS
		+
		+	create
		+	make
		+
		+	feature -- Initialization
		+
		+	make is
		+	-- Creation procedure.
		+	local
		+	option : INTEGER
		+	number : INTEGER
		+	do
		+	-- Print some welcome text.
		+	io.put_string("Enter your option: {1,2,3}")
		+	io.new_line
		+	io.put_string("=========================")
		+	io.new_line
		+	io.read_integer
		+	option := io.last_integer
		+	io.new_line
		+	io.new_line
		+	io.put_string("Enter a number between 1 and 20")
		+	io.new_line
		+	io.put_string("===============================")
		+	io.new_line
		+	io.read_integer
		+	number := io.last_integer
		+	-- if to be folded
		+	if (number > 0) and (number < 21) then
		+	-- inspect to be folded
		+	inspect option
		+	when 1 then looping(number)
		+	when 2 then casedecision(number)
		+	when 3 then inspecting_thing(number)
		+
		+	else io.put_string("no such option!!")
		+	end
		+	end
		+
		+
		+
		+	end
		+
		+	feature -- cases
		+
		+	looping(n: INTEGER) is
		+	-- feature with 2 loops, 1 if-then-else printing a checkered triangle
		+	local
		+	i, j, star: INTEGER
		+	do
		+	from
		+	i := 1
		+	star := 1
		+	until
		+	i > n
		+	loop
		+	from
		+	j := 1
		+	until
		+	j > i
		+	loop
		+	if j \\ 2 = star then
		+	io.put_character (' ')
		+	else
		+	io.put_character ('*')
		+	end
		+	j := j + 1
		+	end
		+	star := 1 - star
		+	i := i + 1
		+	io.put_new_line
		+	end
		+	end
		+
		+
		+	casedecision(n:INTEGER) is
		+	-- feature with if then elseif
		+	do
		+	-- if to be folded
		+	if n > 10
		+	then io.put_string ("What a huge number!!!")
		+	elseif n >5
		+	then io.put_string ("What a little number!!!")
		+	else io.put_string ("What a tiny number!!!")
		+	end
		+	end
		+
		+	inspecting_thing(n:INTEGER) is
		+	-- feature with weird inspecting thing
		+	do
		+	-- inspect to be folded
		+	inspect n
		+	when 1 then io.put_string ("one")
		+	when 2 then io.put_string ("two")
		+	when 3 then io.put_string ("three")
		+	when 4 then io.put_string ("four")
		+	when 5 then io.put_string ("five")
		+	when 6 then io.put_string ("six")
		+	when 7 then io.put_string ("seven")
		+	when 8 then io.put_string ("eight")
		+	else io.put_string ("too big")
		+	end
		+	end
		+
		+
		+
		+	end -- class ROOT_CLASS
		+	</pre>

@@ Line 63: / Line 63: @@
 fold the area. <br/>
 '''unfold:''' EV_FOLDING_AREA -> EV_FOLDING_AREA <br/>
-fold the area. <br/>
+unfold the area. <br/>
 '''content:''' EV_FOLDING_AREA x EV_FOLDING_WIDGET -> STRING <br/>
 the content of the area. <br/>

← Older revision		Revision as of 11:21, 9 May 2006
Line 36:		Line 36:

	I think we should concentrate on finally getting together a list of specs and a BON diagram or something so that we have an idea on how to implement the fracking thing as a simple EV widget before we start thinking about ES. I guess we will have some kind of controller that offers the interface to the container on one side and the displayer on the other. I still have no idea how to start, though, I will start looking at the EDITABLE_TEXT_PANEL source after these frelling midterms.		I think we should concentrate on finally getting together a list of specs and a BON diagram or something so that we have an idea on how to implement the fracking thing as a simple EV widget before we start thinking about ES. I guess we will have some kind of controller that offers the interface to the container on one side and the displayer on the other. I still have no idea how to start, though, I will start looking at the EDITABLE_TEXT_PANEL source after these frelling midterms.
		+
		+	[[User:salmanasar\|salmanasar]] 13:15, 9 May 2006 (CEST)<br/>
		+
		+	I suggest, that every change in the classes is reported with a little comment (perhaps via the mailinglist), so that those of us who do part 3 and 4 are able to support the coders, as sanakan proposed.

	= ADT =		= ADT =

← Older revision		Revision as of 11:14, 9 May 2006
Line 99:		Line 99:

	[[User:Bru\|Bru]]		[[User:Bru\|Bru]]
−	origamiE is cool. Another propasal: FEdEX (Folding: an Editor EXtension or an Eiffel eXtension)	+	origamiE is cool. Another propasal: FEdEX (Folding: an Editor EXtension or an Folding for Editors: an Eiffel eXtension)

← Older revision		Revision as of 11:14, 9 May 2006
Line 68:		Line 68:


−	[[User:Bru\|Bru]] 18:09, 5 May 2006 (CEST)<br/>	+	[[User:Bru\|Bru]] 13:03, 9 May 2006 (CEST)<br/>
−	~~So far~~ I ~~agree with Exception,~~ will ~~read~~ the ~~paper mentioned below over~~ the ~~weekend (have to go to a buck's night~~, so it ~~may not be too productive, though ;)~~	+
		+	How does Eiffel implement text as a sequence of characters? line by line? That will greatly influence our implementation of the folding widget I guess. A "folding area" will then contain the lines themselves and the start and end coordinates of the area, so that when the displayer draws the editor area it gets those coordinates from the folding controller and doesn't display those lines but puts a symbol there instead. Just thinking out loud here...
		+

← Older revision		Revision as of 11:09, 9 May 2006
Line 31:		Line 31:

	furthermore one should have an entrie in View -> Class View to activate/deactivate folding support in ES. (for debugging purposes)... (unforttunately ES still won't compile properly:-(!)		furthermore one should have an entrie in View -> Class View to activate/deactivate folding support in ES. (for debugging purposes)... (unforttunately ES still won't compile properly:-(!)
		+
		+
		+	[[User:Bru\|Bru]] 13:00, 9 May 2006 (CEST)<br/>
		+
		+	I think we should concentrate on finally getting together a list of specs and a BON diagram or something so that we have an idea on how to implement the fracking thing as a simple EV widget before we start thinking about ES. I guess we will have some kind of controller that offers the interface to the container on one side and the displayer on the other. I still have no idea how to start, though, I will start looking at the EDITABLE_TEXT_PANEL source after these frelling midterms.

	= ADT =		= ADT =