从脚本更新Polyspace DRS

7视图(30天)
科里莫尔
科里莫尔 2019年1月15日
我想填充数据范围DRS文件从一个文本文件。我知道有一种方法可以从文本文件导入drs文件,但很好奇,如果有一种方法来更新现有drs(在xml格式),范围从文本文件。我不想再输入文本文件,因为我不想失去任何数据。我只是想覆盖信号范围的子集与更新的范围。
我很好奇是否有内置的特性,可以帮助,如果我需要试着写一个脚本解析这些文件和更新现有的xml直接自己?
1评论
Christoph Reitbauer
Christoph Reitbauer 2019年7月3日
编辑:Christoph Reitbauer 2019年7月3日
我有一个类似的问题:我想用额外的最小/最大drs文件生成一些变量的值。是可以在一个外部文件中指定外部数据范围,可以传递到DRS发电机或有可能给一些Perl / Python脚本在DRS文件生成?

登录置评。

答案(0)


翻译的