Table of Contents

Class Operation

Namespace
NMF.Interop.Cmof
Assembly
NMF.UMLInterop.dll

An operation is a behavioral feature of a classifier that specifies the name, type, parameters, and constraints for invoking an associated behavior.

[XmlNamespace("http://www.omg.org/spec/MOF/20131001/cmof.xmi")]
[XmlNamespacePrefix("cmof")]
[ModelRepresentationClass("http://www.omg.org/spec/MOF/20131001/cmof.xmi#//Operation")]
public class Operation : Feature, IOperation, IBehavioralFeature, IFeature, IRedefinableElement, INamespace, INamedElement, IElement, IObject, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging
Inheritance
Operation
Implements
Inherited Members

Constructors

Operation()

Creates a new instance

public Operation()

Properties

BodyCondition

An optional Constraint on the result values of an invocation of this Operation.

[Browsable(false)]
[XmlElementName("bodyCondition")]
[XmlAttribute(false)]
[Containment]
public IConstraint BodyCondition { get; set; }

Property Value

IConstraint

Children

Gets the child model elements of this model element

public override IEnumerableExpression<IModelElement> Children { get; }

Property Value

IEnumerableExpression<IModelElement>

Class

The class that owns the operation.

[Browsable(false)]
[XmlElementName("class")]
[XmlAttribute(true)]
[XmlOpposite("ownedOperation")]
public IClass Class { get; set; }

Property Value

IClass

ClassInstance

Gets the Class model for this type

public static IClass ClassInstance { get; }

Property Value

IClass

Datatype

The DataType that owns this Operation.

[Browsable(false)]
[XmlElementName("datatype")]
[XmlAttribute(true)]
[XmlOpposite("ownedOperation")]
public IDataType Datatype { get; set; }

Property Value

IDataType

ElementImport

References the ElementImports owned by the Namespace.

[Browsable(false)]
[XmlElementName("elementImport")]
[XmlAttribute(false)]
[Containment]
[XmlOpposite("importingNamespace")]
public IOrderedSetExpression<IElementImport> ElementImport { get; }

Property Value

IOrderedSetExpression<IElementImport>

IsQuery

Specifies whether an execution of the BehavioralFeature leaves the state of the system unchanged (isQuery=true) or whether side effects may occur (isQuery=false).

[TypeConverter(typeof(LowercaseBooleanConverter))]
[XmlElementName("isQuery")]
[XmlAttribute(true)]
public bool IsQuery { get; set; }

Property Value

bool

OwnedParameter

Specifies the ordered set of formal parameters of this BehavioralFeature.

[Browsable(false)]
[XmlElementName("ownedParameter")]
[XmlAttribute(false)]
[Containment]
public IOrderedSetExpression<IParameter> OwnedParameter { get; }

Property Value

IOrderedSetExpression<IParameter>

PackageImport

References the PackageImports owned by the Namespace.

[Browsable(false)]
[XmlElementName("packageImport")]
[XmlAttribute(false)]
[Containment]
[XmlOpposite("importingNamespace")]
public IOrderedSetExpression<IPackageImport> PackageImport { get; }

Property Value

IOrderedSetExpression<IPackageImport>

Postcondition

An optional set of Constraints specifying the state of the system when the Operation is completed.

[Browsable(false)]
[XmlElementName("postcondition")]
[XmlAttribute(false)]
[Containment]
public IOrderedSetExpression<IConstraint> Postcondition { get; }

Property Value

IOrderedSetExpression<IConstraint>

Precondition

An optional set of Constraints on the state of the system when the Operation is invoked.

[Browsable(false)]
[XmlElementName("precondition")]
[XmlAttribute(false)]
[Containment]
public IOrderedSetExpression<IConstraint> Precondition { get; }

Property Value

IOrderedSetExpression<IConstraint>

RaisedException

References the Types representing exceptions that may be raised during an invocation of this feature.

