Interface Underspecification


public interface Underspecification
Underspecification is considered a process that is a kind of perspectivation. It drops information while a conceptual-semantic representation is transformed into a textual representation. It is intended to be used when creating reader-specific textual representations that omit information that is well-known to the reader.
See Also:
Perspectivation
  • Method Summary

    Static Methods
    Modifier and Type Method Description
    static <N,​ E,​ T,​ B,​ TB extends B,​ S,​ I,​ QI,​ EV,​ PP,​ R extends RelatedExpression<N,​ T,​ B,​ TB,​ S,​ QI,​ R>,​ A extends ASTBasedAnaphora<N,​ E,​ T,​ B,​ TB,​ S,​ I,​ QI,​ R,​ A>>
    PP
    underspecifyAnaphor​(RelatedExpressionPart<N,​E,​T,​B,​TB,​S,​I,​QI,​R> relatedExpressionPart, AnaphorPart<N,​E,​T,​B,​TB,​S,​I,​QI,​R,​A> anaphorPart, S scope, Predicate<EV> condition, AnaphorsSpi<N,​E,​TB,​S,​I,​QI,​EV,​PP> anaphorsSpi)  
    static <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 extends ASTBasedAnaphora<N,​ E,​ T,​ B,​ TB,​ S,​ I,​ QI,​ R,​ A>>
    PP
    underspecifyRelatedExpression​(RelatedExpressionPart<N,​E,​T,​B,​TB,​S,​I,​QI,​R> relatedExpressionPart, List<AnaphorPart<N,​E,​T,​B,​TB,​S,​I,​QI,​R,​A>> anaphorParts, S scope, Predicate<EV> condition, RelatedExpressionsSpi<N,​E,​T,​B,​MB,​TB,​S,​I,​QI,​EV,​PP,​R> relatedExpressionsSpi)  
  • Method Details

    • underspecifyRelatedExpression

      static <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 extends ASTBasedAnaphora<N,​ E,​ T,​ B,​ TB,​ S,​ I,​ QI,​ R,​ A>> PP underspecifyRelatedExpression​(RelatedExpressionPart<N,​E,​T,​B,​TB,​S,​I,​QI,​R> relatedExpressionPart, List<AnaphorPart<N,​E,​T,​B,​TB,​S,​I,​QI,​R,​A>> anaphorParts, S scope, Predicate<EV> condition, RelatedExpressionsSpi<N,​E,​T,​B,​MB,​TB,​S,​I,​QI,​EV,​PP,​R> relatedExpressionsSpi)
      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
      A - The sub-type of AST-based anaphora to use
      Parameters:
      condition - Can be used to specify when to apply the perspectivations contained in the positions returned by this method. The condition will be contained in the positions. The condition is based on an event typically associated with a modification of a document to which perspectivations are applied. Because perspectivations modify a document, they can only be applied when the document is in a state (a precondition) that the perspectivations are based on.
    • underspecifyAnaphor

      static <N,​ E,​ T,​ B,​ TB extends B,​ S,​ I,​ QI,​ EV,​ PP,​ R extends RelatedExpression<N,​ T,​ B,​ TB,​ S,​ QI,​ R>,​ A extends ASTBasedAnaphora<N,​ E,​ T,​ B,​ TB,​ S,​ I,​ QI,​ R,​ A>> PP underspecifyAnaphor​(RelatedExpressionPart<N,​E,​T,​B,​TB,​S,​I,​QI,​R> relatedExpressionPart, AnaphorPart<N,​E,​T,​B,​TB,​S,​I,​QI,​R,​A> anaphorPart, S scope, Predicate<EV> condition, AnaphorsSpi<N,​E,​TB,​S,​I,​QI,​EV,​PP> anaphorsSpi)
      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
      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
      A - The sub-type of AST-based anaphora to use
      Parameters:
      condition - Can be used to specify when to apply the perspectivations contained in the positions returned by this method. The condition will be contained in the positions. The condition is based on an event typically associated with a modification of a document to which perspectivations are applied. Because perspectivations modify a document, they can only be applied when the document is in a state (a precondition) that the perspectivations are based on.