org.key_project.util.java

Class IOUtil

java.lang.Object

org.key_project.util.java.IOUtil

public final class IOUtil
extends java.lang.Object

Provides static methods to work with java IO.

Author:

Martin Hentschel

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	IOUtil.IFileVisitor A visitor which does something with Files.
static class	IOUtil.LineInformation A line information returned from computeLineInformation(File) and computeLineInformation(InputStream).

Field Summary

Fields

Modifier and Type	Field and Description
static int	BUFFER_SIZE The size of used buffers.
static java.nio.charset.Charset	DEFAULT_CHARSET The default charset to use.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	IOUtil() Forbid instances by this private constructor.

Method Summary

Modifier and Type	Method and Description
static IOUtil.LineInformation[]	computeLineInformation(java.io.File file) Computes line information for each text line in the given File.
static IOUtil.LineInformation[]	computeLineInformation(java.io.InputStream in) Computes line information for each text line in the given InputStream.
static java.lang.String	computeMD5(java.io.File file) Computes the MD5 checksum of the given File.
static java.lang.String	computeMD5(java.io.InputStream in) Computes the MD5 checksum of the given InputStream and closes it.
static boolean	contains(java.io.File parent, java.io.File child) Checks if the given parent File contains (recursive) the child File.
static boolean	contains(java.lang.Iterable<java.io.File> parents, java.io.File child) Checks if at least one given parent File contains (recursive) the child File.
static boolean	copy(java.io.InputStream source, java.io.OutputStream target) Copies the content from the InputStream to the OutputStream and closes both streams.
static java.io.File	createTempDirectory(java.lang.String prefix, java.lang.String suffix) Creates a temporary directory with help of File.createTempFile(String, String).
static void	delete(java.io.File file) Deletes the given file/folder with all contained sub files/folders.
static boolean	exists(java.io.File file) Checks if the given File exists.
static java.io.File	getClassLocation(java.lang.Class<?> classInstance)
static java.net.URL	getClassLocationURL(java.lang.Class<?> classInstance)
static java.io.File	getCurrentDirectory() Returns the current directory.
static java.lang.String	getFileExtension(java.io.File file) Returns the file extension of the given File if available.
static java.lang.String	getFileNameWithoutExtension(java.lang.String fileName) Returns the file name without file extension for the given file name with extension.
static java.io.File	getHomeDirectory() Returns the home directory.
static java.io.File	getProjectRoot(java.lang.Class<?> classInstance)
static java.io.File	getTempDirectory() Returns the temporary directory.
static java.lang.String	readFrom(java.io.File file) Reads the complete content from the File.
static java.lang.String	readFrom(java.io.InputStream in) Reads the complete content from the InputStream and closes it.
static java.lang.String	readFrom(java.net.URL url) Reads the complete content from the URL.
static java.util.List<java.io.File>	search(java.io.File file, IFilter<java.io.File> filter) Searches recursive in the given File all Files accepted by the given IFilter.
static java.io.File	toFile(java.net.URL url)
static java.lang.String	toFileString(java.net.URL url)
static java.net.URI	toURI(java.net.URL url)
static java.io.InputStream	unifyLineBreaks(java.io.InputStream in) Replaces all line breaks (\r, \r\n) in the given InputStream with \n.
static java.lang.String	validateOSIndependentFileName(java.lang.String name) Ensures that the segment is a valid OS independent path segment meaning that it is a valid file/folder name.
static void	visit(java.io.File file, IOUtil.IFileVisitor visitor) Visits recursive all files and folders.
static void	writeTo(java.io.OutputStream out, java.lang.String content) Writes the given content into the given OutputStream and closes it.
static void	writeTo(java.io.OutputStream out, java.lang.String content, java.nio.charset.Charset encoding) Writes the given content into the given OutputStream and closes it.
static void	writeTo(java.io.OutputStream out, java.lang.String content, java.lang.String encoding) Writes the given content into the given OutputStream and closes it.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

BUFFER_SIZE

public static final int BUFFER_SIZE

The size of used buffers.

See Also:

Constant Field Values

DEFAULT_CHARSET

public static final java.nio.charset.Charset DEFAULT_CHARSET

The default charset to use. The value is independent from the current operating system.

Constructor Detail

IOUtil

private IOUtil()

Forbid instances by this private constructor.

Method Detail

computeMD5

public static java.lang.String computeMD5(java.io.File file)
                                   throws java.io.IOException

