Package de.monochromata.anaphors.ast.spi

Interface RelatedExpressionsSpi<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>>

Type Parameters:

N - The node type in the AST

E - The expression type The class instance creation expression node 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

public interface RelatedExpressionsSpi<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 special service provider interface to perform actions related to finding and processing related expressions.

Method Summary

Modifier and Type	Method	Description
boolean	compare(N node1, N node2)	Compares all strings occurring in the two AST nodes.
PP	createPositionForNode(N node, Predicate<EV> condition, List<Perspectivation> perspectivations)
int	getColumn(N node)
String	getDescription(N node)
Set<Feature<QI>>	getFeatures(N relatedExpression)
I	getIdentifier(TB typeBinding)
int	getLength(I identifier)
int	getLengthOfSimpleNameOfType(T type)
int	getLine(N node)
T	getReservedTypeVar(S scope)
default I	guessTempName(R relatedExpression, String anaphor, LocalTempVariableContents localTempVariableContents, S scope)
I	guessTempName(R relatedExpression, List<org.apache.commons.lang3.tuple.Pair<LocalTempVariableContents,String>> indirectionsAndAnaphors, S scope)
boolean	hasInitializer(N node, N potentialInitializer)
String	identifierToString(I identifier)
boolean	isOnlyFragmentOfMultiVariable(N node1, N node2)
String	qualifiedIdentifierToString(QI qualifiedIdentifier)
MB	resolveMethodInvocationBinding(N relatedExpression, S scope)
default boolean	supportsLocalVariableTypeInference(S scope)
QI	toQualifiedIdentifier(I identifier)

Method Details

isOnlyFragmentOfMultiVariable

boolean isOnlyFragmentOfMultiVariable(N node1,
N node2)

Returns:

true if the node1 is able to declare more than one variable but node2 is the only variable declaration that node1 actually contains.

hasInitializer

boolean hasInitializer(N node,
N potentialInitializer)

getReservedTypeVar

T getReservedTypeVar(S scope)

getFeatures

Set<Feature<QI>> getFeatures(N relatedExpression)

compare

boolean compare(N node1,
N node2)

Compares all strings occurring in the two AST nodes.

Throws:

IllegalArgumentException - if the given nodes do not have the same type.

getDescription

String getDescription(N node)

getLine

int getLine(N node)

getColumn

int getColumn(N node)

getIdentifier

I getIdentifier(TB typeBinding)

getLengthOfSimpleNameOfType

int getLengthOfSimpleNameOfType(T type)

getLength

int getLength(I identifier)

guessTempName

default I guessTempName(R relatedExpression,
String anaphor,
LocalTempVariableContents localTempVariableContents,
S scope)

guessTempName

I guessTempName(R relatedExpression,
List<org.apache.commons.lang3.tuple.Pair<LocalTempVariableContents,String>> indirectionsAndAnaphors,
S scope)

toQualifiedIdentifier

QI toQualifiedIdentifier(I identifier)

resolveMethodInvocationBinding

MB resolveMethodInvocationBinding(N relatedExpression,
S scope)

identifierToString

String identifierToString(I identifier)

qualifiedIdentifierToString

String qualifiedIdentifierToString(QI qualifiedIdentifier)

supportsLocalVariableTypeInference

default boolean supportsLocalVariableTypeInference(S scope)

createPositionForNode

PP createPositionForNode(N node,
Predicate<EV> condition,
List<Perspectivation> perspectivations)