Difference between revisions of "Talk:Folding support"

(→‎ADT)
(Testing/Checking)
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>

Revision as of 01:35, 13 June 2006

general TODO

Sanakan 20:37, 3 May 2006 (CEST)

syntax: phase <nr> [<who>] <deadline>

phase 0 (everyone!) saturday, may 6

  • specify ADT
  • generate and discuss a complete ADT of the EV_FOLDING_WIDGET here, if it's complete & correct, we can copy it over to the main page.

phase 1 (stefan, oliver, thomas, Grippus, sanakan) saturday, may 13

  • implement first rough draft of the EV_FOLDING_WIDGET based on the ADT from above (see also hint below).

phase 2 (lukas, Bru, Lord Bubu, sanakan) ...

  • write interface EV_FOLDING_CONTROLLER for users to use our folding widget by supplying an AST.

phase 3 (Grippus, Ledergec, salmanasar, ) ...

  • extensive testing (all members)
  • documentation

phase 4 (to be assigned) ...

  • integration with EiffelStudio (aka. wunschtraum...)

hint

Bayt

The folding support should be included the: EDITABLE_TEXT_PANEL

Grippus

I agree on having those functionalities; but we do not have any changes there; i think the view (of MVC model) is resided in 57dev\Eiffel\interface\new_graphical\text_window\interface. e.g. EB_SMART_EDITOR, which inherits from EDITABLE_TEXT_PANEL (indirectly) and OUTPUT_WINDOW...

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:-(!)


Bru 13:00, 9 May 2006 (CEST)

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.

salmanasar 13:15, 9 May 2006 (CEST)

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

WhatWhereWhenHowWhy
Sanakan 16:59, 26 April 2006 (CEST)

discuss what the ADT of the widget should be like:


Exception 14:45, 4 May 2006 (CEST)
I think we need another data type / class that specifies where folding is possible and whether it's folded or not. I propose the name EV_FOLDING_AREA.

it should have the following functions:
create: -> EV_FOLDING_AREA
the area goes from this character on.
from: EV_FOLDING_AREA -> INTEGER
the area goes from this character on.
to: EV_FOLDING_AREA -> INTEGER
the area goes until this character.
folded: EV_FOLDING_AREA -> BOOLEAN
is it folded or not?
fold: EV_FOLDING_AREA -> EV_FOLDING_AREA
fold the area.
unfold: EV_FOLDING_AREA -> EV_FOLDING_AREA
unfold the area.
content: EV_FOLDING_AREA x EV_FOLDING_WIDGET -> STRING
the content of the area.

the structure would be controlled by the controller which knows of the AST.

as always, this is only a proposal.


Bru 13:03, 9 May 2006 (CEST)

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...


--Unthomas 14:05, 1 May 2006 (CEST)
Here a link to an interesting paper about ADTs and text editors (node 15): http://www.cs.unm.edu/~crowley/papers/sds/sds.html
Are you able to see the figures?

no images over here, either... but here's a download of said paper: crowley98data.ps
Sanakan 01:06, 2 May 2006 (CEST)

working title of the project

A few ideas:

  • Folding -> falten -> eiffel-origami
  • FEES : Folding editor for Eiffel Studio
  • hidden beauty project
  • HYCs : Hide your code
  • Folding Fields
  • Heilige Dreifaltigkeit

any comments from team members?

Sanakan 22:02, 19 April 2006 (CEST)

Bayt I really like origamiE :-)

Bru origamiE is cool. Another propasal: FEdEX (Folding: an Editor EXtension or an Folding for Editors: an Eiffel eXtension)

Testing/Checking

--Salmanasar 12:35, 13 June 2006 (CEST)

I wrote a little Eiffel-programm with which you can check if our folding-editor works: 

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
Retrieved from "https://dev.eiffel.com/index.php?title=Talk:Folding_support&oldid=3377"