Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

edu.umd.cs.findbugs.ba.npe
Interface NonNullContractCollector.SpecificationBuilder

Enclosing class:
NonNullContractCollector
public static interface NonNullContractCollector.SpecificationBuilder

Method Summary
 boolean checkParam(int param)
           
 void setCheckForNullParam(int param, NonNullSpecification specification)
           
 void setNonNullParam(int param, NonNullSpecification specification)
           
 

Method Detail

checkParam

boolean checkParam(int param)

setNonNullParam

void setNonNullParam(int param,
                     NonNullSpecification specification)

setCheckForNullParam

void setCheckForNullParam(int param,
                          NonNullSpecification specification)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD