|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface QuantifiedExpression
A representation of the model object 'Quantified Expression'.
The following features are supported:
DomPackage.getQuantifiedExpression()| Method Summary | |
|---|---|
Expression |
getExpression()
Returns the value of the 'Expression' containment reference. |
String |
getName()
Returns the value of the 'Name' attribute. |
String |
getQuantifier()
Returns the value of the 'Quantifier' attribute. |
void |
setExpression(Expression value)
Sets the value of the ' Expression' containment reference. |
void |
setName(String value)
Sets the value of the ' Name' attribute. |
void |
setQuantifier(String value)
Sets the value of the ' Quantifier' attribute. |
| 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 |
|---|
String getQuantifier()
If the meaning of the 'Quantifier' attribute isn't clear, there really should be more of a description here...
setQuantifier(String),
DomPackage.getQuantifiedExpression_Quantifier()void setQuantifier(String value)
Quantifier' attribute.
value - the new value of the 'Quantifier' attribute.getQuantifier()Expression getExpression()
If the meaning of the 'Expression' containment reference isn't clear, there really should be more of a description here...
setExpression(Expression),
DomPackage.getQuantifiedExpression_Expression()void setExpression(Expression value)
Expression' containment reference.
value - the new value of the 'Expression' containment reference.getExpression()String getName()
If the meaning of the 'Name' attribute isn't clear, there really should be more of a description here...
setName(String),
DomPackage.getQuantifiedExpression_Name()void setName(String value)
Name' attribute.
value - the new value of the 'Name' attribute.getName()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||