文件名称：JavaAutomata:该程序将Java程序跟踪输出作为输入，并以自动机的形式输出该程序的可视化图像
文件大小：16.67MB
文件格式：ZIP
更新时间：2024-05-22 01:31:48
Java
Java自动机 由Automateam开发：Nicky van Hulst David Sheridan Shane Brewer Will Hardwick-Smith Chris Chin Ruben Magallnanas 该程序将Java程序跟踪输出作为输入，并以自动机形式输出程序的可视化图像。 开发人员指南 示踪剂包装 运行跟踪要运行跟踪，需要创建一个新的TraceLauncher对象，并且要传递要跟踪的jar的路径，这就是您需要能够调用将跟踪程序的run方法的全部。 参数将参数传递给程序。 您可以通过调用set parameters方法并传入表示参数的字符串，将参数传递给要跟踪的程序。 过滤跟踪过滤（用于设置过滤器）使用过滤器调用setfilter方法，如果将其保留为null，它将使用该过滤器来跟踪被跟踪程序的所有方法和字段。 例子 public static voi