tiny.pluck.toplevel.context

1const std = @import("std");2const alloc_arena = @import("alloc_arena");3const pluck = @import("../root.zig");4const Allocator = std.mem.Allocator;56const pexpr = pluck.pexpr;7const Definitions = pexpr.Definitions;8const TypeRegistry = pexpr.TypeRegistry;910const evaluator = pluck.evaluator;11const IncrementalLPSMC = evaluator.IncrementalLPSMC;1213const bdd = pluck.bdd;14const Manager = bdd.Manager;1516const query_context = pluck.query_context;17const top_types = @import("types.zig");18const config_owner = @import("config.zig");19const lifecycle = @import("lifecycle.zig");20const incremental = @import("incremental.zig");21const definitions = @import("definitions.zig");22const diagnostics = @import("diagnostics.zig");23const forms = @import("forms.zig");24const query = @import("query.zig");25const script = @import("script.zig");26const prepared = @import("prepared.zig");27const source = @import("source.zig");2829const ToplevelConfig = config_owner.ToplevelConfig;30pub const ToplevelContext = struct {31    allocator: Allocator,32    owns_shared: bool = true,33    owns_arena: bool = true,3435    arena: *alloc_arena.Arena,3637    query_arena: *alloc_arena.Arena,3839    types: TypeRegistry,4041    definitions: Definitions,4243    manager: *Manager,4445    config: ToplevelConfig,4647    loading_stdlib: bool = false,4849    last_query_constructor_typo: ?top_types.QueryConstructorTypo = null,5051    current_source: ?[]const u8 = null,5253    last_error_span: ?top_types.SourceSpan = null,5455    incremental_lpsmc: ?*IncrementalLPSMC = null,5657    const Self = @This();5859    pub const QueryConstructorTypo: type = top_types.QueryConstructorTypo;6061    const SharedContext: type = query_context.SharedContext;62    const QueryContext: type = query_context.QueryContext;63    const RunContext: type = query_context.RunContext;64    const QueryConfig: type = query_context.QueryConfig;65    const SessionConfig: type = query_context.SessionConfig;6667    pub const QueryResultCallback: type = source.QueryResultCallback;6869    pub const init = lifecycle.init;70    pub const initWorker = lifecycle.initWorker;71    pub const deinit = lifecycle.deinit;72    pub const setConfig = lifecycle.setConfig;73    pub const patchConfig = lifecycle.patchConfig;74    pub const asSharedContext = lifecycle.asSharedContext;75    pub const createQueryContext = lifecycle.createQueryContext;76    pub const reset = lifecycle.reset;7778    pub const enableIncrementalLPSMC = incremental.enableIncrementalLPSMC;79    pub const disableIncrementalLPSMC = incremental.disableIncrementalLPSMC;80    pub const isIncrementalLPSMCEnabled = incremental.isIncrementalLPSMCEnabled;81    pub const getIncrementalLPSMC = incremental.getIncrementalLPSMC;82    pub const getLPSMCVarianceStats = incremental.getLPSMCVarianceStats;83    pub const getLpsmcRunStats = incremental.getLpsmcRunStats;84    pub const refinementAffectsPathChoices = incremental.refinementAffectsPathChoices;85    pub const invalidateForRefinement = incremental.invalidateForRefinement;86    pub const clearLPSMCCaches = incremental.clearLPSMCCaches;8788    pub const clearUserDefinitions = definitions.clearUserDefinitions;89    pub const removeUserDefinition = definitions.removeUserDefinition;90    pub const isDefined = definitions.isDefined;91    pub const lookup = definitions.lookup;92    pub const define = definitions.define;93    pub const defineWithDoc = definitions.defineWithDoc;94    pub const defineWithDocTrackChange = definitions.defineWithDocTrackChange;9596    pub const formatParseError = diagnostics.formatParseError;97    pub const formatError = diagnostics.formatError;98    pub const lastErrorSpan = diagnostics.lastErrorSpan;99    pub const formatToplevelError = diagnostics.formatToplevelError;100101    pub const processForm = forms.processForm;102    pub const runQueryExpr = query.runQueryExpr;103    pub const parseSourceForms = script.parseSourceForms;104    pub const executeSource = script.executeSource;105    pub const prepareQuery = prepared.prepareQuery;106    pub const runPreparedQuery = prepared.runPreparedQuery;107108    pub const loadFile = source.loadFile;109    pub const loadFileWithWriter = source.loadFileWithWriter;110    pub const processSource = source.processSource;111    pub const processSourceSexprNoWriter = source.processSourceSexprNoWriter;112    pub const processSourceWithWriter = source.processSourceWithWriter;113    pub const processSourceWithCallback = source.processSourceWithCallback;114    pub const processSourceSexprWithWriter = source.processSourceSexprWithWriter;115    pub const processSourceSexprWithCallback = source.processSourceSexprWithCallback;116};

1pub const context = @import("context.zig");