Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors

This package accompanies the paper "Modular Transformation of Java Exceptions Modulo Errors" for submission to FMICS 2021.<br>## Formats<br>The executable parts of the package are only meant to be used on Linux. The data parts are readable on any OS with a text viewer like notepad, textedit, or vim/emacs. The tables are in .ods format and hence are viewable with any spreadsheet program, such as openoffice, libreoffice, or microsoft office.<br>## Contents<br>- categoryTable.ods: A table containing an overview of several works categorizing patterns of exceptions. Contains the patterns of exceptions per paper, and an aggregated table where all categories are combined into common categories.- evaluation: Contains all examples used to evaluate the implementation. Each example is based on a pattern in the category table.- jstar: Contains a test setup for jStar and two test programs to test jStar. Instructions for running the test setup are included in the folder.- krakatoa: Contains a test setup for Krakatoa and a test program to show that Krakatoa has no support for finally. Instructions for running the test setup are included in the folder.- README.md: A readme with instructions.- vercors-1.4.0-SNAPSHOT: A build of vercors of the primary development branch "dev", which includes the latest fixes needed to verify the examples in the evaluation folder. It can be run using the run script in vercors-1.4.0-SNAPSHOT, or through the runVercors.sh script in evaluation. Java 11 is required to be installed for vercors to run.<br>## Questions<br>For questions about this package, please visit https://vercors.ewi.utwente.nl/ and get in touch with us.<br>本配套包对应提交至FMICS 2021的论文《Java异常模错误的模块化转换》（Modular Transformation of Java Exceptions Modulo Errors）。 ## 格式说明 本包的可执行部分仅支持在Linux系统上运行。数据包部分可在任意搭载文本查看器（如记事本、TextEdit、Vim或Emacs）的操作系统中读取。表格采用.ods格式，可通过任意电子表格软件（如OpenOffice、LibreOffice或Microsoft Office）查看。 ## 内容说明 - categoryTable.ods：一份汇总了多项研究对异常模式进行分类的表格，包含各论文中的异常模式，以及将所有类别整合为通用类别的聚合分类表。 - evaluation：存放用于验证本实现的全部测试用例，每个测试用例均基于categoryTable.ods中的异常模式构建。 - jstar：包含jStar的测试环境与两个用于测试jStar的测试程序，测试环境的运行说明已收录于该文件夹内。 - krakatoa：包含Krakatoa的测试环境与一个用于演示Krakatoa不支持finally块的测试程序，测试环境的运行说明已收录于该文件夹内。 - README.md：包含使用说明的自述文件。 - vercors-1.4.0-SNAPSHOT：基于主开发分支"dev"构建的vercors工具版本，包含验证evaluation文件夹中测试用例所需的最新修复补丁。可通过vercors-1.4.0-SNAPSHOT目录下的运行脚本启动，或通过evaluation文件夹中的runVercors.sh脚本启动。运行vercors需预先安装Java 11。 ## 咨询方式 若对本配套包有任何疑问，请访问 https://vercors.ewi.utwente.nl/ 与我们取得联系。