org.eclipse.ocl.examples.pivot

Interface PropertyCallExp

All Superinterfaces:

CallExp, DomainCallExp, DomainElement, DomainExpression, DomainNamedElement, DomainTypedElement, Element, org.eclipse.emf.ecore.EObject, FeatureCallExp, Nameable, NamedElement, NavigationCallExp, org.eclipse.emf.common.notify.Notifier, OCLExpression, PivotObject, 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

Methods

Modifier and Type	Method and Description
Property	getReferredProperty() Returns the value of the 'Referred Property' reference.
DomainType	getSpecializedReferredPropertyOwningType()
DomainType	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)

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

getNavigationSource, getQualifier, setNavigationSource

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

isPre, setIsPre

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

createSource, getSource, isImplicit, setImplicit, setSource

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

getType, isRequired, setIsRequired, setType

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

createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName

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

allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, getOwnedComment, 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.examples.pivot.util.Visitable

accept, eClass

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainTypedElement

getTypeId

Methods inherited from interface org.eclipse.ocl.examples.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

DomainType getSpecializedReferredPropertyOwningType()

Generated

NOT

getSpecializedReferredPropertyType

DomainType getSpecializedReferredPropertyType()

Generated

NOT

validateNonStaticSourceTypeIsConformant

boolean validateNonStaticSourceTypeIsConformant(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