note
	description: "[
		A {GAME_STEP}
		]"
	author:    "Jimmy J. Johnson"
	date:      "11/11/23"
	copyright: "Copyright (c) 2021, Jimmy J. Johnson"
	license:   "Eiffel Forum v2 (http://www.eiffel.com/licensing/forum.txt)"

deferred class
	TRAVERSABLE_STEP

inherit

	GAME_STEP
		redefine
			make
		end

feature {NONE} -- Initalization

	make (a_game: VITP_GAME)
			-- Create an instance
		do
			Precursor {GAME_STEP} (a_game)
			steps.start
			check
				is_after: steps.after
					-- because of `start' on empty list
			end
			steps.back
			check
				is_before: steps.before
					-- because of empty list
			end
		end

end