Computes the MD5 checksum of the given File.

Parameters:

file - The File to compute its MD5 checksum.

Returns:

The computed MD5 checksum.

Throws:

java.io.IOException - Occurred Exception.

computeMD5

public static java.lang.String computeMD5(java.io.InputStream in)
                                   throws java.io.IOException

Computes the MD5 checksum of the given InputStream and closes it.

Parameters:

in - The InputStream which provides the content to compute its MD5 checksum. The InputStream will be closed.

Returns:

The computed MD5 checksum.

Throws:

java.io.IOException - Occurred Exception.

getHomeDirectory

public static java.io.File getHomeDirectory()

Returns the home directory.

Returns:

The home directory.

getFileExtension

public static java.lang.String getFileExtension(java.io.File file)

Returns the file extension of the given File if available.

Parameters:

file - The file to extract it extension.

Returns:

The file extension or null if not available.

getFileNameWithoutExtension

public static java.lang.String getFileNameWithoutExtension(java.lang.String fileName)

Returns the file name without file extension for the given file name with extension.

Parameters:

file - The file name with extension for that the file name without extension is needed.

Returns:

The file name without extension or null if it was not possible to compute it.

delete

public static void delete(java.io.File file)

Deletes the given file/folder with all contained sub files/folders.

Parameters:

file - The file/folder to delete.

readFrom

public static java.lang.String readFrom(java.net.URL url)
                                 throws java.io.IOException

Reads the complete content from the URL.

Parameters:

file - The URL to read from.

Returns:

The read content or null if the URL is null.

Throws:

java.io.IOException - Occurred Exception.

readFrom

public static java.lang.String readFrom(java.io.File file)
                                 throws java.io.IOException

Reads the complete content from the File.

Parameters:

file - The File to read from.

Returns:

The read content or null if the File is null or not an existing file.

Throws:

java.io.IOException - Occurred Exception.

readFrom

public static java.lang.String readFrom(java.io.InputStream in)
                                 throws java.io.IOException

Reads the complete content from the InputStream and closes it.

Parameters:

in - The InputStream to read from and to close.

Returns:

The read content or null if the InputStream is null.

Throws:

java.io.IOException - Occurred Exception.

writeTo

public static void writeTo(java.io.OutputStream out,
                           java.lang.String content)
                    throws java.io.IOException

Writes the given content into the given OutputStream and closes it. Nothing will be written if the content is null, but the stream will be closed.

Parameters:

out - The OutputStream to write to.

content - The content to write.

Throws:

java.io.IOException - Occurred Exception.

writeTo

public static void writeTo(java.io.OutputStream out,
                           java.lang.String content,
                           java.nio.charset.Charset encoding)
                    throws java.io.IOException

Writes the given content into the given OutputStream and closes it. Nothing will be written if the content is null, but the stream will be closed.

Parameters:

out - The OutputStream to write to.

content - The content to write.

Throws:

java.io.IOException - Occurred Exception.

writeTo

public static void writeTo(java.io.OutputStream out,
                           java.lang.String content,
                           java.lang.String encoding)
                    throws java.io.IOException

Writes the given content into the given OutputStream and closes it. Nothing will be written if the content is null, but the stream will be closed.

Parameters:

out - The OutputStream to write to.

content - The content to write.

encoding - The encoding to use.

Throws:

java.io.IOException - Occurred Exception.

computeLineInformation

public static IOUtil.LineInformation[] computeLineInformation(java.io.File file)
                                                       throws java.io.IOException

Computes line information for each text line in the given File. A IOUtil.LineInformation consists of the offset from the beginning of the file for each line and the indices of tabs '\t' in each line.

Example content, line break is '\n':

 Line 1
 Line 2: With some text
 
 Line 4
 

Computed line start indices:

 result[0] = new LineInformation(0, new int[0]);
 result[1] = new LineInformation(7, new int[] {7});
 result[2] = new LineInformation(30, new int[0]);
 result[3] = new LineInformation(31, new int[0]);
 

Parameters:

file - The given File.

Returns:

The computed start indices.

Throws:

java.io.IOException - Occurred Exception.

computeLineInformation

public static IOUtil.LineInformation[] computeLineInformation(java.io.InputStream in)
                                                       throws java.io.IOException

Computes line information for each text line in the given InputStream. A IOUtil.LineInformation consists of the offset from the beginning of the file for each line and the indices of tabs '\t' in each line.

