2023-07-14 16:53:30 +03:00
|
|
|
#ifndef NIX_API_EXPR_H
|
|
|
|
#define NIX_API_EXPR_H
|
2023-07-30 17:36:51 +03:00
|
|
|
/** @defgroup libexpr libexpr
|
|
|
|
* @brief Bindings to the Nix evaluator
|
|
|
|
*
|
|
|
|
* Example (without error handling):
|
|
|
|
* @code{.c}
|
|
|
|
* int main() {
|
|
|
|
* nix_libexpr_init(NULL);
|
|
|
|
*
|
|
|
|
* Store* store = nix_store_open(NULL, "dummy", NULL);
|
|
|
|
* State* state = nix_state_create(NULL, NULL /* empty NIX_PATH */, store);
|
|
|
|
*Value *value = nix_alloc_value(NULL, state);
|
|
|
|
**nix_expr_eval_from_string(NULL, state, "builtins.nixVersion", ".", value);
|
|
|
|
*nix_value_force(NULL, state, value);
|
|
|
|
*printf("nix version: %s\n", nix_get_string(NULL, value));
|
|
|
|
**nix_gc_decref(NULL, value);
|
|
|
|
*nix_state_free(state);
|
|
|
|
*nix_store_unref(store);
|
|
|
|
*return 0;
|
|
|
|
*
|
|
|
|
}
|
|
|
|
*@endcode *@{* /
|
2023-07-14 16:53:30 +03:00
|
|
|
/** @file
|
|
|
|
* @brief Main entry for the libexpr C bindings
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "nix_api_store.h"
|
|
|
|
#include "nix_api_util.h"
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
2023-07-30 17:36:51 +03:00
|
|
|
extern "C" {
|
2023-07-14 16:53:30 +03:00
|
|
|
#endif
|
2023-07-30 17:36:51 +03:00
|
|
|
// cffi start
|
2023-07-14 16:53:30 +03:00
|
|
|
|
2023-07-30 17:36:51 +03:00
|
|
|
// Type definitions
|
|
|
|
/**
|
|
|
|
* @brief Represents a nix evaluator state.
|
|
|
|
*
|
|
|
|
* Multiple can be created for multi-threaded
|
|
|
|
* operation.
|
|
|
|
* @struct State
|
|
|
|
*/
|
|
|
|
typedef struct State State; // nix::EvalState
|
2023-07-14 16:53:30 +03:00
|
|
|
/**
|
|
|
|
* @brief Represents a nix value.
|
|
|
|
*
|
|
|
|
* Owned by the GC.
|
2023-07-30 17:36:51 +03:00
|
|
|
* @struct Value
|
|
|
|
* @see value_manip
|
2023-07-14 16:53:30 +03:00
|
|
|
*/
|
|
|
|
typedef void Value; // nix::Value
|
|
|
|
|
2023-07-27 14:10:17 +03:00
|
|
|
// Function prototypes
|
2023-07-14 16:53:30 +03:00
|
|
|
/**
|
|
|
|
* @brief Initializes the Nix expression evaluator.
|
|
|
|
*
|
|
|
|
* This function should be called before creating a State.
|
|
|
|
* This function can be called multiple times.
|
|
|
|
*
|
|
|
|
* @param[out] context Optional, stores error information
|
|
|
|
* @return NIX_OK if the initialization was successful, an error code otherwise.
|
|
|
|
*/
|
|
|
|
nix_err nix_libexpr_init(nix_c_context *context);
|
|
|
|
|
|
|
|
/**
|
2023-07-27 16:57:48 +03:00
|
|
|
* @brief Parses and evaluates a Nix expression from a string.
|
2023-07-14 16:53:30 +03:00
|
|
|
*
|
|
|
|
* @param[out] context Optional, stores error information
|
2023-07-27 16:57:48 +03:00
|
|
|
* @param[in] state The state of the evaluation.
|
2023-07-14 16:53:30 +03:00
|
|
|
* @param[in] expr The Nix expression to parse.
|
|
|
|
* @param[in] path The file path to associate with the expression.
|
2023-07-27 14:10:17 +03:00
|
|
|
* @param[out] value The result of the evaluation. You should allocate this
|
|
|
|
* yourself.
|
2023-07-14 16:53:30 +03:00
|
|
|
* @return NIX_OK if the evaluation was successful, an error code otherwise.
|
|
|
|
*/
|
2023-07-27 16:57:48 +03:00
|
|
|
nix_err nix_expr_eval_from_string(nix_c_context *context, State *state,
|
|
|
|
const char *expr, const char *path,
|
|
|
|
Value *value);
|
2023-07-14 16:53:30 +03:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Calls a Nix function with an argument.
|
|
|
|
*
|
|
|
|
* @param[out] context Optional, stores error information
|
|
|
|
* @param[in] state The state of the evaluation.
|
|
|
|
* @param[in] fn The Nix function to call.
|
|
|
|
* @param[in] arg The argument to pass to the function.
|
|
|
|
* @param[out] value The result of the function call.
|
|
|
|
* @return NIX_OK if the function call was successful, an error code otherwise.
|
|
|
|
*/
|
|
|
|
nix_err nix_value_call(nix_c_context *context, State *state, Value *fn,
|
|
|
|
Value *arg, Value *value);
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Forces the evaluation of a Nix value.
|
|
|
|
*
|
|
|
|
* @param[out] context Optional, stores error information
|
|
|
|
* @param[in] state The state of the evaluation.
|
|
|
|
* @param[in,out] value The Nix value to force.
|
|
|
|
* @return NIX_OK if the force operation was successful, an error code
|
|
|
|
* otherwise.
|
|
|
|
*/
|
|
|
|
nix_err nix_value_force(nix_c_context *context, State *state, Value *value);
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Forces the deep evaluation of a Nix value.
|
|
|
|
*
|
|
|
|
* @param[out] context Optional, stores error information
|
|
|
|
* @param[in] state The state of the evaluation.
|
|
|
|
* @param[in,out] value The Nix value to force.
|
|
|
|
* @return NIX_OK if the deep force operation was successful, an error code
|
|
|
|
* otherwise.
|
|
|
|
*/
|
|
|
|
nix_err nix_value_force_deep(nix_c_context *context, State *state,
|
|
|
|
Value *value);
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Creates a new Nix state.
|
|
|
|
*
|
|
|
|
* @param[out] context Optional, stores error information
|
|
|
|
* @param[in] searchPath The NIX_PATH.
|
|
|
|
* @param[in] store The Nix store to use.
|
|
|
|
* @return A new Nix state or NULL on failure.
|
|
|
|
*/
|
|
|
|
State *nix_state_create(nix_c_context *context, const char **searchPath,
|
|
|
|
Store *store);
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @brief Frees a Nix state.
|
|
|
|
*
|
|
|
|
* Does not fail.
|
|
|
|
*
|
|
|
|
* @param[in] state The state to free.
|
|
|
|
*/
|
|
|
|
void nix_state_free(State *state);
|
|
|
|
|
2023-07-30 17:36:51 +03:00
|
|
|
/** @addtogroup GC
|
|
|
|
* @brief Reference counting and garbage collector operations
|
|
|
|
*
|
|
|
|
* Nix's evaluator uses a garbage collector. To ease C interop, we implement
|
|
|
|
* a reference counting scheme, where objects will be deallocated
|
|
|
|
* when there are no references from the Nix side, and the reference count kept
|
|
|
|
* by the C API reaches `0`.
|
|
|
|
*
|
|
|
|
* Functions returning a garbage-collected object will automatically increase
|
|
|
|
* the refcount for you. You should make sure to call `nix_gc_decref` when
|
|
|
|
* you're done.
|
|
|
|
* @{
|
|
|
|
*/
|
2023-07-14 16:53:30 +03:00
|
|
|
/**
|
2023-07-28 11:49:21 +03:00
|
|
|
* @brief Increase the GC refcount.
|
2023-07-14 16:53:30 +03:00
|
|
|
*
|
2023-07-28 11:49:21 +03:00
|
|
|
* The nix C api keeps alive objects by refcounting.
|
|
|
|
* When you're done with a refcounted pointer, call nix_gc_decref.
|
|
|
|
*
|
2023-07-30 17:36:51 +03:00
|
|
|
* @param[out] context Optional, stores error information
|
2023-07-28 11:49:21 +03:00
|
|
|
* @param[in] object The object to keep alive
|
2023-07-14 16:53:30 +03:00
|
|
|
*/
|
2023-07-30 17:36:51 +03:00
|
|
|
nix_err nix_gc_incref(nix_c_context *context, const void *object);
|
2023-07-14 16:53:30 +03:00
|
|
|
/**
|
2023-07-28 11:49:21 +03:00
|
|
|
* @brief Decrease the GC refcount
|
2023-07-14 16:53:30 +03:00
|
|
|
*
|
2023-07-30 17:36:51 +03:00
|
|
|
* @param[out] context Optional, stores error information
|
2023-07-28 11:49:21 +03:00
|
|
|
* @param[in] object The object to stop referencing
|
2023-07-14 16:53:30 +03:00
|
|
|
*/
|
2023-07-30 17:36:51 +03:00
|
|
|
nix_err nix_gc_decref(nix_c_context *context, const void *object);
|
2023-07-14 16:53:30 +03:00
|
|
|
|
2023-07-28 14:47:54 +03:00
|
|
|
/**
|
|
|
|
* @brief Trigger the garbage collector manually
|
|
|
|
*
|
|
|
|
* You should not need to do this, but it can be useful for debugging.
|
|
|
|
*/
|
|
|
|
void nix_gc_now();
|
|
|
|
|
2023-07-14 16:53:30 +03:00
|
|
|
/**
|
|
|
|
* @brief Register a callback that gets called when the object is garbage
|
|
|
|
* collected.
|
|
|
|
* @note objects can only have a single finalizer. This function overwrites
|
|
|
|
* silently.
|
|
|
|
* @param[in] obj the object to watch
|
|
|
|
* @param[in] cd the data to pass to the finalizer
|
|
|
|
* @param[in] finalizer the callback function, called with obj and cd
|
|
|
|
*/
|
|
|
|
void nix_gc_register_finalizer(void *obj, void *cd,
|
|
|
|
void (*finalizer)(void *obj, void *cd));
|
|
|
|
|
2023-07-30 17:36:51 +03:00
|
|
|
/** @} */
|
2023-07-14 16:53:30 +03:00
|
|
|
// cffi end
|
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2023-07-30 17:36:51 +03:00
|
|
|
/** @} */
|
|
|
|
|
2023-07-14 16:53:30 +03:00
|
|
|
#endif // NIX_API_EXPR_H
|