Lines Matching defs:filename
126 public static void setFileTypeAndCreator(String filename, int type, int creator) throws IOException {
129 security.checkWrite(filename);
131 _setFileTypeAndCreator(filename, type, creator);
133 private static native void _setFileTypeAndCreator(String filename, int type, int creator) throws IOException;
140 public static void setFileType(String filename, int type) throws IOException {
143 security.checkWrite(filename);
145 _setFileType(filename, type);
147 private static native void _setFileType(String filename, int type) throws IOException;
154 public static void setFileCreator(String filename, int creator) throws IOException {
157 security.checkWrite(filename);
159 _setFileCreator(filename, creator);
161 private static native void _setFileCreator(String filename, int creator) throws IOException;
168 public static int getFileType(String filename) throws IOException {
171 security.checkRead(filename);
173 return _getFileType(filename);
175 private static native int _getFileType(String filename) throws IOException;
182 public static int getFileCreator(String filename) throws IOException {
185 security.checkRead(filename);
187 return _getFileCreator(filename);
189 private static native int _getFileCreator(String filename) throws IOException;