org.eclipse.ocl.pivot.internal

Class PropertyCallExpImpl

java.lang.Object

EObjectImpl

org.eclipse.ocl.pivot.internal.utilities.PivotObjectImpl

org.eclipse.ocl.pivot.internal.ElementImpl

org.eclipse.ocl.pivot.internal.NamedElementImpl

org.eclipse.ocl.pivot.internal.TypedElementImpl

org.eclipse.ocl.pivot.internal.OCLExpressionImpl

org.eclipse.ocl.pivot.internal.CallExpImpl

org.eclipse.ocl.pivot.internal.FeatureCallExpImpl

org.eclipse.ocl.pivot.internal.NavigationCallExpImpl

org.eclipse.ocl.pivot.internal.PropertyCallExpImpl

All Implemented Interfaces:

CallExp, Element, FeatureCallExp, NamedElement, NavigationCallExp, OCLExpression, PropertyCallExp, ReferringElement, TypedElement, Visitable, Labelable, Nameable, PivotObject

public class PropertyCallExpImpl
extends NavigationCallExpImpl
implements PropertyCallExp

An implementation of the model object 'Property Call Exp'.

The following features are implemented:

• Referred Property

EMF generated code

Property Summary

Type	Property and Description
Property	basicGetReferred

Method Summary

Modifier and Type	Method and Description
<R> R	accept(Visitor<R> visitor) Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.
Property	basicGetReferredProperty()
int	eDerivedOperationID(int baseOperationID, Class<?> baseClass)
Object	eGet(int featureID, boolean resolve, boolean coreType)
Object	eInvoke(int operationID, <any> arguments)
boolean	eIsSet(int featureID)
void	eSet(int featureID, Object newValue)
void	eUnset(int featureID)
Element	getReferredElement()
Property	getReferredProperty()
Class	getSpecializedReferredPropertyOwningType()
Class	getSpecializedReferredPropertyType()
void	setReferredProperty(Property newReferredProperty)
boolean	validateCompatibleResultType(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateNonStaticSourceTypeIsConformant(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSafeSourceCanBeNull(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUnsafeSourceCanNotBeNull(DiagnosticChain diagnostics, Map<Object,Object> context)

Methods inherited from class org.eclipse.ocl.pivot.internal.NavigationCallExpImpl

basicGetNavigationSource, getNavigationSource, getQualifiers, setNavigationSource

Methods inherited from class org.eclipse.ocl.pivot.internal.FeatureCallExpImpl

isIsPre, setIsPre, toString

Methods inherited from class org.eclipse.ocl.pivot.internal.CallExpImpl

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

Methods inherited from class org.eclipse.ocl.pivot.internal.OCLExpressionImpl

getTypeValue, isNonNull, isNull, setTypeValue, validateTypeIsNotNull

Methods inherited from class org.eclipse.ocl.pivot.internal.TypedElementImpl

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

Methods inherited from class org.eclipse.ocl.pivot.internal.NamedElementImpl

getName, setName

Methods inherited from class org.eclipse.ocl.pivot.internal.ElementImpl

allOwnedElements, eInverseAdd, getAnnotatingComments, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from class org.eclipse.ocl.pivot.internal.utilities.PivotObjectImpl

getESObject, getETarget, getImage, getTarget, getText, setESObject, setTarget, unloaded

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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, isNonNull, isNull, setTypeValue, validateTypeIsNotNull

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

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

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

eClass

Property Detail

basicGetReferred

public Property basicGetReferredProperty

Method Detail

getReferredProperty

public Property getReferredProperty()

Specified by:

getReferredProperty in interface PropertyCallExp

Returns:

the value of the 'Referred Property' reference.

See Also:

PropertyCallExp.setReferredProperty(Property), PivotPackage.getPropertyCallExp_ReferredProperty()

EMF generated code

basicGetReferredProperty

public Property basicGetReferredProperty()

setReferredProperty

public void setReferredProperty(Property newReferredProperty)

Specified by:

setReferredProperty in interface PropertyCallExp

Parameters:

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

See Also:

PropertyCallExp.getReferredProperty()

EMF generated code

eGet

public Object eGet(int featureID,
                   boolean resolve,
                   boolean coreType)

Overrides:

eGet in class NavigationCallExpImpl

EMF generated code

eSet

public void eSet(int featureID,
                 Object newValue)

Overrides:

eSet in class NavigationCallExpImpl

EMF generated code

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class NavigationCallExpImpl

EMF generated code

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class NavigationCallExpImpl

EMF generated code

eDerivedOperationID

public int eDerivedOperationID(int baseOperationID,
                               Class<?> baseClass)

EMF generated code

eInvoke

public Object eInvoke(int operationID,
                      <any> arguments)
               throws InvocationTargetException

Overrides:

eInvoke in class CallExpImpl

Throws:

InvocationTargetException

EMF generated code

accept

public <R> R accept(Visitor<R> visitor)

Description copied from interface: Element

Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.

Specified by:

accept in interface Element

Specified by:

accept in interface Visitable

Overrides:

accept in class NavigationCallExpImpl

Returns:

the result of the visit.

getReferredElement

public Element getReferredElement()

Specified by:

getReferredElement in interface ReferringElement

EMF generated code

NOT

getSpecializedReferredPropertyOwningType

public Class getSpecializedReferredPropertyOwningType()

Specified by:

getSpecializedReferredPropertyOwningType in interface PropertyCallExp

EMF generated code

NOT

getSpecializedReferredPropertyType

public Class getSpecializedReferredPropertyType()

Specified by:

getSpecializedReferredPropertyType in interface PropertyCallExp

EMF generated code

NOT

validateNonStaticSourceTypeIsConformant

public boolean validateNonStaticSourceTypeIsConformant(DiagnosticChain diagnostics,
                                                       Map<Object,Object> context)

Specified by:

validateNonStaticSourceTypeIsConformant in interface PropertyCallExp

EMF generated code

validateSafeSourceCanBeNull

public boolean validateSafeSourceCanBeNull(DiagnosticChain diagnostics,
                                           Map<Object,Object> context)

Specified by:

validateSafeSourceCanBeNull in interface PropertyCallExp

EMF generated code

validateUnsafeSourceCanNotBeNull

public boolean validateUnsafeSourceCanNotBeNull(DiagnosticChain diagnostics,
                                                Map<Object,Object> context)

Specified by:

validateUnsafeSourceCanNotBeNull in interface PropertyCallExp

EMF generated code

validateCompatibleResultType

public boolean validateCompatibleResultType(DiagnosticChain diagnostics,
                                            Map<Object,Object> context)

Specified by:

validateCompatibleResultType in interface PropertyCallExp

EMF generated code