Interface | Description |
---|---|
FileRepo |
This interface provides access to files.
|
Class | Description |
---|---|
AbstractFileRepo |
Abstract repo implementation to perform tasks independent from the concrete way the files are
cached.
|
DiskFileRepo |
This class uses a temporary directory as a store for the proof-relevant files.
|
MemoryFileRepo |
This class uses the memory as a store for the proof-relevant files.
|
SimpleFileRepo |
This FileRepo is able to build a proof bundle but is not able to guarantee consistency
between the saved proof and the source code because it does not cache the source code.
|
TrivialFileRepo |
This FileRepo does not cache any files but writes to / reads from the original files on disk.
|
Copyright © 2003-2019 The KeY-Project.