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

Rust: Autoformat.

Browse Source
This commit is contained in:
Geoffrey White
2025-10-31 17:30:04 +00:00
parent 34f75952d0
commit 8548c167be
3 changed files with 8 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
rust/ql/lib/codeql/rust/frameworks/stdlib/Builtins.qll
View File

@@ -34,24 +34,21 @@ class BuiltinType extends Struct {
/**
* A numerical type, such as `i64`, `usize`, `f32` or `f64`.
*/
abstract private class NumericTypeImpl extends BuiltinType {
}
abstract private class NumericTypeImpl extends BuiltinType { }
final class NumericType = NumericTypeImpl;
/**
* An integral numerical type, such as `i64` or `usize`.
*/
abstract private class IntegralTypeImpl extends NumericTypeImpl {
}
abstract private class IntegralTypeImpl extends NumericTypeImpl { }
final class IntegralType = IntegralTypeImpl;
/**
* A floating-point numerical type, such as `f32` or `f64`.
*/
abstract private class FloatingPointTypeImpl extends NumericTypeImpl {
}
abstract private class FloatingPointTypeImpl extends NumericTypeImpl { }
final class FloatingPointType = FloatingPointTypeImpl;

3
rust/ql/lib/codeql/rust/security/regex/RegexInjectionExtensions.qll
View File

@@ -96,5 +96,6 @@ module RegexInjection {
* We don't include floating point types in this barrier, as `.` is a special character
* in regular expressions.
*/
private class IntegralOrBooleanTypeBarrier extends Barrier instanceof Barriers::IntegralOrBooleanTypeBarrier { }
private class IntegralOrBooleanTypeBarrier extends Barrier instanceof Barriers::IntegralOrBooleanTypeBarrier
{ }
}

6
rust/ql/test/library-tests/elements/builtintypes/BuiltinTypes.ql
View File

@@ -3,11 +3,11 @@ import codeql.rust.frameworks.stdlib.Builtins
import codeql.rust.internal.Type
string describe(BuiltinType t) {
(t instanceof NumericType and result = "NumericType")
t instanceof NumericType and result = "NumericType"
or
(t instanceof IntegralType and result = "IntegralType")
t instanceof IntegralType and result = "IntegralType"
or
(t instanceof FloatingPointType and result = "FloatingPointType")
t instanceof FloatingPointType and result = "FloatingPointType"
}
from BuiltinType t