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
InternalDumpExceptionFileWriter createFileWriter(String name) throws InternalDumpException
InternalDumpExceptionFileOutputStream createFileOutputStream(String name) throws InternalDumpException
InternalDumpExceptionFile[] files()
void finish()
     throws InternalDumpException
InternalDumpExceptionvoid addPrefix(String prefix)
void removePrefix()
Copyright © GigaSpaces.