hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-19 16:33:40 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rename a field to avoid using raw identifiers

Browse Source
This commit is contained in:
Nick Rolfe
2020-10-28 12:14:54 +00:00
parent f4b9c0c71a
commit e03d5da8cd
2 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
generator/src/ql.rs
View File

@@ -149,12 +149,12 @@ impl fmt::Display for Predicate {
#[derive(Clone)]
pub struct FormalParameter {
pub name: String,
pub r#type: Type,
pub param_type: Type,
}
impl fmt::Display for FormalParameter {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
write!(f, "{} {}", self.r#type, self.name)
write!(f, "{} {}", self.param_type, self.name)
}
}

12
generator/src/ql_gen.rs
View File

@@ -149,23 +149,23 @@ fn create_location_class() -> ql::Class {
formal_parameters: vec![
ql::FormalParameter {
name: "filePath".to_owned(),
r#type: ql::Type::String,
param_type: ql::Type::String,
},
ql::FormalParameter {
name: "startLine".to_owned(),
r#type: ql::Type::Int,
param_type: ql::Type::Int,
},
ql::FormalParameter {
name: "startColumn".to_owned(),
r#type: ql::Type::Int,
param_type: ql::Type::Int,
},
ql::FormalParameter {
name: "endLine".to_owned(),
r#type: ql::Type::Int,
param_type: ql::Type::Int,
},
ql::FormalParameter {
name: "endColumn".to_owned(),
r#type: ql::Type::Int,
param_type: ql::Type::Int,
},
],
body: ql::Expression::Pred(
@@ -412,7 +412,7 @@ fn create_field_getters(
return_type: Some(ql::Type::Normal(dbscheme_name_to_class_name(field_type))),
formal_parameters: vec![ql::FormalParameter {
name: "i".to_owned(),
r#type: ql::Type::Int,
param_type: ql::Type::Int,
}],
body: create_get_field_expr_for_table_storage(&field_table_name, "i"),
},