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

• getRelevantTypeQualifiers

  public static Collection<TypeQualifierValue<?>> getRelevantTypeQualifiers(MethodDescriptor methodDescriptor,
                                                            CFG cfg)
                                                                     throws CheckedAnalysisException

  Find relevant type qualifiers needing to be checked for a given method.

  Parameters:

  methodDescriptor - a method

  Returns:

  Collection of relevant type qualifiers needing to be checked

  Throws:

  CheckedAnalysisException

• addKnownTypeQualifiersForParameters

  public static void addKnownTypeQualifiersForParameters(HashSet<? super TypeQualifierValue<?>> result,
                                         XMethod m)

  Parameters:

  result -

  m -

• addKnownTypeQualifiers

  public static void addKnownTypeQualifiers(HashSet<? super TypeQualifierValue<?>> result,
                            Collection<TypeQualifierAnnotation> applicableApplications)

  Parameters:

  result -

  applicableApplications -