|
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 'Resource Filter'.
The following features are supported:
FilterPackage.getResourceFilter()| Method Summary | |
|---|---|
java.lang.String |
getResourceName()
Returns the value of the 'Resource Name' attribute. |
void |
setResourceName(java.lang.String value)
Sets the value of the ' Resource Name' attribute. |
| Methods inherited from interface org.eclipse.tptp.platform.analysis.util.filter.AbstractFilter |
|---|
getName, satisfies, setName |
| 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 getResourceName()
If the meaning of the 'Resource Name' attribute isn't clear, there really should be more of a description here...
setResourceName(String),
FilterPackage.getResourceFilter_ResourceName()public void setResourceName(java.lang.String value)
Resource Name' attribute.
value - the new value of the 'Resource Name' attribute.getResourceName()
|
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 | ||||||||||