Package de.monochromata.anaphors.ast.spi

Interface AnaphoraResolutionSpi<N,E,T,B,VB extends B,FB extends B,MB extends B,TB extends B,S,I,QI,R extends RelatedExpression<N,T,B,TB,S,QI,R>,A extends ASTBasedAnaphora<N,E,T,B,TB,S,I,QI,R,A>>

Type Parameters:

N - The node type in the AST

E - The expression type

T - The type type

B - The binding type

VB - The variable binding type

FB - The field binding type

MB - The method binding type

TB - The type binding type

S - The scope type (optional)

I - The type used to represent identifiers

QI - The type used to represent qualified identifiers

R - The sub-type of related expression to use

A - The sub-type of AST-based anaphora to use

public interface AnaphoraResolutionSpi<N,E,T,B,VB extends B,FB extends B,MB extends B,TB extends B,S,I,QI,R extends RelatedExpression<N,T,B,TB,S,QI,R>,A extends ASTBasedAnaphora<N,E,T,B,TB,S,I,QI,R,A>>

A special service provider interface related to finding potential referents of a given definite expression in a given related expression.

Method Summary

Modifier and Type	Method	Description
boolean	couldBeAPreviousRealization(E definiteExpression)
<RP extends RelatedExpressionPart<N, E, T, B, TB, S, I, QI, R>, AP extends AnaphorPart<N, E, T, B, TB, S, I, QI, R, A>> A	createDirectAnaphora(RP relatedExpressionPart, AP anaphorPart, boolean isUnderspecified)
<RP extends RelatedExpressionPart<N, E, T, B, TB, S, I, QI, R>, AP extends AnaphorPart<N, E, T, B, TB, S, I, QI, R, A>> A	createIndirectAnaphora(RP relatedExpressionPart, AP anaphorPart, String underspecifiedRelation, boolean isUnderspecified)
<RP extends RelatedExpressionPart<N, E, T, B, TB, S, I, QI, R>, AP extends AnaphorPart<N, E, T, B, TB, S, I, QI, R, A>> A	createIndirectAnaphora(RP relatedExpressionPart, AP anaphorPart, String underspecifiedRelation, Supplier<String> customReferenceDescriptionSupplier, boolean isUnderspecified)
boolean	doesGetterMethodOnlyReturnValueOf(MB methodBinding, FB fieldBinding, S scope)
List<FB>	getAccessibleFields(TB typeBinding, S scope)
List<MB>	getAccessibleGetterMethods(TB typeBinding, S scope)
String	getFieldDescription(FB fieldBinding)
I	getFieldName(FB fieldBinding)
String	getIA1MrUnderspecifiedRelation(R potentialRelatedExpression, MB methodBinding, S scope)
String	getIA2FUnderspecifiedRelation(R relatedExpression, FB fieldBinding, S scope)	Returns the underspecified relation represented by an indirect anaphora relation of kind IA2F in the format <fully-qualified name of field declaring type>.<fieldName> .
String	getIA2MgUnderspecifiedRelation(R relatedExpression, MB methodBinding, S scope)
I	getIdFromPreviousRealization(E definiteExpression)
String	getMethodDescription(MB methodBinding)
I	getMethodName(MB methodBinding)
QI	getReferentName(MB methodBinding)	Return a variable name for the given method that removes getter or setter prefix to the method name and converts the first character of the remaining string to lower case.
boolean	identifierStartsUpperCase(I identifier)
E	realizeDA1Re(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart, AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> anaphorPart, E replacee, Optional<I> guessedTempName, Object... support)	Replace an anaphor of kind DA1Re by an expression that realizes it.
E	realizeIA1Mr(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart, AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> anaphorPart, E replacee, Optional<I> guessedTempName, Object[] support)
E	realizeIA2F(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart, AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> anaphorPart, E replacee, Optional<I> guessedTempName, Object... support)	Replace an anaphor of kind IA2F by an expression that realizes it.
E	realizeIA2Mg(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart, AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> anaphorPart, E replacee, Optional<I> guessedTempName, Object... support)	Replace an anaphor of kind IA2Mg by an expression that realizes it.
TB	resolveReturnType(MB methodBinding, S scope)
TB	resolveType(FB fieldBinding, S scope)

Method Details

createDirectAnaphora

<RP extends RelatedExpressionPart<N,
E,
T,
B,
TB,
S,
I,
QI,
R>,
AP extends AnaphorPart<N,
E,
T,
B,
TB,
S,
I,
QI,
R,
A>>
A createDirectAnaphora(RP relatedExpressionPart,
AP anaphorPart,
boolean isUnderspecified)

createIndirectAnaphora

