mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
69d6426663
- Replace std with alloc, core in most places in src Tests, bindings aren't changed. - Introduce BuiltinsMap type alias inplace of HashMap. In no_std case, this could be aliases to BTreeMap - Fix clippy warnings Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
29 lines
1001 B
Rust
29 lines
1001 B
Rust
// Copyright (c) Microsoft Corporation.
|
|
// Licensed under the MIT License.
|
|
|
|
use crate::ast::{Expr, Ref};
|
|
use crate::builtins;
|
|
use crate::builtins::utils::{ensure_args_count, ensure_string};
|
|
use crate::lexer::Span;
|
|
use crate::value::Value;
|
|
|
|
use anyhow::Result;
|
|
|
|
pub fn register(m: &mut builtins::BuiltinsMap<&'static str, builtins::BuiltinFcn>) {
|
|
m.insert("trace", (trace, 1));
|
|
}
|
|
|
|
// Symbol analyzer must ensure that vars used by trace are defined before
|
|
// the trace statement. Scheduler must ensure the above constraint.
|
|
fn trace(span: &Span, params: &[Ref<Expr>], args: &[Value], _strict: bool) -> Result<Value> {
|
|
let name = "trace";
|
|
ensure_args_count(span, name, params, args, 1)?;
|
|
let msg = ensure_string(name, ¶ms[0], &args[0])?;
|
|
|
|
// Unlike rego, trace returns a string instead of bool.
|
|
// The interpreter accumulates the traces.
|
|
// TODO: Stateful bultins can pass in a state that would allow capturing
|
|
// the traces in the state.
|
|
Ok(Value::String(msg))
|
|
}
|