hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: run cargo fmt

Browse Source
This commit is contained in:
Arthur Baars
2024-09-05 13:56:13 +02:00
parent 60b349f7e5
commit d8eb5d463d
7 changed files with 110 additions and 70 deletions
Download Patch File Download Diff File Expand all files Collapse all files

58
rust/extractor/src/main.rs
View File

@@ -1,21 +1,21 @@
use std::fs;
use std::path::{PathBuf, Path};
use ra_ap_project_model::CargoConfig;
use crate::trap::TrapId;
use anyhow::Context;
use log;
use ra_ap_hir::db::DefDatabase;
use ra_ap_hir::{Crate, ModuleDefId};
use ra_ap_hir::AdtId::{EnumId, UnionId, StructId};
use ra_ap_hir::sym::ge;
use ra_ap_hir::AdtId::{EnumId, StructId, UnionId};
use ra_ap_hir::{Crate, ModuleDefId};
use ra_ap_load_cargo::{load_workspace_at, LoadCargoConfig, ProcMacroServerChoice};
use crate::trap::{TrapId};
use ra_ap_project_model::CargoConfig;
use std::fs;
use std::path::{Path, PathBuf};
mod config;
pub mod trap;
pub mod generated;
mod translate;
mod archive;
mod config;
pub mod generated;
pub mod path;
mod translate;
pub mod trap;
fn main() -> anyhow::Result<()> {
let cfg = config::Config::extract().context("failed to load configuration")?;
@@ -25,9 +25,13 @@ fn main() -> anyhow::Result<()> {
.init()?;
log::info!("{cfg:?}");
let traps = trap::TrapFileProvider::new(&cfg).context("failed to set up trap files")?;
let archiver = archive::Archiver { root: cfg.source_archive_dir };
let archiver = archive::Archiver {
root: cfg.source_archive_dir,
};
let config = CargoConfig { ..Default::default() };
let config = CargoConfig {
..Default::default()
};
let no_progress = |_| ();
let load_config = LoadCargoConfig {
load_out_dirs_from_check: true,
@@ -35,20 +39,28 @@ fn main() -> anyhow::Result<()> {
prefill_caches: false,
};
for input in cfg.inputs {
let (db, vfs, _macro_server) = load_workspace_at(&input, &config, &load_config, &no_progress).context("loading inputs")?;
let crates = <dyn DefDatabase>::crate_graph(&db);
let (db, vfs, _macro_server) =
load_workspace_at(&input, &config, &load_config, &no_progress)
.context("loading inputs")?;
let crates = <dyn DefDatabase>::crate_graph(&db);
for crate_id in crates.iter() {
let krate = Crate::from(crate_id);
let name = krate.display_name(&db);
let crate_name = name.as_ref().map(|n| n.canonical_name().as_str()).unwrap_or("");
let trap = traps.create("crates", &PathBuf::from(format!("/{}_{}", crate_name, crate_id.into_raw().into_u32())));
translate::CrateTranslator::new(
&db,
trap,
&krate,
&vfs,
&archiver,
).emit_crate().context("writing trap file")?;
let crate_name = name
.as_ref()
.map(|n| n.canonical_name().as_str())
.unwrap_or("");
let trap = traps.create(
"crates",
&PathBuf::from(format!(
"/{}_{}",
crate_name,
crate_id.into_raw().into_u32()
)),
);
translate::CrateTranslator::new(&db, trap, &krate, &vfs, &archiver)
.emit_crate()
.context("writing trap file")?;
}
}
Ok(())