org.eclipse.ocl.pivot.internal.manager

Class TemplateParameterSubstitutionHelper

java.lang.Object

org.eclipse.ocl.pivot.internal.manager.TemplateParameterSubstitutionHelper

public abstract class TemplateParameterSubstitutionHelper
extends java.lang.Object

TemplateParameterSubstitutionHelper instances support irregular YemplateParameterSubstitution deduction for difficult to model operations such as flatten().

The TemplateParameterSubstitutionHelper maintains a registry of helpers indexed by their implementatin class.

Constructor Summary

Constructors

Constructor and Description
TemplateParameterSubstitutionHelper()

Method Summary

Modifier and Type	Method and Description
static void	addHelper(java.lang.Class<? extends LibraryFeature> className, TemplateParameterSubstitutionHelper helper)
static TemplateParameterSubstitutionHelper	getHelper(java.lang.Class<? extends LibraryFeature> className)
Type	resolveBodyType(PivotMetamodelManager metamodelManager, CallExp callExp, Type bodyType)
Type	resolveReturnType(PivotMetamodelManager metamodelManager, CallExp callExp, Type returnType)
void	resolveUnmodeledTemplateParameterSubstitutions(TemplateParameterSubstitutionVisitor templateParameterSubstitutions, CallExp callExp)

Methods inherited from class java.lang.Object

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

Constructor Detail

TemplateParameterSubstitutionHelper

public TemplateParameterSubstitutionHelper()

Method Detail

resolveUnmodeledTemplateParameterSubstitutions

public void resolveUnmodeledTemplateParameterSubstitutions(@NonNull
                                                           TemplateParameterSubstitutionVisitor templateParameterSubstitutions,
                                                           @NonNull
                                                           CallExp callExp)

resolveBodyType

@Nullable
public Type resolveBodyType(@NonNull
                                       PivotMetamodelManager metamodelManager,
                                       @NonNull
                                       CallExp callExp,
                                       @Nullable
                                       Type bodyType)

resolveReturnType

@Nullable
public Type resolveReturnType(@NonNull
                                         PivotMetamodelManager metamodelManager,
                                         @NonNull
                                         CallExp callExp,
                                         @Nullable
                                         Type returnType)

addHelper

public static void addHelper(@NonNull
                             java.lang.Class<? extends LibraryFeature> className,
                             @NonNull
                             TemplateParameterSubstitutionHelper helper)

getHelper

@Nullable
public static TemplateParameterSubstitutionHelper getHelper(@NonNull
                                                                       java.lang.Class<? extends LibraryFeature> className)