Package de.monochromata.anaphors.ast.relatedexp.strategy

Interface LocalTempVariableIntroducingStrategy<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:

RelatedExpressionStrategy<N,T,B,TB,S,QI,R>, Strategy

All Known Implementing Classes:

AbstractLocalTempVariableIntroducingStrategy, ClassInstanceCreationStrategy, MethodInvocationStrategy

public interface LocalTempVariableIntroducingStrategy<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 RelatedExpressionStrategy<N,T,B,TB,S,QI,R>

A related expression strategy that introduces a local temporary variable during anaphor resolution.

Method Summary

Modifier and Type	Method	Description
I	getIdentifierForTempVariable(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart, List<AnaphorPart<N,E,T,B,TB,S,I,QI,R,A>> anaphorParts, S scope)
int	getLengthOfTypeForTempVariable(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart, S scope)
T	getTypeForTempVariable(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart, S scope, Function<TB,T> importRewrite)	Deprecated.

Methods inherited from interface de.monochromata.anaphors.ast.relatedexp.strategy.RelatedExpressionStrategy

collectTo, getKindOfRelatedExpressionToBeRealized, stopCollection, underspecifyRelatedExpression

Methods inherited from interface de.monochromata.Strategy

getKind

Method Details

getLengthOfTypeForTempVariable

int getLengthOfTypeForTempVariable(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart,
S scope)

getTypeForTempVariable

@Deprecated
T getTypeForTempVariable(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart,
S scope,
Function<TB,T> importRewrite)

Deprecated.

Parameters:

importRewrite - To turn a type binding into a type that can be used in the AST

getIdentifierForTempVariable

I getIdentifierForTempVariable(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart,
List<AnaphorPart<N,E,T,B,TB,S,I,QI,R,A>> anaphorParts,
S scope)

Returns:

The identifier to be used for the temp variable: for anaphora with AnchoringStrategy, a name is derived from the related expression, for other anaphora, the anaphor is used.