Struct CompiledPolicy 

pub struct CompiledPolicy { /* private fields */ }

Wrapper around CompiledPolicyData that holds an Rc reference.

Implementations

impl CompiledPolicy

pub fn get_rules(&self) -> &Map<String, Vec<Ref<Rule>>>

Get access to the rules in the compiled policy for downstream consumers like the RVM compiler.

pub fn get_modules(&self) -> &Vec<Ref<Module>>

Get access to the modules in the compiled policy.

pub fn is_rego_v0(&self) -> bool

Returns true when the compiled policy should use Rego v0 semantics.

impl CompiledPolicy

pub fn eval_with_input(&self, input: Value) -> Result<Value>

Evaluate the compiled policy with the given input.

For target policies, evaluates the target’s effect rule. For regular policies, evaluates the originally compiled rule.

• input: Input data (resource) to validate against the policy.

Returns the result of evaluating the rule.

pub fn get_policy_info(&self) -> Result<PolicyInfo>

Get information about the compiled policy including metadata about modules, target configuration, and resource types.

Returns a crate::policy_info::PolicyInfo struct containing comprehensive information about the compiled policy such as module IDs, target name, applicable resource types, entry point rule, and parameters.

Examples

use regorus::*;


// Compile the policy
let policy_rego = r#"
    package policy.example
    import rego.v1
    __target__ := "target.tests.sample_test_target"
     
    effect := "allow" if {
        input.type == "storage_account"
        input.location in ["eastus", "westus"]
    }
"#;

let modules = vec![regorus::PolicyModule {
    id: "policy.rego".into(),
    content: policy_rego.into(),
}];

#[cfg(feature = "azure_policy")]
let compiled = regorus::compile_policy_for_target(Value::new_object(), &modules)?;
#[cfg(not(feature = "azure_policy"))]
let compiled = regorus::compile_policy_with_entrypoint(Value::new_object(), &modules, "allow".into())?;
let info = compiled.get_policy_info()?;

assert_eq!(info.target_name, Some("target.tests.sample_test_target".into()));
assert_eq!(info.effect_rule, Some("effect".into()));
assert!(info.module_ids.len() > 0);

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.