org.eclipse.ocl.examples.pivot.manager
Class LambdaTypeManager

java.lang.Object
  org.eclipse.ocl.examples.pivot.manager.LambdaTypeManager

public class LambdaTypeManager
extends java.lang.Object

LambdaTypeManager encapsulates the knowledge about known lambda types.

Field Summary

protected MetaModelManager

metaModelManager

Constructor Summary

protected

LambdaTypeManager(MetaModelManager metaModelManager)

Method Summary

void	dispose()
LambdaType	getLambdaType(java.lang.String typeName, Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType)
LambdaType	getLambdaType(java.lang.String typeName, Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, java.util.Map<TemplateParameter,ParameterableElement> bindings)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

metaModelManager

@NonNull
protected final MetaModelManager metaModelManager

Constructor Detail

LambdaTypeManager

protected LambdaTypeManager(@NonNull
                            MetaModelManager metaModelManager)

Method Detail

dispose

public void dispose()

getLambdaType

@NonNull
public LambdaType getLambdaType(@NonNull
                                        java.lang.String typeName,
                                        @NonNull
                                        Type contextType,
                                        @NonNull
                                        java.util.List<? extends Type> parameterTypes,
                                        @NonNull
                                        Type resultType)

getLambdaType

@NonNull
public LambdaType getLambdaType(@NonNull
                                        java.lang.String typeName,
                                        @NonNull
                                        Type contextType,
                                        @NonNull
                                        java.util.List<? extends Type> parameterTypes,
                                        @NonNull
                                        Type resultType,
                                        @Nullable
                                        java.util.Map<TemplateParameter,ParameterableElement> bindings)