2015-02-20 00:35:01 -05:00
|
|
|
class
|
|
|
|
|
APPLICATION
|
2015-11-18 06:14:39 +00:00
|
|
|
|
2015-02-20 00:35:01 -05:00
|
|
|
create
|
|
|
|
|
make
|
|
|
|
|
|
2015-11-18 06:14:39 +00:00
|
|
|
feature {NONE}
|
|
|
|
|
|
|
|
|
|
make
|
|
|
|
|
do
|
|
|
|
|
io.put_string (increment_numerical_string ("7"))
|
|
|
|
|
io.new_line
|
|
|
|
|
io.put_string (increment_numerical_string ("99"))
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
increment_numerical_string (s: STRING): STRING
|
|
|
|
|
-- String 's' incremented by one.
|
|
|
|
|
do
|
|
|
|
|
Result := s.to_integer.plus (1).out
|
|
|
|
|
end
|
|
|
|
|
|
2015-02-20 00:35:01 -05:00
|
|
|
end
|