Package org.key_project.util.java

Interface Summary

Interface	Description
IFilter<T>	Utility class to select elements.
IFilterWithException<T,E extends java.lang.Throwable>	Utility class to select elements which also allows that exceptions are thrown during selection phase.
IOUtil.IFileVisitor	A visitor which does something with Files.
XMLUtil.ITagReplacer	Instances of this interface are used in XMLUtil.replaceTags(String, ITagReplacer) to replace an individual found tag.

Class Summary

Class	Description
ArrayUtil	Provides static methods to work with arrays.
CollectionUtil	Provides static methods to work with Collections.
IntegerUtil
IOUtil	Provides static methods to work with java IO.
IOUtil.LineInformation	A line information returned from IOUtil.computeLineInformation(File) and IOUtil.computeLineInformation(InputStream).
NumberUtil	Provides utility methods to work with numbers.
ObjectUtil	Provides static methods to work with objects.
StringUtil	Provides static methods to work with strings.
XMLUtil	Provides static methods to work with XML.
XMLUtil.HTMLRendererReplacer	This XMLUtil.ITagReplacer can be used to render HTML into a plain text.