Expand description
Core types, workspace scanning, path sandboxing, and resource limits for OntoCore.
Published as ontocore-core.
§API stability
Pre-1.0: public types and constants may change between minor releases until v1.0 stable core is complete. See workspace limits.
Re-exports§
pub use document_lookup::document_for_entity;pub use document_lookup::document_for_ontology_id;pub use document_lookup::document_matches_entity;pub use document_lookup::document_matches_ontology_id;pub use document_lookup::file_uri_for_path;pub use document_lookup::normalize_iri;pub use error::OntoCoreError;pub use error::Result;pub use io::read_file_capped;pub use io::read_to_string_capped;pub use limits::MAX_ENTITIES;pub use limits::MAX_FILE_BYTES;pub use limits::MAX_OPEN_DOCUMENTS;pub use limits::MAX_QUERY_BYTES;pub use limits::MAX_SCAN_FILES;pub use limits::MAX_SCAN_WALK_ENTRIES;pub use limits::MAX_SPARQL_RESULT_ROWS;pub use limits::MAX_SQL_RESULT_ROWS;pub use limits::MAX_TOTAL_TRIPLES;pub use limits::MAX_TRIPLES_PER_FILE;pub use model::Annotation;pub use model::Axiom;pub use model::Diagnostic;pub use model::DiagnosticCode;pub use model::DiagnosticSeverity;pub use model::Entity;pub use model::EntityKind;pub use model::Import;pub use model::Namespace;pub use model::OntologyDocument;pub use model::OntologyFormat;pub use model::ParseStatus;pub use model::PropertyCharacteristics;pub use model::SourceLocation;pub use model::AXIOM_KIND_CLASS_ASSERTION;pub use model::AXIOM_KIND_DATA_PROPERTY_ASSERTION;pub use model::AXIOM_KIND_DISJOINT_CLASS;pub use model::AXIOM_KIND_DOMAIN;pub use model::AXIOM_KIND_EQUIVALENT_CLASS;pub use model::AXIOM_KIND_OBJECT_PROPERTY_ASSERTION;pub use model::AXIOM_KIND_PROPERTY_CHAIN;pub use model::AXIOM_KIND_RANGE;pub use model::AXIOM_KIND_SUB_CLASS_OF;pub use path_jail::canonical_workspace_root;pub use path_jail::discover_git_repo_root;pub use path_jail::ensure_extract_path_within;pub use path_jail::file_uri_to_path;pub use path_jail::is_path_within;pub use path_jail::is_path_within_any;pub use path_jail::resolve_document_path;pub use path_jail::resolve_lsp_document_path;pub use path_jail::resolve_lsp_document_path_any;pub use path_jail::validate_workspace_scope;pub use path_jail::validate_workspace_scope_any;pub use path_jail::workspace_uri_to_path;pub use quick_fix::QuickFix;pub use rdf_literals::parse_boolean_literal;pub use scanner::OntologyFile;pub use scanner::WorkspaceScanner;
Modules§
- document_
lookup - error
- io
- limits
- Resource limits for indexing and querying (DoS hardening).
- model
- path_
jail - quick_
fix - Structured quick-fix payloads for diagnostics and LSP code actions.
- rdf_
literals - scanner