如何解决我该如何旋转定义这样的宏?
我编写了以下模型:
#define inc(sn)if :: sn < 255 -> sn = sn + 1; ::else -> sn = 1; fi;
#define inc_twice(sn) if :: sn+2 >255 -> sn= sn-253; ::else -> sn=sn+2; fi;
active proctype monitor()
{
byte sn = 255;
assert (inc(sn) ==1);
}
但是编译器失败如下:
spin: test2.pml:9,Error: Syntax error saw 'keyword: if' near 'if'
spin: test2.pml:9,Error: Syntax error saw 'token: ::'
spin: test2.pml:9,Error: Syntax error saw 'keyword: fi' near 'fi'
spin: test2.pml:11,Error: aborting (ana_stmnt)
child process exited abnormally.
我该如何解决?
解决方法
我遇到了同样的问题。您可以通过将代码更改为以下内容来解决它:
#define inc(sn)if \\
:: sn < 255 -> sn = sn + 1 \\
::else -> sn = 1 \\
fi;
#define inc_twice(sn) if \\
:: sn+2 >255 -> sn= sn-253 \\
::else -> sn=sn+2 \\
fi;
我不知道是什么原因导致这个问题,但我通过上面的方法解决了。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。