Struct LinkedPolicy 

#[non_exhaustive]
pub struct LinkedPolicy { /* private fields */ }

A linked policy, i.e. a template with information to fill the slots and the id of the link.

To build a LinkedPolicy, you should use LinkedPolicy::new, which will validate that the linked policy is provided values for all the slots in its body.

Implementations

impl LinkedPolicy

pub fn new( template: Arc<Template>, values: HashMap<SlotId, EntityUID>, instance_id: PolicyID, ) -> Result<LinkedPolicy, LinkingError>

Create a new LinkedPolicy from a template, slot values, and an instance id. Returns an error if any slot in the template is not provided a value.

pub fn into_static_policy(&self) -> Result<StaticPolicy, PstConstructionError>

Get the static policy statement that this linked policy represents. Loses the link between the template and the instantiation (the template is cloned and then the slots are replaced by the values in vals and the id is changed to instance_id)

pub fn id(&self) -> &PolicyID

The id of the linked policy is its instance id.

pub fn body(&self) -> &Template

Get a reference to the template body

pub fn values(&self) -> &HashMap<SlotId, EntityUID>

Get a reference to the slot values

Trait Implementations

impl Clone for LinkedPolicy

fn clone(&self) -> LinkedPolicy

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LinkedPolicy

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Display for LinkedPolicy

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl From<LinkedPolicy> for Policy

fn from(p: LinkedPolicy) -> Policy

Converts to this type from the input type.

impl PartialEq for LinkedPolicy

fn eq(&self, other: &LinkedPolicy) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for LinkedPolicy

impl StructuralPartialEq for LinkedPolicy