|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface FileHandler
Handles the reading and writing of files to and from the server. Different implementations of this interface can use different formats for sending or receiving the files, for example gzipped format.
Method Summary | |
---|---|
Request[] |
getInitialisationRequests()
Get any requests that must be sent before commands are sent, to init this file handler. |
void |
removeLocalFile(java.lang.String pathname)
Remove the specified file from the local disk. |
void |
renameLocalFile(java.lang.String pathname,
java.lang.String newName)
Rename the local file If the destination file exists, the operation does nothing. |
void |
setGlobalOptions(GlobalOptions globalOptions)
Sets the global options. |
void |
setNextFileDate(java.util.Date modifiedDate)
Set the modified date of the next file to be written. |
void |
transmitBinaryFile(java.io.File file,
LoggedDataOutputStream dos)
Transmit a binary file to the server, using the standard CVS protocol conventions. |
void |
transmitTextFile(java.io.File file,
LoggedDataOutputStream dos)
Transmit a text file to the server, using the standard CVS protocol conventions. |
void |
writeBinaryFile(java.lang.String path,
java.lang.String mode,
LoggedDataInputStream dis,
int length)
Write (either create or replace) a text file on the local machine with one read from the server. |
void |
writeRcsDiffFile(java.lang.String path,
java.lang.String mode,
LoggedDataInputStream dis,
int length)
Merge a text file on the local machine with the diff from the server. |
void |
writeTextFile(java.lang.String path,
java.lang.String mode,
LoggedDataInputStream dis,
int length)
Write (either create or replace) a text file on the local machine with one read from the server. |
Method Detail |
---|
void transmitTextFile(java.io.File file, LoggedDataOutputStream dos) throws java.io.IOException
file
- the file to transmitdos
- the data outputstream on which to transmit the file
java.io.IOException
void transmitBinaryFile(java.io.File file, LoggedDataOutputStream dos) throws java.io.IOException
file
- the file to transmitdos
- the data outputstream on which to transmit the file
java.io.IOException
void writeTextFile(java.lang.String path, java.lang.String mode, LoggedDataInputStream dis, int length) throws java.io.IOException
path
- the absolute path of the file, (including the file name).mode
- the mode of the filedis
- the stream to read the file from, as byteslength
- the number of bytes to read
java.io.IOException
void writeRcsDiffFile(java.lang.String path, java.lang.String mode, LoggedDataInputStream dis, int length) throws java.io.IOException
path
- the absolute path of the file, (including the file name).mode
- the mode of the filedis
- the stream to read the file from, as byteslength
- the number of bytes to read
java.io.IOException
void writeBinaryFile(java.lang.String path, java.lang.String mode, LoggedDataInputStream dis, int length) throws java.io.IOException
path
- the absolute path of the file, (including the file name).mode
- the mode of the filedis
- the stream to read the file from, as byteslength
- the number of bytes to read
java.io.IOException
void removeLocalFile(java.lang.String pathname) throws java.io.IOException
pathname
- the full path to the file to remove
java.io.IOException
- if an IO error occurs while removing the filevoid renameLocalFile(java.lang.String pathname, java.lang.String newName) throws java.io.IOException
pathname
- the full path to the file to renamenewName
- the new name of the file (not the full path)
java.io.IOException
- if an IO error occurs while renaming the filevoid setNextFileDate(java.util.Date modifiedDate)
modifiedDate
- the date the file should be marked as modifiedRequest[] getInitialisationRequests()
void setGlobalOptions(GlobalOptions globalOptions)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |