Package org.palladiosimulator.pcm.dataprocessing.prolog.prologmodel

Interface Operation

All Superinterfaces:

Caller, EObject, Notifier

All Known Implementing Classes:

OperationImpl

public interface Operation
extends Caller

A representation of the model object 'Operation'.

The following features are supported:

• Parameters
• Return Values
• Property Definitions
• Return Value Assignments
• State Variables
• Default State Definitions
• Post Execution State Definitions

See Also:

PrologmodelPackage.getOperation()

Generated class or method.

EMF model class or method.

annotation="http://www.eclipse.org/emf/2002/Ecore constraints='parameterNamesUnique returnValueNamesUnique stateNamesUnique noDuplicatePropertyDefinitions noCyclesInCallGraph onlyConstantDefaultStateDefinitions'" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot parameterNamesUnique='parameters->isUnique(name)' returnValueNamesUnique='returnValues->isUnique(name)' stateNamesUnique='stateVariables->isUnique(name)' noDuplicatePropertyDefinitions='propertyDefinitions->isUnique(property)' noCyclesInCallGraph=' self.calls->closure(call | call.callee.calls).callee->excludes(self)' onlyConstantDefaultStateDefinitions='defaultStateDefinitions.term->selectByKind(LogicTerm)->closure(t | t.oclContents()->selectByKind(LogicTerm))->forAll(\n\toclIsKindOf(True) or\n\toclIsKindOf(False) or\n\toclIsKindOf(And) or\n\toclIsKindOf(Or) or\n\toclIsKindOf(Not) or\n\toclIsKindOf(PropertyRef)\n)'"

Method Summary

Modifier and Type	Method	Description
EList<VariableAssignment>	getDefaultStateDefinitions()	Returns the value of the 'Default State Definitions' containment reference list.
EList<Variable>	getParameters()	Returns the value of the 'Parameters' containment reference list.
EList<VariableAssignment>	getPostExecutionStateDefinitions()	Returns the value of the 'Post Execution State Definitions' containment reference list.
EList<PropertyDefinition>	getPropertyDefinitions()	Returns the value of the 'Property Definitions' containment reference list.
EList<VariableAssignment>	getReturnValueAssignments()	Returns the value of the 'Return Value Assignments' containment reference list.
EList<Variable>	getReturnValues()	Returns the value of the 'Return Values' containment reference list.
EList<Variable>	getStateVariables()	Returns the value of the 'State Variables' containment reference list.

Methods inherited from interface org.palladiosimulator.pcm.dataprocessing.prolog.prologmodel.Caller

getCalls, getName, setName

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Method Detail

getParameters

EList<Variable> getParameters()

Returns the value of the 'Parameters' containment reference list. The list contents are of type Variable.

Returns:

the value of the 'Parameters' containment reference list.

See Also:

PrologmodelPackage.getOperation_Parameters()

Generated class or method.

EMF model class or method.

containment="true"

getReturnValues

EList<Variable> getReturnValues()

Returns the value of the 'Return Values' containment reference list. The list contents are of type Variable.

Returns:

the value of the 'Return Values' containment reference list.

See Also:

PrologmodelPackage.getOperation_ReturnValues()

Generated class or method.

EMF model class or method.

containment="true"

getPropertyDefinitions

EList<PropertyDefinition> getPropertyDefinitions()

Returns the value of the 'Property Definitions' containment reference list. The list contents are of type PropertyDefinition.

Returns:

the value of the 'Property Definitions' containment reference list.

See Also:

PrologmodelPackage.getOperation_PropertyDefinitions()

Generated class or method.

EMF model class or method.

containment="true"

getReturnValueAssignments

EList<VariableAssignment> getReturnValueAssignments()

Returns the value of the 'Return Value Assignments' containment reference list. The list contents are of type VariableAssignment.

Returns:

the value of the 'Return Value Assignments' containment reference list.

See Also:

PrologmodelPackage.getOperation_ReturnValueAssignments()

Generated class or method.

EMF model class or method.

containment="true"

getStateVariables

EList<Variable> getStateVariables()

Returns the value of the 'State Variables' containment reference list. The list contents are of type Variable.

Returns:

the value of the 'State Variables' containment reference list.

See Also:

PrologmodelPackage.getOperation_StateVariables()

Generated class or method.

EMF model class or method.

containment="true"

getDefaultStateDefinitions

EList<VariableAssignment> getDefaultStateDefinitions()

Returns the value of the 'Default State Definitions' containment reference list. The list contents are of type VariableAssignment.

Returns:

the value of the 'Default State Definitions' containment reference list.

See Also:

PrologmodelPackage.getOperation_DefaultStateDefinitions()

Generated class or method.

EMF model class or method.

containment="true"

getPostExecutionStateDefinitions

EList<VariableAssignment> getPostExecutionStateDefinitions()

Returns the value of the 'Post Execution State Definitions' containment reference list. The list contents are of type VariableAssignment.

Returns:

the value of the 'Post Execution State Definitions' containment reference list.

See Also:

PrologmodelPackage.getOperation_PostExecutionStateDefinitions()

Generated class or method.

EMF model class or method.

containment="true"