Class UML 2.5::FunctionBehavior
Description:
A FunctionBehavior is an OpaqueBehavior that does not access or modify any objects or other external data.Direct Superclasses: OpaqueBehaviorDirect Subclasses: Class Precedence List: FunctionBehavior, OpaqueBehavior, Behavior, Class, BehavioredClassifier, EncapsulatedClassifier, StructuredClassifier, Classifier, Namespace, Type, PackageableElement, ParameterableElement, TemplateableElement, RedefinableElement, NamedElement, ElementProperties:
body : String (0 *); -- source OpaqueBehavior language : String (0 *); -- source OpaqueBehavior context : BehavioredClassifier (0 1); -- source Behavior isReentrant : Boolean (1 1); -- source Behavior
ownedParameter : Parameter (0 *); -- source BehaviorReferences a list of Parameters to the Behavior which describes the order
and type of arguments that can be given when the Behavior is invoked and
of the values which will be returned when the Behavior completes its execution.{composite, ordered}
Subsets: Namespace.ownedMember
ownedParameterSet : ParameterSet (0 *); -- source Behavior postcondition : Constraint (0 *); -- source Behavior precondition : Constraint (0 *); -- source Behavior redefinedBehavior : Behavior (0 *); -- source Behavior specification : BehavioralFeature (0 1); -- source Behavior extension : Extension (0 *); -- source Class isAbstract : Boolean (1 1); -- source Class isActive : Boolean (1 1); -- source Class nestedClassifier : Classifier (0 *); -- source Class ownedAttribute : Property (0 *); -- source Class ownedOperation : Operation (0 *); -- source Class ownedReception : Reception (0 *); -- source Class superClass : Class (0 *); -- source Class classifierBehavior : Behavior (0 1); -- source BehavioredClassifier interfaceRealization : InterfaceRealization (0 *); -- source BehavioredClassifier ownedBehavior : Behavior (0 *); -- source BehavioredClassifier ownedPort : Port (0 *); -- source EncapsulatedClassifier ownedConnector : Connector (0 *); -- source StructuredClassifier part : Property (0 *); -- source StructuredClassifier role : ConnectableElement (0 *); -- source StructuredClassifier attribute : Property (0 *); -- source Classifier collaborationUse : CollaborationUse (0 *); -- source Classifier feature : Feature (0 *); -- source Classifier generalization : Generalization (0 *); -- source Classifier inheritedMember : NamedElement (0 *); -- source Classifier isFinalSpecialization : Boolean (1 1); -- source Classifier ownedTemplateSignature : RedefinableTemplateSignature (0 1); -- source Classifier ownedUseCase : UseCase (0 *); -- source Classifier powertypeExtent : GeneralizationSet (0 *); -- source Classifier redefinedClassifier : Classifier (0 *); -- source Classifier representation : CollaborationUse (0 1); -- source Classifier substitution : Substitution (0 *); -- source Classifier templateParameter : ClassifierTemplateParameter (0 1); -- source Classifier useCase : UseCase (0 *); -- source Classifier elementImport : ElementImport (0 *); -- source Namespace importedMember : PackageableElement (0 *); -- source Namespace member : NamedElement (0 *); -- source Namespace ownedMember : NamedElement (0 *); -- source Namespace ownedRule : Constraint (0 *); -- source Namespace packageImport : PackageImport (0 *); -- source Namespace package : Package (0 1); -- source Type visibility : VisibilityKind (0 1); -- source PackageableElement owningTemplateParameter : TemplateParameter (0 1); -- source ParameterableElement templateBinding : TemplateBinding (0 *); -- source TemplateableElement isLeaf : Boolean (1 1); -- source RedefinableElement redefinedElement : RedefinableElement (0 *); -- source RedefinableElement redefinitionContext : Classifier (0 *); -- source RedefinableElement clientDependency : Dependency (0 *); -- source NamedElement name : String (0 1); -- source NamedElement nameExpression : StringExpression (0 1); -- source NamedElement namespace : Namespace (0 1); -- source NamedElement qualifiedName : String (0 1); -- source NamedElement ownedComment : Comment (0 *); -- source Element ownedElement : Element (0 *); -- source Element owner : Element (0 1); -- source ElementConstraints:
No additional constraints.Operations:
Signature: hasAllDataTypeAttributes(d : DataType; ) : Boolean;Description: The hasAllDataTypeAttributes query tests whether the types of the attributes of the given DataType are all DataTypes, and similarly for all those DataTypes.
Expression:
result = (d.ownedAttribute->forAll(a | a.type.oclIsKindOf(DataType) and hasAllDataTypeAttributes(a.type.oclAsType(DataType))))Send questions or comments to [email protected].