Package de.monochromata.anaphors.ast.reference.strategy

Interface ReferentializationStrategy<E,​TB,​S,​I,​QI>

Type Parameters:
E - The expression 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
All Superinterfaces:
Strategy
All Known Subinterfaces:
ConceptReferentializationStrategy<E,​TB,​S,​I,​QI>, FeatureReferentializationStrategy<E,​TB,​S,​I,​QI>
All Known Implementing Classes:
AbstractConceptReferentializationStrategy, AbstractReferentializationStrategy, CaseSensitiveNameRecurrence, CaseSensitiveTypeRecurrence, FauxHyponymy, FeatureRecurrence, Hyponymy, NameRecurrence, TypeRecurrence
public interface ReferentializationStrategy<E,​TB,​S,​I,​QI>
extends Strategy
A strategy used to obtain referents

  • Method Summary

    Modifier and Type Method Description
    boolean canReferTo​(I idFromDefiniteExpression, Referent<TB,​S,​I,​QI> potentialReferent, S scope)
    Checks whether the given definite expression can, using this referentialization strategy, refer to the given potential referent in the given scope.

    Methods inherited from interface de.monochromata.Strategy

    getKind

  • Method Details

    • canReferTo

      boolean canReferTo​(I idFromDefiniteExpression, Referent<TB,​S,​I,​QI> potentialReferent, S scope)
      Checks whether the given definite expression can, using this referentialization strategy, refer to the given potential referent in the given scope. All information in the definite expression needs to be matched by the given potential referent for the method to return true. Matching is performed in a way that is specific to the referentialization strategy.
      Parameters:
      idFromDefiniteExpression - the ID from the definite expression that shall refer to the given potential referent
      potentialReferent - the potential referent to refer to
      scope - the scope in which the definite expression occurs
      Returns:
      true if all information provided by the definite expression matches information provided by the potential referent, where matching depends on the implementation of this method, false otherwise.