deferred class VISITOR

Features exported to ANY

Skeleton implementation of the "Acyclic Visitor" design pattern. This class is empty as each "node visitor" must add its "visit" feature that visits the corresponding node (and each node must inherit from VISITABLE).

Usage: Usually your node visitors insert VISITOR; the implementations insert all those node visitors and inherit from VISITOR itself.

For examples, look at the tools cluster of SmartEiffel.

Direct parents

non-conformant parents

ANY

Summary

exported features

Details

as_visitor: VISITOR

The Current object as a VISITOR instance.

ensure

  • Result = Current