Package de.monochromata.anaphors.ast.relatedexp

Class DefaultRelatedExpression<N,T,B,MB extends B,TB extends B,S,QI,EV,PP,R extends DefaultRelatedExpression<N,T,B,MB,TB,S,QI,EV,PP,R>>

java.lang.Object

de.monochromata.anaphors.ast.relatedexp.DefaultRelatedExpression<N,T,B,MB,TB,S,QI,EV,PP,R>

Type Parameters:

N - The node type in the AST

T - The type type

B - The binding type

MB - The method binding type

TB - The type binding type

S - The scope type (optional)

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:

RelatedExpression<N,T,B,TB,S,QI,R>

@Deprecated
public class DefaultRelatedExpression<N,T,B,MB extends B,TB extends B,S,QI,EV,PP,R extends DefaultRelatedExpression<N,T,B,MB,TB,S,QI,EV,PP,R>>
extends Object
implements RelatedExpression<N,T,B,TB,S,QI,R>

Deprecated.

RelatedExpression will be turned into a POJO instead

An abstract base class for implementing related expressions.

Field Summary

Fields

Modifier and Type	Field	Description
protected RelatedExpressionsSpi<N,?,T,B,MB,TB,S,?,QI,EV,PP,R>	relatedExpressionsSpi	Deprecated.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	DefaultRelatedExpression()	Deprecated. Used in contract testing.
	DefaultRelatedExpression(boolean isEffectivelyFinal, Supplier<QI> nameSupplier, N relatedExpression, RelatedExpressionStrategy<N,T,B,TB,S,QI,R> strategy, RelatedExpressionsSpi<N,?,T,B,MB,TB,S,?,QI,EV,PP,R> relatedExpressionsSpi, Function<S,B> nameBindingResolver, Function<S,Integer> lengthOfTypeForTempVarFunction, BiFunction<S,Function<TB,T>,T> typeForTypeVarFunction, Function<S,TB> typeResolver, BiPredicate<? super DefaultRelatedExpression<N,T,B,MB,TB,S,QI,EV,PP,R>,R> canBeUsedInsteadOfBiPredicate)	Deprecated.

Method Summary

Modifier and Type	Method	Description
boolean	canBeUsedInsteadOf(R other)	Deprecated. Used to resolve referential ambiguity between related expressions.
boolean	equals(Object obj)	Deprecated.
List<QI>	getAssociateNames()	Deprecated.
int	getColumn()	Deprecated.
List<QI>	getContainedNamesFromSurface()	Deprecated.
String	getDescription()	Deprecated.
int	getLengthOfTypeForTempVar(S scope)	Deprecated.
int	getLine()	Deprecated.
QI	getName()	Deprecated. Return the name used as identifier in the related expression, if the related expression declares a name.
List<QI>	getPartNames()	Deprecated.
N	getRelatedExpression()	Deprecated.
RelatedExpressionStrategy<N,T,B,TB,S,QI,R>	getStrategy()	Deprecated.
T	getTypeForTempVar(S scope, Function<TB,T> importRewrite)	Deprecated. Returns the type of the related expression for use in declaring a local temporary variable.
int	hashCode()	Deprecated.
boolean	isEffectivelyFinal()	Deprecated. If the related expression is effectively final, its value is identical at run-time, regardless of whether the related expression occurs in its original position, or would be moved or copied to the position of the anaphor.
List<TB>	resolveAssociateTypes(S scope)	Deprecated.
List<TB>	resolveContainedTypesFromSurface(S scope)	Deprecated.
B	resolveNameBinding(S scope)	Deprecated. Resolves the binding of the name declared in the related expression.
List<TB>	resolvePartTypes(S scope)	Deprecated.
TB	resolveType(S scope)	Deprecated. Resolve the type of the related expression
void	setRelatedExpression(N relatedExpression)	Deprecated. Replaces the current related expression with the given one.
String	toString()	Deprecated.

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.monochromata.anaphors.ast.relatedexp.RelatedExpression

hasName, shouldResolutionReplaceRelatedExpressionWithTempDeclaration

Field Details

relatedExpressionsSpi

protected final RelatedExpressionsSpi<N,?,T,B,MB extends B,TB extends B,S,?,QI,EV,PP,R extends DefaultRelatedExpression<N,T,B,MB,TB,S,QI,EV,PP,R>> relatedExpressionsSpi

Deprecated.

Constructor Details

DefaultRelatedExpression

protected DefaultRelatedExpression()

Deprecated.

Used in contract testing.

DefaultRelatedExpression

