TPTP 4.1.0 Platform Project
Public API Specification

org.eclipse.tptp.platform.analysis.engine
Interface ISolution

All Superinterfaces:
org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier
All Known Implementing Classes:
ISolutionImpl

public interface ISolution
extends org.eclipse.emf.ecore.EObject

A representation of the model object 'ISolution'.

The following features are supported:

See Also:
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

getName

public java.lang.String getName()
Returns the value of the 'Name' attribute.

If the meaning of the 'Name' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'Name' attribute.
See Also:
setName(String), EnginePackage.getISolution_Name()

setName

public void setName(java.lang.String value)
Sets the value of the 'Name' attribute.

Parameters:
value - the new value of the 'Name' attribute.
See Also:
getName()

supportsHeadlessMode

public boolean supportsHeadlessMode()


canFix

public boolean canFix(IMatch match)


fix

public boolean fix(IMatch match,
                   boolean headless)


undoFix

public boolean undoFix(IMatch match)


TPTP 4.1.0 Platform Project
Public API Specification