mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 07:12:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Author:halw

Browse Source 
Date:2013-01-04T18:48:39.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1212 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2013-01-29 02:34:38 +00:00
parent cbd7d91816
commit 7daa0ba2c7
3 changed files with 12 additions and 45 deletions
Download Patch File Download Diff File Expand all files Collapse all files

BIN
documentation/current/method/_images/VoidSafeAddLibraryDialog_noGobo.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 17 KiB

3
documentation/current/method/_images/VoidSafeAddLibraryDialog_noGobo.png.data Normal file
View File

@@ -0,0 +1,3 @@
title=VoidSafeAddLibraryDialog
author=halw
path=content/voidsafeaddlibrarydialog

54
documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-implementation.wiki
View File

@@ -76,57 +76,22 @@ and you want to output that string using <code>io.put_string</code>. The solutio
But the statement above results in a compile error because the argument type (<code>separate STRING</code>) is not compatible with the type (<code>STRING</code>) that <code>put_string</code> is expecting.
Possible workarounds are to produce a non-separate version of the string which would be printable, or to print the string character-by-character. Both involve looping through the string.
In order to make printing of the content of separate instances of <code>STRING</code>, a creation procedure, <code>make_from_separate</code>, is available in the string classes which allows initialization of a non-separate instance of <code>STRING</code> from a separate <code>STRING</code>.
To construct equivalent objects of type <code>STRING</code> from those of type <code>separate STRING</code>, you could write a function:
So, to print <code>my_separate_string</code>, you could create a non-separate instance of <code>STRING</code>, then print the non-separate instance, as shown below.
<code>
non_separate_string (a_sep_str: separate STRING): STRING
-- Non-separate copy of `a_sep_str'
local
i: INTEGER
do
create Result.make_empty
from
i := 1
until
i > a_sep_str.count
loop
Result.append_character (a_sep_str [i])
i := i + 1
end
end
local
l_temp: STRING
...
create l_temp.make_from_separate (my_separate_string)
io.put_string (l_temp)
</code>
Then you could print <code>my_separate_string</code> this way:
Or use a creation expression and avoid declaring the local variable:
<code>
io.put_string (non_separate_string (my_separate_string))
</code>
The other alternate is to create a procedure that will print an object of type <code>separate STRING</code>:
<code>
print_separate_string (a_sep_str: separate STRING)
-- Print `a_sep_str' on standard output.
local
i: INTEGER
do
from
i := 1
until
i > a_sep_str.count
loop
io.put_character (a_sep_str [i])
i := i + 1
end
end
</code>
Then you could use that procedure to output <code>my_separate_string</code>:
<code>
print_separate_string (my_separate_string)
io.put_string (create {STRING}.make_from_separate (l_temp))
</code>
@@ -142,4 +107,3 @@ In the EiffelStudio implementation, a routine will not necessarily wait for all