|
TPTP 4.1.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
A representation of the model object 'ISolution'.
The following features are supported:
EnginePackage.getISolution()| Method Summary | |
|---|---|
boolean |
canFix(IMatch match)
|
boolean |
fix(IMatch match,
boolean headless)
|
java.lang.String |
getName()
Returns the value of the 'Name' attribute. |
void |
setName(java.lang.String value)
Sets the value of the ' Name' attribute. |
boolean |
supportsHeadlessMode()
|
boolean |
undoFix(IMatch match)
|
| Methods inherited from interface org.eclipse.emf.ecore.EObject |
|---|
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset |
| Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
|---|
eAdapters, eDeliver, eNotify, eSetDeliver |
| Method Detail |
public java.lang.String getName()
If the meaning of the 'Name' attribute isn't clear, there really should be more of a description here...
setName(String),
EnginePackage.getISolution_Name()public void setName(java.lang.String value)
Name' attribute.
value - the new value of the 'Name' attribute.getName()public boolean supportsHeadlessMode()
public boolean canFix(IMatch match)
public boolean fix(IMatch match,
boolean headless)
public boolean undoFix(IMatch match)
|
TPTP 4.1.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||