+
Point of view
All features
class HANOI
Summary
The classic Tower of Hanoi game.
Compile with:
   compile -o hanoi hanoi -boost
Run with:
   hanoi
Direct parents
Insert list: ARGUMENTS
Overview
Creation features
{ANY}
Features
{}
{ANY}
{ANY}
{}
Implementation of ARGUMENTS (do not use directly):
{}
writable attribute
{}
tower1: TOWER
writable attribute
{}
tower2: TOWER
writable attribute
{}
tower3: TOWER
writable attribute
{}
make
effective procedure
{ANY}
move (how_many: INTEGER_32, source: TOWER, intermediate: TOWER, destination: TOWER)
effective procedure
{ANY}
out_in_tagged_out_memory
effective procedure
{ANY}
Append terse printable representation of current object in tagged_out_memory.
require
  • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
  • not_cleared: tagged_out_memory.count >= old tagged_out_memory.count
  • append_only: old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
argument_count: INTEGER_32
effective function
{ANY}
Number of arguments given to command that started system execution (command name does not count).
ensure
  • Result >= 0
argument (i: INTEGER_32): STRING
effective function
{ANY}
i th argument of command that started system execution Gives the command name if i is 0.
require ensure
  • Result /= Void
command_name: STRING
effective function
{ANY}
command_arguments: FAST_ARRAY[STRING]
frozen
once function
{}
Give access to arguments command line including the command name at index 0.
This is a once function, so you can modify command-line arguments! (NOTE: just be sure not to remove the first argument, although you may change it)
ensure
  • not Result.is_empty
se_argc: INTEGER_32
{}
To implement command_arguments
se_argv (i: INTEGER_32): STRING
{}
To implement command_arguments