Class Analysis


  • public class Analysis
    extends java.lang.Object
    Find relevant type qualifiers needing to be checked for a given method.
    Author:
    William Pugh
    • Field Detail

      • FIND_EFFECTIVE_RELEVANT_QUALIFIERS

        public static final boolean FIND_EFFECTIVE_RELEVANT_QUALIFIERS
        This system property enables additional work to try to detect all *effective* type qualifiers (direct, inherited, and default) applied to methods and called methods. This step uses an interprocedural call graph.
        See Also:
        Constant Field Values
      • DEBUG_FIND_EFFECTIVE_RELEVANT_QUALIFIERS

        public static final boolean DEBUG_FIND_EFFECTIVE_RELEVANT_QUALIFIERS
    • Constructor Detail

      • Analysis

        public Analysis()
    • Method Detail

      • addKnownTypeQualifiersForParameters

        public static void addKnownTypeQualifiersForParameters​(java.util.HashSet<? super TypeQualifierValue<?>> result,
                                                               XMethod m)
        Parameters:
        result -
        m -
      • addKnownTypeQualifiers

        public static void addKnownTypeQualifiers​(java.util.HashSet<? super TypeQualifierValue<?>> result,
                                                  java.util.Collection<TypeQualifierAnnotation> applicableApplications)
        Parameters:
        result -
        applicableApplications -