org.topbraidcomposer.editors.ontology.statistics.instancescount
Class InstancesCountFormPart

java.lang.Object
  org.eclipse.ui.forms.AbstractFormPart
      org.topbraidcomposer.editors.ontology.statistics.instancescount.InstancesCountFormPart

All Implemented Interfaces:

org.eclipse.ui.forms.IFormPart

public class InstancesCountFormPart
extends org.eclipse.ui.forms.AbstractFormPart

Constructor Summary

InstancesCountFormPart(Statistics statistics)

Method Summary

void	dispose()
void	initialize(org.eclipse.ui.forms.IManagedForm form)
void	refresh()

Methods inherited from class org.eclipse.ui.forms.AbstractFormPart

commit, getManagedForm, isDirty, isStale, markDirty, markStale, setFocus, setFormInput

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InstancesCountFormPart

public InstancesCountFormPart(Statistics statistics)

Method Detail

dispose

public void dispose()

Specified by:

dispose in interface org.eclipse.ui.forms.IFormPart

Overrides:

dispose in class org.eclipse.ui.forms.AbstractFormPart

initialize

public void initialize(org.eclipse.ui.forms.IManagedForm form)

Specified by:

initialize in interface org.eclipse.ui.forms.IFormPart

Overrides:

initialize in class org.eclipse.ui.forms.AbstractFormPart

refresh

public void refresh()

Specified by:

refresh in interface org.eclipse.ui.forms.IFormPart

Overrides:

refresh in class org.eclipse.ui.forms.AbstractFormPart