indexing
description : "显示 Hello World"
note : "Initial version automatically generated"
class
ROOT_HELLO
creation
make
feature -- Initialization
make is
-- Creation procedure.
do
--| Add your code here
io.put_string (" Hello World ")
io.new_line
end
end -- class ROOT_HELLO