public class SimpleFileRepo extends AbstractFileRepo
CLASS_MATCHER, JAVA_MATCHER, KEY_MATCHER, REDUX_URL, RULES_URL, ZIP_MATCHER
Constructor and Description |
---|
SimpleFileRepo() |
Modifier and Type | Method and Description |
---|---|
java.io.OutputStream |
createOutputStream(java.nio.file.Path path)
This method can be used to write a file that has no counterpart outside to the FileRepo.
|
java.io.InputStream |
getInputStream(java.net.URL url)
Provides access to the InputStream of a file identified by an URL.
|
protected java.io.InputStream |
getInputStreamInternal(java.nio.file.Path p)
Can be used to get a direct InputStream to a file stored in the FileRepo.
|
protected java.nio.file.Path |
getSaveName(java.nio.file.Path path)
Return the save name for a given file.
|
adaptFileRefs, addFile, createDirsAndCopy, dispose, getBaseDir, getBootclasspath, getClasspath, getInputStream, getInputStream, getJavaPath, getRegisteredProofs, isDisposed, isInBootClassPath, isInJavaPath, isInternalFile, isInternalResource, proofDisposed, proofDisposing, registerProof, saveProof, setBaseDir, setBootClassPath, setClassPath, setJavaPath
protected java.nio.file.Path getSaveName(java.nio.file.Path path)
AbstractFileRepo
getSaveName
in class AbstractFileRepo
path
- the given file (absolute or relative to the proof base directory)protected java.io.InputStream getInputStreamInternal(java.nio.file.Path p) throws java.io.FileNotFoundException
AbstractFileRepo
getInputStreamInternal
in class AbstractFileRepo
p
- the original path (outside the FileRepo) of the requested filejava.io.FileNotFoundException
- if the does not file exist, is a directory,
or can not be openedpublic java.io.InputStream getInputStream(java.net.URL url) throws java.io.IOException
FileRepo
null
if the url cannot be handled by this repository.url
- the URL of the filenull
java.io.IOException
- on IO errorspublic java.io.OutputStream createOutputStream(java.nio.file.Path path) throws java.io.FileNotFoundException
FileRepo
path
- the path of the file to store. The path must be relative to the base directory
of the proof package.java.io.FileNotFoundException
- if a file with the given path existsCopyright © 2003-2019 The KeY-Project.