Package tools.refinery.language.model.problem

Interface ModalExpr

All Superinterfaces:

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

All Known Implementing Classes:

ModalExprImpl

public interface ModalExpr
extends UnaryExpr

A representation of the model object 'Modal Expr'.

The following features are supported:

• Concreteness
• Modality

See Also:

• ProblemPackage.getModalExpr()

Method Summary

Modifier and Type	Method	Description
Concreteness	getConcreteness()	Returns the value of the 'Concreteness' attribute.
Modality	getModality()	Returns the value of the 'Modality' attribute.
void	setConcreteness(Concreteness value)	Sets the value of the 'Concreteness' attribute.
void	setModality(Modality value)	Sets the value of the 'Modality' attribute.

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 org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

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

getBody, setBody

Method Details

getConcreteness

Concreteness getConcreteness()

Returns the value of the 'Concreteness' attribute. The literals are from the enumeration Concreteness.

Returns:

the value of the 'Concreteness' attribute.

See Also:

• Concreteness
• setConcreteness(Concreteness)
• ProblemPackage.getModalExpr_Concreteness()

setConcreteness

void setConcreteness(Concreteness value)

Sets the value of the 'Concreteness' attribute.

Parameters:

value - the new value of the 'Concreteness' attribute.

See Also:

• Concreteness
• getConcreteness()

getModality

Modality getModality()

Returns the value of the 'Modality' attribute. The literals are from the enumeration Modality.

Returns:

the value of the 'Modality' attribute.

See Also:

• Modality
• setModality(Modality)
• ProblemPackage.getModalExpr_Modality()

setModality

void setModality(Modality value)

Sets the value of the 'Modality' attribute.

Parameters:

value - the new value of the 'Modality' attribute.

See Also:

• Modality
• getModality()