📄 fileutilities.java
字号:
/* * FileUtilities.java * * Copyright (C) 2003 Robert McKinnon * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation; either version 2 * of the License, or any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */package net.sf.delineate.utility;import java.io.File;import java.io.FileReader;import java.io.FileWriter;import java.io.IOException;/** * File helper methods. * @author robmckinnon@users.sourceforge.net */public class FileUtilities {// static {// Properties properties = System.getProperties();// Enumeration enumeration = properties.propertyNames();// while(enumeration.hasMoreElements()) {// String name = (String)enumeration.nextElement();// System.out.println(name + " " + properties.get(name));// }// } public static String getUri(String filePath) { if(filePath.startsWith(".")) { String directory = System.getProperty("user.dir"); filePath = directory + filePath.substring(1); System.out.println("file " + filePath); } return "file:" + filePath; } public static File getFile(String uri) { String pathname = uri.substring(uri.indexOf(':') + 1); File file = new File(pathname); return file; } public static String getFileSize(File file) { String size; long bytes = file.length(); if(bytes == 0) { size = ""; } else if(bytes < 1024) { size = bytes + "b"; } else { float kb = bytes / 1024F; if(kb < 1024) { kb = Math.round(kb * 10) / 10F; size = kb + "kb"; } else { float mb = kb / 1024; mb = Math.round(mb * 10) / 10F; size = mb + "mb"; } } return size; } public static String normalizeFileName(String value) { if(value.indexOf(' ') != -1) { value = '"' + value + '"'; } return value; } public static void copy(File inputFile, File outputFile) throws IOException { FileReader in = new FileReader(inputFile); FileWriter out = new FileWriter(outputFile); int c; while((c = in.read()) != -1) { out.write(c); } in.close(); out.close(); } /** * Returns text after final '.' in file name if there is any, * else returns empty string. */ public static String getExtension(File file) { String name = file.getName(); int index = name.lastIndexOf('.'); boolean extensionExists = (index != -1 && name.length() >= index); return extensionExists ? name.substring(index + 1) : ""; } public static File getTempDir() { File file = new File("./img"); if(!file.exists()) { file.mkdir(); } return file; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -