FileSystem.java 文件源码

/**
 * Returns the unique serialization id for the file system.
 * The id is a combination of the host computer's id and the mountpoint of the file system.
 * You can only generate an id if the file system has been mounted.
 * 
 * @return The unique serialization id for the file system.
 */
@XmlAttribute
@XmlID
protected String getId() {

    if (host.getOperatingSystem().getFileSystemManager().getMounted().contains(this)) {
        return host.getId() + "-" + host.getOperatingSystem().getFileSystemManager().getMountpoint(this);
    } else {
        return null;
    }
}