Lines Matching refs:DB
77 private MimeTypeFile[] DB;
126 DB = new MimeTypeFile[dbv.size()];
127 dbv.copyInto(DB);
254 DB[PROG] = new MimeTypeFile(mimeTypeFileName);
266 DB[PROG] = new MimeTypeFile(is);
279 if (DB[PROG] == null)
280 DB[PROG] = new MimeTypeFile(); // make one
282 DB[PROG].appendToRegistry(mime_types);
316 for (int i = 0; i < DB.length; i++) {
317 if (DB[i] == null)
319 String result = DB[i].getMIMETypeString(file_ext);