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

Class ParameterDeclarationStrategy<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>>

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.ParameterDeclarationStrategy<N,E,T,B,MB,TB,S,I,QI,EV,PP,R>

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

All Implemented Interfaces:

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

public class ParameterDeclarationStrategy<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>>
extends AbstractRelatedExpressionStrategy<N,E,T,B,MB,TB,S,I,QI,EV,PP,R>

Parameter declarations functioning as related expression.

Field Summary

Fields

Modifier and Type	Field	Description
static String	PD_KIND

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

preferences, relatedExpressionsSpi

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
String	getKind()	Returns a short mnemonic string that uniquely identifies this strategy among the type of strategies it belongs to.
String	getKindOfRelatedExpressionToBeRealized()	Anaphoras related to parameters are realized as related to that parameter without introducing another local variable.
protected boolean	refersToSameAstNode(R thisInstance, R otherInstance)
List<Perspectivation>	underspecifyRelatedExpression(R relatedExpression, List<org.apache.commons.lang3.tuple.Pair<LocalTempVariableContents,String>> variableContentsAndAnaphors, S scope)	Create a perspectivations for the related expression

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

Field Details

PD_KIND

public static final String PD_KIND

See Also:

Constant Field Values

Constructor Details

ParameterDeclarationStrategy

protected ParameterDeclarationStrategy()

Used in contract testing.

ParameterDeclarationStrategy

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

Method Details

getKind

public String getKind()

Description copied from interface: Strategy

Returns a short mnemonic string that uniquely identifies this strategy among the type of strategies it belongs to.

Returns:

the kind of strategy

getKindOfRelatedExpressionToBeRealized

public String getKindOfRelatedExpressionToBeRealized()

Anaphoras related to parameters are realized as related to that parameter without introducing another local variable.

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

refersToSameAstNode

protected boolean refersToSameAstNode(R thisInstance,
R otherInstance)