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

Interface MinStatic

All Superinterfaces:

EObject, LogicTerm, Notifier

All Known Implementing Classes:

MinStaticImpl

public interface MinStatic
extends LogicTerm

A representation of the model object 'Min Static'.

The following features are supported:

• Operands
• Value

See Also:

PrologmodelPackage.getMinStatic()

Generated class or method.

EMF model class or method.

annotation="http://www.eclipse.org/emf/2002/Ecore constraints='leftHandSideIsValueWildcard leftHandSideIsNoAttributeWildcard operandsAreAttributeWildcards valueMatchesAssignmentType'" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot leftHandSideIsValueWildcard='self.containingAssignment.value.oclIsUndefined()' leftHandSideIsNoAttributeWildcard='not self.containingAssignment.attribute.oclIsUndefined()' operandsAreAttributeWildcards='self.operands->forAll(o |\n\t(o.oclIsTypeOf(ParameterRef) and let ref = o.oclAsType(ParameterRef) in\n\t\tref.isValueWildcard() and not ref.isAttributeWildcard() and ref.attribute = self.containingAssignment.attribute\n\t) or\n\t(o.oclIsTypeOf(ReturnValueRef) and let ref = o.oclAsType(ReturnValueRef) in\n\t\tref.isValueWildcard() and not ref.isAttributeWildcard() and ref.attribute = self.containingAssignment.attribute\n\t) or\n\t(o.oclIsTypeOf(StateRef) and let ref = o.oclAsType(StateRef) in\n\t\tref.isValueWildcard() and not ref.isAttributeWildcard() and ref.attribute = self.containingAssignment.attribute\n\t) or\n\t(o.oclIsTypeOf(DefaultStateRef) and let ref = o.oclAsType(DefaultStateRef) in\n\t\tref.isValueWildcard() and not ref.isAttributeWildcard() and ref.attribute = self.containingAssignment.attribute\n\t) or\n\t(o.oclIsTypeOf(PropertyRef) and let ref = o.oclAsType(PropertyRef) in\n\t\tref.isValueWildcard() and ref.property.type = self.containingAssignment.attribute.type\n\t)\n)' valueMatchesAssignmentType='self.containingAssignment.attribute.type = self.value.containingType'"

Method Summary

Modifier and Type	Method	Description
EList<LogicTerm>	getOperands()	Returns the value of the 'Operands' containment reference list.
Value	getValue()	Returns the value of the 'Value' reference.
void	setValue(Value value)	Sets the value of the 'Value' reference.

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.palladiosimulator.pcm.dataprocessing.prolog.prologmodel.LogicTerm

getContainingAssignment

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

eAdapters, eDeliver, eNotify, eSetDeliver

Method Detail

getOperands

EList<LogicTerm> getOperands()

Returns the value of the 'Operands' containment reference list. The list contents are of type LogicTerm.

Returns:

the value of the 'Operands' containment reference list.

See Also:

PrologmodelPackage.getMinStatic_Operands()

Generated class or method.

EMF model class or method.

containment="true" required="true"

getValue

Value getValue()

Returns the value of the 'Value' reference.

Returns:

the value of the 'Value' reference.

See Also:

setValue(Value), PrologmodelPackage.getMinStatic_Value()

Generated class or method.

EMF model class or method.

required="true"

setValue

void setValue(Value value)

Sets the value of the 'Value' reference.

Parameters:

value - the new value of the 'Value' reference.

See Also:

getValue()

Generated class or method.