Assertion: machine's state | /r/HasProperty | left via transition
Facets:
Source sentences:
text: Note: This state machine diagram shows the state of an object myBkCopy from a BookCopy class Entry action : any action that is marked as linked to the entry action is executed whenever the given state is entered via a transition Exit action : any action that is marked as linked to the exit action is executed whenever the state is left via a transition