如何从ecore meta model 在XText 上写入基数？

Question

我为 state 机器创建了一个 ecore 元模型。 一台 state 机器具有 0..* 状态、1..1 初始 state、1..1 最终 state 和 1..* 转换。 当我生成 XText 语法时，我得到了这样的东西

StateMachine:
'{'
        ('states' '{' states+=State ( "," states+=State)* '}' )?
        'transitions' '{' transitions+=Transitions ( "," transitions+=Transitions)* '}' 
        'initialstate' initialstate=InitialState
        'finalstate' finalstate=FinalState
    '}';

现在由于状态具有 0..* 关系，它们不应该只有 * 表示 0 或更多的运算符吗？ 为什么他们也有“？” 运算符表示 0 还是 1？ 此外，转换具有 1..* 关系，它们不应该使用“+”运算符而不是 * 吗？

Answer 1

我们先来看看transitions 。

规则是transitions+=Transitions ( "," transitions+=Transitions)*而不是(transitions+=Transitions)+因为这是确保转换用逗号 "," 分隔的简单方法。 它可以读作“至少一个转换，然后是任意数量的转换，每个转换都以逗号为前缀”，它与 [1..*] 基数匹配。

states也是如此：

• ('states' '{'... '}' )? 表示当您的 state 机器不包含 state （与 0 下限匹配）时，可以省略整个块
• ('states' '{' states+=State... '}' )? 表示如果状态块被写入，那么它必须包含至少一个 state
• ('states' '{' states+=State ( "," states+=State)* '}' )? 表示如果写入状态块，则它必须包含至少一个 state，并且可以通过用逗号分隔它们来指定更多状态“，”（与 * 上限匹配）。

Answer 2

我个人认为你不需要？ 运算符，因为您已经使用了 * 运算符，这意味着它可以为 0。是的，运算符 * 是正确的，因为您已经强制声明了至少一个 state 并且可以省略另一个（逗号分隔）