PageRenderTime 4ms CodeModel.GetById 1ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/tutorial/cecil/creation_old/c_factory.e

http://github.com/tybor/Liberty
Specman e | 13 lines | 9 code | 2 blank | 2 comment | 0 complexity | 509ca96848bb38f3c2c31c59193a14c2 MD5 | raw file
 1class C_FACTORY
 2
 3feature {ANY}
 4	string_make (c_string: NATIVE_ARRAY[CHARACTER]): STRING is
 5			-- Creates a new Eiffel STRING using `c_string' contents as
 6			-- a model (for the contents of the new STRING).
 7		require
 8			c_string.is_not_null
 9		do
10			create Result.from_external_copy(c_string.to_external)
11		end
12
13end -- class C_FACTORY