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

protected final MetaModelManager metaModelManager

Constructor Detail

LambdaTypeManager

protected LambdaTypeManager(MetaModelManager metaModelManager)

Method Detail

dispose

public void dispose()

getLambdaType

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

getLambdaType

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