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

Class AbstractLocalTempVariableIntroducingStrategy<N,E,T,B,MB extends B,TB extends B,S,I,QI,EV,PP,R extends RelatedExpression<N,T,B,TB,S,QI,R>,A extends ASTBasedAnaphora<N,E,T,B,TB,S,I,QI,R,A>>

java.lang.Object

de.monochromata.AbstractStrategy

de.monochromata.anaphors.ast.relatedexp.strategy.AbstractRelatedExpressionStrategy<N,E,T,B,MB,TB,S,I,QI,EV,PP,R>

de.monochromata.anaphors.ast.relatedexp.strategy.AbstractLocalTempVariableIntroducingStrategy<N,E,T,B,MB,TB,S,I,QI,EV,PP,R,A>

Type Parameters:

N - The node type in the AST

E - The expression type

T - The type type

B - The 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

EV - The type of the event contained in the condition that is evaluated to check when the perspectivations shall be applied.

PP - The type used for positions that carry perspectivations

R - The sub-type of related expression to use

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

All Implemented Interfaces:

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

Direct Known Subclasses:

ClassInstanceCreationStrategy, MethodInvocationStrategy

public abstract class AbstractLocalTempVariableIntroducingStrategy<N,E,T,B,MB extends B,TB extends B,S,I,QI,EV,PP,R extends RelatedExpression<N,T,B,TB,S,QI,R>,A extends ASTBasedAnaphora<N,E,T,B,TB,S,I,QI,R,A>>
extends AbstractRelatedExpressionStrategy<N,E,T,B,MB,TB,S,I,QI,EV,PP,R>
implements LocalTempVariableIntroducingStrategy<N,E,T,B,TB,S,I,QI,R,A>

Abstract base class for related expressions whose realization introduces local temporary variables.

Field Summary

Fields inherited from class de.monochromata.anaphors.ast.relatedexp.strategy.AbstractRelatedExpressionStrategy

preferences, relatedExpressionsSpi

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractLocalTempVariableIntroducingStrategy()	Used in contract testing.
	AbstractLocalTempVariableIntroducingStrategy(RelatedExpressionsSpi<N,E,T,B,MB,TB,S,I,QI,EV,PP,R> relatedExpressionsSpi, Preferences preferences)

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)
int	getLengthOfTypeForTempVariable(R relatedExpression, S scope)
T	getTypeForTempVariable(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart, S scope, Function<TB,T> importRewrite)
T	getTypeForTempVariable(R relatedExpression, S scope, Function<TB,T> importRewrite)
List<Perspectivation>	underspecifyRelatedExpression(R relatedExpression, List<org.apache.commons.lang3.tuple.Pair<LocalTempVariableContents,String>> variableContentsAndAnaphors, S scope)	Create a perspectivations for the related expression
List<Perspectivation>	underspecifyRelatedExpressionForLocalTempVariable(R relatedExpression, List<org.apache.commons.lang3.tuple.Pair<LocalTempVariableContents,String>> variableContentsAndAnaphors, S scope)
protected boolean	useLocalVariableTypeInference(S scope)

Methods inherited from class de.monochromata.anaphors.ast.relatedexp.strategy.AbstractRelatedExpressionStrategy

addToCollection, collectTo, stopCollection

Methods inherited from class de.monochromata.AbstractStrategy

equals, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

collectTo, getKindOfRelatedExpressionToBeRealized, stopCollection

Methods inherited from interface de.monochromata.Strategy

getKind

Constructor Details

AbstractLocalTempVariableIntroducingStrategy

protected AbstractLocalTempVariableIntroducingStrategy()

Used in contract testing.

AbstractLocalTempVariableIntroducingStrategy

public AbstractLocalTempVariableIntroducingStrategy(RelatedExpressionsSpi<N,E,T,B,MB,TB,S,I,QI,EV,PP,R> relatedExpressionsSpi,
Preferences preferences)

Method Details

underspecifyRelatedExpression

public List<Perspectivation> underspecifyRelatedExpression(R relatedExpression,
List<org.apache.commons.lang3.tuple.Pair<LocalTempVariableContents,String>> variableContentsAndAnaphors,
S scope)

Description copied from interface: RelatedExpressionStrategy

Create a perspectivations for the related expression

Specified by:

underspecifyRelatedExpression in interface RelatedExpressionStrategy<N,E,T,B,MB extends B,TB extends B,S>

underspecifyRelatedExpressionForLocalTempVariable

public List<Perspectivation> underspecifyRelatedExpressionForLocalTempVariable(R relatedExpression,
List<org.apache.commons.lang3.tuple.Pair<LocalTempVariableContents,String>> variableContentsAndAnaphors,
S scope)

getLengthOfTypeForTempVariable

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

Specified by:

getLengthOfTypeForTempVariable in interface LocalTempVariableIntroducingStrategy<N,E,T,B,MB extends B,TB extends B,S,I,QI,EV>

getLengthOfTypeForTempVariable

public int getLengthOfTypeForTempVariable(R relatedExpression,
S scope)

getTypeForTempVariable

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

Specified by:

getTypeForTempVariable in interface LocalTempVariableIntroducingStrategy<N,E,T,B,MB extends B,TB extends B,S,I,QI,EV>

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

getTypeForTempVariable

public T getTypeForTempVariable(R relatedExpression,
S scope,
Function<TB,T> importRewrite)

useLocalVariableTypeInference

protected boolean useLocalVariableTypeInference(S scope)

getIdentifierForTempVariable

public 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)

Specified by:

getIdentifierForTempVariable in interface LocalTempVariableIntroducingStrategy<N,E,T,B,MB extends B,TB extends B,S,I,QI,EV>

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.