[XmlElementName("raisedException")]
[XmlAttribute(true)]
public ISetExpression<IType> RaisedException { get; }

Property Value

ISetExpression<IType>

RedefinedOperation

References the Operations that are redefined by this Operation.

[XmlElementName("redefinedOperation")]
[XmlAttribute(true)]
public ISetExpression<IOperation> RedefinedOperation { get; }

Property Value

ISetExpression<IOperation>

ReferencedElements

Gets the referenced model elements of this model element

public override IEnumerableExpression<IModelElement> ReferencedElements { get; }

Property Value

IEnumerableExpression<IModelElement>

Methods

At_most_one_return(object, object)

An operation can have at most one return parameter; i.e., an owned parameter with the direction set to 'return' self.ownedParameter->select(par | par.direction = #return)->size() <= 1

public bool At_most_one_return(object diagnostics, object context)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool

ExcludeCollisions(IEnumerable<IPackageableElement>)

The query excludeCollisions() excludes from a set of PackageableElements any that would not be distinguishable from each other in this namespace. result = imps->reject(imp1 | imps.exists(imp2 | not imp1.isDistinguishableFrom(imp2, self)))

public ISetExpression<IPackageableElement> ExcludeCollisions(IEnumerable<IPackageableElement> imps)

Parameters

imps IEnumerable<IPackageableElement>

Returns

ISetExpression<IPackageableElement>

GetAttributeValue(string, int)

Resolves the given attribute name

protected override object GetAttributeValue(string attribute, int index)

Parameters

attribute string

The requested attribute name

index int

The index of this attribute

Returns

object

The attribute value or null if it could not be found

GetClass()

Gets the Class for this model element

public override IClass GetClass()

Returns

IClass

GetCollectionForFeature(string)

Gets the Model element collection for the given feature

protected override IList GetCollectionForFeature(string feature)

Parameters

feature string

The requested feature

Returns

IList

A non-generic list of elements

GetCompositionName(object)

Gets the property name for the given container

protected override string GetCompositionName(object container)

Parameters

container object

The container object

Returns

string

The name of the respective container reference

GetExpressionForAttribute(string)

Gets the property expression for the given attribute

protected override INotifyExpression<object> GetExpressionForAttribute(string attribute)

Parameters

attribute string

The requested attribute in upper case

Returns

INotifyExpression<object>

An incremental property expression

GetExpressionForReference(string)

Gets the property expression for the given reference

protected override INotifyExpression<IModelElement> GetExpressionForReference(string reference)

Parameters

reference string

The requested reference in upper case

Returns

INotifyExpression<IModelElement>

An incremental property expression

GetModelElementForReference(string, int)

Resolves the given URI to a child model element

protected override IModelElement GetModelElementForReference(string reference, int index)

Parameters

reference string

The requested reference name

index int

The index of this reference

Returns

IModelElement

The model element or null if it could not be found

GetNamesOfMember(INamedElement)

The query getNamesOfMember() takes importing into account. It gives back the set of names that an element would have in an importing namespace, either because it is owned, or if not owned then imported individually, or if not individually then from a package. The query getNamesOfMember() gives a set of all of the names that a member would have in a Namespace. In general a member can have multiple names in a Namespace if it is imported more than once with different aliases. The query takes account of importing. It gives back the set of names that an element would have in an importing namespace, either because it is owned, or if not owned then imported individually, or if not individually then from a package. result = if self.ownedMember ->includes(element) then Set{}->include(element.name) else let elementImports: ElementImport = self.elementImport->select(ei | ei.importedElement = element) in if elementImports->notEmpty() then elementImports->collect(el | el.getName()) else self.packageImport->select(pi | pi.importedPackage.visibleMembers()->includes(element))-> collect(pi | pi.importedPackage.getNamesOfMember(element)) endif endif

public ISetExpression<string> GetNamesOfMember(INamedElement element)

Parameters

element INamedElement

Returns

ISetExpression<string>

GetRelativePathForNonIdentifiedChild(IModelElement)

Gets the relative URI fragment for the given child model element

protected override string GetRelativePathForNonIdentifiedChild(IModelElement element)

Parameters

element IModelElement

The element that should be looked for

Returns

string

A fragment of the relative URI

ImportMembers(IEnumerable<IPackageableElement>)

The query importMembers() defines which of a set of PackageableElements are actually imported into the namespace. This excludes hidden ones, i.e., those which have names that conflict with names of owned members, and also excludes elements which would have the same name when imported. result = self.excludeCollisions(imps)->select(imp | self.ownedMember->forAll(mem | mem.imp.isDistinguishableFrom(mem, self)))

public ISetExpression<IPackageableElement> ImportMembers(IEnumerable<IPackageableElement> imps)

Parameters

imps IEnumerable<IPackageableElement>

Returns

ISetExpression<IPackageableElement>

MembersAreDistinguishable()

The Boolean query membersAreDistinguishable() determines whether all of the namespace's members are distinguishable within it. result = self.member->forAll( memb | self.member->excluding(memb)->forAll(other | memb.isDistinguishableFrom(other, self)))

public bool MembersAreDistinguishable()

Returns

bool

Members_distinguishable(object, object)

All the members of a Namespace are distinguishable within it. membersAreDistinguishable()

public bool Members_distinguishable(object diagnostics, object context)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool

OnAt_most_one_returnCalled(OperationCallEventArgs)

Raises the At_most_one_returnCalled event

protected virtual void OnAt_most_one_returnCalled(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnAt_most_one_returnCalling(OperationCallEventArgs)

Raises the At_most_one_returnCalling event

protected virtual void OnAt_most_one_returnCalling(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnBodyConditionChanged(ValueChangedEventArgs)

Raises the BodyConditionChanged event

protected virtual void OnBodyConditionChanged(ValueChangedEventArgs eventArgs)

Parameters

eventArgs ValueChangedEventArgs

The event data

OnBodyConditionChanging(ValueChangedEventArgs)

Raises the BodyConditionChanging event

protected virtual void OnBodyConditionChanging(ValueChangedEventArgs eventArgs)

Parameters

eventArgs ValueChangedEventArgs

The event data

OnClassChanged(ValueChangedEventArgs)

Raises the ClassChanged event

protected virtual void OnClassChanged(ValueChangedEventArgs eventArgs)

Parameters

eventArgs ValueChangedEventArgs

The event data

OnClassChanging(ValueChangedEventArgs)

Raises the ClassChanging event

protected virtual void OnClassChanging(ValueChangedEventArgs eventArgs)

Parameters

eventArgs ValueChangedEventArgs

The event data

OnDatatypeChanged(ValueChangedEventArgs)

Raises the DatatypeChanged event

protected virtual void OnDatatypeChanged(ValueChangedEventArgs eventArgs)

Parameters

eventArgs ValueChangedEventArgs

The event data

OnDatatypeChanging(ValueChangedEventArgs)

Raises the DatatypeChanging event

protected virtual void OnDatatypeChanging(ValueChangedEventArgs eventArgs)

Parameters

eventArgs ValueChangedEventArgs

The event data

OnExcludeCollisionsCalled(OperationCallEventArgs)

Raises the ExcludeCollisionsCalled event

protected virtual void OnExcludeCollisionsCalled(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnExcludeCollisionsCalling(OperationCallEventArgs)

Raises the ExcludeCollisionsCalling event

protected virtual void OnExcludeCollisionsCalling(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnGetNamesOfMemberCalled(OperationCallEventArgs)

Raises the GetNamesOfMemberCalled event

protected virtual void OnGetNamesOfMemberCalled(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnGetNamesOfMemberCalling(OperationCallEventArgs)

Raises the GetNamesOfMemberCalling event

protected virtual void OnGetNamesOfMemberCalling(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnImportMembersCalled(OperationCallEventArgs)

Raises the ImportMembersCalled event

protected virtual void OnImportMembersCalled(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnImportMembersCalling(OperationCallEventArgs)

Raises the ImportMembersCalling event

protected virtual void OnImportMembersCalling(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnIsQueryChanged(ValueChangedEventArgs)

Raises the IsQueryChanged event

protected virtual void OnIsQueryChanged(ValueChangedEventArgs eventArgs)

Parameters

eventArgs ValueChangedEventArgs

The event data

OnIsQueryChanging(ValueChangedEventArgs)

Raises the IsQueryChanging event

protected virtual void OnIsQueryChanging(ValueChangedEventArgs eventArgs)

Parameters

eventArgs ValueChangedEventArgs

The event data

OnMembersAreDistinguishableCalled(OperationCallEventArgs)

Raises the MembersAreDistinguishableCalled event

protected virtual void OnMembersAreDistinguishableCalled(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnMembersAreDistinguishableCalling(OperationCallEventArgs)

Raises the MembersAreDistinguishableCalling event

protected virtual void OnMembersAreDistinguishableCalling(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnMembers_distinguishableCalled(OperationCallEventArgs)

Raises the Members_distinguishableCalled event

protected virtual void OnMembers_distinguishableCalled(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnMembers_distinguishableCalling(OperationCallEventArgs)

Raises the Members_distinguishableCalling event

protected virtual void OnMembers_distinguishableCalling(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnOnly_body_for_queryCalled(OperationCallEventArgs)

Raises the Only_body_for_queryCalled event

protected virtual void OnOnly_body_for_queryCalled(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnOnly_body_for_queryCalling(OperationCallEventArgs)

Raises the Only_body_for_queryCalling event

protected virtual void OnOnly_body_for_queryCalling(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnReturnResultCalled(OperationCallEventArgs)

Raises the ReturnResultCalled event

protected virtual void OnReturnResultCalled(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

OnReturnResultCalling(OperationCallEventArgs)

Raises the ReturnResultCalling event

protected virtual void OnReturnResultCalling(OperationCallEventArgs eventArgs)

Parameters

eventArgs OperationCallEventArgs

The event data

Only_body_for_query(object, object)

A bodyCondition can only be specified for a query operation. bodyCondition->notEmpty() implies isQuery

public bool Only_body_for_query(object diagnostics, object context)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool

ReturnResult()

The query returnResult() returns the set containing the return parameter of the Operation if one exists, otherwise, it returns an empty set result = ownedParameter->select (par | par.direction = #return)

public ISetExpression<IParameter> ReturnResult()

Returns

ISetExpression<IParameter>

SetFeature(string, object)

Sets a value to the given feature

protected override void SetFeature(string feature, object value)

Parameters

feature string

The requested feature

value object

The value that should be set to that feature

Events

At_most_one_returnCalled

Gets fired after the operation at_most_one_return got called

public event EventHandler<OperationCallEventArgs> At_most_one_returnCalled

Event Type

EventHandler<OperationCallEventArgs>

At_most_one_returnCalling

Gets fired before the operation at_most_one_return gets called

public event EventHandler<OperationCallEventArgs> At_most_one_returnCalling

Event Type

EventHandler<OperationCallEventArgs>

BodyConditionChanged

Gets fired when the BodyCondition property changed its value

public event EventHandler<ValueChangedEventArgs> BodyConditionChanged

Event Type

EventHandler<ValueChangedEventArgs>

BodyConditionChanging

Gets fired before the BodyCondition property changes its value

public event EventHandler<ValueChangedEventArgs> BodyConditionChanging

Event Type

EventHandler<ValueChangedEventArgs>

ClassChanged

Gets fired when the Class property changed its value

public event EventHandler<ValueChangedEventArgs> ClassChanged

Event Type

EventHandler<ValueChangedEventArgs>

ClassChanging

Gets fired before the Class property changes its value

public event EventHandler<ValueChangedEventArgs> ClassChanging

Event Type

EventHandler<ValueChangedEventArgs>

DatatypeChanged

Gets fired when the Datatype property changed its value

public event EventHandler<ValueChangedEventArgs> DatatypeChanged

Event Type

EventHandler<ValueChangedEventArgs>

DatatypeChanging

Gets fired before the Datatype property changes its value

public event EventHandler<ValueChangedEventArgs> DatatypeChanging

Event Type

EventHandler<ValueChangedEventArgs>

ExcludeCollisionsCalled

Gets fired after the operation excludeCollisions got called

public event EventHandler<OperationCallEventArgs> ExcludeCollisionsCalled

Event Type

EventHandler<OperationCallEventArgs>

ExcludeCollisionsCalling

Gets fired before the operation excludeCollisions gets called

public event EventHandler<OperationCallEventArgs> ExcludeCollisionsCalling

Event Type

EventHandler<OperationCallEventArgs>

GetNamesOfMemberCalled

Gets fired after the operation getNamesOfMember got called

public event EventHandler<OperationCallEventArgs> GetNamesOfMemberCalled

Event Type

EventHandler<OperationCallEventArgs>

GetNamesOfMemberCalling

Gets fired before the operation getNamesOfMember gets called

public event EventHandler<OperationCallEventArgs> GetNamesOfMemberCalling

Event Type

EventHandler<OperationCallEventArgs>

ImportMembersCalled

Gets fired after the operation importMembers got called

public event EventHandler<OperationCallEventArgs> ImportMembersCalled

Event Type

EventHandler<OperationCallEventArgs>

ImportMembersCalling

Gets fired before the operation importMembers gets called

public event EventHandler<OperationCallEventArgs> ImportMembersCalling

Event Type

EventHandler<OperationCallEventArgs>

IsQueryChanged

Gets fired when the IsQuery property changed its value

public event EventHandler<ValueChangedEventArgs> IsQueryChanged

Event Type

EventHandler<ValueChangedEventArgs>

IsQueryChanging

Gets fired before the IsQuery property changes its value

public event EventHandler<ValueChangedEventArgs> IsQueryChanging

Event Type

EventHandler<ValueChangedEventArgs>

MembersAreDistinguishableCalled

Gets fired after the operation membersAreDistinguishable got called

public event EventHandler<OperationCallEventArgs> MembersAreDistinguishableCalled

Event Type

EventHandler<OperationCallEventArgs>

MembersAreDistinguishableCalling

Gets fired before the operation membersAreDistinguishable gets called

public event EventHandler<OperationCallEventArgs> MembersAreDistinguishableCalling

Event Type

EventHandler<OperationCallEventArgs>

Members_distinguishableCalled

Gets fired after the operation members_distinguishable got called

public event EventHandler<OperationCallEventArgs> Members_distinguishableCalled

Event Type

EventHandler<OperationCallEventArgs>

Members_distinguishableCalling

Gets fired before the operation members_distinguishable gets called

public event EventHandler<OperationCallEventArgs> Members_distinguishableCalling

Event Type

EventHandler<OperationCallEventArgs>

Only_body_for_queryCalled

Gets fired after the operation only_body_for_query got called

public event EventHandler<OperationCallEventArgs> Only_body_for_queryCalled

Event Type

EventHandler<OperationCallEventArgs>

Only_body_for_queryCalling

Gets fired before the operation only_body_for_query gets called

public event EventHandler<OperationCallEventArgs> Only_body_for_queryCalling

Event Type

EventHandler<OperationCallEventArgs>

ReturnResultCalled

Gets fired after the operation returnResult got called

public event EventHandler<OperationCallEventArgs> ReturnResultCalled

Event Type

EventHandler<OperationCallEventArgs>

ReturnResultCalling

Gets fired before the operation returnResult gets called

public event EventHandler<OperationCallEventArgs> ReturnResultCalling

Event Type

EventHandler<OperationCallEventArgs>
Edit this page