Package | Description |
---|---|
org.key_project.util.java |
Class and Description |
---|
IFilter
Utility class to select elements.
|
IFilterWithException
Utility class to select elements which also allows that exceptions
are thrown during selection phase.
|
IOUtil.IFileVisitor
A visitor which does something with
File s. |
IOUtil.LineInformation
A line information returned from
IOUtil.computeLineInformation(File) and
IOUtil.computeLineInformation(InputStream) . |
XMLUtil.ITagReplacer
Instances of this interface are used in
XMLUtil.replaceTags(String, ITagReplacer)
to replace an individual found tag. |
Copyright © 2003-2019 The KeY-Project.