Package de.monochromata.anaphors.ast.strategy

Interface StoresReferentInLocalTempVariable<N,E,T,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

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

All Superinterfaces:

AnaphorResolutionStrategy<N,E,T,B,TB,S,I,QI,R,A>, Strategy

All Known Implementing Classes:

DA1ReStrategy, IA1MrStrategy

public interface StoresReferentInLocalTempVariable<N,E,T,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>>
extends AnaphorResolutionStrategy<N,E,T,B,TB,S,I,QI,R,A>

This is a AnaphorResolutionStrategy that has a related expression that is or yields the referent. It uses DA1ReStrategy and NameRecurrence for realization, because this strategy relates to the referent which is stored in the introduced local temp variable, if such a variable is introduced (depends on whether the RelatedExpressionStrategy is a LocalTempVariableIntroducingStrategy).

Method Summary

Modifier and Type	Method	Description
default String	getKindOfAnaphorResolutionStrategyToBeRealized(AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> anaphorPart)	To be invoked when a related expression resolved with this strategy is realized to obtain the kind of anaphor resolution strategy that applies after realization.
default String	getKindOfReferentializationStrategyToBeRealized(AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> anaphorPart)	Always returns NameRecurrence.Rn_KIND because re-resolution triggered after realization will always be name-based as it is based on the name of the local variable that was introduced to store the referent.
default LocalTempVariableContents	getLocalTempVariableContents()

Methods inherited from interface de.monochromata.anaphors.ast.strategy.AnaphorResolutionStrategy

canRelateTo, createAnaphora, createReferent, generatePotentialAnaphora, getAnaphorToBeRealized, realize, underspecifyAnaphor

Methods inherited from interface de.monochromata.Strategy

getKind

Method Details

getLocalTempVariableContents

default LocalTempVariableContents getLocalTempVariableContents()

Specified by:

getLocalTempVariableContents in interface AnaphorResolutionStrategy<N,E,T,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>>

getKindOfAnaphorResolutionStrategyToBeRealized

default String getKindOfAnaphorResolutionStrategyToBeRealized(AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> anaphorPart)

Description copied from interface: AnaphorResolutionStrategy

To be invoked when a related expression resolved with this strategy is realized to obtain the kind of anaphor resolution strategy that applies after realization.

That realized kind will also apply when the anaphora is re-resolved. Thus setting the realized kind in the beginning will avoid a faux change being detected during re-resolution of the unmodified anaphora relation.

Specified by:

getKindOfAnaphorResolutionStrategyToBeRealized in interface AnaphorResolutionStrategy<N,E,T,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>>

getKindOfReferentializationStrategyToBeRealized

default String getKindOfReferentializationStrategyToBeRealized(AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> anaphorPart)

Always returns NameRecurrence.Rn_KIND because re-resolution triggered after realization will always be name-based as it is based on the name of the local variable that was introduced to store the referent.

Specified by:

getKindOfReferentializationStrategyToBeRealized in interface AnaphorResolutionStrategy<N,E,T,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>>