Rock coasts, with particular emphasis on shore platforms