| |
org.eclipse.uml2.uml
Interface FunctionBehavior
-
All Superinterfaces:
-
Behavior,
BehavioredClassifier,
Class,
Classifier,
Element, org.eclipse.emf.ecore.EModelElement,
EncapsulatedClassifier, org.eclipse.emf.ecore.EObject,
NamedElement,
Namespace, org.eclipse.emf.common.notify.Notifier,
OpaqueBehavior,
PackageableElement,
ParameterableElement,
RedefinableElement,
StructuredClassifier,
TemplateableElement,
Type
-
public interface FunctionBehavior
- extends
OpaqueBehavior
A representation of the model object '
Function Behavior
'.
A function behavior is an opaque behavior that does not access or modify any objects or other external data.
-
See Also:
-
UMLPackage.getFunctionBehavior()
|
Method Summary
|
boolean
|
validateOneOutputParameter
(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
A function behavior has at least one output parameter. |
boolean
|
validateTypesOfParameters
(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
The types of parameters are all data types, which may not nest anything but other datatypes. |
|
Methods inherited from interface org.eclipse.uml2.uml.
Behavior
|
createOwnedParameter,
createOwnedParameterSet,
createPostcondition,
createPostcondition,
createPrecondition,
createPrecondition,
getContext,
getOwnedParameter,
getOwnedParameter,
getOwnedParameters,
getOwnedParameterSet,
getOwnedParameterSet,
getOwnedParameterSets,
getPostcondition,
getPostcondition,
getPostconditions,
getPrecondition,
getPrecondition,
getPreconditions,
getRedefinedBehavior,
getRedefinedBehavior,
getRedefinedBehaviors,
getSpecification,
isReentrant,
setIsReentrant,
setSpecification,
validateFeatureOfContextClassifier,
validateMostOneBehaviour,
validateMustRealize,
validateParametersMatch
|
|
Methods inherited from interface org.eclipse.uml2.uml.
Class
|
createNestedClassifier,
createOwnedOperation,
createOwnedOperation,
createOwnedReception,
getExtension,
getExtension,
getExtensions,
getNestedClassifier,
getNestedClassifier,
getNestedClassifiers,
getOwnedOperation,
getOwnedOperation,
getOwnedOperations,
getOwnedReception,
getOwnedReception,
getOwnedReceptions,
getSuperClass,
getSuperClass,
getSuperClasses,
isActive,
isMetaclass,
setIsActive,
validatePassiveClass
|
|
Methods inherited from interface org.eclipse.uml2.uml.
StructuredClassifier
|
createOwnedAttribute,
createOwnedAttribute,
createOwnedAttribute,
createOwnedConnector,
getOwnedAttribute,
getOwnedAttribute,
getOwnedAttributes,
getOwnedConnector,
getOwnedConnector,
getOwnedConnectors,
getPart,
getPart,
getParts,
getRole,
getRole,
getRoles,
validateMultiplicities
|
|
Methods inherited from interface org.eclipse.uml2.uml.
Classifier
|
allFeatures,
allParents,
conformsTo,
createCollaborationUse,
createGeneralization,
createOwnedUseCase,
createRepresentation,
createSubstitution,
getAllAttributes,
getAllOperations,
getAllUsedInterfaces,
getAttribute,
getAttribute,
getAttributes,
getCollaborationUse,
getCollaborationUse,
getCollaborationUses,
getFeature,
getFeature,
getFeatures,
getGeneral,
getGeneral,
getGeneralization,
getGeneralization,
getGeneralizations,
getGenerals,
getInheritedMember,
getInheritedMember,
getInheritedMembers,
getOperation,
getOperation,
getOperations,
getOwnedUseCase,
getOwnedUseCase,
getOwnedUseCases,
getPowertypeExtent,
getPowertypeExtent,
getPowertypeExtents,
getRedefinedClassifier,
getRedefinedClassifier,
getRedefinedClassifiers,
getRepresentation,
getSubstitution,
getSubstitution,
getSubstitutions,
getUseCase,
getUseCase,
getUseCases,
getUsedInterfaces,
hasVisibilityOf,
inherit,
inheritableMembers,
isAbstract,
maySpecializeType,
parents,
setIsAbstract,
setRepresentation,
validateGeneralizationHierarchies,
validateMapsToGeneralizationSet,
validateNoCyclesInGeneralization,
validateSpecializeType
|
|
Methods inherited from interface org.eclipse.uml2.uml.
Namespace
|
createElementImport,
createElementImport,
createOwnedRule,
createOwnedRule,
createPackageImport,
createPackageImport,
excludeCollisions,
getElementImport,
getElementImport,
getElementImports,
getImportedElements,
getImportedMember,
getImportedMember,
getImportedMembers,
getImportedPackages,
getMember,
getMember,
getMembers,
getNamesOfMember,
getOwnedMember,
getOwnedMember,
getOwnedMembers,
getOwnedRule,
getOwnedRule,
getOwnedRules,
getPackageImport,
getPackageImport,
getPackageImports,
importMembers,
membersAreDistinguishable,
validateMembersDistinguishable
|
|
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.
RedefinableElement
|
getRedefinedElement,
getRedefinedElement,
getRedefinedElements,
getRedefinitionContext,
getRedefinitionContext,
getRedefinitionContexts,
isConsistentWith,
isLeaf,
isRedefinitionContextValid,
setIsLeaf,
validateRedefinitionConsistent,
validateRedefinitionContextValid
|
|
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.
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.
BehavioredClassifier
|
createClassifierBehavior,
createInterfaceRealization,
createOwnedBehavior,
createOwnedTrigger,
getAllImplementedInterfaces,
getClassifierBehavior,
getImplementedInterfaces,
getInterfaceRealization,
getInterfaceRealization,
getInterfaceRealizations,
getOwnedBehavior,
getOwnedBehavior,
getOwnedBehaviors,
getOwnedTrigger,
getOwnedTrigger,
getOwnedTriggers,
setClassifierBehavior,
validateClassBehavior
|
validateOneOutputParameter
boolean validateOneOutputParameter(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
-
A function behavior has at least one output parameter.
self.ownedParameters->
select(p | p.direction=#out or p.direction=#inout or 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.
validateTypesOfParameters
boolean validateTypesOfParameters(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
-
The types of parameters are all data types, which may not nest anything but other datatypes.
def: hasAllDataTypeAttributes(d : DataType) : Boolean =
d.ownedAttribute->forAll(a |
a.type.oclIsTypeOf(DataType) and
hasAllDataTypeAttributes(a.type))
self.ownedParameters->forAll(p | p.type.notEmpty() and
p.oclIsTypeOf(DataType) and hasAllDataTypeAttributes(p))
-
-
-
Parameters:
-
diagnostics - The chain of diagnostics to which problems are to be appended. -
context - The cache of context-specific information.
|
|
