org.eclipse.ocl.examples.pivot
Interface LambdaType

All Superinterfaces:

Class, DataType, Element, org.eclipse.emf.ecore.EObject, java.lang.Iterable<Class>, MonikeredElement, Nameable, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, ParameterableElement, PivotObject, 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

Model

Method Summary

Type	getContextType() Returns the value of the 'Context Type' reference.
org.eclipse.emf.common.util.EList<Type>	getParameterTypes() Returns the value of the 'Parameter Type' reference list.
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.examples.pivot.DataType

getBehavioralType, isSerializable, setBehavioralType, setIsSerializable

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

createOwnedAttribute, createOwnedOperation, createOwnedOperation, getOwnedAttributes, getOwnedOperations, getSubClasses, getSuperClasses, isAbstract, isInterface, setIsAbstract, setIsInterface

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

getInstanceClassName, getPackage, setInstanceClassName, setPackage

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

createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBindings, getUnspecializedElement, isTemplate, parameterableElements, setOwnedTemplateSignature, setUnspecializedElement

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

getOwningTemplateParameter, getTemplateParameter, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter

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

createOwnedAnnotation, createOwnedRule, getName, getOwnedAnnotations, getOwnedRules, isStatic, setIsStatic, setName

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

getMoniker, hasMoniker, setMoniker

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

createOwnedComment, getETarget, getOwnedComments

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 java.lang.Iterable

iterator

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

Model

required="true" ordered="false"

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

getParameterTypes

org.eclipse.emf.common.util.EList<Type> getParameterTypes()

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

Model

ordered="false"

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

Model

required="true" ordered="false"

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