Umple 的状态机中有 "in state" 谓词吗？

Question

在 Umple 状态机的守卫中，我缺少一个“处于状态”谓词，如果状态机处于给定状态，则 returns 为真。 有这个功能吗？

Answer 1

是的，有。在状态机上调用 get 函数获取状态，然后将结果与名称为状态机后跟一个点后跟状态的枚举进行比较。请参阅下面的示例，其中在方法 m1()

中进行了查询

class X {
  sm {
    s1 {
      a-> s2;
    }
    s2 {}
  }
  
  public m1 () {
    if(getSm()==Sm.s1) {
      // do something
    }
  }
}

最好将此记录在用户手册中