Package de.monochromata.anaphors.ast

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

java.lang.Object

de.monochromata.anaphors.ast.AbstractASTBasedAnaphora<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 Implemented Interfaces:

AnaphorPart<N,E,T,B,TB,S,I,QI,R,A>, ASTBasedAnaphora<N,E,T,B,TB,S,I,QI,R,A>, RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R>

Direct Known Subclasses:

DefaultDirectAnaphora, DefaultIndirectAnaphora

public abstract class AbstractASTBasedAnaphora<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 Object
implements ASTBasedAnaphora<N,E,T,B,TB,S,I,QI,R,A>

An abstract implementation of the anaphora interface.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractASTBasedAnaphora()	Used in contract testing.
	AbstractASTBasedAnaphora(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart, AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> anaphorPart, boolean isUnderspecified)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
AnaphorPart<N,E,T,B,TB,S,I,QI,R,A>	getAnaphorPart()
RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R>	getRelatedExpressionPart()
int	hashCode()
boolean	isExplicated()
boolean	isUnderspecified()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.monochromata.anaphors.ast.ASTBasedAnaphora

getAnaphor, getAnaphorExpression, getAnaphorResolutionStrategy, getBinding, getKind, getReferenceDescription, getReferent, getReferentializationStrategy, getRelatedExpression, getRelatedExpressionStrategy, resolveType

Constructor Details

AbstractASTBasedAnaphora

protected AbstractASTBasedAnaphora()

Used in contract testing.

AbstractASTBasedAnaphora

public AbstractASTBasedAnaphora(RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> relatedExpressionPart,
AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> anaphorPart,
boolean isUnderspecified)

Method Details

getRelatedExpressionPart

public RelatedExpressionPart<N,E,T,B,TB,S,I,QI,R> getRelatedExpressionPart()

Specified by:

getRelatedExpressionPart in interface ASTBasedAnaphora<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>>

getAnaphorPart

public AnaphorPart<N,E,T,B,TB,S,I,QI,R,A> getAnaphorPart()

Specified by:

getAnaphorPart in interface ASTBasedAnaphora<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>>

isUnderspecified

public boolean isUnderspecified()

Specified by:

isUnderspecified in interface ASTBasedAnaphora<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>>

Returns:

true if this anaphora relation is underspecified, i.e. is not explicated.

See Also:

ASTBasedAnaphora.isExplicated()

isExplicated

public boolean isExplicated()

Specified by:

isExplicated in interface ASTBasedAnaphora<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>>

Returns:

true if this anaphora relation is explicated, i.e. is not underspecified.

See Also:

ASTBasedAnaphora.isUnderspecified()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object