Returns the current state of the Flow class object.
Type: expression policy.
Syntax
query {sid: Handle}
In this case:
Handle refers to the handle of the resource associated with the finite-state machine.Returned value
Current state of the Flow class object.
Example
...
/* When the "ResourceDriver" entity sends a request, the state of the "service_flow" object will be checked.
If "service_flow" is in the "started" or "stopped" state, sending the request is allowed,
otherwise it is denied. */
request src=ResourceDriver {
choice (service_flow.query {sid: src_sid}) {
"started" : grant ()
"stopped" : grant ()
_ : deny ()
}
}
Page top