hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-07-29 06:46:46 +02:00
Code Issues Packages Projects Releases Wiki Activity

unified: Regenerate the enhanced getter/setter property corpus case

Browse Source 
Regenerate `types/property-with-getter-and-setter`, whose mapped AST now
differs from the tree-sitter output: the backing `private var _v`
retains its `private` modifier (`modifier "var"` + `modifier
"private"`), whereas the tree-sitter path dropped it (its
`visibility_modifier` node carried no text). The swift-syntax
front-end preserves the modifier, so the mapped AST is strictly richer
here.

The raw (second) section is regenerated to the swift-syntax AST like the
other cases; the mapped (third) section gains the retained `private`
modifier.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
This commit is contained in:
Taus
2026-07-23 12:53:57 +00:00
parent 20a2537299
commit 046c88a329
1 changed files with 94 additions and 65 deletions
Download Patch File Download Diff File Expand all files Collapse all files

159
unified/extractor/tests/corpus/swift/types/property-with-getter-and-setter.output
View File

@@ -8,70 +8,97 @@ class Box {
---
source_file
statement:
class_declaration
body:
class_body
member:
property_declaration
binding:
value_binding_pattern
mutability: var
declarator:
property_binding
name:
pattern
bound_identifier: simple_identifier "_v"
value: integer_literal "0"
modifiers:
modifiers
modifier:
visibility_modifier
property_declaration
binding:
value_binding_pattern
mutability: var
declarator:
property_binding
computed_value:
computed_property
accessor:
computed_getter
body:
block
statement:
control_transfer_statement
kind: return
result: simple_identifier "_v"
specifier:
getter_specifier
computed_setter
body:
block
statement:
assignment
operator: =
result: simple_identifier "newValue"
target:
directly_assignable_expression
expr: simple_identifier "_v"
specifier:
setter_specifier
name:
pattern
bound_identifier: simple_identifier "v"
type:
type_annotation
type:
type
name:
user_type
part:
simple_user_type
name: type_identifier "Int"
declaration_kind: class
name: type_identifier "Box"
sourceFile
endOfFileToken: endOfFile
statements:
codeBlockItem
item:
classDecl
attributes:
name: identifier "Box"
memberBlock:
memberBlock
leftBrace: {
rightBrace: }
members:
memberBlockItem
decl:
variableDecl
attributes:
modifiers:
declModifier
name: private
bindingSpecifier: var
bindings:
patternBinding
initializer:
initializerClause
equal: =
value:
integerLiteralExpr
literal: integerLiteral "0"
pattern:
identifierPattern
identifier: identifier "_v"
memberBlockItem
decl:
variableDecl
attributes:
modifiers:
bindingSpecifier: var
bindings:
patternBinding
pattern:
identifierPattern
identifier: identifier "v"
typeAnnotation:
typeAnnotation
colon: :
type:
identifierType
name: identifier "Int"
accessorBlock:
accessorBlock
accessors:
accessorDecl
accessorSpecifier: get
attributes:
body:
codeBlock
leftBrace: {
rightBrace: }
statements:
codeBlockItem
item:
returnStmt
expression:
declReferenceExpr
baseName: identifier "_v"
returnKeyword: return
accessorDecl
accessorSpecifier: set
attributes:
body:
codeBlock
leftBrace: {
rightBrace: }
statements:
codeBlockItem
item:
infixOperatorExpr
operator:
assignmentExpr
equal: =
leftOperand:
declReferenceExpr
baseName: identifier "_v"
rightOperand:
declReferenceExpr
baseName: identifier "newValue"
leftBrace: {
rightBrace: }
modifiers:
classKeyword: class
---
@@ -84,7 +111,9 @@ top_level
name: identifier "Box"
member:
variable_declaration
modifier: modifier "var"
modifier:
modifier "var"
modifier "private"
pattern:
name_pattern
identifier: identifier "_v"