strixonomy_core/
lib.rs

1//! Core types, workspace scanning, path sandboxing, and resource limits for Strixonomy.
2//!
3//! Published as [`strixonomy-core`](https://crates.io/crates/strixonomy-core).
4//!
5//! # API stability
6//!
7//! **Pre-1.0:** public types and constants may change between minor releases until
8//! [v1.0 stable core](https://github.com/eddiethedean/strixonomy/blob/main/docs/design/v1.0_BACKLOG.md)
9//! is complete. See [workspace limits](https://github.com/eddiethedean/strixonomy/blob/main/docs/workspace-limits.md).
10
11pub mod document_lookup;
12pub mod error;
13pub mod io;
14pub mod limits;
15pub mod model;
16pub mod path_jail;
17pub mod paths;
18pub mod quick_fix;
19pub mod rdf_literals;
20pub mod scanner;
21
22pub use document_lookup::{
23    document_for_entity, document_for_ontology_id, document_matches_entity,
24    document_matches_ontology_id, file_uri_for_path, normalize_iri,
25};
26pub use error::{Result, StrixonomyError};
27pub use io::{atomic_write, read_file_capped, read_to_string_capped, replace_file};
28pub use limits::{
29    MAX_ENTITIES, MAX_FILE_BYTES, MAX_OPEN_DOCUMENTS, MAX_QUERY_BYTES, MAX_SCAN_FILES,
30    MAX_SCAN_WALK_ENTRIES, MAX_SPARQL_RESULT_ROWS, MAX_SQL_RESULT_ROWS, MAX_TOTAL_TRIPLES,
31    MAX_TRIPLES_PER_FILE,
32};
33pub use model::{
34    Annotation, Axiom, AxiomAnnotation, Diagnostic, DiagnosticCode, DiagnosticSeverity, Entity,
35    EntityKind, Import, Namespace, OntologyDocument, OntologyFormat, ParseStatus,
36    PropertyCharacteristics, SourceLocation, AXIOM_KIND_CLASS_ASSERTION,
37    AXIOM_KIND_DATATYPE_DEFINITION, AXIOM_KIND_DATA_PROPERTY_ASSERTION,
38    AXIOM_KIND_DIFFERENT_INDIVIDUALS, AXIOM_KIND_DISJOINT_CLASS,
39    AXIOM_KIND_DISJOINT_DATA_PROPERTIES, AXIOM_KIND_DISJOINT_OBJECT_PROPERTIES,
40    AXIOM_KIND_DISJOINT_UNION, AXIOM_KIND_DOMAIN, AXIOM_KIND_EQUIVALENT_CLASS,
41    AXIOM_KIND_EQUIVALENT_DATA_PROPERTIES, AXIOM_KIND_EQUIVALENT_OBJECT_PROPERTIES,
42    AXIOM_KIND_HAS_KEY, AXIOM_KIND_INVERSE_OBJECT_PROPERTIES,
43    AXIOM_KIND_NEGATIVE_DATA_PROPERTY_ASSERTION, AXIOM_KIND_NEGATIVE_OBJECT_PROPERTY_ASSERTION,
44    AXIOM_KIND_OBJECT_PROPERTY_ASSERTION, AXIOM_KIND_PROPERTY_CHAIN, AXIOM_KIND_RANGE,
45    AXIOM_KIND_SAME_INDIVIDUAL, AXIOM_KIND_SUB_CLASS_OF, AXIOM_KIND_SUB_DATA_PROPERTY_OF,
46    AXIOM_KIND_SUB_OBJECT_PROPERTY_OF,
47};
48pub use path_jail::{
49    canonical_workspace_root, discover_git_repo_root, ensure_extract_path_within, file_uri_to_path,
50    is_path_within, is_path_within_any, paths_refer_to_same, resolve_document_path,
51    resolve_lsp_document_path, resolve_lsp_document_path_any, validate_workspace_scope,
52    validate_workspace_scope_any, workspace_uri_to_path,
53};
54pub use paths::{
55    cache_dir, diagnostics_config_path, plugin_search_dirs, plugins_dir, resolve_config_path,
56    resolve_dotted_config_path, CACHE_SUBDIR, CONFIG_DIR, DIAGNOSTICS_FILE, PLUGINS_SUBDIR,
57    PLUGIN_DISABLED_REL, PLUGIN_OUT_REL,
58};
59pub use quick_fix::QuickFix;
60pub use rdf_literals::parse_boolean_literal;
61pub use scanner::{OntologyFile, WorkspaceScanner};
strixonomy_core/lib.rs

strixonomy_core/
lib.rs
