execute is
    local
        numero:INTEGER
        caracter:CHARACTER
      -- El método que se ejecuta cuando se dispara el evento.
      do
            from
                io.read_character
            until
                io.end_of_input
            loop
                caracter:=io.last_character
                if caracter.in_range('0','9') then
                    numero:=caracter.to_integer
                else
                numero:=0
                end
                mi_contador.set_valor(numero)
                io.read_character
            end
      end -- execute