/[eiffelstudio]/FreeELKS/trunk/library/kernel/system_string_factory.e
ViewVC logotype

Contents of /FreeELKS/trunk/library/kernel/system_string_factory.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 91477 - (show annotations)
Sun Jan 14 09:47:13 2007 UTC (13 years, 1 month ago) by ericb
File size: 955 byte(s)
Synchronized with ISE 6.0.65740
1 indexing
2 description: "Factory for creating SYSTEM_STRING instances."
3 library: "Free implementation of ELKS library"
4 copyright: "Copyright (c) 1986-2006, Eiffel Software and others"
5 license: "Eiffel Forum License v2 (see forum.txt)"
6 date: "$Date: $"
7 revision: "$Revision: $"
8
9 class
10 SYSTEM_STRING_FACTORY
11
12 feature -- Conversion
13
14 from_string_to_system_string (a_str: STRING_GENERAL): SYSTEM_STRING is
15 -- Convert `a_str' to an instance of SYSTEM_STRING.
16 require
17 is_dotnet: {PLATFORM}.is_dotnet
18 a_str_not_void: a_str /= Void
19 do
20 ensure
21 from_string_to_system_string_not_void: Result /= Void
22 end
23
24 read_system_string_into (a_str: SYSTEM_STRING; a_result: STRING_GENERAL) is
25 -- Fill `a_result' with `a_str' content.
26 require
27 is_dotnet: {PLATFORM}.is_dotnet
28 a_str_not_void: a_str /= Void
29 a_result_not_void: a_result /= Void
30 a_result_valid: a_result.count = a_str.length
31 do
32 end
33
34 end

  ViewVC Help
Powered by ViewVC 1.1.23