genotype_backend 0.16.0

Genotype language backend crate
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65

use crate::prelude::internal::*;

/// Remote runtime. It combines serial project loader, message-based file access and stdio
/// diagnostics reporting.
pub struct GtbRemote {
    /// Remote interop implementation for the environment.
    interop: Box<dyn GtbRemoteInterop>,

    /// Current working directory path.
    cwd_path: GtpCwdPath,

    /// Base path for the project source to resolve relative file paths.
    base_path: GtpCwdRelativePath,
}

impl GtbRemote {
    /// Creates a new remote backend.
    pub fn new(
        interop: Box<dyn GtbRemoteInterop>,
        cwd_path: GtpCwdPath,
        base_path: GtpCwdRelativePath,
    ) -> Self {
        Self {
            interop,
            cwd_path,
            base_path,
        }
    }
}

impl GtbFsEnv for GtbRemote {
    /// Returns the cwd path.
    fn cwd_path(&self) -> &GtpCwdPath {
        &self.cwd_path
    }

    /// Returns the base project directory to resolve relative file paths.
    fn base_path(&self) -> &GtpCwdRelativePath {
        &self.base_path
    }
}

impl GtbFsSourceRemote for GtbRemote {}

impl GtbFsSinkRemote for GtbRemote {}

impl GtbDiagnosticSinkRemote for GtbRemote {}

impl GtbRemoteEnv for GtbRemote {
    fn remote_interop(&self) -> &dyn GtbRemoteInterop {
        &*self.interop
    }
}

impl GtbFormatterRunnerRemote<GtbDiagnosticSinkRemoteKind> for GtbRemote {}

impl GtBackend for GtbRemote {
    type FileSourceKind = GtbFsSourceRemoteKind;

    type FileSinkKind = GtbFsSinkRemoteKind;

    type DiagnosticSinkKind = GtbDiagnosticSinkRemoteKind;

    type FormatterRunnerKind = GtbFormatterRunnerRemoteKind;
}