se.chalmers.cs.gf.util
Class FileUtil
java.lang.Object
se.chalmers.cs.gf.util.FileUtil
public class FileUtil
- extends java.lang.Object
Some utilties for files and property files.
Method Summary |
static java.lang.String[] |
getListProp(java.util.Properties prop,
java.lang.String name)
|
static java.lang.String |
getProp(java.util.Properties prop,
java.lang.String name)
|
static java.io.Reader |
openFile(java.lang.String filename)
|
static java.io.Reader |
openFile(java.lang.String filename,
java.lang.String charset)
|
static java.util.Properties |
readPropertiesResource(java.lang.String name)
|
static java.io.Reader |
readResource(java.lang.String name)
|
static java.io.Reader |
readResource(java.lang.String name,
java.lang.String charset)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FileUtil
public FileUtil()
openFile
public static java.io.Reader openFile(java.lang.String filename,
java.lang.String charset)
throws java.io.IOException,
java.io.FileNotFoundException
- Throws:
java.io.IOException
java.io.FileNotFoundException
openFile
public static java.io.Reader openFile(java.lang.String filename)
throws java.io.IOException,
java.io.FileNotFoundException
- Throws:
java.io.IOException
java.io.FileNotFoundException
readResource
public static java.io.Reader readResource(java.lang.String name)
throws java.io.IOException
- Throws:
java.io.IOException
readResource
public static java.io.Reader readResource(java.lang.String name,
java.lang.String charset)
throws java.io.IOException
- Throws:
java.io.IOException
readPropertiesResource
public static java.util.Properties readPropertiesResource(java.lang.String name)
throws java.io.IOException
- Throws:
java.io.IOException
getProp
public static java.lang.String getProp(java.util.Properties prop,
java.lang.String name)
getListProp
public static java.lang.String[] getListProp(java.util.Properties prop,
java.lang.String name)