Interface of the cross-analysis handlers called by TypeAnalyzer.
Users may register cross-analysis handlers (and other kinds of supported
handlers) to the TypeAnalyzer used to analyze Java source code.
When the analyzer detects more cross-analyzed types, it calls back those
Cross-analyzed types are the other types to be refactored at the same time.
Special care is taken about those types because their instances are
monitored by checkpoint objects. It is not possible to know all the
cross-analyzed types at the beginning of the refactoring. It is then
necessary to fix the refactoring result whenever more cross-analyzed types
are found as the type analysis goes on.
Handle new cross-analyzed types recorded in the state of the type
analyzer. This method may be triggered whenever a new cross-analyzed
type is found by the type analyzer. Implementing classes may implement
this method to update the refactoring result.