org::kermeta::language::structure
Class Operation inherited from MultiplicityElement,
AbstractOperation

Every one knows what an operation is.

@ecore "true"
@http://www.eclipse.org/emf/2002/GenModel "null"

Property Summary
Expression	body attribute body[0..1] Body of the Operation, expressed as a KerMeta expression @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
Boolean	isAbstract attribute isAbstract[1..1] Boolean stating whether the Operation is abstract @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
Parameter	ownedParameter attribute ownedParameter[0..-1] Parameters of the Operation @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
UnresolvedOperation	ownedUnresolvedOperations attribute ownedUnresolvedOperations[0..-1] @ecore "true"
ClassDefinition	owningClass attribute owningClass[0..1] ClassDefinition owning the Operation @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
Constraint	post attribute post[0..-1] Post-conditions of the Operation @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
Constraint	pre attribute pre[0..-1] Pre-conditions of the Operation @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
Type	raisedException attribute raisedException[0..-1] Exceptions raised by the Operation @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
TypeVariable	typeParameter attribute typeParameter[0..-1] TypeParameters of the Operation @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
String	uniqueName attribute uniqueName[0..1] The uniqueName of an Operation is a calculated value. It returns a value that will be unique for this Operation even if the name of the operation itself is shared by several Operation in the context of operation overloading. Currently, the value is calculated using the number of parameters. (TODO should be more precise but this implies that we really support operation overloading in all kermeta workflow) @ecore "true" @ecore.isTransient "true" @http://www.eclipse.org/emf/2002/GenModel "null"

body

Expression body

• Expression isReadOnly : false
• default : void
• isComposite : true
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true

isAbstract

Boolean isAbstract

• Boolean isReadOnly : false
• default : void
• isComposite : true
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true

ownedParameter

Parameter ownedParameter

• Parameter isReadOnly : false
• default : void
• isComposite : true
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true

ownedUnresolvedOperations

UnresolvedOperation ownedUnresolvedOperations

• UnresolvedOperation isReadOnly : false
• default : void
• isComposite : true
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true

owningClass

ClassDefinition owningClass

• ClassDefinition isReadOnly : false
• default : void
• isComposite : false
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true

post

Constraint post

• Constraint isReadOnly : false
• default : void
• isComposite : true
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true

pre

Constraint pre

• Constraint isReadOnly : false
• default : void
• isComposite : true
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true

raisedException

Type raisedException

• Type isReadOnly : false
• default : void
• isComposite : false
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true

typeParameter

TypeVariable typeParameter

• TypeVariable isReadOnly : false
• default : void
• isComposite : false
• isDerived : false
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true

uniqueName

String uniqueName

• String isReadOnly : false
• default : void
• isComposite : true
• isDerived : true
• isID : false
• isGetterAbstract : true
• isSetterAbstract : true