文件名称：salty:用于生成 GR(1) 问题的 DSL
文件大小：167.67MB
文件格式：ZIP
更新时间：2024-08-23 23:26:02
JavaScript
咸的 DSL Salty 是一种用于描述GR(1)综合问题的领域特定语言。 当前状态 Salty 目前正在积极开发中，可用于根据GR(1)规范生成 Python、Java、C++ 和 SPARK/Ada 源代码。 语言目标 使控制器规格更易于阅读 允许宏定义为复杂行为命名 为if-then-else类的东西添加语法糖 允许状态变量覆盖枚举值，而不仅仅是整数值 与 slugs GR(1)合成器集成以进行繁重的提升 在 Python、Java、C++ 和 SPARK/Ada 中生成控制器实现 建筑咸 依赖关系 堆 使用工具构建 salty 是最简单的。 Stack 将管理所有 haskell 依赖项的安装，以及 GHC 编译器本身。 使用stack一个缺点是它不会自动从language-slugs存储库中提取更改。 蛞蝓 您将需要构建和安装。 安装后，您可以通过传递-s或--slugs标志来