public DefaultRelatedExpression(boolean isEffectivelyFinal,
Supplier<QI> nameSupplier,
N relatedExpression,
RelatedExpressionStrategy<N,T,B,TB,S,QI,R> strategy,
RelatedExpressionsSpi<N,?,T,B,MB,TB,S,?,QI,EV,PP,R> relatedExpressionsSpi,
Function<S,B> nameBindingResolver,
Function<S,Integer> lengthOfTypeForTempVarFunction,
BiFunction<S,Function<TB,T>,T> typeForTypeVarFunction,
Function<S,TB> typeResolver,
BiPredicate<? super DefaultRelatedExpression<N,T,B,MB,TB,S,QI,EV,PP,R>,R> canBeUsedInsteadOfBiPredicate)

Deprecated.

Method Details

isEffectivelyFinal

public boolean isEffectivelyFinal()

Deprecated.

Description copied from interface: RelatedExpression

If the related expression is effectively final, its value is identical at run-time, regardless of whether the related expression occurs in its original position, or would be moved or copied to the position of the anaphor.

Specified by:

isEffectivelyFinal in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

Returns:

true, if the related expression is effectively final.

getName

public QI getName()

Deprecated.

Description copied from interface: RelatedExpression

Return the name used as identifier in the related expression, if the related expression declares a name. Null is returned, if RelatedExpression.hasName() returns false.

Specified by:

getName in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

Returns:

Null, if RelatedExpression.hasName() returns false.

See Also:

RelatedExpression.hasName()

getRelatedExpression

public N getRelatedExpression()

Deprecated.

Specified by:

getRelatedExpression in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

setRelatedExpression

public void setRelatedExpression(N relatedExpression)

Deprecated.

Description copied from interface: RelatedExpression

Replaces the current related expression with the given one.

Specified by:

setRelatedExpression in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

Parameters:

relatedExpression - The new related expression

See Also:

RelatedExpression.getRelatedExpression(), RelatedExpression.getStrategy()

getStrategy

public RelatedExpressionStrategy<N,T,B,TB,S,QI,R> getStrategy()

Deprecated.

Specified by:

getStrategy in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

resolveNameBinding

public B resolveNameBinding(S scope)

Deprecated.

Description copied from interface: RelatedExpression

Resolves the binding of the name declared in the related expression. Returns null, if RelatedExpression.hasName() returns false.

Specified by:

resolveNameBinding in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

Parameters:

scope - The scope containing the related expression if used by the compiler-specific implementation. Implementations of this method must not access the scope but merely pass it on to SPI's they invoke.

Returns:

The resolved binding.

getLengthOfTypeForTempVar

public int getLengthOfTypeForTempVar(S scope)

Deprecated.

Specified by:

getLengthOfTypeForTempVar in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

getTypeForTempVar

public T getTypeForTempVar(S scope,
Function<TB,T> importRewrite)

Deprecated.

Description copied from interface: RelatedExpression

Returns the type of the related expression for use in declaring a local temporary variable. This method needs to add import declarations if necessary to make the type useable for the temp var.

Specified by:

getTypeForTempVar in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

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

resolveType

public TB resolveType(S scope)

Deprecated.

Description copied from interface: RelatedExpression

Resolve the type of the related expression

Specified by:

resolveType in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

Parameters:

scope - The scope containing the related expression if used by the compiler-specific implementation. Implementations of this method must not access the scope but merely pass it on to SPI's they invoke.

Returns:

The resolved type.

getContainedNamesFromSurface

public List<QI> getContainedNamesFromSurface()

Deprecated.

Specified by:

getContainedNamesFromSurface in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

getPartNames

public List<QI> getPartNames()

Deprecated.

Specified by:

getPartNames in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

getAssociateNames

public List<QI> getAssociateNames()

Deprecated.

Specified by:

getAssociateNames in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

resolveContainedTypesFromSurface

public List<TB> resolveContainedTypesFromSurface(S scope)

Deprecated.

Specified by:

resolveContainedTypesFromSurface in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

resolvePartTypes

public List<TB> resolvePartTypes(S scope)

Deprecated.

Specified by:

resolvePartTypes in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

resolveAssociateTypes

public List<TB> resolveAssociateTypes(S scope)

Deprecated.

Specified by:

resolveAssociateTypes in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

canBeUsedInsteadOf

public boolean canBeUsedInsteadOf(R other)

Deprecated.

Description copied from interface: RelatedExpression

Used to resolve referential ambiguity between related expressions.

Specified by:

canBeUsedInsteadOf in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

Parameters:

other - Another related expression.

Returns:

True, if this related expression refers to the same referent as other and this related expression should be used instead of other in order to eliminate the ambiguity between the two. False is returned otherwise.

getDescription

public String getDescription()

Deprecated.

Specified by:

getDescription in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

getLine

public int getLine()

Deprecated.

Specified by:

getLine in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

getColumn

public int getColumn()

Deprecated.

Specified by:

getColumn in interface RelatedExpression<N,T,B,MB extends B,TB extends B,S,QI>

hashCode

public int hashCode()

Deprecated.

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Deprecated.

Overrides:

equals in class Object

toString

public String toString()

Deprecated.

Overrides:

toString in class Object