Class UML 2.4.1::FunctionBehavior
Description:
A function behavior is an opaque behavior that does not access or modify
any objects or other external data.
Direct Superclasses: OpaqueBehaviorDirect Subclasses: Class Precedence List: FunctionBehavior,
OpaqueBehavior,
Behavior,
Class,
EncapsulatedClassifier,
StructuredClassifier,
BehavioredClassifier,
Classifier,
Namespace,
Type,
PackageableElement,
ParameterableElement,
RedefinableElement,
NamedElement,
TemplateableElement,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
body : String (0 *); -- source
OpaqueBehavior![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
language : String (0 *); -- source
OpaqueBehavior![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
context :
BehavioredClassifier (0 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
isReentrant : Boolean (1 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
ownedParameter :
Parameter (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
ownedParameterSet :
ParameterSet (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
postcondition :
Constraint (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
precondition :
Constraint (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
redefinedBehavior :
Behavior (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
specification :
BehavioralFeature (0 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
extension :
Extension (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
isAbstract : Boolean (1 1); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
isActive : Boolean (1 1); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
nestedClassifier :
Classifier (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
ownedAttribute :
Property (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
ownedOperation :
Operation (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
ownedReception :
Reception (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
superClass :
Class (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
ownedPort :
Port (0 *); -- source
EncapsulatedClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
ownedConnector :
Connector (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
part :
Property (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
role :
ConnectableElement (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
classifierBehavior :
Behavior (0 1); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
interfaceRealization :
InterfaceRealization (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
ownedBehavior :
Behavior (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
attribute :
Property (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
collaborationUse :
CollaborationUse (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
feature :
Feature (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
generalization :
Generalization (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
inheritedMember :
NamedElement (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
isFinalSpecialization : Boolean (1 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
ownedTemplateSignature :
RedefinableTemplateSignature (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
ownedUseCase :
UseCase (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
powertypeExtent :
GeneralizationSet (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
redefinedClassifier :
Classifier (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
representation :
CollaborationUse (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
substitution :
Substitution (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
templateParameter :
ClassifierTemplateParameter (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
useCase :
UseCase (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
ownedMember :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
ownedRule :
Constraint (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
packageImport :
PackageImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
package :
Package (0 1); -- source
Type![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
visibility :
VisibilityKind (1 1); -- source
PackageableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
owningTemplateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
redefinitionContext :
Classifier (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
templateBinding :
TemplateBinding (0 *); -- source
TemplateableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=107945%3A5FB5E5E0FE8699A24FBD9AE756F88423)
owner :
Element (0 1); -- source
ElementConstraints:
Signature: types_of_parameters() : Boolean;
Description: The types of parameters are all data types, which may not nest anything
but other datatypes.
The OCL used here is not normative.Editor's notes: Is this an operator or a constraint?
Expression: true
Original: 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))
Signature: one_output_parameter() : Boolean;
Description: A function behavior has at least one output parameter.
Expression: self.ownedParameters-> select(p | p.direction=#out or p.direction=#inout or p.direction=#return)->size() >= 1
Operations:
No additional operations.
Send questions or comments to
[email protected].