核心抽象语法 概述 L4核心概念的抽象语法。 档案： Syntax.hs数据类型的声明（类型，类和实例，模块，表达式，定时自动机） Exec.hs执行/评估表达 TaToUppaal.hs将定时自动机转换为Uppaal XTA格式，请参阅 从L4 BNFC到核心抽象语法的TransL.hs转换。 非常不完整。 Typing.hs抽象语法的类型检查。 Test.hs文件Test.hs用于测试，可以丢弃。 上层 与GUI交互使用 使用java -jar uppaal.jar &启动Upp