org.eclipse.ocl.pivot

Interface PropertyCallExp

All Superinterfaces:

CallExp, Element, org.eclipse.emf.ecore.EObject, FeatureCallExp, Nameable, NamedElement, NavigationCallExp, org.eclipse.emf.common.notify.Notifier, OCLExpression, ReferringElement, TypedElement, Visitable

All Known Implementing Classes:

PropertyCallExpImpl

public interface PropertyCallExp
extends NavigationCallExp, ReferringElement

A representation of the model object 'Property Call Exp'.

The following features are supported:

• Referred Property

See Also:

PivotPackage.getPropertyCallExp()

Generated

Method Summary

Modifier and Type	Method and Description
Property	getReferredProperty() Returns the value of the 'Referred Property' reference.
Type	getSpecializedReferredPropertyOwningType()
Type	getSpecializedReferredPropertyType()
void	setReferredProperty(Property value) Sets the value of the 'Referred Property' reference.
boolean	validateCompatibleResultType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateNonStaticSourceTypeIsConformant(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSafeSourceCanBeNull(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateUnsafeSourceCanNotBeNull(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

Methods inherited from interface org.eclipse.ocl.pivot.NavigationCallExp

getNavigationSource, getQualifiers, setNavigationSource

Methods inherited from interface org.eclipse.ocl.pivot.FeatureCallExp

isIsPre, setIsPre

Methods inherited from interface org.eclipse.ocl.pivot.CallExp

getOwnedSource, isIsImplicit, isIsSafe, setIsImplicit, setIsSafe, setOwnedSource, validateTypeIsNotInvalid

Methods inherited from interface org.eclipse.ocl.pivot.OCLExpression

getTypeValue, setTypeValue

Methods inherited from interface org.eclipse.ocl.pivot.TypedElement

CompatibleBody, getType, getTypeId, isIsMany, isIsRequired, setIsRequired, setType

Methods inherited from interface org.eclipse.ocl.pivot.NamedElement

getName, setName

Methods inherited from interface org.eclipse.ocl.pivot.Element

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

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

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable

eClass

Methods inherited from interface org.eclipse.ocl.pivot.ReferringElement

getReferredElement

Method Detail

getReferredProperty

Property getReferredProperty()

Returns the value of the 'Referred Property' reference.

If the meaning of the 'Referred Property' reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Referred Property' reference.

See Also:

setReferredProperty(Property), PivotPackage.getPropertyCallExp_ReferredProperty()

Generated

setReferredProperty

void setReferredProperty(Property value)

Sets the value of the 'Referred Property' reference.

Parameters:

value - the new value of the 'Referred Property' reference.

See Also:

getReferredProperty()

Generated

getSpecializedReferredPropertyOwningType

Type getSpecializedReferredPropertyOwningType()

Generated

NOT

getSpecializedReferredPropertyType

Type getSpecializedReferredPropertyType()

Generated

NOT

validateNonStaticSourceTypeIsConformant

boolean validateNonStaticSourceTypeIsConformant(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateSafeSourceCanBeNull

boolean validateSafeSourceCanBeNull(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                    java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateUnsafeSourceCanNotBeNull

boolean validateUnsafeSourceCanNotBeNull(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                         java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateCompatibleResultType

boolean validateCompatibleResultType(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                     java.util.Map<java.lang.Object,java.lang.Object> context)

Generated