如何在合金中写无术语

问题描述 投票:0回答:1

我已经编写了类似于accesss = none的代码。但是,如果我执行元模型,则会显示消息>>

 Cannot bind field accesses to the empty set or empty relation

如何修复我的代码?

sig months_prior_to_open_day extends BusinessEvent {} { 
    triggers = open_day_planning accesses = none
} 

sig open_day_planning extends BusinessProcess {} { 
    flows_to = none 
    realizes = none 
    uses = none 
    aggregates = none 
    triggers = send_update_to_subject_staff 
    accesses = none 
}

我已经编写了类似于accesss = none的代码。但是,如果我执行元模型,则会出现消息,无法将字段访问绑定到空集或空关系。如何修复代码? sig ...

alloy
1个回答
0
投票

尝试改写no accesses

© www.soinside.com 2019 - 2024. All rights reserved.