|
org.eclipse.uml2.uml
Interface OpaqueExpression
-
All Superinterfaces:
-
Element, org.eclipse.emf.ecore.EModelElement, org.eclipse.emf.ecore.EObject,
NamedElement, org.eclipse.emf.common.notify.Notifier,
PackageableElement,
ParameterableElement,
TypedElement,
ValueSpecification
-
public interface OpaqueExpression
- extends
ValueSpecification
A representation of the model object '
Opaque Expression
'.
An opaque expression is an uninterpreted textual statement that denotes a (possibly empty) set of values when evaluated in a context.
Provides a mechanism for precisely defining the behavior of an opaque expression. An opaque expression is defined by a behavior restricted to return one result.
The following features are supported:
-
See Also:
-
UMLPackage.getOpaqueExpression()
Method Summary
|
Behavior
|
getBehavior
()
Returns the value of the '
Behavior
' reference |
org.eclipse.emf.common.util.EList<java.lang.String>
|
getBodies
()
Returns the value of the '
Body
' attribute list. |
org.eclipse.emf.common.util.EList<java.lang.String>
|
getLanguages
()
Returns the value of the '
Language
' attribute list. |
Parameter
|
getResult
()
Returns the value of the '
Result
' reference |
boolean
|
isIntegral
()
The query isIntegral() tells whether an expression is intended to produce an integer. |
boolean
|
isNonNegative
()
The query isNonNegative() tells whether an integer expression has a non-negative value. |
boolean
|
isPositive
()
The query isPositive() tells whether an integer expression has a positive value. |
boolean
|
isSetBodies
()
Returns whether the value of the '
Body ' attribute list is set |
boolean
|
isSetLanguages
()
Returns whether the value of the '
Language ' attribute list is set |
void
|
setBehavior
(
Behavior value)
Sets the value of the '
Behavior ' reference |
void
|
unsetBodies
()
Unsets the value of the '
Body ' attribute list |
void
|
unsetLanguages
()
Unsets the value of the '
Language ' attribute list |
boolean
|
validateLanguageBodySize
(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
If the language attribute is not empty, then the size of the body and language arrays must be the same. |
boolean
|
validateOneReturnResultParameter
(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
The behavior must have exactly one return result parameter. |
boolean
|
validateOnlyReturnResultParameters
(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
The behavior may only have return result parameters. |
int
|
value
()
The query value() gives an integer value for an expression intended to produce one. |
Methods inherited from interface org.eclipse.uml2.uml.
NamedElement
|
allNamespaces,
allOwningPackages,
createDependency,
createNameExpression,
createUsage,
getClientDependencies,
getClientDependency,
getClientDependency,
getLabel,
getLabel,
getName,
getNameExpression,
getNamespace,
getQualifiedName,
getVisibility,
isDistinguishableFrom,
isSetName,
isSetVisibility,
separator,
setName,
setNameExpression,
setVisibility,
unsetName,
unsetVisibility,
validateHasNoQualifiedName,
validateHasQualifiedName,
validateVisibilityNeedsOwnership
|
Methods inherited from interface org.eclipse.uml2.uml.
Element
|
addKeyword,
allOwnedElements,
applyStereotype,
createEAnnotation,
createOwnedComment,
destroy,
getApplicableStereotype,
getApplicableStereotypes,
getAppliedStereotype,
getAppliedStereotypes,
getAppliedSubstereotype,
getAppliedSubstereotypes,
getKeywords,
getModel,
getNearestPackage,
getOwnedComments,
getOwnedElements,
getOwner,
getRelationships,
getRelationships,
getRequiredStereotype,
getRequiredStereotypes,
getSourceDirectedRelationships,
getSourceDirectedRelationships,
getStereotypeApplication,
getStereotypeApplications,
getTargetDirectedRelationships,
getTargetDirectedRelationships,
getValue,
hasKeyword,
hasValue,
isStereotypeApplicable,
isStereotypeApplied,
isStereotypeRequired,
mustBeOwned,
removeKeyword,
setValue,
unapplyStereotype,
validateHasOwner,
validateNotOwnSelf
|
Methods inherited from interface org.eclipse.emf.ecore.EModelElement
|
getEAnnotation, getEAnnotations
|
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
|
Methods inherited from interface org.eclipse.uml2.uml.
Element
|
addKeyword,
allOwnedElements,
applyStereotype,
createEAnnotation,
createOwnedComment,
destroy,
getApplicableStereotype,
getApplicableStereotypes,
getAppliedStereotype,
getAppliedStereotypes,
getAppliedSubstereotype,
getAppliedSubstereotypes,
getKeywords,
getModel,
getNearestPackage,
getOwnedComments,
getOwnedElements,
getOwner,
getRelationships,
getRelationships,
getRequiredStereotype,
getRequiredStereotypes,
getSourceDirectedRelationships,
getSourceDirectedRelationships,
getStereotypeApplication,
getStereotypeApplications,
getTargetDirectedRelationships,
getTargetDirectedRelationships,
getValue,
hasKeyword,
hasValue,
isStereotypeApplicable,
isStereotypeApplied,
isStereotypeRequired,
mustBeOwned,
removeKeyword,
setValue,
unapplyStereotype,
validateHasOwner,
validateNotOwnSelf
|
Methods inherited from interface org.eclipse.emf.ecore.EModelElement
|
getEAnnotation, getEAnnotations
|
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
|
Methods inherited from interface org.eclipse.uml2.uml.
NamedElement
|
allNamespaces,
allOwningPackages,
createDependency,
createNameExpression,
createUsage,
getClientDependencies,
getClientDependency,
getClientDependency,
getLabel,
getLabel,
getName,
getNameExpression,
getNamespace,
getQualifiedName,
getVisibility,
isDistinguishableFrom,
isSetName,
isSetVisibility,
separator,
setName,
setNameExpression,
setVisibility,
unsetName,
unsetVisibility,
validateHasNoQualifiedName,
validateHasQualifiedName,
validateVisibilityNeedsOwnership
|
Methods inherited from interface org.eclipse.uml2.uml.
Element
|
addKeyword,
allOwnedElements,
applyStereotype,
createEAnnotation,
createOwnedComment,
destroy,
getApplicableStereotype,
getApplicableStereotypes,
getAppliedStereotype,
getAppliedStereotypes,
getAppliedSubstereotype,
getAppliedSubstereotypes,
getKeywords,
getModel,
getNearestPackage,
getOwnedComments,
getOwnedElements,
getOwner,
getRelationships,
getRelationships,
getRequiredStereotype,
getRequiredStereotypes,
getSourceDirectedRelationships,
getSourceDirectedRelationships,
getStereotypeApplication,
getStereotypeApplications,
getTargetDirectedRelationships,
getTargetDirectedRelationships,
getValue,
hasKeyword,
hasValue,
isStereotypeApplicable,
isStereotypeApplied,
isStereotypeRequired,
mustBeOwned,
removeKeyword,
setValue,
unapplyStereotype,
validateHasOwner,
validateNotOwnSelf
|
Methods inherited from interface org.eclipse.emf.ecore.EModelElement
|
getEAnnotation, getEAnnotations
|
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
|
getBodies
org.eclipse.emf.common.util.EList<java.lang.String> getBodies()
- Returns the value of the '
Body
' attribute list.
The list contents are of type
String .
The text of the expression, possibly in multiple languages.
-
-
-
Returns:
- the value of the 'Body' attribute list.
-
See Also:
-
isSetBodies() ,
unsetBodies() ,
UMLPackage.getOpaqueExpression_Body()
unsetBodies
void unsetBodies()
- Unsets the value of the '
Body ' attribute list.
-
-
-
See Also:
-
isSetBodies() ,
getBodies()
isSetBodies
boolean isSetBodies()
- Returns whether the value of the '
Body ' attribute list is set.
-
-
-
Returns:
- whether the value of the 'Body' attribute list is set.
-
See Also:
-
unsetBodies() ,
getBodies()
getLanguages
org.eclipse.emf.common.util.EList<java.lang.String> getLanguages()
- Returns the value of the '
Language
' attribute list.
The list contents are of type
String .
Specifies the languages in which the expression is stated. The interpretation of the expression body depends on the languages. If the languages are unspecified, they might be implicit from the expression body or the context. Languages are matched to body strings by order.
-
-
-
Returns:
- the value of the 'Language' attribute list.
-
See Also:
-
isSetLanguages() ,
unsetLanguages() ,
UMLPackage.getOpaqueExpression_Language()
unsetLanguages
void unsetLanguages()
- Unsets the value of the '
Language ' attribute list.
-
-
-
See Also:
-
isSetLanguages() ,
getLanguages()
isSetLanguages
boolean isSetLanguages()
- Returns whether the value of the '
Language ' attribute list is set.
-
-
-
Returns:
- whether the value of the 'Language' attribute list is set.
-
See Also:
-
unsetLanguages() ,
getLanguages()
getResult
Parameter getResult()
- Returns the value of the '
Result
' reference.
Restricts an opaque expression to return exactly one return result. When the invocation of the opaque expression completes, a single set of values is returned to its owner. This association is derived from the single return result parameter of the associated behavior.
-
-
-
Returns:
- the value of the 'Result' reference.
-
See Also:
-
UMLPackage.getOpaqueExpression_Result()
getBehavior
Behavior getBehavior()
- Returns the value of the '
Behavior
' reference.
Specifies the behavior of the opaque expression.
-
-
-
Returns:
- the value of the 'Behavior' reference.
-
See Also:
-
setBehavior(Behavior) ,
UMLPackage.getOpaqueExpression_Behavior()
setBehavior
void setBehavior(
Behavior value)
- Sets the value of the '
Behavior ' reference.
-
-
-
Parameters:
-
value - the new value of the 'Behavior' reference. -
See Also:
-
getBehavior()
validateLanguageBodySize
boolean validateLanguageBodySize(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
-
If the language attribute is not empty, then the size of the body and language arrays must be the same.
language->notEmpty() implies (body->size() = language->size())
-
-
-
Parameters:
-
diagnostics - The chain of diagnostics to which problems are to be appended. -
context - The cache of context-specific information.
validateOnlyReturnResultParameters
boolean validateOnlyReturnResultParameters(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
-
The behavior may only have return result parameters.
self.behavior.notEmpty() implies
self.behavior.ownedParameters->select(p | p.direction<>#return)->isEmpty()
-
-
-
Parameters:
-
diagnostics - The chain of diagnostics to which problems are to be appended. -
context - The cache of context-specific information.
validateOneReturnResultParameter
boolean validateOneReturnResultParameter(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
-
The behavior must have exactly one return result parameter.
self.behavior.notEmpty() implies
self.behavior.ownedParameter->select(p | p.direction=#return)->size() = 1
-
-
-
Parameters:
-
diagnostics - The chain of diagnostics to which problems are to be appended. -
context - The cache of context-specific information.
value
int value()
-
The query value() gives an integer value for an expression intended to produce one.
self.isIntegral()
true
-
-
isIntegral
boolean isIntegral()
-
The query isIntegral() tells whether an expression is intended to produce an integer.
result = false
-
-
isPositive
boolean isPositive()
-
The query isPositive() tells whether an integer expression has a positive value.
self.isIntegral()
result = false
-
-
isNonNegative
boolean isNonNegative()
-
The query isNonNegative() tells whether an integer expression has a non-negative value.
self.isIntegral()
result = false
-
-
|
|