|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||
public interface Recorder
A recorder for the recording file system.
| Field Summary | |
|---|---|
static int |
COPY
Copy a file. |
static int |
CREATE_DIRECTORY
Create a directory. |
static int |
CREATE_NEW_FILE
Create a new file. |
static int |
CREATE_TEMP_FILE
Create a temporary file. |
static int |
DELETE
Delete a file. |
static int |
OPEN_OUTPUT_STREAM
Open a file output stream. |
static int |
RENAME
Rename a file. |
static int |
TRUNCATE
Truncate the file. |
static int |
WRITE
Write to the file. |
| Method Summary | |
|---|---|
void |
log(int op,
java.lang.String fileName,
byte[] data,
long x)
Record the method. |
| Field Detail |
|---|
static final int COPY
static final int CREATE_DIRECTORY
static final int CREATE_NEW_FILE
static final int CREATE_TEMP_FILE
static final int DELETE
static final int OPEN_OUTPUT_STREAM
static final int RENAME
static final int TRUNCATE
static final int WRITE
| Method Detail |
|---|
void log(int op,
java.lang.String fileName,
byte[] data,
long x)
op - the operationfileName - the file name or file name listdata - the data or nullx - the value or 0
|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||