Editing Visitor pattern (section)

==== Accept ====
When the <code>accept</code> method is called in the program, its implementation is chosen based on both the dynamic type of the element and the static type of the visitor. When the associated <code>visit</code> method is called, its implementation is chosen based on both the dynamic type of the visitor and the static type of the element, as known from within the implementation of the <code>accept</code> method, which is the same as the dynamic type of the element. (As a bonus, if the visitor can't handle an argument of the given element's type, then the compiler will catch the error.)