<RP extends RelatedExpressionPart<N,
E,
T,
B,
TB,
S,
I,
QI,
R>,
AP extends AnaphorPart<N,
E,
T,
B,
TB,
S,
I,
QI,
R,
A>>
A createIndirectAnaphora(RP relatedExpressionPart,
AP anaphorPart,
String underspecifiedRelation,
boolean isUnderspecified)

createIndirectAnaphora

<RP extends RelatedExpressionPart<N,
E,
T,
B,
TB,
S,
I,
QI,
R>,
AP extends AnaphorPart<N,
E,
T,
B,
TB,
S,
I,
QI,
R,
A>>
A createIndirectAnaphora(RP relatedExpressionPart,
AP anaphorPart,
String underspecifiedRelation,
Supplier<String> customReferenceDescriptionSupplier,
boolean isUnderspecified)

getAccessibleFields

List<FB> getAccessibleFields(TB typeBinding,
S scope)

getFieldName

I getFieldName(FB fieldBinding)

identifierStartsUpperCase

boolean identifierStartsUpperCase(I identifier)

getFieldDescription

String getFieldDescription(FB fieldBinding)

resolveType

TB resolveType(FB fieldBinding,
S scope)

getAccessibleGetterMethods

List<MB> getAccessibleGetterMethods(TB typeBinding,
S scope)

doesGetterMethodOnlyReturnValueOf

boolean doesGetterMethodOnlyReturnValueOf(MB methodBinding,
FB fieldBinding,
S scope)

getReferentName

QI getReferentName(MB methodBinding)

Return a variable name for the given method that removes getter or setter prefix to the method name and converts the first character of the remaining string to lower case.

Parameters:

methodBinding - The method binding to use.

Returns:

A variable name.

getMethodName

I getMethodName(MB methodBinding)

getMethodDescription

String getMethodDescription(MB methodBinding)

resolveReturnType

TB resolveReturnType(MB methodBinding,
S scope)

couldBeAPreviousRealization

boolean couldBeAPreviousRealization(E definiteExpression)

getIdFromPreviousRealization

I getIdFromPreviousRealization(E definiteExpression)

realizeDA1Re

E realizeDA1Re(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart,
AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> anaphorPart,
E replacee,
Optional<I> guessedTempName,
Object... support)

Replace an anaphor of kind DA1Re by an expression that realizes it.

Parameters:

replacee - The anaphor to be replaced.

guessedTempName - If the given related expression part has a LocalTempVariableIntroducingStrategy, the strategy introduced a temporary variable that might be used by the anaphor resolution strategy to generate code for the anaphors.

support - Optional compiler-specific support objects.

Returns:

The AST node that realizes the anaphor.

realizeIA1Mr

E realizeIA1Mr(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart,
AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> anaphorPart,
E replacee,
Optional<I> guessedTempName,
Object[] support)

realizeIA2F

E realizeIA2F(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart,
AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> anaphorPart,
E replacee,
Optional<I> guessedTempName,
Object... support)

Replace an anaphor of kind IA2F by an expression that realizes it.

Parameters:

replacee - The anaphor to be replaced.

guessedTempName - If the given related expression part has a LocalTempVariableIntroducingStrategy, the strategy introduced a temporary variable that might be used by the anaphor resolution strategy to generate code for the anaphors.

support - Optional compiler-specific support objects.

Returns:

The AST node that realizes the anaphor.

realizeIA2Mg

E realizeIA2Mg(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart,
AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> anaphorPart,
E replacee,
Optional<I> guessedTempName,
Object... support)

Replace an anaphor of kind IA2Mg by an expression that realizes it.

Parameters:

replacee - The anaphor to be replaced.

guessedTempName - If the given related expression part has a LocalTempVariableIntroducingStrategy, the strategy introduced a temporary variable that might be used by the anaphor resolution strategy to generate code for the anaphors.

support - Optional compiler-specific support objects.

Returns:

The AST node that realizes the anaphor.

getIA1MrUnderspecifiedRelation

String getIA1MrUnderspecifiedRelation(R potentialRelatedExpression,
MB methodBinding,
S scope)

getIA2FUnderspecifiedRelation

String getIA2FUnderspecifiedRelation(R relatedExpression,
FB fieldBinding,
S scope)

Returns the underspecified relation represented by an indirect anaphora relation of kind IA2F in the format <fully-qualified name of field declaring type>.<fieldName> .

Parameters:

relatedExpression - The related expression whose type declares the underspecified relation.

fieldBinding - The field that is part of the underspecified relation.

scope - The scope containing the anaphor if used by the compiler-specific implementation.

Returns:

A string representing the underspecified relation.

getIA2MgUnderspecifiedRelation

String getIA2MgUnderspecifiedRelation(R relatedExpression,
MB methodBinding,
S scope)