Class UML 2.3::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,
TemplateableElement,
Type,
PackageableElement,
ParameterableElement,
Namespace,
RedefinableElement,
NamedElement,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
body : String (0 *); -- source
OpaqueBehavior![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
language : String (0 *); -- source
OpaqueBehavior![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
context :
BehavioredClassifier (0 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
isReentrant : Boolean (1 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedParameter :
Parameter (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedParameterSet :
ParameterSet (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
postcondition :
Constraint (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
precondition :
Constraint (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
redefinedBehavior :
Behavior (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
specification :
BehavioralFeature (0 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
extension :
Extension (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
isAbstract : Boolean (1 1); -- source
Class![](/se-interop/image/right-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
isActive : Boolean (1 1); -- source
Class Determines whether an object specified by this class is active or not.
If true, then the owning class is referred to as an active class. If false,
then such a class is referred to as a passive class.
Default value: FALSE
![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
nestedClassifier :
Classifier (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedAttribute :
Property (0 *); -- source
Class![](/se-interop/image/right-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedOperation :
Operation (0 *); -- source
Class The operations owned by the class.
{
composite,
ordered}
Subsets: Classifier.feature, Namespace.ownedMember
Opposite: Operation.class
![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedReception :
Reception (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
superClass :
Class (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedPort :
Port (0 *); -- source
EncapsulatedClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedConnector :
Connector (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
part :
Property (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
role :
ConnectableElement (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
classifierBehavior :
Behavior (0 1); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
interfaceRealization :
InterfaceRealization (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedBehavior :
Behavior (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedTrigger :
Trigger (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
attribute :
Property (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
collaborationUse :
CollaborationUse (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
feature :
Feature (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
generalization :
Generalization (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
inheritedMember :
NamedElement (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
isFinalSpecialization : Boolean (1 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedTemplateSignature :
RedefinableTemplateSignature (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedUseCase :
UseCase (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
powertypeExtent :
GeneralizationSet (0 *); -- source
Classifier![](/se-interop/image/right-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
redefinedClassifier :
Classifier (0 *); -- source
Classifier References the Classifiers that are redefined by this Classifier.
Subsets: RedefinableElement.redefinedElement
![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
representation :
CollaborationUse (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
substitution :
Substitution (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
templateParameter :
ClassifierTemplateParameter (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
useCase :
UseCase (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
templateBinding :
TemplateBinding (0 *); -- source
TemplateableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
package :
Package (0 1); -- source
Type![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
visibility :
VisibilityKind (1 1); -- source
PackageableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
owningTemplateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedMember :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/right-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedRule :
Constraint (0 *); -- source
Namespace Specifies a set of Constraints owned by this Namespace.
{
composite}
Subsets: Namespace.ownedMember
Opposite: Constraint.context
![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
packageImport :
PackageImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
redefinitionContext :
Classifier (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=91039%3A5946C29F5C62CB764E794F1D3FDE8FDE)
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.ownedParameter->
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].