Table of Contents

Interface IOperation

Namespace
NMF.Interop.Uml
Assembly
NMF.UMLInterop.dll

The public interface for Operation

[DefaultImplementationType(typeof(Operation))]
[XmlDefaultImplementationType(typeof(Operation))]
[ModelRepresentationClass("http://www.eclipse.org/uml2/5.0.0/UML#//Operation")]
public interface IOperation : ITemplateableElement, IParameterableElement, IBehavioralFeature, IFeature, IRedefinableElement, INamespace, INamedElement, IElement, IEModelElement, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging
Inherited Members

Properties

BodyCondition

An optional Constraint on the result values of an invocation of this Operation. <p>From package UML::Classification.</p>

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

Property Value

IConstraint

Class

The Class that owns this operation, if any. <p>From package UML::Classification.</p>

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

Property Value

IClass

Datatype

The DataType that owns this Operation, if any. <p>From package UML::Classification.</p>

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

Property Value

IDataType

Interface

The Interface that owns this Operation, if any. <p>From package UML::Classification.</p>

[Browsable(false)]
[XmlElementName("interface")]
[XmlAttribute(true)]
[XmlOpposite("ownedOperation")]
IInterface Interface { get; set; }

Property Value

IInterface

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). <p>From package UML::Classification.</p>

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

Property Value

bool

Postcondition

An optional set of Constraints specifying the state of the system when the Operation is completed. <p>From package UML::Classification.</p>

[Browsable(false)]
[XmlElementName("postcondition")]
[XmlAttribute(false)]
[Containment]
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. <p>From package UML::Classification.</p>

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

Property Value

IOrderedSetExpression<IConstraint>

RedefinedOperation

The Operations that are redefined by this Operation. <p>From package UML::Classification.</p>

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

Property Value

ISetExpression<IOperation>

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(direction = ParameterDirectionKind::return)->size() <= 1

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

GetLower()

If this operation has a return parameter, lower equals the value of lower for that parameter. Otherwise lower has no value. result = (if returnResult()->notEmpty() then returnResult()->any(true).lower else null endif) <p>From package UML::Classification.</p>

int GetLower()

Returns

int

GetReturnResult()

Retrieves the (only) return result parameter for this operation.

IParameter GetReturnResult()

Returns

IParameter

GetType()

If this operation has a return parameter, type equals the value of type for that parameter. Otherwise type has no value. result = (if returnResult()->notEmpty() then returnResult()->any(true).type else null endif) <p>From package UML::Classification.</p>

IType GetType()

Returns

IType

GetUpper()

If this operation has a return parameter, upper equals the value of upper for that parameter. Otherwise upper has no value. result = (if returnResult()->notEmpty() then returnResult()->any(true).upper else null endif) <p>From package UML::Classification.</p>

void GetUpper()

Only_body_for_query(object, object)

A bodyCondition can only be specified for a query Operation. bodyCondition <> null implies isQuery

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 (direction = ParameterDirectionKind::return)->asSet()) <p>From package UML::Classification.</p>

ISetExpression<IParameter> ReturnResult()

Returns

ISetExpression<IParameter>

SetIsOrdered(bool) 

void SetIsOrdered(bool newIsOrdered)

Parameters

newIsOrdered bool

SetIsUnique(bool) 

void SetIsUnique(bool newIsUnique)

Parameters

newIsUnique bool

SetLower(int) 

void SetLower(int newLower)

Parameters

newLower int

SetType(IType) 

void SetType(IType newType)

Parameters

newType IType

SetUpper(object) 

void SetUpper(object newUpper)

Parameters

newUpper object
Edit this page