hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 01:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Clear out unused comments

Browse Source
This commit is contained in:
Arthur Baars
2024-09-12 17:55:14 +02:00
parent 2a88086544
commit 292c6b6159
1 changed files with 2 additions and 198 deletions
Download Patch File Download Diff File Expand all files Collapse all files

200
rust/schema.py
View File

@@ -72,7 +72,7 @@ class Declaration(AstNode):
class Module(Declaration):
# TODO name
declarations: list[Declaration] | child
@@ -96,7 +96,7 @@ class Stmt(AstNode):
@qltest.collapse_hierarchy
class TypeRef(AstNode):
# TODO
pass
@@ -129,8 +129,6 @@ class MissingExpr(Expr):
pass
# Path(Path),
@rust.doc_test_signature("() -> ()")
class PathExpr(Expr):
"""
@@ -144,12 +142,6 @@ class PathExpr(Expr):
"""
path: Unimplemented | child
# If {
# condition: ExprId,
# then_branch: ExprId,
# else_branch: Option<ExprId>,
# },
@rust.doc_test_signature("() -> ()")
class IfExpr(Expr):
@@ -172,11 +164,6 @@ class IfExpr(Expr):
then: Expr | child
else_: optional[Expr] | child
# Let {
# pat: PatId,
# expr: ExprId,
# },
@rust.doc_test_signature("(maybe_some: Option<String>) -> ()")
class LetExpr(Expr):
@@ -191,13 +178,6 @@ class LetExpr(Expr):
pat: Pat | child
expr: Expr | child
# Block {
# id: Option<BlockId>,
# statements: Box<[Stmt]>,
# tail: Option<ExprId>,
# label: Option<LabelId>,
# },
class BlockExprBase(Expr):
statements: list[Stmt] | child
@@ -222,12 +202,6 @@ class BlockExpr(BlockExprBase):
"""
label: optional[Label] | child
# Async {
# id: Option<BlockId>,
# statements: Box<[Stmt]>,
# tail: Option<ExprId>,
# },
@rust.doc_test_signature("() -> i32")
class AsyncBlockExpr(BlockExprBase):
@@ -255,13 +229,6 @@ class ConstExpr(Expr):
"""
expr: Expr | child
# // FIXME: Fold this into Block with an unsafe flag?
# Unsafe {
# id: Option<BlockId>,
# statements: Box<[Stmt]>,
# tail: Option<ExprId>,
# },
@rust.doc_test_signature("() -> ()")
class UnsafeBlockExpr(BlockExprBase):
@@ -276,11 +243,6 @@ class UnsafeBlockExpr(BlockExprBase):
"""
pass
# Loop {
# body: ExprId,
# label: Option<LabelId>,
# },
@rust.doc_test_signature("() -> ()")
class LoopExpr(Expr):
@@ -311,12 +273,6 @@ class LoopExpr(Expr):
body: Expr | child
label: optional[Label] | child
# Call {
# callee: ExprId,
# args: Box<[ExprId]>,
# is_assignee_expr: bool,
# },
@rust.doc_test_signature("() -> ()")
class CallExpr(Expr):
@@ -333,13 +289,6 @@ class CallExpr(Expr):
args: list[Expr] | child
is_assignee_expr: predicate
# MethodCall {
# receiver: ExprId,
# method_name: Name,
# args: Box<[ExprId]>,
# generic_args: Option<Box<GenericArgs>>,
# },
@rust.doc_test_signature("() -> ()")
class MethodCallExpr(Expr):
@@ -354,12 +303,6 @@ class MethodCallExpr(Expr):
args: list[Expr] | child
generic_args: optional[Unimplemented] | child
# pub struct MatchArm {
# pub pat: PatId,
# pub guard: Option<ExprId>,
# pub expr: ExprId,
# }
@rust.doc_test_signature("(x: i32) -> i32")
class MatchArm(AstNode):
@@ -381,10 +324,6 @@ class MatchArm(AstNode):
pat: Pat | child
guard: optional[Expr] | child
expr: Expr | child
# Match {
# expr: ExprId,
# arms: Box<[MatchArm]>,
# },
@rust.doc_test_signature("(x: i32) -> i32")
@@ -406,10 +345,6 @@ class MatchExpr(Expr):
expr: Expr | child
branches: list[MatchArm] | child
# Continue {
# label: Option<LabelId>,
# },
@rust.doc_test_signature("() -> ()")
class ContinueExpr(Expr):
@@ -432,11 +367,6 @@ class ContinueExpr(Expr):
"""
label: optional[Label] | child
# Break {
# expr: Option<ExprId>,
# label: Option<LabelId>,
# },
@rust.doc_test_signature("() -> ()")
class BreakExpr(Expr):
@@ -461,10 +391,6 @@ class BreakExpr(Expr):
label: optional[Label] | child
# Return {
# expr: Option<ExprId>,
# },
class ReturnExpr(Expr):
"""
A return expression. For example:
@@ -480,9 +406,6 @@ class ReturnExpr(Expr):
```
"""
expr: optional[Expr] | child
# Become {
# expr: ExprId,
# },
class BecomeExpr(Expr):
@@ -498,9 +421,6 @@ class BecomeExpr(Expr):
} ```
"""
expr: Expr | child
# Yield {
# expr: Option<ExprId>,
# },
@rust.doc_test_signature("() -> ()")
@@ -516,10 +436,6 @@ class YieldExpr(Expr):
"""
expr: optional[Expr] | child
# Yeet {
# expr: Option<ExprId>,
# },
@rust.doc_test_signature("() -> ()")
class YeetExpr(Expr):
@@ -532,13 +448,6 @@ class YeetExpr(Expr):
```
"""
expr: optional[Expr] | child
# RecordLit {
# path: Option<Box<Path>>,
# fields: Box<[RecordLitField]>,
# spread: Option<ExprId>,
# ellipsis: bool,
# is_assignee_expr: bool,
# },
@rust.doc_test_signature("() -> ()")
@@ -571,10 +480,6 @@ class RecordLitExpr(Expr):
is_assignee_expr: predicate
# Field {
# expr: ExprId,
# name: Name,
# },
@rust.doc_test_signature("() -> ()")
class FieldExpr(Expr):
"""
@@ -586,10 +491,6 @@ class FieldExpr(Expr):
expr: Expr | child
name: string
# Await {
# expr: ExprId,
# },
@rust.doc_test_signature("() -> ()")
class AwaitExpr(Expr):
@@ -604,11 +505,6 @@ class AwaitExpr(Expr):
"""
expr: Expr | child
# Cast {
# expr: ExprId,
# type_ref: Interned<TypeRef>,
# },
@rust.doc_test_signature("() -> ()")
class CastExpr(Expr):
@@ -620,11 +516,6 @@ class CastExpr(Expr):
"""
expr: Expr | child
type_ref: TypeRef | child
# Ref {
# expr: ExprId,
# rawness: Rawness,
# mutability: Mutability,
# },
@rust.doc_test_signature("() -> ()")
@@ -641,9 +532,6 @@ class RefExpr(Expr):
expr: Expr | child
is_raw: predicate
is_mut: predicate
# Box {
# expr: ExprId,
# },
@rust.doc_test_signature("() -> ()")
@@ -655,10 +543,6 @@ class BoxExpr(Expr):
```
"""
expr: Expr | child
# UnaryOp {
# expr: ExprId,
# op: UnaryOp,
# },
@rust.doc_test_signature("() -> ()")
@@ -675,11 +559,6 @@ class UnaryOpExpr(Expr):
op: string
# BinaryOp {
# lhs: ExprId,
# rhs: ExprId,
# op: Option<BinaryOp>,
# },
@rust.doc_test_signature("() -> ()")
class BinaryOpExpr(Expr):
"""
@@ -697,13 +576,6 @@ class BinaryOpExpr(Expr):
op: optional[string]
# Range {
# lhs: Option<ExprId>,
# rhs: Option<ExprId>,
# range_type: RangeOp,
# },
@rust.doc_test_signature("() -> ()")
class RangeExpr(Expr):
"""
@@ -721,12 +593,6 @@ class RangeExpr(Expr):
rhs: optional[Expr] | child
is_inclusive: predicate
# Index {
# base: ExprId,
# index: ExprId,
# is_assignee_expr: bool,
# },
@rust.doc_test_signature("() -> ()")
class IndexExpr(Expr):
@@ -741,15 +607,6 @@ class IndexExpr(Expr):
index: Expr | child
is_assignee_expr: predicate
# Closure {
# args: Box<[PatId]>,
# arg_types: Box<[Option<Interned<TypeRef>>]>,
# ret_type: Option<Interned<TypeRef>>,
# body: ExprId,
# closure_kind: ClosureKind,
# capture_by: CaptureBy,
# },
@rust.doc_test_signature("() -> ()")
class ClosureExpr(Expr):
@@ -771,10 +628,6 @@ class ClosureExpr(Expr):
body: Expr | child
closure_kind: string
is_move: predicate
# Tuple {
# exprs: Box<[ExprId]>,
# is_assignee_expr: bool,
# },
@rust.doc_test_signature("() -> ()")
@@ -789,8 +642,6 @@ class TupleExpr(Expr):
exprs: list[Expr] | child
is_assignee_expr: predicate
# Array(Array),
class ArrayExpr(Expr):
"""
@@ -801,9 +652,6 @@ class ArrayExpr(Expr):
```
"""
pass
# Literal(Literal),
# ElementList { elements: Box<[ExprId]>, is_assignee_expr: bool },
@rust.doc_test_signature("() -> ()")
@@ -818,8 +666,6 @@ class ElementListExpr(ArrayExpr):
elements: list[Expr] | child
is_assignee_expr: predicate
# Repeat { initializer: ExprId, repeat: ExprId },
@rust.doc_test_signature("() -> ()")
class RepeatExpr(ArrayExpr):
@@ -847,7 +693,6 @@ class LiteralExpr(Expr):
true;
"""
pass
# Underscore,
@rust.doc_test_signature("() -> ()")
@@ -859,7 +704,6 @@ class UnderscoreExpr(Expr):
```
"""
pass
# OffsetOf(OffsetOf),
@rust.doc_test_signature("() -> ()")
@@ -873,8 +717,6 @@ class OffsetOfExpr(Expr):
container: TypeRef | child
fields: list[string]
# InlineAsm(InlineAsm),
@rust.doc_test_signature("() -> ()")
class InlineAsmExpr(Expr):
@@ -889,13 +731,6 @@ class InlineAsmExpr(Expr):
expr: Expr | child
# Let {
# pat: PatId,
# type_ref: Option<Interned<TypeRef>>,
# initializer: Option<ExprId>,
# else_branch: Option<ExprId>,
# },
@rust.doc_test_signature("() -> ()")
class LetStmt(Stmt):
"""
@@ -915,10 +750,6 @@ class LetStmt(Stmt):
type_ref: optional[TypeRef] | child
initializer: optional[Expr] | child
else_: optional[Expr] | child
# Expr {
# expr: ExprId,
# has_semi: bool,
# },
@rust.doc_test_signature("() -> ()")
@@ -934,10 +765,6 @@ class ExprStmt(Stmt):
expr: Expr | child
has_semicolon: predicate
# // At the moment, we only use this to figure out if a return expression
# // is really the last statement of a block. See #16566
# Item,
# At the HIR-level, we don't have items, only some markers without location indicating where they used to be.
@qltest.skip
@@ -953,25 +780,19 @@ class ItemStmt(Stmt):
"""
pass
# Missing,
class MissingPat(Pat):
pass
# Wild,
class WildPat(Pat):
pass
# Tuple { args: Box<[PatId]>, ellipsis: Option<u32> },
class TuplePat(Pat):
args: list[Pat] | child
ellipsis_index: optional[int]
# Or(Box<[PatId]>),
class OrPat(Pat):
args: list[Pat] | child
@@ -981,67 +802,50 @@ class RecordFieldPat(AstNode):
name: string
pat: Pat | child
# Record { path: Option<Box<Path>>, args: Box<[RecordFieldPat]>, ellipsis: bool },
class RecordPat(Pat):
path: optional[Unimplemented] | child
args: list[RecordFieldPat] | child
has_ellipsis: predicate
# Range { start: Option<Box<LiteralOrConst>>, end: Option<Box<LiteralOrConst>> },
class RangePat(Pat):
start: optional[Pat] | child
end: optional[Pat] | child
# Slice { prefix: Box<[PatId]>, slice: Option<PatId>, suffix: Box<[PatId]> },
class SlicePat(Pat):
prefix: list[Pat] | child
slice: optional[Pat] | child
suffix: list[Pat] | child
# Path(Box<Path>),
class PathPat(Pat):
path: Unimplemented | child
# Lit(ExprId),
class LitPat(Pat):
expr: Expr | child
# Bind { id: BindingId, subpat: Option<PatId> },
class BindPat(Pat):
binding_id: string
subpat: optional[Pat] | child
# TupleStruct { path: Option<Box<Path>>, args: Box<[PatId]>, ellipsis: Option<u32> },
class TupleStructPat(Pat):
path: optional[Unimplemented] | child
args: list[Pat] | child
ellipsis_index: optional[int]
# Ref { pat: PatId, mutability: Mutability },
class RefPat(Pat):
pat: Pat | child
is_mut: predicate
# Box { inner: PatId },
class BoxPat(Pat):
inner: Pat | child
# ConstBlock(ExprId),
class ConstBlockPat(Pat):