public @CheckForNull NullnessAnnotation getDirectAnnotation(Object o) { Profiler profiler = Global.getAnalysisCache().getProfiler(); profiler.start(this.getClass()); try { if (DEBUG) { System.out.println("getDirectAnnotation: o=" + o + "..."); } TypeQualifierAnnotation tqa = null; if (o instanceof XMethodParameter) { XMethodParameter param = (XMethodParameter) o; tqa = TypeQualifierApplications.getDirectTypeQualifierAnnotation(param.getMethod(), param.getParameterNumber(), nonnullTypeQualifierValue); } else if (o instanceof XMethod || o instanceof XField) { tqa = TypeQualifierApplications.getEffectiveTypeQualifierAnnotation((AnnotatedObject) o, nonnullTypeQualifierValue); } NullnessAnnotation result = toNullnessAnnotation(tqa); if (DEBUG) { if (result == null) { System.out.println(" ===> not found"); } else { System.out.println(" ===> " + tqa + "/" + result.toString() ); } } return result; } finally { profiler.end(this.getClass()); } }
@Override public NullnessAnnotation getResolvedAnnotation(Object o, boolean getMinimal) { Profiler profiler = Global.getAnalysisCache().getProfiler(); profiler.start(this.getClass()); try { if (DEBUG) { System.out.println("getResolvedAnnotation: o=" + o + "..."); } TypeQualifierAnnotation tqa = null; if (o instanceof XMethodParameter) { XMethodParameter param = (XMethodParameter) o; tqa = TypeQualifierApplications.getEffectiveTypeQualifierAnnotation(param.getMethod(), param.getParameterNumber(), nonnullTypeQualifierValue); } else if (o instanceof XMethod || o instanceof XField) { tqa = TypeQualifierApplications.getEffectiveTypeQualifierAnnotation((AnnotatedObject) o, nonnullTypeQualifierValue); } NullnessAnnotation result = toNullnessAnnotation(tqa); if (DEBUG) { if (result == null) { System.out.println(" ===> not found"); } else { System.out.println(" ===> " + tqa + "/" + result.toString() ); } } return result; } finally { profiler.end(this.getClass()); } }
className = m.getClassName(); } else if (o instanceof XMethodParameter) { m = ((XMethodParameter) o).getMethod();
if (o instanceof XMethodParameter) { XMethodParameter mp = (XMethodParameter) o; XMethod m = mp.getMethod();
XMethodParameter mp = pu.getNonNullParameter(); if (mp != null) { invokedXMethod = mp.getMethod(); for (Location derefLoc : derefLocationSet) { if (safeCallToPrimateParseMethod(invokedXMethod, derefLoc)) { invokedMethod = MethodAnnotation.fromXMethod(mp.getMethod()); if (mp.getParameterNumber() == 0 && TypeQualifierNullnessAnnotationDatabase.assertsFirstParameterIsNonnull(invokedXMethod)) {
public @CheckForNull NullnessAnnotation getDirectAnnotation(Object o) { Profiler profiler = Global.getAnalysisCache().getProfiler(); profiler.start(this.getClass()); try { if (DEBUG) { System.out.println("getDirectAnnotation: o=" + o + "..."); } TypeQualifierAnnotation tqa = null; if (o instanceof XMethodParameter) { XMethodParameter param = (XMethodParameter) o; tqa = TypeQualifierApplications.getDirectTypeQualifierAnnotation(param.getMethod(), param.getParameterNumber(), nonnullTypeQualifierValue); } else if (o instanceof XMethod || o instanceof XField) { tqa = TypeQualifierApplications.getEffectiveTypeQualifierAnnotation((AnnotatedObject) o, nonnullTypeQualifierValue); } NullnessAnnotation result = toNullnessAnnotation(tqa); if (DEBUG) { if (result == null) { System.out.println(" ===> not found"); } else { System.out.println(" ===> " + tqa + "/" + result.toString() ); } } return result; } finally { profiler.end(this.getClass()); } }
@Override public NullnessAnnotation getResolvedAnnotation(Object o, boolean getMinimal) { Profiler profiler = Global.getAnalysisCache().getProfiler(); profiler.start(this.getClass()); try { if (DEBUG) { System.out.println("getResolvedAnnotation: o=" + o + "..."); } TypeQualifierAnnotation tqa = null; if (o instanceof XMethodParameter) { XMethodParameter param = (XMethodParameter) o; tqa = TypeQualifierApplications.getEffectiveTypeQualifierAnnotation(param.getMethod(), param.getParameterNumber(), nonnullTypeQualifierValue); } else if (o instanceof XMethod || o instanceof XField) { tqa = TypeQualifierApplications.getEffectiveTypeQualifierAnnotation((AnnotatedObject) o, nonnullTypeQualifierValue); } NullnessAnnotation result = toNullnessAnnotation(tqa); if (DEBUG) { if (result == null) { System.out.println(" ===> not found"); } else { System.out.println(" ===> " + tqa + "/" + result.toString() ); } } return result; } finally { profiler.end(this.getClass()); } }
className = m.getClassName(); } else if (o instanceof XMethodParameter) { m = ((XMethodParameter) o).getMethod();
if (o instanceof XMethodParameter) { XMethodParameter mp = (XMethodParameter) o; XMethod m = mp.getMethod();
XMethodParameter mp = pu.getNonNullParameter(); if (mp != null) { invokedXMethod = mp.getMethod(); for (Location derefLoc : derefLocationSet) { if (safeCallToPrimateParseMethod(invokedXMethod, derefLoc)) { invokedMethod = MethodAnnotation.fromXMethod(mp.getMethod()); if (mp.getParameterNumber() == 0 && TypeQualifierNullnessAnnotationDatabase.assertsFirstParameterIsNonnull(invokedXMethod)) {