Struct LocalArchive 

pub struct LocalArchive {
    pub(crate) uri: ArchiveUri,
    pub(crate) out_path: PathBuf,
    pub(crate) source: Option<Box<str>>,
    pub(crate) formats: SmallVec<SourceFormatId, 1>,
    pub(crate) file_state: RwLock<SourceDir>,
    pub ignore: IgnoreSource,
    pub(crate) is_managed: OnceLock<Option<GitUrl>>,
}

Fields

uri: ArchiveUri

out_path: PathBuf

source: Option<Box<str>>

formats: SmallVec<SourceFormatId, 1>

file_state: RwLock<SourceDir>

ignore: IgnoreSource

is_managed: OnceLock<Option<GitUrl>>

Available on crate feature git only.

Implementations

impl LocalArchive

pub fn document_of( &self, path: Option<&UriPath>, name: &UriName, ) -> Option<DocumentUri>

pub fn git_url(&self, on_host: &Url) -> Option<&GitUrl>

Available on crate feature git only.

pub fn state_summary(&self) -> FileStateSummary

pub fn source_dir(&self) -> PathBuf

pub fn manifest_of(p: &Path) -> Option<PathBuf>

blocks

pub(crate) fn out_dir_of(p: &Path) -> PathBuf

where Self: Sized,

pub fn with_sources<R>(&self, f: impl FnOnce(&SourceDir) -> R) -> R

pub fn update_sources(&self)

pub fn rel_path_of( &self, path: Option<&UriPath>, doc_name: &SimpleUriName, language: Language, ) -> Option<PathBuf>

blocks! removes File extension!

Trait Implementations

impl BuildableArchive for LocalArchive

fn file_state(&self) -> FileStates

fn formats(&self) -> &[SourceFormatId]

fn get_log(&self, relative_path: &str, target: BuildTargetId) -> PathBuf

fn save( &self, in_doc: &DocumentUri, rel_path: Option<&UriPath>, log: FileOrString, from: BuildTargetId, result: Option<Box<dyn Artifact>>, relational: &RDFStore, load: bool, ) -> Result<(), ArtifactSaveError>

Errors

fn save_triples( &self, in_doc: &DocumentUri, rel_path: Option<&UriPath>, relational: &RDFStore, load: bool, iter: Vec<Triple>, )

Available on crate feature rdf only.

fn escape_module_name(&self, in_path: &Path, name: &str) -> PathBuf

impl Debug for LocalArchive

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl LocallyBuilt for LocalArchive

fn out_dir(&self) -> &Path

fn out_path_of( &self, path: Option<&UriPath>, doc_name: &SimpleUriName, rel_path: Option<&UriPath>, language: Language, ) -> PathBuf

fn document_file( &self, path: Option<&UriPath>, rel_path: Option<&UriPath>, doc_name: &SimpleUriName, language: Language, ) -> PathBuf

fn save_modules(&self, modules: &[Module]) -> Result<(), ArtifactSaveError>

impl MathArchive for LocalArchive

fn uri(&self) -> &ArchiveUri

fn path(&self) -> &Path

fn is_meta(&self) -> bool

fn load_module( &self, path: Option<&UriPath>, name: &UriName, ) -> Result<Module, BackendError>

Errors

fn load_module_async<A: AsyncEngine>( &self, path: Option<&UriPath>, name: &UriName, ) -> impl Future<Output = Result<Module, BackendError>> + 'static + use<A>

where Self: Sized,

Errors

fn id(&self) -> &ArchiveId