Package org.eclipse.tptp.platform.llc.ui.internal

Interface Summary

ContextIds

Class Summary

CoverageAdapter
CoverageAnnotationImageProvider
CoverageChangeListener
CoverageClassList
CoverageDecorator
CoverageLaunchListner
CoveragePartListner
CoverageSummary
CoverageUIPlugin	The main plugin class to be used in the desktop.
CoverageUtil
LLCUIImages
OpenJavaSource	A utility class to open a Java file selecting a specific element in the file.