Struct CompiledPolicy 

pub struct CompiledPolicy { /* private fields */ }

Represents a symbolically compiled policy. This can be fed into various functions on CedarSymCompiler for efficient solver queries (that don’t have to repeat symbolic compilation).

Implementations

impl CompiledPolicy

pub fn compile( policy: &Policy, env: &RequestEnv, schema: &Schema, ) -> Result<Self>

Compile a policy for the given RequestEnv.

This does all the validating and well-typing that you need; you need not (and should not) call WellTypedPolicy::from_policy() prior to calling this.

pub fn compile_with_custom_symenv( policy: &Policy, env: &RequestEnv, schema: &Schema, symenv: SymEnv, ) -> Result<Self>

Compile a policy for the given RequestEnv, using a custom SymEnv rather than the one that would naturally be derived from this RequestEnv.

Most often, you want compile() instead. compile_with_custom_symenv() is generally used to compile with SymEnvs that are more concrete than the default SymEnvs, with constraints/concretizations of the entity hierarchy or request variables.

Caller is responsible for some currently-undocumented invariants about the relationship between the RequestEnv and the SymEnv. This function has no analogue in the Lean (as of this writing). Use at your own risk.

pub fn effect(&self) -> Effect

Get the Effect of this CompiledPolicy

pub fn into_compiled_policyset(self) -> CompiledPolicySet

Convert a CompiledPolicy to a CompiledPolicySet representing a singleton policyset with just that policy.

This function is intended to be much more efficient than re-compiling with CompiledPolicySet::compile().

Trait Implementations

impl Clone for CompiledPolicy

fn clone(&self) -> CompiledPolicy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompiledPolicy

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

Formats the value using the given formatter.