gpt4 book ai didi

org.batfish.common.util.ZipUtility.zipFiles()方法的使用及代码示例

转载 作者:知者 更新时间:2024-03-18 07:15:31 24 4
gpt4 key购买 nike

本文整理了Java中org.batfish.common.util.ZipUtility.zipFiles()方法的一些代码示例,展示了ZipUtility.zipFiles()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。ZipUtility.zipFiles()方法的具体详情如下:
包路径:org.batfish.common.util.ZipUtility
类名称:ZipUtility
方法名:zipFiles

ZipUtility.zipFiles介绍

[英]Zip srcFolder and write to destZipFile
[中]压缩文件夹并写入destZipFile

代码示例

代码示例来源:origin: batfish/batfish

private boolean uploadTestrig(String fileOrDir, String testrigName, boolean autoAnalyze) {
 Path initialUploadTarget = Paths.get(fileOrDir);
 Path uploadTarget = initialUploadTarget;
 boolean createZip = Files.isDirectory(initialUploadTarget);
 if (createZip) {
  uploadTarget = CommonUtil.createTempFile("testrig", "zip");
  ZipUtility.zipFiles(initialUploadTarget.toAbsolutePath(), uploadTarget.toAbsolutePath());
 }
 try {
  boolean result =
    _workHelper.uploadSnapshot(
      _currContainerName, testrigName, uploadTarget.toString(), autoAnalyze);
  return result;
 } finally {
  if (createZip) {
   CommonUtil.delete(uploadTarget);
  }
 }
}

代码示例来源:origin: batfish/batfish

@Nullable
@Deprecated
public Path getTestrigObject(String networkName, String testrigName, String objectName) {
 Path testrigDir = getdirSnapshot(networkName, testrigName);
 Path file = testrigDir.resolve(Paths.get(BfConsts.RELPATH_OUTPUT, objectName));
 /*
  * Check if we got an object name outside of the testrig folder, perhaps because of ".." in the
  * name; disallow it
  */
 if (!CommonUtil.getCanonicalPath(file).startsWith(CommonUtil.getCanonicalPath(testrigDir))) {
  throw new BatfishException("Illegal object name: '" + objectName + "'");
 }
 // Check in output then input directories for backward compatibility
 // Since inputs and outputs used to be stored together, in the testrig dir
 if (!file.toFile().exists()) {
  file = testrigDir.resolve(Paths.get(BfConsts.RELPATH_INPUT, objectName));
 }
 if (Files.isRegularFile(file)) {
  return file;
 } else if (Files.isDirectory(file)) {
  Path zipfile = Paths.get(file + ".zip");
  if (Files.exists(zipfile)) {
   CommonUtil.deleteIfExists(zipfile);
  }
  ZipUtility.zipFiles(file, zipfile);
  // TODO: delete the zipfile
  return zipfile;
 }
 return null;
}

代码示例来源:origin: batfish/batfish

/** Creates a snapshot zip with the specified config and returns the path to that zip */
 public static Path createSnapshotZip(
   String snapshot, String fileName, String content, TemporaryFolder folder) {
  Path tmpSnapshotSrcDir = createSnapshot(snapshot, fileName, content, folder);

  Path tmpSnapshotZip = tmpSnapshotSrcDir.resolve(String.format("%s.zip", snapshot));
  ZipUtility.zipFiles(tmpSnapshotSrcDir.resolve(snapshot), tmpSnapshotZip);
  return tmpSnapshotZip;
 }
}

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com