|
||||||||
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 |