Class LanguageFeatures


  • public abstract class LanguageFeatures
    extends java.lang.Object
    Logical grouping of all language-specific features, such as strategies for matching call parameters or traversing type hierarchies.
    • Constructor Detail

      • LanguageFeatures

        public LanguageFeatures()
    • Method Detail

      • getTraversalStrategy

        public abstract HierarcyTraversalStrategy getTraversalStrategy()
        Yields the HierarcyTraversalStrategy that expresses how a class hierarchy is traversed, starting from a leaf and visiting all of its ancestors recursively, when searching for program members in it.
        Returns:
        the traversal strategy
      • getProgramValidationLogic

        public abstract ProgramValidationLogic getProgramValidationLogic()
        Yields the ProgramValidationLogic that validates the structure of a program, identifying erroneous situations (e.g., code members with the same signature) that can crash the analysis.
        Returns:
        the validation logic