use genotype_core/GtDiagnostic
use genotype_project/GtpFormatter
//#region Backend to Runtime
//#region Unions
GtbRemoteBackendRequest:
| GtbRemoteBackendRequestGlobFiles
| GtbRemoteBackendRequestReadFile
| GtbRemoteBackendRequestFileExists
| GtbRemoteBackendRequestIsFile
| GtbRemoteBackendRequestFindFile
| GtbRemoteBackendRequestReportDiagnostic
| GtbRemoteBackendRequestRunFormatter
| GtbRemoteBackendRequestWriteFile
GtbRemoteBackendRequestResponse:
| GtbRemoteBackendRequestResponseGlobFiles
| GtbRemoteBackendRequestResponseReadFile
| GtbRemoteBackendRequestResponseFileExists
| GtbRemoteBackendRequestResponseIsFile
| GtbRemoteBackendRequestResponseFindFile
| GtbRemoteBackendRequestResponseReportDiagnostic
| GtbRemoteBackendRequestResponseRunFormatter
| GtbRemoteBackendRequestResponseWriteFile
//#endregion
//#region glob-files
GtbRemoteBackendRequestGlobFiles: {
kind: "glob-files",
path: string
}
GtbRemoteBackendRequestResponseGlobFiles: {
kind: "glob-files",
paths: [string]
}
//#endregion
//#region read-file
GtbRemoteBackendRequestReadFile: {
kind: "read-file",
path: string
}
GtbRemoteBackendRequestResponseReadFile: {
kind: "read-file",
content: string
}
//#endregion
//#region file-exists
GtbRemoteBackendRequestFileExists: {
kind: "file-exists",
path: string
}
GtbRemoteBackendRequestResponseFileExists: {
kind: "file-exists",
exists: boolean
}
//#endregion
//#region is-file
GtbRemoteBackendRequestIsFile: {
kind: "is-file",
path: string
}
GtbRemoteBackendRequestResponseIsFile: {
kind: "is-file",
isFile: boolean
}
//#endregion
//#region find-file
GtbRemoteBackendRequestFindFile: {
kind: "find-file",
fileName: string
}
GtbRemoteBackendRequestResponseFindFile: {
kind: "find-file",
path: string
}
//#endregion
//#region report-diagnostic
GtbRemoteBackendRequestReportDiagnostic: {
kind: "report-diagnostic",
diagnostic: GtDiagnostic
}
GtbRemoteBackendRequestResponseReportDiagnostic: {
kind: "report-diagnostic",
}
//#endregion
//#region run-formatter
GtbRemoteBackendRequestRunFormatter: {
kind: "run-formatter",
formatter: GtpFormatter
}
GtbRemoteBackendRequestResponseRunFormatter: {
kind: "run-formatter",
}
//#endregion
//#region write-file
GtbRemoteBackendRequestWriteFile: {
kind: "write-file",
path: string,
content: string
}
GtbRemoteBackendRequestResponseWriteFile: {
kind: "write-file",
}
//#endregion
//#endregion
//#endregion