org.eclipse.ocl.examples.pivot
Interface LambdaType

All Superinterfaces:

Class, DataType, DomainElement, DomainLambdaType, DomainType, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, ParameterableElement, PivotObject, TemplateableElement, Type, Visitable

All Known Implementing Classes:

LambdaTypeImpl

public interface LambdaType
extends DataType, DomainLambdaType

A representation of the model object 'Lambda 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>	getParameterType() 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

isAbstract, isInterface, setIsAbstract, setIsInterface

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

createOwnedAttribute, createOwnedOperation, createOwnedOperation, getInstanceClassName, getOwnedAttribute, getOwnedOperation, getPackage, getSuperClass, resolveSelfType, setInstanceClassName, setPackage

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

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

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

getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter

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

conformsTo, createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, isEqualTo, isEqualToUnspecializedType, isOrdered, isUnique, lookupImplementation

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

createOwnedAnnotation, createOwnedRule, getName, getOwnedAnnotation, getOwnedRule, isStatic, setIsStatic, setName

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

allOwnedElements, createOwnedComment, getETarget, getOwnedComment, validateNotOwnSelf

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

accept, eClass

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

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" annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/ocl/3.1.0/Pivot!LambdaType!contextType'"

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

org.eclipse.emf.common.util.EList<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...

Specified by:

getParameterType in interface DomainLambdaType

Returns:

the value of the 'Parameter Type' reference list.

See Also:

PivotPackage.getLambdaType_ParameterType()

Generated

Model

ordered="false" annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/ocl/3.1.0/Pivot!LambdaType!parameterType'"

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

Specified by:

getResultType in interface DomainLambdaType

Returns:

the value of the 'Result Type' reference.

See Also:

setResultType(Type), PivotPackage.getLambdaType_ResultType()

Generated

Model

required="true" ordered="false" annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/ocl/3.1.0/Pivot!LambdaType!resultType'"

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