@Override
public void update(Procedure catalog_proc) {
this.element = catalog_proc;
this.statementsLabel.setText(Integer.toString(catalog_proc.getStatements().size()));
ProcedureStatistics stats = null;
if (this.parent.getDesigner() != null && this.parent.getDesigner().getDesignerInfo() != null) {
stats = this.parent.getDesigner().getDesignerInfo().getStats().getProcedureStatistics(catalog_proc);
}
if (stats != null) {
this.workloadLabel.setText(stats.proc_counts.toString());