column.setText(caption);
column.setWidth(convertWidthInCharsToPixels(width));
}
private Line[] getLines() {
ICoverageNode 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.CoveragePropertyPageBranches_label,
c.getBranchCounter()),
new Line(UIMessages.CoveragePropertyPageLines_label,
c.getLineCounter()),
new Line(UIMessages.CoveragePropertyPageMethods_label,
c.getMethodCounter()),
new Line(UIMessages.CoveragePropertyPageTypes_label,
c.getClassCounter()),
new Line(UIMessages.CoveragePropertyPageComplexity_label,
c.getComplexityCounter()) };
}
}