note
    description: "Summary description for {BOMB}."
    author: ""
    date: "$Date$"
    revision: "$Revision$"

class interface
    BOMB

create
    make

feature

    bombs: INTEGER_32

    coord_symbol1: STRING_8

    coord_symbol2: STRING_8

    coordinate1: TUPLE [row: INTEGER_64; column: INTEGER_64]

    coordinate2: TUPLE [row: INTEGER_64; column: INTEGER_64]

    max_bombs: INTEGER_32

feature -- commands

    execute (model: ETF_MODEL)

    redo (model: ETF_MODEL)

    undo (model: ETF_MODEL)

end -- class BOMB