Package org.eclipse.tptp.platform.analysis.core.history

Interface Summary

AnalysisHistoryListener

A listener interface for history activity.

Class Summary

AnalysisHistory	This class is not intended to be extended Creates an analysis element suitable for rendering in the result view.
AnalysisHistoryElement	This class is used internally to manage analysis elements and history mappings.
AnalysisHistoryFactory	This class is used internally to manage history elements.