상태 차트 상태 전이 레이블은 다음 파트로 구성될 수 있습니다.
상태 차트 상태 전이 구문은 다음과 같습니다.
trigger [guard] /action
다음 예제는 제한시간 트리거(제한시간 트리거 사용 참조), 보호 및 조치로 구성되는 상태 전이 레이블을 보여줍니다.
tm(500)[isOk()]/printf("a 0.5 second timeout occurred\n")
이 예제에서 트리거는 제한시간 tm(500)이고 보호는 [isOk()]입니다. 트리거가 발생하고 보호가 true일 때 수행될 조치는 printf("a 0.5 second timeout occurred\n")입니다.
상태 전이의 세 파트는 모두 선택적입니다. 예를 들어, 상태 전이는 트리거와 조치만으로 또는 보호만으로 구성될 수 있습니다. 다음 예제는 트리거와 조치만으로 구성되는 상태 전이 레이블을 보여줍니다.
clockw /itsEngine->GEN(start)
복수 행 상태 전이 레이블(예: 여러 조치가 세미콜론으로 구분되는 레이블)을 입력하는 경우 Ctrl+Enter를 눌러 커서를 다음 행으로 이동하고 레이블을 계속 입력할 수 있습니다.