/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
- class C_FACTORY
- feature {ANY}
- string_make (c_string: NATIVE_ARRAY[CHARACTER]): STRING is
- -- Creates a new Eiffel STRING using `c_string' contents as
- -- a model (for the contents of the new STRING).
- require
- c_string.is_not_null
- do
- create Result.from_external_copy(c_string.to_external)
- end
- end -- class C_FACTORY