/tutorial/cecil/creation_old/c_factory.e
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