Returns the current state of the security domain in the flow2 family instance.
Type: attr policy.
Syntax
state(in SID sid)
Parameters
|
SID of the security domain associated with the finite-state machine. |
Returned value
Current state of the specified security domain.
Example
...
policy service_state = service_flow.state;
entity service {
security call is_working [self] = choice (service_state(self)) {
started : grant;
_ : deny;
};
}