org.eclipse.ocl.pivot

Interface LambdaType

All Superinterfaces:

Class, DataType, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, OCLValue, TemplateableElement, Type, Visitable

All Known Implementing Classes:

LambdaTypeImpl

public interface LambdaType
extends DataType

A representation of the model object 'Lambda Type'.

The following features are supported:

• Context Type
• Parameter Type
• Result Type

See Also:

PivotPackage.getLambdaType()

Generated

Method Summary

Modifier and Type	Method and Description
Type	getContextType() Returns the value of the 'Context Type' reference.
ParametersId	getParametersId()
java.util.List<Type>	getParameterType() Returns the value of the 'Parameter Type' reference list.
java.util.List<? extends Type>	getParameterTypes()
Type	getResultType() Returns the value of the 'Result Type' reference.
void	setContextType(Type value) Sets the value of the 'Context Type' reference.
void	setResultType(Type value) Sets the value of the 'Result Type' reference.

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

getBehavioralClass, isIsSerializable, setBehavioralClass, setIsSerializable

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

createInstance, createInstance, getExtenders, getInstanceClassName, getMetaTypeName, getOwnedBehaviors, getOwnedInvariants, getOwnedOperations, getOwnedProperties, getOwningPackage, getSuperClasses, getTypeParameters, isIsAbstract, isIsActive, isIsInterface, isOrdered, isUnique, lookupActualOperation, lookupImplementation, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setOwningPackage, validateUniqueInvariantName

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

conformsTo, flattenedType, getCommonType, getInheritance, getNormalizedType, getTypeId, isClass, isEqualTo, isEqualToUnspecializedType, isTemplateParameter, specializeIn

Methods inherited from interface org.eclipse.ocl.pivot.values.OCLValue

oclEquals, oclHashCode

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

getOwnedConstraints

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.TemplateableElement

getOwnedBindings, getOwnedSignature, getUnspecializedElement, setOwnedSignature, setUnspecializedElement

Method Detail

getContextType

Type getContextType()

Returns the value of the 'Context Type' reference.

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

Returns:

the value of the 'Context Type' reference.

See Also:

setContextType(Type), PivotPackage.getLambdaType_ContextType()

Generated

setContextType

void setContextType(Type value)

Sets the value of the 'Context Type' reference.

Parameters:

value - the new value of the 'Context Type' reference.

See Also:

getContextType()

Generated

getParameterType

@NonNull
java.util.List<Type> getParameterType()

Returns the value of the 'Parameter Type' reference list. The list contents are of type Type.

If the meaning of the 'Parameter Type' reference list isn't clear, there really should be more of a description here...

Returns:

the value of the 'Parameter Type' reference list.

See Also:

PivotPackage.getLambdaType_ParameterType()

Generated

getResultType

Type getResultType()

Returns the value of the 'Result Type' reference.

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

Returns:

the value of the 'Result Type' reference.

See Also:

setResultType(Type), PivotPackage.getLambdaType_ResultType()

Generated

setResultType

void setResultType(Type value)

Sets the value of the 'Result Type' reference.

Parameters:

value - the new value of the 'Result Type' reference.

See Also:

getResultType()

Generated

getParametersId

@NonNull
ParametersId getParametersId()

getParameterTypes

@NonNull
java.util.List<? extends Type> getParameterTypes()