-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Separate main.rs into main.rs and lib.rs
Keeping main.rs slim and doing most logic in the library. * Separates CLI stuff from the functionality of the program. * Makes it possible to have doc tests in lib.rs * Can potentially make the library more testable
- Loading branch information
Showing
2 changed files
with
330 additions
and
319 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,322 @@ | ||
use std::collections::HashMap; | ||
use std::fs; | ||
use std::io; | ||
use std::path::Path; | ||
|
||
use anyhow::Context; | ||
use miette::{miette, LabeledSpan, NamedSource, Severity}; | ||
use unic_ucd_name::Name; | ||
|
||
mod config; | ||
mod rules; | ||
mod unicode_blocks; | ||
mod unicode_notation; | ||
|
||
use crate::config::{CodeType, Config, Language}; | ||
use crate::rules::{Decision, RuleSet}; | ||
use crate::unicode_notation::char_to_unicode_notation; | ||
|
||
pub use crate::rules::CharacterType; | ||
|
||
// Replaces the previous idea of "RuleChain"s. | ||
pub struct RuleDispatcher { | ||
pub user_config: Option<Config>, | ||
pub default_config: Config, | ||
} | ||
|
||
impl RuleDispatcher { | ||
pub fn language(&self, filepath: &Path) -> Option<Language> { | ||
if let Some(userconf) = &self.user_config { | ||
if let Some(lang) = Self::language_for_config(userconf, filepath) { | ||
return Some(lang); | ||
} | ||
} | ||
if let Some(lang) = Self::language_for_config(&self.default_config, filepath) { | ||
return Some(lang); | ||
} | ||
None | ||
} | ||
|
||
fn language_for_config(config: &Config, filepath: &Path) -> Option<Language> { | ||
for (lang, langconf) in &config.language { | ||
if let Some(paths) = &langconf.paths { | ||
for glob in paths { | ||
if glob.matches_path(filepath) { | ||
return Some(*lang); | ||
} | ||
} | ||
} | ||
} | ||
None | ||
} | ||
|
||
pub fn decision(&self, c: char, language: Language, code_type: Option<CodeType>) -> Decision { | ||
if let Some(user_config) = &self.user_config { | ||
if let Some(decision) = Self::decision_for_config(user_config, c, language, code_type) { | ||
return decision; | ||
} | ||
} | ||
if let Some(decision) = | ||
Self::decision_for_config(&self.default_config, c, language, code_type) | ||
{ | ||
return decision; | ||
} | ||
Decision::Deny | ||
} | ||
|
||
// Rulechain: | ||
// 1. Code type specific ruleset for specific language | ||
// 2. Default ruleset for specific language | ||
// 3. Code type specific ruleset in global section | ||
// 4. Default rules in global section | ||
fn decision_for_config( | ||
config: &Config, | ||
c: char, | ||
language: Language, | ||
code_type: Option<CodeType>, | ||
) -> Option<Decision> { | ||
if let Some(language_rules) = config.language.get(&language) { | ||
// 1. | ||
if let Some(language_code_type_rules) = | ||
code_type.and_then(|ct| language_rules.rules.code_type_rules.get(&ct)) | ||
{ | ||
if let Some(decision) = language_code_type_rules.decision(c) { | ||
return Some(decision); | ||
} | ||
} | ||
// 2. | ||
if let Some(decision) = language_rules.rules.default.decision(c) { | ||
return Some(decision); | ||
} | ||
} | ||
// 3. | ||
if let Some(global_code_type_rules) = | ||
code_type.and_then(|ct| config.global.code_type_rules.get(&ct)) | ||
{ | ||
if let Some(decision) = global_code_type_rules.decision(c) { | ||
return Some(decision); | ||
} | ||
} | ||
// 4. | ||
if let Some(decision) = config.global.default.decision(c) { | ||
return Some(decision); | ||
} | ||
// This config does not have any opinion on this character | ||
None | ||
} | ||
} | ||
|
||
pub fn print_unicode_blocks(verbose: bool) { | ||
for (&name, range) in &unicode_blocks::UNICODE_BLOCKS { | ||
print!("{name}"); | ||
if verbose { | ||
let range_start = char_to_unicode_notation(*range.start()); | ||
let range_end = char_to_unicode_notation(*range.end()); | ||
print!(": {range_start}..{range_end}"); | ||
} | ||
println!(); | ||
} | ||
} | ||
|
||
pub fn print_character_type(character_type: CharacterType) { | ||
match character_type { | ||
CharacterType::CodePoint(c) => print_char_range(c..=c), | ||
CharacterType::Range(range) => print_char_range(range), | ||
CharacterType::Bidi => print_char_range(rules::BIDI_CHARACTERS.iter().copied()), | ||
CharacterType::Block(block) => print_char_range(block.clone()), | ||
// TODO: `char::MIN` and `char::MAX` are heading for stabilization. When they are | ||
// stable we can replace these constants for those in std. | ||
CharacterType::Anything => print_char_range('\0'..='\u{10ffff}'), | ||
} | ||
} | ||
|
||
pub fn check_file(dispatcher: &RuleDispatcher, path: &Path) { | ||
let Some(lang) = dispatcher.language(path) else { | ||
return; | ||
}; | ||
let filename = path.display().to_string(); | ||
let src = fs::read_to_string(path).unwrap(); | ||
let named_source = NamedSource::new(&filename, src.clone()); | ||
let mut parser = tree_sitter::Parser::new(); | ||
parser | ||
.set_language(&lang.grammar()) | ||
.expect("Error loading grammar"); | ||
let tree = parser.parse(&src, None).unwrap(); | ||
if tree.root_node().has_error() { | ||
let mut labels = Vec::new(); | ||
if log::log_enabled!(log::Level::Debug) { | ||
let query = tree_sitter::Query::new(&lang.grammar(), "(ERROR) @error").unwrap(); | ||
let mut cursor = tree_sitter::QueryCursor::new(); | ||
for (r#match, _) in cursor.captures(&query, tree.root_node(), src.as_bytes()) { | ||
for capture in r#match.captures { | ||
labels.push(LabeledSpan::at( | ||
capture.node.start_byte()..capture.node.end_byte(), | ||
"Error", | ||
)); | ||
} | ||
} | ||
} | ||
let report = miette!( | ||
severity = Severity::Warning, | ||
labels = labels, | ||
"{}: parse error, results might be incorrect", | ||
filename | ||
) | ||
.with_source_code(named_source.clone()); | ||
print!("{:?}", report); | ||
} | ||
for (off, ch) in src.char_indices() { | ||
let node = tree | ||
.root_node() | ||
.named_descendant_for_byte_range(off, off + ch.len_utf8()) | ||
.unwrap(); | ||
let tskind = node.kind(); | ||
let code_type = lang.lookup_code_type(tskind); | ||
match dispatcher.decision(ch, lang, code_type) { | ||
Decision::Allow => continue, | ||
Decision::Deny => {} | ||
} | ||
let chname = Name::of(ch).unwrap(); | ||
let report = miette!( | ||
labels = vec![LabeledSpan::at( | ||
off..off + ch.len_utf8(), | ||
chname.to_string() | ||
)], | ||
"found disallowed character {} in {}", | ||
chname, | ||
node.kind() | ||
) | ||
.with_source_code(named_source.clone()); | ||
print!("{:?}", report); | ||
} | ||
} | ||
|
||
pub fn get_user_config(path: &Path) -> anyhow::Result<Option<Config>> { | ||
let absolute_path = path | ||
.canonicalize() | ||
.with_context(|| format!("Failed to resolve absolute path for {}", path.display()))?; | ||
let mut config_dir = if absolute_path.is_file() { | ||
// If scanning a file, then check for the config file in the same directory. | ||
absolute_path.parent().unwrap() | ||
} else { | ||
// And if scanning a dir, look for the config file in the dir. | ||
&absolute_path | ||
}; | ||
|
||
loop { | ||
let config_path = config_dir.join("unicop.toml"); | ||
|
||
match std::fs::read_to_string(&config_path) { | ||
Ok(config_str) => { | ||
log::debug!( | ||
"Using config {} for scan path {}", | ||
config_path.display(), | ||
absolute_path.display() | ||
); | ||
break toml::from_str(&config_str).context("Failed to parse config"); | ||
} | ||
Err(e) if e.kind() == io::ErrorKind::NotFound => match config_dir.parent() { | ||
Some(parent_dir) => config_dir = parent_dir, | ||
None => { | ||
log::debug!("No user config for scan path {}", absolute_path.display()); | ||
break Ok(None); | ||
} | ||
}, | ||
Err(e) => break Err(e).context("Failed to read config file"), | ||
} | ||
} | ||
} | ||
|
||
/// Comments and string literals allow all unicode except Bidi characters, | ||
/// all other kinds of code deny all unicode. | ||
pub fn get_default_config() -> Config { | ||
Config { | ||
global: config::ConfigRules { | ||
default: RuleSet { | ||
allow: vec![rules::CharacterType::Block(&unicode_blocks::BASIC_LATIN)], | ||
deny: vec![], | ||
}, | ||
code_type_rules: [ | ||
( | ||
config::CodeType::Comment, | ||
RuleSet { | ||
allow: vec![rules::CharacterType::Anything], | ||
deny: vec![rules::CharacterType::Bidi], | ||
}, | ||
), | ||
( | ||
config::CodeType::StringLiteral, | ||
RuleSet { | ||
allow: vec![rules::CharacterType::Anything], | ||
deny: vec![rules::CharacterType::Bidi], | ||
}, | ||
), | ||
] | ||
.into_iter() | ||
.collect(), | ||
}, | ||
language: HashMap::from([ | ||
( | ||
Language::Rust, | ||
config::LanguageRules { | ||
paths: Some(vec![glob::Pattern::new("**/*.rs").unwrap()]), | ||
rules: Default::default(), | ||
}, | ||
), | ||
( | ||
Language::Python, | ||
config::LanguageRules { | ||
paths: Some(vec![glob::Pattern::new("**/*.py").unwrap()]), | ||
rules: Default::default(), | ||
}, | ||
), | ||
( | ||
Language::Go, | ||
config::LanguageRules { | ||
paths: Some(vec![glob::Pattern::new("**/*.go").unwrap()]), | ||
rules: Default::default(), | ||
}, | ||
), | ||
( | ||
Language::Javascript, | ||
config::LanguageRules { | ||
paths: Some(vec![ | ||
glob::Pattern::new("**/*.js").unwrap(), | ||
glob::Pattern::new("**/*.mjs").unwrap(), | ||
glob::Pattern::new("**/*.cjs").unwrap(), | ||
glob::Pattern::new("**/*.jsx").unwrap(), | ||
]), | ||
rules: Default::default(), | ||
}, | ||
), | ||
( | ||
Language::Swift, | ||
config::LanguageRules { | ||
paths: Some(vec![glob::Pattern::new("**/*.swift").unwrap()]), | ||
rules: Default::default(), | ||
}, | ||
), | ||
( | ||
Language::Typescript, | ||
config::LanguageRules { | ||
paths: Some(vec![glob::Pattern::new("**/*.ts").unwrap()]), | ||
rules: Default::default(), | ||
}, | ||
), | ||
]), | ||
} | ||
} | ||
|
||
/// Prints to stdout, one line per character in the iterator. | ||
/// The format is to first print the unicode notation followed | ||
/// by the actual character glyph followed by the name if we know of a name. | ||
fn print_char_range(range: impl Iterator<Item = char>) { | ||
for c in range { | ||
let code_point = char_to_unicode_notation(c); | ||
let char_name = match Name::of(c) { | ||
Some(name) => format!(" ({name})"), | ||
None => "".to_owned(), | ||
}; | ||
println!("{code_point}: '{c}'{char_name}"); | ||
} | ||
} |
Oops, something went wrong.