发布时间：2025-12-09 11:56:38 浏览次数：1
import ika.gui.ProgressIndicator; //导入依赖的package包/类/** * Updates the progress indicator with the current progress * * @param progress indicator to update * @param currentPolygon the number of polygons filled so far * @param totalPolygons the total number of polygons to fill * @return if false, abort operation */private boolean updateProgressIndicator(ProgressIndicator progress, int currentPolygon, int totalPolygons) { DecimalFormat f = new DecimalFormat("#,###"); StringBuilder sb = new StringBuilder(); sb.append("<html>Filling polygon "); sb.append(currentPolygon); sb.append(" of "); sb.append(totalPolygons); sb.append(" <br>Total "); sb.append(generateScreeStones ? "stones" : "lines"); sb.append(" generated: "); sb.append(f.format(stonesCounter)); sb.append("</html>"); if (progress != null) { if (progress.progress(100 * (currentPolygon + 1) / totalPolygons) == false) { return false; } if (progress instanceof CmdLineProgress == false) { progress.setMessage(sb.toString()); } } return true;} import ika.gui.ProgressIndicator; //导入依赖的package包/类/** Read a Grid from a file in ESRI ASCII format. * @param fileName The path to the file to be read. * @param progress A WorkerProgress to inform about the progress. * @return The read grid. */public static GeoGrid read(String filePath, ProgressIndicator progressIndicator) throws java.io.IOException { File file = new File(filePath); FileInputStream fis = new FileInputStream(file.getAbsolutePath()); GeoGrid grid = ESRIASCIIGridReader.read(fis, progressIndicator); if (progressIndicator != null && progressIndicator.isAborted()) { return null; } String name = file.getName(); if (!"".equals(name)) { grid.setName(name); } return grid;} import ika.gui.ProgressIndicator; //导入依赖的package包/类/** Read a Grid from a file in ESRI ASCII format. * @param fileName The path to the file to be read. * @param progress A WorkerProgress to inform about the progress. * @return The read grid. */public static GeoGrid read(String filePath, ProgressIndicator progressIndicator) throws java.io.IOException { File file = new File(filePath); InputStream fis = new FileInputStream(file.getAbsolutePath()); EsriASCIIGridReader esriReader = new EsriASCIIGridReader(); GeoGrid grid = esriReader.read(fis, progressIndicator); if (progressIndicator != null && progressIndicator.isAborted()) { return null; } String name = file.getName(); if (!"".equals(name)) { grid.setName(name); } return grid;} 免责声明：本站内容（文字信息+图片素材）来源于互联网公开数据整理或转载，仅用于学习参考，如有侵权问题，请及时联系本站删除，我们将在5个工作日内处理。联系邮箱：303555158#qq.com（把#换成@）
微信便捷交流