public class Download extends Object
| Modifier and Type | Field and Description |
|---|---|
Path |
file
Path to local copy of successfully downloaded file.
|
long |
length
Length of downloaded file from sender, if available.
|
int |
mode
Mode of downloaded file from sender, if available.
|
FileTime |
modified
Modification time of downloaded file from sender, if available.
|
String |
name
Name of downloaded file from sender, if available.
|
int |
serial
Serial number of downloaded file from sender, if available.
|
| Constructor and Description |
|---|
Download()
Create a new Download, with no file name from sender.
|
Download(String name)
Create a new Download, with file name from sender.
|
| Modifier and Type | Method and Description |
|---|---|
void |
resetLastModified()
Reset the downloaded file's modification time to the time given by
the sender, if available.
|
void |
setFileTime(long timestamp)
Store the modification time from the sender.
|
public Path file
public String name
public long length
public FileTime modified
public int mode
public int serial
public Download()
throws AbortDownloadException
Also creates the new local file for writing.
AbortDownloadException - If error creating local file.public Download(String name) throws AbortDownloadException
Also creates the new local file for writing.
name - Name of file to downloadAbortDownloadException - If error creating local file.public void setFileTime(long timestamp)
timestamp - Modification timestamppublic void resetLastModified()
Copyright © 2019. All rights reserved.