Map<Integer, Collection<AnnotationValue>> map = directParameterAnnotations.get(m); if (map == null) { int n = m.getNumParams(); if (m.isVarArgs())
int numParams = xmethod.getNumParams(); for (int i = 0; i < numParams; i++) { tqa = TypeQualifierApplications.getEffectiveTypeQualifierAnnotation(xmethod, i, tqv);
if (xmethod.isVarArgs() && parameter == xmethod.getNumParams()-1) { tqa = null; if (DEBUG) {
for (int i = 0; i < xmethod.getNumParams(); i++) { Obligation obligationType = paramObligationTypes[i]; if (obligationType != null) {
TypeQualifierValueSet entryFact = dataflow.getAnalysis().getResultFact(entry); for (int i = 0; i < xmethod.getNumParams(); i++) { if (TypeQualifierApplications.getEffectiveTypeQualifierAnnotation(xmethod, i, tqv) != null) {
for (int param = 0; param < calledMethod.getNumParams(); param++) { TypeQualifierAnnotation tqa = TypeQualifierApplications.getEffectiveTypeQualifierAnnotation(calledMethod, param, typeQualifierValue);
Map<Integer, Collection<AnnotationValue>> map = directParameterAnnotations.get(m); if (map == null) { int n = m.getNumParams(); if (m.isVarArgs())
int numParams = xmethod.getNumParams(); for (int i = 0; i < numParams; i++) { tqa = TypeQualifierApplications.getEffectiveTypeQualifierAnnotation(xmethod, i, tqv);
if (xmethod.isVarArgs() && parameter == xmethod.getNumParams()-1) { tqa = null; if (DEBUG) {
for (int i = 0; i < xmethod.getNumParams(); i++) { Obligation obligationType = paramObligationTypes[i]; if (obligationType != null) {
TypeQualifierValueSet entryFact = dataflow.getAnalysis().getResultFact(entry); for (int i = 0; i < xmethod.getNumParams(); i++) { if (TypeQualifierApplications.getEffectiveTypeQualifierAnnotation(xmethod, i, tqv) != null) {
for (int param = 0; param < calledMethod.getNumParams(); param++) { TypeQualifierAnnotation tqa = TypeQualifierApplications.getEffectiveTypeQualifierAnnotation(calledMethod, param, typeQualifierValue);