java filetime_Java FileTime.to方法代码示例

import java.nio.file.attribute.FileTime; //导入方法依赖的package包/类

static void check(FileTime mtime, FileTime atime, FileTime ctime,

ZipEntry ze, byte[] extra) {

/*

System.out.printf(" mtime [%tc]: [%tc]/[%tc]%n",

mtime.to(TimeUnit.MILLISECONDS),

ze.getTime(),

ze.getLastModifiedTime().to(TimeUnit.MILLISECONDS));

*/

if (mtime.to(TimeUnit.SECONDS) !=

ze.getLastModifiedTime().to(TimeUnit.SECONDS))

throw new RuntimeException("Timestamp: storing mtime failed!");

if (atime != null &&

atime.to(TimeUnit.SECONDS) !=

ze.getLastAccessTime().to(TimeUnit.SECONDS))

throw new RuntimeException("Timestamp: storing atime failed!");

if (ctime != null &&

ctime.to(TimeUnit.SECONDS) !=

ze.getCreationTime().to(TimeUnit.SECONDS))

throw new RuntimeException("Timestamp: storing ctime failed!");

if (extra != null) {

// if extra data exists, the current implementation put it at

// the end of the extra data array (implementation detail)

byte[] extra1 = ze.getExtra();

if (extra1 == null || extra1.length < extra.length ||

!Arrays.equals(Arrays.copyOfRange(extra1,

extra1.length - extra.length,

extra1.length),

extra)) {

throw new RuntimeException("Timestamp: storing extra field failed!");

}

}

}