|
TPTP 4.2.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.eclipse.tptp.platform.analysis.engine.ui.details.AbstractDetailsProvider
AbstractDetailsProvider
| Constructor Summary | |
|---|---|
AbstractDetailsProvider()
Constructor. |
|
| Method Summary | |
|---|---|
java.lang.String |
getDescription()
Get the description. |
java.lang.String |
getName()
Get the name. |
protected void |
initNames()
|
void |
setDescription(java.lang.String sDescription)
Set the description. |
void |
setName(java.lang.String sName)
Set the name. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Methods inherited from interface org.eclipse.tptp.platform.analysis.engine.ui.IObjectDetailsProvider |
|---|
createDetails, getPropertySheet, hasDetails, hasPropertySheet |
| Constructor Detail |
public AbstractDetailsProvider()
| Method Detail |
protected void initNames()
public void setName(java.lang.String sName)
setName in interface IObjectDetailsProvidersName - public java.lang.String getName()
getName in interface IObjectDetailsProviderpublic void setDescription(java.lang.String sDescription)
setDescription in interface IObjectDetailsProvidersDescription - public java.lang.String getDescription()
getDescription in interface IObjectDetailsProvider
|
TPTP 4.2.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||