column.setText(caption);
column.setWidth(convertWidthInCharsToPixels(width));
}
private Line[] getLines() {
IJavaElementCoverage c = CoverageTools.getCoverageInfo(getElement());
if (c == null) {
return new Line[0];
} else {
return new Line[] {
new Line(UIMessages.CoveragePropertyPageInstructions_label, c.getInstructionCounter()),
new Line(UIMessages.CoveragePropertyPageBlocks_label, c.getBlockCounter()),
new Line(UIMessages.CoveragePropertyPageLines_label, c.getLineCounter()),
new Line(UIMessages.CoveragePropertyPageMethods_label, c.getMethodCounter()),
new Line(UIMessages.CoveragePropertyPageTypes_label, c.getTypeCounter())
};
}
}