public interface InternalDump
Modifier and Type | Method and Description |
---|---|
void |
addPrefix(String prefix) |
String |
cause() |
Map<String,Object> |
context() |
File |
createFile(String name) |
FileOutputStream |
createFileOutputStream(String name) |
FileWriter |
createFileWriter(String name) |
File[] |
files() |
void |
finish() |
void |
removePrefix() |
long |
timestamp() |
long timestamp()
String cause()
File createFile(String name) throws InternalDumpException
InternalDumpException
FileWriter createFileWriter(String name) throws InternalDumpException
InternalDumpException
FileOutputStream createFileOutputStream(String name) throws InternalDumpException
InternalDumpException
File[] files()
void finish() throws InternalDumpException
InternalDumpException
void addPrefix(String prefix)
void removePrefix()
Copyright © GigaSpaces.