Lines Matching defs:filename
78 public static String getVersion (String filename)
84 if (filename == null || filename.equals (""))
85 filename = "com/sun/tools/corba/se/idl/idl.prp";
86 filename = filename.replace ('/', File.separatorChar);
87 registerMessageFile (filename);
291 public static void registerMessageFile (String filename)
293 if (filename != null)
295 msgFiles.addElement (filename);
299 DataInputStream stream = FileLocator.locateLocaleSpecificFileInClassPath (filename);
330 @return Absolute file name of a given short filename
334 public static String getAbsolutePath (String filename, Vector includePaths) throws FileNotFoundException
337 File file = new File (filename);
346 fullname = (String)pathList.nextElement () + File.separatorChar + filename;
352 throw new FileNotFoundException (filename);