Example content, line break is '\n':

 Line 1
 Line 2:\tWith some text
 
 Line 4
 

Computed line start indices:

 result[0] = new LineInformation(0, new int[0]);
 result[1] = new LineInformation(7, new int[] {7});
 result[2] = new LineInformation(30, new int[0]);
 result[3] = new LineInformation(31, new int[0]);
 

Parameters:

file - The given File.

Returns:

The computed start indices.

Throws:

java.io.IOException - Occurred Exception.

createTempDirectory

public static java.io.File createTempDirectory(java.lang.String prefix,
                                               java.lang.String suffix)
                                        throws java.io.IOException

Creates a temporary directory with help of File.createTempFile(String, String).

Parameters:

prefix - The prefix string to be used in generating the file's name; must be at least three characters long.

suffix - The suffix string to be used in generating the file's name; may be null, in which case the suffix ".tmp" will be used.

Returns:

Created temporary directory.

Throws:

java.io.IOException - Occurred Exception.

search

public static java.util.List<java.io.File> search(java.io.File file,
                                                  IFilter<java.io.File> filter)
                                           throws java.io.IOException

Searches recursive in the given File all Files accepted by the given IFilter.

Parameters:

file - The File to start search in.

filter - An optional IFilter used to accept files. Without a filter all Files are accepted.

Returns:

The accepted Files.

Throws:

java.io.IOException - Occurred Exception

visit

public static void visit(java.io.File file,
                         IOUtil.IFileVisitor visitor)
                  throws java.io.IOException

Visits recursive all files and folders.

Parameters:

file - The File to start in.

visitor - The IOUtil.IFileVisitor which does something with the visited files

Throws:

java.io.IOException - Occurred Exception

unifyLineBreaks

public static java.io.InputStream unifyLineBreaks(java.io.InputStream in)
                                           throws java.io.IOException

Replaces all line breaks (\r, \r\n) in the given InputStream with \n.

Parameters:

in - The InputStream to replace line breaks in.

Returns:

A new InputStream with with the replaced line breaks.

Throws:

java.io.IOException - Occurred Exception.

contains

public static boolean contains(java.lang.Iterable<java.io.File> parents,
                               java.io.File child)

Checks if at least one given parent File contains (recursive) the child File.

Parameters:

parents - The parent File.

child - The child File to check for containment in parents.

Returns:

true child is contained (recursive) in at least one parent, false child is not contained in any parent.

contains

public static boolean contains(java.io.File parent,
                               java.io.File child)

Checks if the given parent File contains (recursive) the child File.

Parameters:

parent - The parent File.

child - The child File to check for containment in parent.

Returns:

true child is contained (recursive) in parent, false child is not contained in parent.

copy

public static boolean copy(java.io.InputStream source,
                           java.io.OutputStream target)
                    throws java.io.IOException

Copies the content from the InputStream to the OutputStream and closes both streams.

Parameters:

source - The InputStream to read from.

target - The OutputStream to write to.

Returns:

true if copy was performed and false if not performed.

Throws:

java.io.IOException - Occurred Exception.

exists

public static boolean exists(java.io.File file)

Checks if the given File exists.

Parameters:

file - The File to check.

Returns:

true File is not null and exists, false otherwise.

getClassLocationURL

public static final java.net.URL getClassLocationURL(java.lang.Class<?> classInstance)

getClassLocation

public static final java.io.File getClassLocation(java.lang.Class<?> classInstance)

getProjectRoot

public static final java.io.File getProjectRoot(java.lang.Class<?> classInstance)

toFile

public static java.io.File toFile(java.net.URL url)

toFileString

public static java.lang.String toFileString(java.net.URL url)

toURI

public static java.net.URI toURI(java.net.URL url)

getCurrentDirectory

public static java.io.File getCurrentDirectory()

Returns the current directory.

Returns:

The current directory.

getTempDirectory

public static java.io.File getTempDirectory()

Returns the temporary directory.

Returns:

The temporary directory.

validateOSIndependentFileName

public static java.lang.String validateOSIndependentFileName(java.lang.String name)

Ensures that the segment is a valid OS independent path segment meaning that it is a valid file/folder name. Each invalid sign will be replaced by '_'.

Parameters:

segment - The segment to validate.

Returns:

The validated OS independent path segment in which each invalid sign is replaced.