Package tools.refinery.language.model.problem

Interface AggregationExpr

All Superinterfaces:

org.eclipse.emf.ecore.EObject, ExistentialQuantifier, Expr, org.eclipse.emf.common.notify.Notifier

All Known Implementing Classes:

AggregationExprImpl

public interface AggregationExpr
extends Expr, ExistentialQuantifier

A representation of the model object 'Aggregation Expr'.

The following features are supported:

• Value
• Condition
• Aggregator

See Also:

• ProblemPackage.getAggregationExpr()

Method Summary

Modifier and Type	Method	Description
AggregatorDeclaration	getAggregator()	Returns the value of the 'Aggregator' reference.
Expr	getCondition()	Returns the value of the 'Condition' containment reference.
Expr	getValue()	Returns the value of the 'Value' containment reference.
void	setAggregator(AggregatorDeclaration value)	Sets the value of the 'Aggregator' reference.
void	setCondition(Expr value)	Sets the value of the 'Condition' containment reference.
void	setValue(Expr value)	Sets the value of the 'Value' containment reference.

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface tools.refinery.language.model.problem.ExistentialQuantifier

getImplicitVariables

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Method Details

getValue

Expr getValue()

Returns the value of the 'Value' containment reference.

Returns:

the value of the 'Value' containment reference.

See Also:

• setValue(Expr)
• ProblemPackage.getAggregationExpr_Value()

setValue

void setValue(Expr value)

Sets the value of the 'Value' containment reference.

Parameters:

value - the new value of the 'Value' containment reference.

See Also:

• getValue()

getCondition

Expr getCondition()

Returns the value of the 'Condition' containment reference.

Returns:

the value of the 'Condition' containment reference.

See Also:

• setCondition(Expr)
• ProblemPackage.getAggregationExpr_Condition()

setCondition

void setCondition(Expr value)

Sets the value of the 'Condition' containment reference.

Parameters:

value - the new value of the 'Condition' containment reference.

See Also:

• getCondition()

getAggregator

AggregatorDeclaration getAggregator()

Returns the value of the 'Aggregator' reference.

Returns:

the value of the 'Aggregator' reference.

See Also:

• setAggregator(AggregatorDeclaration)
• ProblemPackage.getAggregationExpr_Aggregator()

setAggregator

void setAggregator(AggregatorDeclaration value)

Sets the value of the 'Aggregator' reference.

Parameters:

value - the new value of the 'Aggregator' reference.

See Also:

• getAggregator()