state policy

Returns the current state of the era family instance.

Type: attr policy.

Syntax

state()

Returned value

The current state of the era family instance.

Example

...

policy era0_state = era0.state;

entity foo {

...

/* actions can be performed only if

era0 is in the process state */

security call action = choice (era0_state) {

process : grant;

_ : deny;

};

}

Page top