public interface TemplateParameterSubstitutions
A derived TemplateParameterSubstitutionVisitor determines the bindings by recursive analysis of a pair of formal and actual expression/type trees.
The EMPTY instance handles the degenerate case of no template parameters.
Modifier and Type | Interface and Description |
---|---|
static class |
TemplateParameterSubstitutions.Empty |
Modifier and Type | Field and Description |
---|---|
static TemplateParameterSubstitutions |
EMPTY |
Modifier and Type | Method and Description |
---|---|
Type |
get(TemplateParameter templateParameter)
Return the highest common actual type of the formal templateParameter, returning null if unknown.
|
boolean |
isEmpty()
Return true if there are no formal TemplateParameters with actual values.
|
Type |
put(TemplateParameter formalTemplateParameter,
Type actualType)
Install actualType as the resolutions of formalTemplateParameter, returning the highest common type of actualType
and any pre-existing resolution.
|
static final TemplateParameterSubstitutions EMPTY
Type get(TemplateParameter templateParameter)
boolean isEmpty()
Type put(TemplateParameter formalTemplateParameter, Type actualType)
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.