Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.util |
This package is a grab bag of miscellaneous useful code fragments.
|
Modifier and Type | Class and Description |
---|---|
class |
JavaReduxFileCollection
This is a special
FileCollection which allows to retrieve the
internally stored java boot sources and to iterate over them. |
Modifier and Type | Class and Description |
---|---|
class |
DirectoryFileCollection
This class is used to describe a directory structure as a repository for
files to read in.
|
class |
ZipFileCollection
Allows to iterate a zip file to return all matching entries
as InpuStreams.
|
Copyright © 2003-2019 The KeY-Project.