16 1 st Solution: Configurable Visitors Goal: To hide the Visitor design pattern (in Java)  Natural and Extensible Code Drawbacks: accept, fixed parameters and return type of methods  casts or global variables Solution: From model, Visitor Generation Pre-computation to statically look for methods Visit methods with configurable signatures and traversal Aspects dedicated to our Visitors (more extensible analyses), statically or dynamically plugged in
{}