CPN 工具 - 中止解析引发异常编译
CPN Tools - Exception compile is raised with aborted parsing
我正在为我的模型生成消息序列图 (MSC)。我在转换中有以下代码并且正在运行:
input (p_id, p_cert, v_id, v_cert);
action
MSC.addEvent(msc, p, i, func_to_concat(p_id, p_cert));
if v_cred(p_id, p_cert, v_id, v_cert) then
MSC.addEvent(msc, i, p, "Some message here.")
else
MSC.addEvent(msc, i, p, "Some other message.")
我测试了这段代码,它运行良好。然后,我决定把它放到一个函数中,代码如下:
fun a(msc, e, i, id, cert, v_id, v_cert) =
MSC.addEvent(msc, i, e, func_to_concat(id, cert));
if v_cred(id, cert, v_id, v_cert) then
MSC.addEvent(msc, i, e, "Some message here.")
else
MSC.addEvent(msc, i, e, "Some other message.")
但我收到此错误消息:
Error: Error: exception Compile is raised with Aborted parsing
谁能提出解决这个问题的建议?
问题已解决。为了在 ML 语言中指定命令块,我们必须将代码放在括号内:
fun a(msc, e, i, id, cert, v_id, v_cert) = (
MSC.addEvent(msc, e, i, func_to_concat(id, cert));
if v_cred(id, cert, v_id, v_cert) then
MSC.addEvent(msc, i, e, "Some message here.")
else
MSC.addEvent(msc, i, e, "Some other message.")
)
我正在为我的模型生成消息序列图 (MSC)。我在转换中有以下代码并且正在运行:
input (p_id, p_cert, v_id, v_cert);
action
MSC.addEvent(msc, p, i, func_to_concat(p_id, p_cert));
if v_cred(p_id, p_cert, v_id, v_cert) then
MSC.addEvent(msc, i, p, "Some message here.")
else
MSC.addEvent(msc, i, p, "Some other message.")
我测试了这段代码,它运行良好。然后,我决定把它放到一个函数中,代码如下:
fun a(msc, e, i, id, cert, v_id, v_cert) =
MSC.addEvent(msc, i, e, func_to_concat(id, cert));
if v_cred(id, cert, v_id, v_cert) then
MSC.addEvent(msc, i, e, "Some message here.")
else
MSC.addEvent(msc, i, e, "Some other message.")
但我收到此错误消息:
Error: Error: exception Compile is raised with Aborted parsing
谁能提出解决这个问题的建议?
问题已解决。为了在 ML 语言中指定命令块,我们必须将代码放在括号内:
fun a(msc, e, i, id, cert, v_id, v_cert) = (
MSC.addEvent(msc, e, i, func_to_concat(id, cert));
if v_cred(id, cert, v_id, v_cert) then
MSC.addEvent(msc, i, e, "Some message here.")
else
MSC.addEvent(msc, i, e, "Some other message.")
)