public static <A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>>void generateDOTofCFG(String inputFile,String outputDir,String method,String clas,boolean pdf,Analysis<A,S,T> analysis){
  Entry<MethodTree,CompilationUnitTree> m=getMethodTreeAndCompilationUnit(inputFile,method,clas);
  generateDOTofCFG(inputFile,outputDir,method,clas,pdf,analysis,m.getKey(),m.getValue());
}

public static < A extends AbstractValue < A > , S extends Store < S > , T extends TransferFunction < A , S > > void generateDOTofCFG ( String inputFile , String outputDir , String method , String clas , boolean pdf , Analysis < A , S , T > analysis ) { Entry < MethodTree , CompilationUnitTree > m = getMethodTreeAndCompilationUnit ( inputFile , method , clas ) ; generateDOTofCFG ( inputFile , outputDir , method , clas , pdf , analysis , m . getKey ( ) , m . getValue ( ) ) ; }
generate the dot representation of the cfg for a method .
