文件名称：osate-plugin:OSATE插件
文件大小：79.3MB
文件格式：ZIP
更新时间：2024-05-12 11:55:34
Java
Sireum OSATE插件 该存储库包含Sireum 插件，该插件将AADL实例模型转换为 ，然后转换为下游Sireum工具（如 。 开发人员安装 该插件可以使用OSATE发行（以下安装方向发展）或OSATE开发环境（以下安装方向）。 Eclipse是在两种情况下都使用的基础IDE，因此其余这些说明将IDE称为“ Eclipse”。 克隆此存储库git clone --depth=1 --recurse-submodules git@github.com:sireum/osate-plugin.git 启动Eclipse并转到File- > Import ... 展开“常规”文件夹，然后选择“现有项目到工作区” ，然后单击“下一步” 。 输入克隆存储库的目录的路径，然后从项目列表中选择所有可用的项目，然后单击Finish 。 切换到插件开发透视图：窗口->透视图->打开透视图-