org.eclipse.ocl.examples.pivot
Interface LambdaType

All Superinterfaces:
Class, DataType, DomainElement, DomainLambdaType, DomainNamedElement, DomainNamespace, DomainType, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, OCLValue, 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
Implements:
org.eclipse.ocl.examples.domain.elements.DomainLambdaType

The following features are supported:


Method Summary
 Type getContextType()
          Returns the value of the 'Context Type' reference.
 java.util.List<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
getNestedType, getOwnedBehavior, isAbstract, isActive, isInterface, setIsAbstract, setIsActive, setIsInterface
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.Type
getExtendedBys, getInstanceClassName, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getSuperClass, setInstanceClassName, setPackage, specializeIn, validateUniqueInvariantName
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.TemplateableElement
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, getTypeId, getTypeParameters, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, lookupImplementation, specializeIn
 
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainNamespace
getOwnedRule
 
Methods inherited from interface org.eclipse.ocl.examples.domain.values.OCLValue
oclEquals, oclHashCode
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.Namespace
getOwnedRule
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement
getName, isStatic, setIsStatic, setName
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.Element
allOwnedElements, getETarget, getExtension, getOwnedAnnotation, 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.DomainLambdaType
getParametersId, getParameterTypes
 

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

Specified by:
getContextType in interface DomainLambdaType
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...

Specified by:
getResultType in interface DomainLambdaType
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