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

C#: Print full name of type mentions in AST

Browse Source
This commit is contained in:
Tamas Vajk
2020-10-14 23:17:52 +02:00
parent 7929d8a982
commit dad5166bca
34 changed files with 1101 additions and 1071 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/src/semmle/code/csharp/PrintAst.qll
View File

@@ -249,7 +249,9 @@ abstract class ElementNode extends PrintAstNode, TElementNode {
abstract class TypeMentionNode extends PrintAstNode {
TypeMention typeMention;
override string toString() { result = "[TypeMention] " + typeMention.getType().toString() }
override string toString() {
result = "[TypeMention] " + typeMention.getType().toStringWithTypes()
}
override Location getLocation() { result = typeMention.getLocation() }

214
csharp/ql/test/experimental/ir/ir/PrintAst.expected
View File

@@ -6,7 +6,7 @@ array.cs:
# 4| 0: [LocalVariableDeclStmt] ... ...;
# 4| 0: [LocalVariableDeclAndInitExpr] Int32[] one_dim = ...
# 4| -1: [TypeMention] Int32[]
# 4| 1: [TypeMention] Int32
# 4| 1: [TypeMention] int
# 4| 0: [LocalVariableAccess] access to local variable one_dim
# 4| 1: [ArrayCreation] array creation of type Int32[]
# 4| -1: [ArrayInitializer] { ..., ... }
@@ -35,7 +35,7 @@ array.cs:
# 7| 1: [IntLiteral] 1003
# 9| 4: [LocalVariableDeclStmt] ... ...;
# 9| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 9| -1: [TypeMention] Int32
# 9| -1: [TypeMention] int
# 9| 0: [LocalVariableAccess] access to local variable i
# 9| 1: [IntLiteral] 0
# 10| 5: [ExprStmt] ...;
@@ -50,7 +50,7 @@ array.cs:
# 15| 0: [LocalVariableDeclStmt] ... ...;
# 15| 0: [LocalVariableDeclAndInitExpr] Int32[,] a = ...
# 15| -1: [TypeMention] Int32[,]
# 15| 1: [TypeMention] Int32
# 15| 1: [TypeMention] int
# 15| 0: [LocalVariableAccess] access to local variable a
# 15| 1: [ArrayCreation] array creation of type Int32[,]
# 15| -1: [ArrayInitializer] { ..., ... }
@@ -63,21 +63,21 @@ array.cs:
# 16| 1: [LocalVariableDeclStmt] ... ...;
# 16| 0: [LocalVariableDeclAndInitExpr] Int32[,] b = ...
# 16| -1: [TypeMention] Int32[,]
# 16| 1: [TypeMention] Int32
# 16| 1: [TypeMention] int
# 16| 0: [LocalVariableAccess] access to local variable b
# 16| 1: [ArrayCreation] array creation of type Int32[,]
# 16| -1: [TypeMention] Int32[,]
# 16| 1: [TypeMention] Int32
# 16| 1: [TypeMention] int
# 16| 0: [IntLiteral] 5
# 16| 1: [IntLiteral] 5
# 17| 2: [LocalVariableDeclStmt] ... ...;
# 17| 0: [LocalVariableDeclAndInitExpr] Int32[,] c = ...
# 17| -1: [TypeMention] Int32[,]
# 17| 1: [TypeMention] Int32
# 17| 1: [TypeMention] int
# 17| 0: [LocalVariableAccess] access to local variable c
# 17| 1: [ArrayCreation] array creation of type Int32[,]
# 17| -2: [TypeMention] Int32[,]
# 17| 1: [TypeMention] Int32
# 17| 1: [TypeMention] int
# 17| -1: [ArrayInitializer] { ..., ... }
# 17| 0: [ArrayInitializer] { ..., ... }
# 17| 0: [IntLiteral] 100
@@ -90,11 +90,11 @@ array.cs:
# 18| 3: [LocalVariableDeclStmt] ... ...;
# 18| 0: [LocalVariableDeclAndInitExpr] Int32[,] d = ...
# 18| -1: [TypeMention] Int32[,]
# 18| 1: [TypeMention] Int32
# 18| 1: [TypeMention] int
# 18| 0: [LocalVariableAccess] access to local variable d
# 18| 1: [ArrayCreation] array creation of type Int32[,]
# 18| -2: [TypeMention] Int32[,]
# 18| 1: [TypeMention] Int32
# 18| 1: [TypeMention] int
# 18| -1: [ArrayInitializer] { ..., ... }
# 18| 0: [ArrayInitializer] { ..., ... }
# 18| 0: [IntLiteral] 100
@@ -105,7 +105,7 @@ array.cs:
# 19| 4: [LocalVariableDeclStmt] ... ...;
# 19| 0: [LocalVariableDeclAndInitExpr] Int32[,] e = ...
# 19| -1: [TypeMention] Int32[,]
# 19| 1: [TypeMention] Int32
# 19| 1: [TypeMention] int
# 19| 0: [LocalVariableAccess] access to local variable e
# 19| 1: [LocalVariableAccess] access to local variable a
# 20| 5: [ExprStmt] ...;
@@ -123,12 +123,12 @@ assignop.cs:
# 4| 4: [BlockStmt] {...}
# 5| 0: [LocalVariableDeclStmt] ... ...;
# 5| 0: [LocalVariableDeclAndInitExpr] Int32 a = ...
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 5| 0: [LocalVariableAccess] access to local variable a
# 5| 1: [IntLiteral] 1
# 6| 1: [LocalVariableDeclStmt] ... ...;
# 6| 0: [LocalVariableDeclAndInitExpr] Int32 c = ...
# 6| -1: [TypeMention] Int32
# 6| -1: [TypeMention] int
# 6| 0: [LocalVariableAccess] access to local variable c
# 6| 1: [IntLiteral] 1
# 8| 2: [ExprStmt] ...;
@@ -206,19 +206,19 @@ collections.cs:
# 3| [Class] Collections
# 5| 5: [Class] MyClass
# 7| 5: [Field] a
# 7| -1: [TypeMention] String
# 7| -1: [TypeMention] string
# 8| 6: [Field] b
# 8| -1: [TypeMention] String
# 8| -1: [TypeMention] string
# 11| 6: [Method] Main
# 11| -1: [TypeMention] Void
# 12| 4: [BlockStmt] {...}
# 13| 0: [LocalVariableDeclStmt] ... ...;
# 13| 0: [LocalVariableDeclAndInitExpr] Dictionary<Int32,MyClass> dict = ...
# 13| -1: [TypeMention] Dictionary<Int32,MyClass>
# 13| -1: [TypeMention] Dictionary<Int32, MyClass>
# 13| 0: [LocalVariableAccess] access to local variable dict
# 13| 1: [ObjectCreation] object creation of type Dictionary<Int32,MyClass>
# 13| -2: [TypeMention] Dictionary<Int32,MyClass>
# 13| 1: [TypeMention] Int32
# 13| -2: [TypeMention] Dictionary<Int32, MyClass>
# 13| 1: [TypeMention] int
# 13| 2: [TypeMention] MyClass
# 14| -1: [CollectionInitializer] { ..., ... }
# 15| 0: [ElementInitializer] call to method Add
@@ -246,13 +246,13 @@ collections.cs:
constructor_init.cs:
# 1| [Class] BaseClass
# 3| 4: [Field] num
# 3| -1: [TypeMention] Int32
# 3| -1: [TypeMention] int
# 5| 5: [InstanceConstructor] BaseClass
# 6| 4: [BlockStmt] {...}
# 9| 6: [InstanceConstructor] BaseClass
#-----| 2: (Parameters)
# 9| 0: [Parameter] i
# 9| -1: [TypeMention] Int32
# 9| -1: [TypeMention] int
# 10| 4: [BlockStmt] {...}
# 11| 0: [ExprStmt] ...;
# 11| 0: [AssignExpr] ... = ...
@@ -267,16 +267,16 @@ constructor_init.cs:
# 21| 5: [InstanceConstructor] DerivedClass
#-----| 2: (Parameters)
# 21| 0: [Parameter] i
# 21| -1: [TypeMention] Int32
# 21| -1: [TypeMention] int
# 21| 3: [ConstructorInitializer] call to constructor BaseClass
# 21| 0: [ParameterAccess] access to parameter i
# 22| 4: [BlockStmt] {...}
# 25| 6: [InstanceConstructor] DerivedClass
#-----| 2: (Parameters)
# 25| 0: [Parameter] i
# 25| -1: [TypeMention] Int32
# 25| -1: [TypeMention] int
# 25| 1: [Parameter] j
# 25| -1: [TypeMention] Int32
# 25| -1: [TypeMention] int
# 25| 3: [ConstructorInitializer] call to constructor DerivedClass
# 25| 0: [ParameterAccess] access to parameter i
# 26| 4: [BlockStmt] {...}
@@ -311,24 +311,24 @@ crement.cs:
# 4| 4: [BlockStmt] {...}
# 5| 0: [LocalVariableDeclStmt] ... ...;
# 5| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 5| 0: [LocalVariableAccess] access to local variable x
# 5| 1: [IntLiteral] 10
# 6| 1: [LocalVariableDeclStmt] ... ...;
# 6| 0: [LocalVariableDeclAndInitExpr] Int32 a = ...
# 6| -1: [TypeMention] Int32
# 6| -1: [TypeMention] int
# 6| 0: [LocalVariableAccess] access to local variable a
# 6| 1: [PostIncrExpr] ...++
# 6| 0: [LocalVariableAccess] access to local variable x
# 7| 2: [LocalVariableDeclStmt] ... ...;
# 7| 0: [LocalVariableDeclAndInitExpr] Int32 b = ...
# 7| -1: [TypeMention] Int32
# 7| -1: [TypeMention] int
# 7| 0: [LocalVariableAccess] access to local variable b
# 7| 1: [PreDecrExpr] --...
# 7| 0: [LocalVariableAccess] access to local variable x
# 8| 3: [LocalVariableDeclStmt] ... ...;
# 8| 0: [LocalVariableDeclAndInitExpr] Int32 c = ...
# 8| -1: [TypeMention] Int32
# 8| -1: [TypeMention] int
# 8| 0: [LocalVariableAccess] access to local variable c
# 8| 1: [PreIncrExpr] ++...
# 8| 0: [LocalVariableAccess] access to local variable x
@@ -342,12 +342,12 @@ delegates.cs:
# 4| 5: [DelegateType] Del
#-----| 2: (Parameters)
# 4| 0: [Parameter] num
# 4| -1: [TypeMention] Int32
# 4| -1: [TypeMention] int
# 6| 6: [Method] returns
# 6| -1: [TypeMention] Int32
# 6| -1: [TypeMention] int
#-----| 2: (Parameters)
# 6| 0: [Parameter] ret
# 6| -1: [TypeMention] Int32
# 6| -1: [TypeMention] int
# 7| 4: [BlockStmt] {...}
# 8| 0: [ReturnStmt] return ...;
# 8| 0: [ParameterAccess] access to parameter ret
@@ -370,7 +370,7 @@ events.cs:
# 3| 4: [DelegateType] MyDel
#-----| 2: (Parameters)
# 3| 0: [Parameter] str
# 3| -1: [TypeMention] String
# 3| -1: [TypeMention] string
# 4| 5: [Field] Inst
# 4| -1: [TypeMention] MyDel
# 6| 6: [Event] MyEvent
@@ -410,10 +410,10 @@ events.cs:
# 20| 1: [FieldAccess] access to field Inst
# 20| -1: [ThisAccess] this access
# 23| 10: [Method] Fun
# 23| -1: [TypeMention] String
# 23| -1: [TypeMention] string
#-----| 2: (Parameters)
# 23| 0: [Parameter] str
# 23| -1: [TypeMention] String
# 23| -1: [TypeMention] string
# 24| 4: [BlockStmt] {...}
# 25| 0: [ReturnStmt] return ...;
# 25| 0: [ParameterAccess] access to parameter str
@@ -422,7 +422,7 @@ events.cs:
#-----| 2: (Parameters)
# 28| 0: [Parameter] args
# 28| -1: [TypeMention] String[]
# 28| 1: [TypeMention] String
# 28| 1: [TypeMention] string
# 29| 4: [BlockStmt] {...}
# 30| 0: [LocalVariableDeclStmt] ... ...;
# 30| 0: [LocalVariableDeclAndInitExpr] Events obj = ...
@@ -435,7 +435,7 @@ events.cs:
# 31| -1: [LocalVariableAccess] access to local variable obj
# 32| 2: [LocalVariableDeclStmt] ... ...;
# 32| 0: [LocalVariableDeclAndInitExpr] String result = ...
# 32| -1: [TypeMention] String
# 32| -1: [TypeMention] string
# 32| 0: [LocalVariableAccess] access to local variable result
# 32| 1: [DelegateCall] delegate call
# 32| -1: [LocalVariableAccess] access to local variable obj
@@ -451,11 +451,11 @@ foreach.cs:
# 5| 0: [LocalVariableDeclStmt] ... ...;
# 5| 0: [LocalVariableDeclAndInitExpr] Int32[] a_array = ...
# 5| -1: [TypeMention] Int32[]
# 5| 1: [TypeMention] Int32
# 5| 1: [TypeMention] int
# 5| 0: [LocalVariableAccess] access to local variable a_array
# 5| 1: [ArrayCreation] array creation of type Int32[]
# 5| -2: [TypeMention] Int32[]
# 5| 1: [TypeMention] Int32
# 5| 1: [TypeMention] int
# 5| -1: [ArrayInitializer] { ..., ... }
# 5| 0: [IntLiteral] 1
# 5| 1: [IntLiteral] 2
@@ -465,31 +465,31 @@ foreach.cs:
# 5| 5: [IntLiteral] 6
# 5| 6: [IntLiteral] 7
# 7| 1: [ForeachStmt] foreach (... ... in ...) ...
# 7| -1: [TypeMention] Int32
# 7| -1: [TypeMention] int
# 7| 0: [LocalVariableDeclExpr] Int32 items
# 7| 1: [LocalVariableAccess] access to local variable a_array
# 8| 2: [BlockStmt] {...}
# 9| 0: [LocalVariableDeclStmt] ... ...;
# 9| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 9| -1: [TypeMention] Int32
# 9| -1: [TypeMention] int
# 9| 0: [LocalVariableAccess] access to local variable x
# 9| 1: [LocalVariableAccess] access to local variable items
func_with_param_call.cs:
# 3| [Class] test_call_with_param
# 5| 5: [Method] f
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
#-----| 2: (Parameters)
# 5| 0: [Parameter] x
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 5| 1: [Parameter] y
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 6| 4: [BlockStmt] {...}
# 7| 0: [ReturnStmt] return ...;
# 7| 0: [AddExpr] ... + ...
# 7| 0: [ParameterAccess] access to parameter x
# 7| 1: [ParameterAccess] access to parameter y
# 10| 6: [Method] g
# 10| -1: [TypeMention] Int32
# 10| -1: [TypeMention] int
# 11| 4: [BlockStmt] {...}
# 12| 0: [ReturnStmt] return ...;
# 12| 0: [MethodCall] call to method f
@@ -500,18 +500,18 @@ indexers.cs:
# 3| 5: [Class] MyClass
# 5| 5: [Field] address
# 5| -1: [TypeMention] String[]
# 5| 1: [TypeMention] String
# 5| 1: [TypeMention] string
# 5| 1: [AssignExpr] ... = ...
# 5| 0: [FieldAccess] access to field address
# 5| 1: [ArrayCreation] array creation of type String[]
# 5| -1: [TypeMention] String[]
# 5| 1: [TypeMention] String
# 5| 1: [TypeMention] string
# 5| 0: [IntLiteral] 2
# 6| 6: [Indexer] Item
# 6| -1: [TypeMention] String
# 6| -1: [TypeMention] string
#-----| 1: (Parameters)
# 6| 0: [Parameter] index
# 6| -1: [TypeMention] Int32
# 6| -1: [TypeMention] int
# 8| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 6| 0: [Parameter] index
@@ -563,7 +563,7 @@ indexers.cs:
inheritance_polymorphism.cs:
# 1| [Class] A
# 3| 5: [Method] function
# 3| -1: [TypeMention] Int32
# 3| -1: [TypeMention] int
# 4| 4: [BlockStmt] {...}
# 5| 0: [ReturnStmt] return ...;
# 5| 0: [IntLiteral] 0
@@ -574,7 +574,7 @@ inheritance_polymorphism.cs:
#-----| 3: (Base types)
# 13| 0: [TypeMention] B
# 15| 5: [Method] function
# 15| -1: [TypeMention] Int32
# 15| -1: [TypeMention] int
# 16| 4: [BlockStmt] {...}
# 17| 0: [ReturnStmt] return ...;
# 17| 0: [IntLiteral] 1
@@ -613,10 +613,10 @@ inheritance_polymorphism.cs:
inoutref.cs:
# 1| [Class] MyClass
# 2| 5: [Field] fld
# 2| -1: [TypeMention] Int32
# 2| -1: [TypeMention] int
# 5| [Struct] MyStruct
# 6| 5: [Field] fld
# 6| -1: [TypeMention] Int32
# 6| -1: [TypeMention] int
# 9| [Class] InOutRef
# 11| 5: [Method] set
# 11| -1: [TypeMention] Void
@@ -634,7 +634,7 @@ inoutref.cs:
# 16| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 16| 0: [Parameter] a
# 16| -1: [TypeMention] Int32
# 16| -1: [TypeMention] int
# 16| 1: [Parameter] b
# 16| -1: [TypeMention] MyStruct
# 16| 2: [Parameter] b1
@@ -677,7 +677,7 @@ inoutref.cs:
# 30| 4: [BlockStmt] {...}
# 31| 0: [LocalVariableDeclStmt] ... ...;
# 31| 0: [LocalVariableDeclAndInitExpr] Int32 a = ...
# 31| -1: [TypeMention] Int32
# 31| -1: [TypeMention] int
# 31| 0: [LocalVariableAccess] access to local variable a
# 31| 1: [IntLiteral] 0
# 32| 1: [LocalVariableDeclStmt] ... ...;
@@ -701,14 +701,14 @@ inoutref.cs:
# 34| 4: [LocalVariableAccess] access to local variable c
# 36| 4: [LocalVariableDeclStmt] ... ...;
# 36| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 36| -1: [TypeMention] Int32
# 36| -1: [TypeMention] int
# 36| 0: [LocalVariableAccess] access to local variable x
# 36| 1: [FieldAccess] access to field fld
# 36| -1: [LocalVariableAccess] access to local variable b
isexpr.cs:
# 1| [Class] Is_A
# 3| 5: [Field] x
# 3| -1: [TypeMention] Int32
# 3| -1: [TypeMention] int
# 6| [Class] IsExpr
# 8| 5: [Method] Main
# 8| -1: [TypeMention] Void
@@ -720,7 +720,7 @@ isexpr.cs:
# 10| 1: [NullLiteral] null
# 12| 1: [LocalVariableDeclStmt] ... ...;
# 12| 0: [LocalVariableDeclAndInitExpr] Object o = ...
# 12| -1: [TypeMention] Object
# 12| -1: [TypeMention] object
# 12| 0: [LocalVariableAccess] access to local variable o
# 12| 1: [LocalVariableAccess] access to local variable obj
# 13| 2: [IfStmt] if (...) ...
@@ -731,7 +731,7 @@ isexpr.cs:
# 14| 1: [BlockStmt] {...}
# 15| 0: [LocalVariableDeclStmt] ... ...;
# 15| 0: [LocalVariableDeclAndInitExpr] Int32 res = ...
# 15| -1: [TypeMention] Int32
# 15| -1: [TypeMention] int
# 15| 0: [LocalVariableAccess] access to local variable res
# 15| 1: [FieldAccess] access to field x
# 15| -1: [LocalVariableAccess] access to local variable tmp
@@ -748,7 +748,7 @@ jumps.cs:
# 6| 4: [BlockStmt] {...}
# 7| 0: [ForStmt] for (...;...;...) ...
# 7| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 7| -1: [TypeMention] Int32
# 7| -1: [TypeMention] int
# 7| 0: [LocalVariableAccess] access to local variable i
# 7| 1: [IntLiteral] 1
# 7| 0: [LEExpr] ... <= ...
@@ -774,7 +774,7 @@ jumps.cs:
# 13| 0: [StringLiteral] "BreakAndContinue"
# 16| 1: [ForStmt] for (...;...;...) ...
# 16| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 16| -1: [TypeMention] Int32
# 16| -1: [TypeMention] int
# 16| 0: [LocalVariableAccess] access to local variable i
# 16| 1: [IntLiteral] 0
# 16| 0: [LTExpr] ... < ...
@@ -787,7 +787,7 @@ jumps.cs:
# 19| 1: [ContinueStmt] continue;
# 22| 2: [LocalVariableDeclStmt] ... ...;
# 22| 0: [LocalVariableDeclAndInitExpr] Int32 a = ...
# 22| -1: [TypeMention] Int32
# 22| -1: [TypeMention] int
# 22| 0: [LocalVariableAccess] access to local variable a
# 22| 1: [IntLiteral] 0
# 23| 3: [WhileStmt] while (...) ...
@@ -808,7 +808,7 @@ jumps.cs:
# 29| 1: [BreakStmt] break;
# 32| 4: [ForStmt] for (...;...;...) ...
# 32| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 32| -1: [TypeMention] Int32
# 32| -1: [TypeMention] int
# 32| 0: [LocalVariableAccess] access to local variable i
# 32| 1: [IntLiteral] 1
# 32| 0: [LEExpr] ... <= ...
@@ -835,10 +835,10 @@ lock.cs:
# 6| 4: [BlockStmt] {...}
# 7| 0: [LocalVariableDeclStmt] ... ...;
# 7| 0: [LocalVariableDeclAndInitExpr] Object object = ...
# 7| -1: [TypeMention] Object
# 7| -1: [TypeMention] object
# 7| 0: [LocalVariableAccess] access to local variable object
# 7| 1: [ObjectCreation] object creation of type Object
# 7| 0: [TypeMention] Object
# 7| 0: [TypeMention] object
# 8| 1: [LockStmt] lock (...) {...}
# 8| 0: [LocalVariableAccess] access to local variable object
# 9| 1: [BlockStmt] {...}
@@ -852,13 +852,13 @@ obj_creation.cs:
# 1| [Class] ObjCreation
# 3| 5: [Class] MyClass
# 5| 4: [Field] x
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 7| 5: [InstanceConstructor] MyClass
# 8| 4: [BlockStmt] {...}
# 11| 6: [InstanceConstructor] MyClass
#-----| 2: (Parameters)
# 11| 0: [Parameter] _x
# 11| -1: [TypeMention] Int32
# 11| -1: [TypeMention] int
# 12| 4: [BlockStmt] {...}
# 13| 0: [ExprStmt] ...;
# 13| 0: [AssignExpr] ... = ...
@@ -892,7 +892,7 @@ obj_creation.cs:
# 24| 1: [IntLiteral] 101
# 25| 2: [LocalVariableDeclStmt] ... ...;
# 25| 0: [LocalVariableDeclAndInitExpr] Int32 a = ...
# 25| -1: [TypeMention] Int32
# 25| -1: [TypeMention] int
# 25| 0: [LocalVariableAccess] access to local variable a
# 25| 1: [FieldAccess] access to field x
# 25| -1: [LocalVariableAccess] access to local variable obj
@@ -908,31 +908,31 @@ pointers.cs:
#-----| 2: (Parameters)
# 3| 0: [Parameter] arr
# 3| -1: [TypeMention] Int32[]
# 3| 1: [TypeMention] Int32
# 3| 1: [TypeMention] int
# 4| 4: [BlockStmt] {...}
# 5| 0: [LocalVariableDeclStmt] ... ...;
# 5| 0: [LocalVariableDeclAndInitExpr] Int32 length = ...
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 5| 0: [LocalVariableAccess] access to local variable length
# 5| 1: [PropertyCall] access to property Length
# 5| -1: [ParameterAccess] access to parameter arr
# 6| 1: [FixedStmt] fixed(...) { ... }
# 6| -1: [LocalVariableDeclAndInitExpr] Int32* b = ...
# 6| -1: [TypeMention] Int32*
# 6| 1: [TypeMention] Int32
# 6| -1: [TypeMention] int*
# 6| 1: [TypeMention] int
# 6| 0: [LocalVariableAccess] access to local variable b
# 6| 1: [CastExpr] (...) ...
# 6| 1: [ParameterAccess] access to parameter arr
# 7| 0: [BlockStmt] {...}
# 8| 0: [LocalVariableDeclStmt] ... ...;
# 8| 0: [LocalVariableDeclAndInitExpr] Int32* p = ...
# 8| -1: [TypeMention] Int32*
# 8| 1: [TypeMention] Int32
# 8| -1: [TypeMention] int*
# 8| 1: [TypeMention] int
# 8| 0: [LocalVariableAccess] access to local variable p
# 8| 1: [LocalVariableAccess] access to local variable b
# 9| 1: [ForStmt] for (...;...;...) ...
# 9| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 9| -1: [TypeMention] Int32
# 9| -1: [TypeMention] int
# 9| 0: [LocalVariableAccess] access to local variable i
# 9| 1: [IntLiteral] 0
# 9| 0: [LTExpr] ... < ...
@@ -948,12 +948,12 @@ pointers.cs:
# 10| 1: [IntLiteral] 1
# 14| 6: [Class] MyClass
# 16| 5: [Field] fld1
# 16| -1: [TypeMention] Int32
# 16| -1: [TypeMention] int
# 17| 6: [Field] fld2
# 17| -1: [TypeMention] Int32
# 17| -1: [TypeMention] int
# 20| 7: [Struct] MyStruct
# 22| 5: [Field] fld
# 22| -1: [TypeMention] Int32
# 22| -1: [TypeMention] int
# 25| 8: [Method] Main
# 25| -1: [TypeMention] Void
# 25| 4: [BlockStmt] {...}
@@ -973,15 +973,15 @@ pointers.cs:
# 29| 0: [BlockStmt] {...}
# 30| 0: [FixedStmt] fixed(...) { ... }
# 30| -2: [LocalVariableDeclAndInitExpr] Int32* q = ...
# 30| -1: [TypeMention] Int32*
# 30| 1: [TypeMention] Int32
# 30| -1: [TypeMention] int*
# 30| 1: [TypeMention] int
# 30| 0: [LocalVariableAccess] access to local variable q
# 30| 1: [AddressOfExpr] &...
# 30| 0: [FieldAccess] access to field fld2
# 30| -1: [LocalVariableAccess] access to local variable o
# 30| -1: [LocalVariableDeclAndInitExpr] Int32* p = ...
# 30| -1: [TypeMention] Int32*
# 30| 1: [TypeMention] Int32
# 30| -1: [TypeMention] int*
# 30| 1: [TypeMention] int
# 30| 0: [LocalVariableAccess] access to local variable p
# 30| 1: [AddressOfExpr] &...
# 30| 0: [FieldAccess] access to field fld1
@@ -1013,7 +1013,7 @@ pointers.cs:
# 39| 3: [LocalVariableDeclStmt] ... ...;
# 39| 0: [LocalVariableDeclAndInitExpr] Int32[] arr = ...
# 39| -1: [TypeMention] Int32[]
# 39| 1: [TypeMention] Int32
# 39| 1: [TypeMention] int
# 39| 0: [LocalVariableAccess] access to local variable arr
# 39| 1: [ArrayCreation] array creation of type Int32[]
# 39| -1: [ArrayInitializer] { ..., ... }
@@ -1026,9 +1026,9 @@ pointers.cs:
prop.cs:
# 1| [Class] PropClass
# 3| 5: [Field] prop
# 3| -1: [TypeMention] Int32
# 3| -1: [TypeMention] int
# 5| 6: [Property] Prop
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 7| 3: [Getter] get_Prop
# 8| 4: [BlockStmt] {...}
# 9| 0: [ReturnStmt] return ...;
@@ -1042,7 +1042,7 @@ prop.cs:
# 14| 0: [FieldAccess] access to field prop
# 14| 1: [ParameterAccess] access to parameter value
# 18| 7: [Method] func
# 18| -1: [TypeMention] Int32
# 18| -1: [TypeMention] int
# 19| 4: [BlockStmt] {...}
# 20| 0: [ReturnStmt] return ...;
# 20| 0: [IntLiteral] 0
@@ -1063,36 +1063,36 @@ prop.cs:
# 29| 1: [IntLiteral] 5
# 30| 2: [LocalVariableDeclStmt] ... ...;
# 30| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 30| -1: [TypeMention] Int32
# 30| -1: [TypeMention] int
# 30| 0: [LocalVariableAccess] access to local variable x
# 30| 1: [PropertyCall] access to property Prop
# 30| -1: [LocalVariableAccess] access to local variable obj
simple_call.cs:
# 3| [Class] test_simple_call
# 5| 5: [Method] f
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 6| 4: [BlockStmt] {...}
# 7| 0: [ReturnStmt] return ...;
# 7| 0: [IntLiteral] 0
# 10| 6: [Method] g
# 10| -1: [TypeMention] Int32
# 10| -1: [TypeMention] int
# 11| 4: [BlockStmt] {...}
# 12| 0: [ReturnStmt] return ...;
# 12| 0: [MethodCall] call to method f
simple_function.cs:
# 3| [Class] test_simple_function
# 5| 5: [Method] f
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 6| 4: [BlockStmt] {...}
# 7| 0: [ReturnStmt] return ...;
# 7| 0: [IntLiteral] 0
stmts.cs:
# 3| [Class] test_stmts
# 5| 5: [Method] ifStmt
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
#-----| 2: (Parameters)
# 5| 0: [Parameter] x
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 6| 4: [BlockStmt] {...}
# 7| 0: [IfStmt] if (...) ...
# 7| 0: [EQExpr] ... == ...
@@ -1106,11 +1106,11 @@ stmts.cs:
# 13| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 13| 0: [Parameter] x
# 13| -1: [TypeMention] Int32
# 13| -1: [TypeMention] int
# 14| 4: [BlockStmt] {...}
# 15| 0: [LocalVariableDeclStmt] ... ...;
# 15| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 15| -1: [TypeMention] Int32
# 15| -1: [TypeMention] int
# 15| 0: [LocalVariableAccess] access to local variable i
# 15| 1: [IntLiteral] 0
# 16| 1: [WhileStmt] while (...) ...
@@ -1125,17 +1125,17 @@ stmts.cs:
# 18| 0: [ParameterAccess] access to parameter x
# 18| 1: [IntLiteral] 1
# 22| 7: [Method] switchStmt
# 22| -1: [TypeMention] Int32
# 22| -1: [TypeMention] int
# 23| 4: [BlockStmt] {...}
# 24| 0: [LocalVariableDeclStmt] ... ...;
# 24| 0: [LocalVariableDeclAndInitExpr] Object caseSwitch = ...
# 24| -1: [TypeMention] Object
# 24| -1: [TypeMention] object
# 24| 0: [LocalVariableAccess] access to local variable caseSwitch
# 24| 1: [ObjectCreation] object creation of type Object
# 24| 0: [TypeMention] Object
# 24| 0: [TypeMention] object
# 25| 1: [LocalVariableDeclStmt] ... ...;
# 25| 0: [LocalVariableDeclAndInitExpr] Int32 select = ...
# 25| -1: [TypeMention] Int32
# 25| -1: [TypeMention] int
# 25| 0: [LocalVariableAccess] access to local variable select
# 25| 1: [IntLiteral] 0
# 27| 2: [SwitchStmt] switch (...) {...}
@@ -1173,7 +1173,7 @@ stmts.cs:
# 47| 4: [BlockStmt] {...}
# 48| 0: [LocalVariableDeclStmt] ... ...;
# 48| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 48| -1: [TypeMention] Int32
# 48| -1: [TypeMention] int
# 48| 0: [LocalVariableAccess] access to local variable x
# 48| 1: [IntLiteral] 5
# 49| 1: [TryStmt] try {...} ...
@@ -1210,16 +1210,16 @@ stmts.cs:
# 70| 4: [BlockStmt] {...}
# 71| 0: [LocalVariableDeclStmt] ... ...;
# 71| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 71| -1: [TypeMention] Int32
# 71| -1: [TypeMention] int
# 71| 0: [LocalVariableAccess] access to local variable x
# 71| 1: [IntLiteral] 0
# 72| 1: [ForStmt] for (...;...;...) ...
# 72| -2: [LocalVariableDeclAndInitExpr] Int32 j = ...
# 72| -1: [TypeMention] Int32
# 72| -1: [TypeMention] int
# 72| 0: [LocalVariableAccess] access to local variable j
# 72| 1: [IntLiteral] 10
# 72| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 72| -1: [TypeMention] Int32
# 72| -1: [TypeMention] int
# 72| 0: [LocalVariableAccess] access to local variable i
# 72| 1: [IntLiteral] 0
# 72| 0: [LTExpr] ... < ...
@@ -1238,9 +1238,9 @@ stmts.cs:
# 74| 1: [IntLiteral] 1
# 77| 2: [LocalVariableDeclStmt] ... ...;
# 77| 0: [LocalVariableDeclExpr] Int32 a
# 77| 0: [TypeMention] Int32
# 77| 0: [TypeMention] int
# 77| 1: [LocalVariableDeclAndInitExpr] Int32 b = ...
# 77| -1: [TypeMention] Int32
# 77| -1: [TypeMention] int
# 77| 0: [LocalVariableAccess] access to local variable b
# 77| 1: [IntLiteral] 10
# 78| 3: [ForStmt] for (...;...;...) ...
@@ -1261,7 +1261,7 @@ stmts.cs:
# 90| 4: [BlockStmt] {...}
# 91| 0: [LocalVariableDeclStmt] ... ...;
# 91| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 91| -1: [TypeMention] Int32
# 91| -1: [TypeMention] int
# 91| 0: [LocalVariableAccess] access to local variable x
# 91| 1: [IntLiteral] 0
# 92| 1: [DoStmt] do ... while (...);
@@ -1280,11 +1280,11 @@ stmts.cs:
# 100| 4: [BlockStmt] {...}
# 101| 0: [LocalVariableDeclStmt] ... ...;
# 101| 0: [LocalVariableDeclAndInitExpr] Int32 num = ...
# 101| -1: [TypeMention] Int32
# 101| -1: [TypeMention] int
# 101| 0: [LocalVariableAccess] access to local variable num
# 101| 1: [MemberConstantAccess] access to constant MaxValue
# 101| -1: [TypeAccess] access to type Int32
# 101| 0: [TypeMention] Int32
# 101| 0: [TypeMention] int
# 102| 1: [UncheckedStmt] unchecked {...}
# 103| 0: [BlockStmt] {...}
# 104| 0: [ExprStmt] ...;
@@ -1355,9 +1355,9 @@ variables.cs:
# 6| 4: [BlockStmt] {...}
# 7| 0: [LocalVariableDeclStmt] ... ...;
# 7| 0: [LocalVariableDeclExpr] Int32 x
# 7| 0: [TypeMention] Int32
# 7| 0: [TypeMention] int
# 7| 1: [LocalVariableDeclAndInitExpr] Int32 y = ...
# 7| -1: [TypeMention] Int32
# 7| -1: [TypeMention] int
# 7| 0: [LocalVariableAccess] access to local variable y
# 7| 1: [IntLiteral] 5
# 8| 1: [ExprStmt] ...;
@@ -1370,6 +1370,6 @@ variables.cs:
# 9| 1: [LocalVariableAccess] access to local variable y
# 10| 3: [LocalVariableDeclStmt] ... ...;
# 10| 0: [LocalVariableDeclAndInitExpr] Int32 z = ...
# 10| -1: [TypeMention] Int32
# 10| -1: [TypeMention] int
# 10| 0: [LocalVariableAccess] access to local variable z
# 10| 1: [LocalVariableAccess] access to local variable y

50
csharp/ql/test/library-tests/arguments/PrintAst.expected
View File

@@ -3,20 +3,20 @@ arguments.cs:
# 5| 4: [InstanceConstructor] ArgumentsTest
#-----| 2: (Parameters)
# 5| 0: [Parameter] x
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 5| 1: [IntLiteral] 0
# 5| 1: [Parameter] y
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 5| 1: [IntLiteral] 0
# 6| 4: [BlockStmt] {...}
# 9| 5: [InstanceConstructor] ArgumentsTest
#-----| 2: (Parameters)
# 9| 0: [Parameter] x
# 9| -1: [TypeMention] Int32
# 9| -1: [TypeMention] int
# 9| 1: [Parameter] y
# 9| -1: [TypeMention] Int32
# 9| -1: [TypeMention] int
# 9| 2: [Parameter] z
# 9| -1: [TypeMention] Int32
# 9| -1: [TypeMention] int
# 10| 4: [BlockStmt] {...}
# 11| 0: [ExprStmt] ...;
# 11| 0: [AssignExpr] ... = ...
@@ -26,21 +26,21 @@ arguments.cs:
# 14| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 14| 0: [Parameter] x
# 14| -1: [TypeMention] Int32
# 14| -1: [TypeMention] int
# 14| 1: [IntLiteral] 1
# 14| 1: [Parameter] y
# 14| -1: [TypeMention] Int32
# 14| -1: [TypeMention] int
# 14| 1: [IntLiteral] 2
# 15| 4: [BlockStmt] {...}
# 18| 7: [Method] f2
# 18| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 18| 0: [Parameter] x
# 18| -1: [TypeMention] Int32
# 18| -1: [TypeMention] int
# 18| 1: [Parameter] y
# 18| -1: [TypeMention] Int32
# 18| -1: [TypeMention] int
# 18| 2: [Parameter] z
# 18| -1: [TypeMention] Int32
# 18| -1: [TypeMention] int
# 19| 4: [BlockStmt] {...}
# 20| 0: [ExprStmt] ...;
# 20| 0: [AssignExpr] ... = ...
@@ -51,7 +51,7 @@ arguments.cs:
# 24| 4: [BlockStmt] {...}
# 25| 0: [LocalVariableDeclStmt] ... ...;
# 25| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 25| -1: [TypeMention] Int32
# 25| -1: [TypeMention] int
# 25| 0: [LocalVariableAccess] access to local variable x
# 25| 1: [IntLiteral] 1
# 27| 1: [ExprStmt] ...;
@@ -77,10 +77,10 @@ arguments.cs:
# 33| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 33| 0: [Parameter] o
# 33| -1: [TypeMention] Int32
# 33| -1: [TypeMention] int
# 33| 1: [Parameter] args
# 33| -1: [TypeMention] Int32[]
# 33| 1: [TypeMention] Int32
# 33| 1: [TypeMention] int
# 34| 4: [BlockStmt] {...}
# 35| 0: [ExprStmt] ...;
# 35| 0: [MethodCall] call to method f3
@@ -92,7 +92,7 @@ arguments.cs:
# 36| 0: [IntLiteral] 0
# 36| 1: [ArrayCreation] array creation of type Int32[]
# 36| -2: [TypeMention] Int32[]
# 36| 1: [TypeMention] Int32
# 36| 1: [TypeMention] int
# 36| -1: [ArrayInitializer] { ..., ... }
# 36| 0: [IntLiteral] 1
# 36| 1: [IntLiteral] 2
@@ -112,7 +112,7 @@ arguments.cs:
# 40| 0: [MethodCall] call to method f3
# 40| 0: [ArrayCreation] array creation of type Int32[]
# 40| -2: [TypeMention] Int32[]
# 40| 1: [TypeMention] Int32
# 40| 1: [TypeMention] int
# 40| -1: [ArrayInitializer] { ..., ... }
# 40| 0: [IntLiteral] 1
# 40| 1: [IntLiteral] 2
@@ -122,29 +122,29 @@ arguments.cs:
#-----| 2: (Parameters)
# 43| 0: [Parameter] args
# 43| -1: [TypeMention] Object[]
# 43| 1: [TypeMention] Object
# 43| 1: [TypeMention] object
# 44| 4: [BlockStmt] {...}
# 45| 0: [ExprStmt] ...;
# 45| 0: [MethodCall] call to method f4
# 45| 0: [ArrayCreation] array creation of type Object[]
# 45| -2: [TypeMention] Object[]
# 45| 1: [TypeMention] Object
# 45| 1: [TypeMention] object
# 45| -1: [ArrayInitializer] { ..., ... }
# 45| 0: [NullLiteral] null
# 45| 1: [NullLiteral] null
# 48| 11: [Property] Prop
# 48| -1: [TypeMention] Int32
# 48| -1: [TypeMention] int
# 48| 3: [Getter] get_Prop
# 48| 4: [Setter] set_Prop
#-----| 2: (Parameters)
# 48| 0: [Parameter] value
# 50| 12: [Indexer] Item
# 50| -1: [TypeMention] Int32
# 50| -1: [TypeMention] int
#-----| 1: (Parameters)
# 50| 0: [Parameter] a
# 50| -1: [TypeMention] Int32
# 50| -1: [TypeMention] int
# 50| 1: [Parameter] b
# 50| -1: [TypeMention] Int32
# 50| -1: [TypeMention] int
# 50| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 50| 0: [Parameter] a
@@ -205,7 +205,7 @@ arguments.cs:
# 60| 1: [IntLiteral] 12
# 61| 7: [LocalVariableDeclStmt] ... ...;
# 61| 0: [LocalVariableDeclAndInitExpr] (Int32,Int32) tuple = ...
# 61| -1: [TypeMention] (Int32,Int32)
# 61| -1: [TypeMention] (int, int)
# 61| 0: [LocalVariableAccess] access to local variable tuple
# 61| 1: [TupleExpr] (..., ...)
# 61| 0: [IntLiteral] 13
@@ -239,9 +239,9 @@ arguments.cs:
#-----| 3: (Base types)
# 72| 0: [TypeMention] Attribute
# 74| 4: [Field] x
# 74| -1: [TypeMention] Int32
# 74| -1: [TypeMention] int
# 75| 5: [IndexerProperty] y
# 75| -1: [TypeMention] String
# 75| -1: [TypeMention] string
# 75| 3: [Getter] get_y
# 75| 4: [Setter] set_y
#-----| 2: (Parameters)
@@ -249,5 +249,5 @@ arguments.cs:
# 76| 6: [InstanceConstructor] MyAttribute
#-----| 2: (Parameters)
# 76| 0: [Parameter] b
# 76| -1: [TypeMention] Boolean
# 76| -1: [TypeMention] bool
# 76| 4: [BlockStmt] {...}

6
csharp/ql/test/library-tests/assignments/PrintAst.expected
View File

@@ -5,7 +5,7 @@ Assignments.cs:
# 4| 4: [BlockStmt] {...}
# 5| 0: [LocalVariableDeclStmt] ... ...;
# 5| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 5| 0: [LocalVariableAccess] access to local variable x
# 5| 1: [IntLiteral] 0
# 6| 1: [ExprStmt] ...;
@@ -53,9 +53,9 @@ Assignments.cs:
# 22| 7: [DelegateType] EventHandler
#-----| 2: (Parameters)
# 22| 0: [Parameter] sender
# 22| -1: [TypeMention] Object
# 22| -1: [TypeMention] object
# 22| 1: [Parameter] e
# 22| -1: [TypeMention] Object
# 22| -1: [TypeMention] object
# 23| 8: [Event] Event
# 23| -1: [TypeMention] EventHandler
# 23| 3: [AddEventAccessor] add_Event

10
csharp/ql/test/library-tests/attributes/PrintAst.expected
View File

@@ -53,10 +53,10 @@ attributes.cs:
# 44| 4: [BlockStmt] {...}
# 47| [Class] Bar
# 49| 5: [Method] inc
# 49| -1: [TypeMention] Int32
# 49| -1: [TypeMention] int
#-----| 2: (Parameters)
# 49| 0: [Parameter] x
# 49| -1: [TypeMention] Int32
# 49| -1: [TypeMention] int
#-----| 0: (Attributes)
# 49| 1: [Attribute] [Foo(...)]
# 49| 0: [TypeMention] Foo
@@ -85,9 +85,9 @@ attributes.cs:
#-----| 3: (Base types)
# 58| 0: [TypeMention] Attribute
# 60| 4: [Field] x
# 60| -1: [TypeMention] Int32
# 60| -1: [TypeMention] int
# 61| 5: [IndexerProperty] y
# 61| -1: [TypeMention] String
# 61| -1: [TypeMention] string
# 61| 3: [Getter] get_y
# 61| 4: [Setter] set_y
#-----| 2: (Parameters)
@@ -95,5 +95,5 @@ attributes.cs:
# 62| 6: [InstanceConstructor] MyAttribute
#-----| 2: (Parameters)
# 62| 0: [Parameter] b
# 62| -1: [TypeMention] Boolean
# 62| -1: [TypeMention] bool
# 62| 4: [BlockStmt] {...}

4
csharp/ql/test/library-tests/constructors/PrintAst.expected
View File

@@ -6,7 +6,7 @@ constructors.cs:
# 8| 5: [InstanceConstructor] Class
#-----| 2: (Parameters)
# 8| 0: [Parameter] i
# 8| -1: [TypeMention] Int32
# 8| -1: [TypeMention] int
# 9| 4: [BlockStmt] {...}
# 11| 6: [StaticConstructor] Class
# 12| 4: [BlockStmt] {...}
@@ -14,6 +14,6 @@ constructors.cs:
# 15| 4: [BlockStmt] {...}
# 16| 0: [LocalVariableDeclStmt] ... ...;
# 16| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 16| -1: [TypeMention] Int32
# 16| -1: [TypeMention] int
# 16| 0: [LocalVariableAccess] access to local variable i
# 16| 1: [IntLiteral] 0

4
csharp/ql/test/library-tests/conversion/operator/PrintAst.expected
View File

@@ -4,12 +4,12 @@ Operator.cs:
# 5| -1: [TypeMention] C
#-----| 2: (Parameters)
# 5| 0: [Parameter] i
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 5| 4: [BlockStmt] {...}
# 5| 0: [ReturnStmt] return ...;
# 5| 0: [NullLiteral] null
# 7| 6: [Field] x1
# 7| -1: [TypeMention] Int32
# 7| -1: [TypeMention] int
# 8| 7: [Field] x2
# 8| -1: [TypeMention] C
# 11| 8: [Method] M

60
csharp/ql/test/library-tests/csharp6/PrintAst.expected
View File

@@ -1,7 +1,7 @@
csharp6.cs:
# 10| [Class] TestCSharp6
# 12| 6: [Property] Value
# 12| -1: [TypeMention] Int32
# 12| -1: [TypeMention] int
# 15| 2: [AssignExpr] ... = ...
# 12| 0: [PropertyCall] access to property Value
# 15| 1: [IntLiteral] 20
@@ -10,7 +10,7 @@ csharp6.cs:
# 17| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 17| 0: [Parameter] x
# 17| -1: [TypeMention] String
# 17| -1: [TypeMention] string
# 17| 4: [MethodCall] call to method WriteLine
# 17| 0: [ParameterAccess] access to parameter x
# 19| 8: [Method] Main
@@ -20,13 +20,13 @@ csharp6.cs:
# 22| 0: [BlockStmt] {...}
# 23| 0: [LocalVariableDeclStmt] ... ...;
# 23| 0: [LocalVariableDeclAndInitExpr] String foo = ...
# 23| -1: [TypeMention] String
# 23| -1: [TypeMention] string
# 23| 0: [LocalVariableAccess] access to local variable foo
# 23| 1: [NameOfExpr] nameof(...)
# 23| 0: [TypeAccess] access to type TestCSharp6
# 23| 0: [TypeMention] TestCSharp6
# 23| 1: [LocalVariableDeclAndInitExpr] String bar = ...
# 23| -1: [TypeMention] String
# 23| -1: [TypeMention] string
# 23| 0: [LocalVariableAccess] access to local variable bar
# 23| 1: [NullLiteral] null
# 25| 1: [ExprStmt] ...;
@@ -61,14 +61,14 @@ csharp6.cs:
# 27| 1: [IntLiteral] 0
# 29| 3: [LocalVariableDeclStmt] ... ...;
# 29| 0: [LocalVariableDeclAndInitExpr] Nullable<Boolean> anythingInBar = ...
# 29| -1: [TypeMention] Nullable<Boolean>
# 29| 1: [TypeMention] Boolean
# 29| -1: [TypeMention] bool?
# 29| 1: [TypeMention] bool
# 29| 0: [LocalVariableAccess] access to local variable anythingInBar
# 29| 1: [MethodCall] call to method Any
# 29| -1: [LocalVariableAccess] access to local variable bar
# 30| 4: [LocalVariableDeclStmt] ... ...;
# 30| 0: [LocalVariableDeclAndInitExpr] Nullable<Int32> countTInFoo = ...
# 30| -1: [TypeMention] Nullable<Int32>
# 30| -1: [TypeMention] int?
# 30| 0: [LocalVariableAccess] access to local variable countTInFoo
# 30| 1: [MethodCall] call to method Count
# 30| -1: [MethodCall] call to method Select
@@ -84,14 +84,14 @@ csharp6.cs:
# 30| 1: [CharLiteral] T
# 32| 5: [LocalVariableDeclStmt] ... ...;
# 32| 0: [LocalVariableDeclAndInitExpr] Nullable<Char> testElementBinding = ...
# 32| -1: [TypeMention] Nullable<Char>
# 32| -1: [TypeMention] char?
# 32| 0: [LocalVariableAccess] access to local variable testElementBinding
# 32| 1: [IndexerCall] access to indexer
# 32| -1: [IndexerCall] access to indexer
# 32| -1: [ObjectCreation] object creation of type Dictionary<Int32,String>
# 32| 0: [TypeMention] Dictionary<Int32,String>
# 32| 1: [TypeMention] Int32
# 32| 2: [TypeMention] String
# 32| 0: [TypeMention] Dictionary<Int32, String>
# 32| 1: [TypeMention] int
# 32| 2: [TypeMention] string
# 32| 0: [IntLiteral] 2
# 32| 0: [IntLiteral] 1
# 34| 1: [SpecificCatchClause] catch (...) {...}
@@ -107,7 +107,7 @@ csharp6.cs:
# 40| 3: [GeneralCatchClause] catch {...}
# 41| 1: [BlockStmt] {...}
# 45| 9: [EQOperator] ==
# 45| -1: [TypeMention] Boolean
# 45| -1: [TypeMention] bool
#-----| 2: (Parameters)
# 45| 0: [Parameter] t1
# 45| -1: [TypeMention] TestCSharp6
@@ -115,7 +115,7 @@ csharp6.cs:
# 45| -1: [TypeMention] TestCSharp6
# 45| 4: [BoolLiteral] true
# 46| 10: [NEOperator] !=
# 46| -1: [TypeMention] Boolean
# 46| -1: [TypeMention] bool
#-----| 2: (Parameters)
# 46| 0: [Parameter] t1
# 46| -1: [TypeMention] TestCSharp6
@@ -123,14 +123,14 @@ csharp6.cs:
# 46| -1: [TypeMention] TestCSharp6
# 46| 4: [BoolLiteral] false
# 48| 11: [Property] ExprProperty
# 48| -1: [TypeMention] Int32
# 48| -1: [TypeMention] int
# 48| 3: [Getter] get_ExprProperty
# 48| 4: [IntLiteral] 3
# 50| 12: [Indexer] Item
# 50| -1: [TypeMention] Int32
# 50| -1: [TypeMention] int
#-----| 1: (Parameters)
# 50| 0: [Parameter] i
# 50| -1: [TypeMention] Int32
# 50| -1: [TypeMention] int
# 50| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 50| 0: [Parameter] i
@@ -138,33 +138,33 @@ csharp6.cs:
# 53| [Class] IndexInitializers
# 55| 5: [Class] Compound
# 57| 5: [Field] DictionaryField
# 57| -1: [TypeMention] Dictionary<Int32,String>
# 57| 1: [TypeMention] Int32
# 57| 2: [TypeMention] String
# 57| -1: [TypeMention] Dictionary<Int32, String>
# 57| 1: [TypeMention] int
# 57| 2: [TypeMention] string
# 58| 6: [IndexerProperty] DictionaryProperty
# 58| -1: [TypeMention] Dictionary<Int32,String>
# 58| 1: [TypeMention] Int32
# 58| 2: [TypeMention] String
# 58| -1: [TypeMention] Dictionary<Int32, String>
# 58| 1: [TypeMention] int
# 58| 2: [TypeMention] string
# 58| 3: [Getter] get_DictionaryProperty
# 58| 4: [Setter] set_DictionaryProperty
#-----| 2: (Parameters)
# 58| 0: [Parameter] value
# 59| 7: [Field] ArrayField
# 59| -1: [TypeMention] String[]
# 59| 1: [TypeMention] String
# 59| 1: [TypeMention] string
# 60| 8: [Property] ArrayProperty
# 60| -1: [TypeMention] String[]
# 60| 1: [TypeMention] String
# 60| 1: [TypeMention] string
# 60| 3: [Getter] get_ArrayProperty
# 60| 4: [Setter] set_ArrayProperty
#-----| 2: (Parameters)
# 60| 0: [Parameter] value
# 61| 9: [Field] ArrayField2
# 61| -1: [TypeMention] String[,]
# 61| 1: [TypeMention] String
# 61| 1: [TypeMention] string
# 62| 10: [Property] ArrayProperty2
# 62| -1: [TypeMention] String[,]
# 62| 1: [TypeMention] String
# 62| 1: [TypeMention] string
# 62| 3: [Getter] get_ArrayProperty2
# 62| 4: [Setter] set_ArrayProperty2
#-----| 2: (Parameters)
@@ -174,12 +174,12 @@ csharp6.cs:
# 66| 4: [BlockStmt] {...}
# 68| 0: [LocalVariableDeclStmt] ... ...;
# 68| 0: [LocalVariableDeclAndInitExpr] Dictionary<Int32,String> dict = ...
# 68| -1: [TypeMention] Dictionary<Int32,String>
# 68| -1: [TypeMention] Dictionary<Int32, String>
# 68| 0: [LocalVariableAccess] access to local variable dict
# 68| 1: [ObjectCreation] object creation of type Dictionary<Int32,String>
# 68| -2: [TypeMention] Dictionary<Int32,String>
# 68| 1: [TypeMention] Int32
# 68| 2: [TypeMention] String
# 68| -2: [TypeMention] Dictionary<Int32, String>
# 68| 1: [TypeMention] int
# 68| 2: [TypeMention] string
# 68| -1: [ObjectInitializer] { ..., ... }
# 68| 0: [MemberInitializer] ... = ...
# 68| 0: [IndexerCall] access to indexer

16
csharp/ql/test/library-tests/csharp7.1/PrintAst.expected
View File

@@ -5,16 +5,16 @@ csharp71.cs:
# 6| 4: [BlockStmt] {...}
# 7| 0: [LocalVariableDeclStmt] ... ...;
# 7| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 7| -1: [TypeMention] Int32
# 7| -1: [TypeMention] int
# 7| 0: [LocalVariableAccess] access to local variable x
# 7| 1: [CastExpr] (...) ...
# 7| 1: [DefaultValueExpr] default
# 7| 1: [LocalVariableDeclAndInitExpr] Int32 y = ...
# 7| -1: [TypeMention] Int32
# 7| -1: [TypeMention] int
# 7| 0: [LocalVariableAccess] access to local variable y
# 7| 1: [DefaultValueExpr] default(...)
# 7| 0: [TypeAccess] access to type Int32
# 7| 0: [TypeMention] Int32
# 7| 0: [TypeMention] int
# 8| 1: [IfStmt] if (...) ...
# 8| 0: [EQExpr] ... == ...
# 8| 0: [LocalVariableAccess] access to local variable x
@@ -33,19 +33,19 @@ csharp71.cs:
# 14| 1: [DefaultValueExpr] default
# 15| 4: [LocalVariableDeclStmt] ... ...;
# 15| 0: [LocalVariableDeclAndInitExpr] String s = ...
# 15| -1: [TypeMention] String
# 15| -1: [TypeMention] string
# 15| 0: [LocalVariableAccess] access to local variable s
# 15| 1: [CastExpr] (...) ...
# 15| 1: [DefaultValueExpr] default
# 16| 5: [LocalVariableDeclStmt] ... ...;
# 16| 0: [LocalVariableDeclAndInitExpr] Boolean b = ...
# 16| -1: [TypeMention] Boolean
# 16| -1: [TypeMention] bool
# 16| 0: [LocalVariableAccess] access to local variable b
# 16| 1: [CastExpr] (...) ...
# 16| 1: [DefaultValueExpr] default
# 17| 6: [LocalVariableDeclStmt] ... ...;
# 17| 0: [LocalVariableDeclAndInitExpr] Double d = ...
# 17| -1: [TypeMention] Double
# 17| -1: [TypeMention] double
# 17| 0: [LocalVariableAccess] access to local variable d
# 17| 1: [CastExpr] (...) ...
# 17| 1: [DefaultValueExpr] default
@@ -55,13 +55,13 @@ csharp71.cs:
# 24| 4: [BlockStmt] {...}
# 25| 0: [LocalVariableDeclStmt] ... ...;
# 25| 0: [LocalVariableDeclExpr] Boolean b
# 25| 0: [TypeMention] Boolean
# 25| 0: [TypeMention] bool
# 26| 1: [ExprStmt] ...;
# 26| 0: [AssignExpr] ... = ...
# 26| 0: [LocalVariableAccess] access to local variable b
# 26| 1: [IsExpr] ... is ...
# 26| 0: [ObjectCreation] object creation of type Object
# 26| 0: [TypeMention] Object
# 26| 0: [TypeMention] object
# 26| 1: [ConstantPatternExpr,StringLiteral] "abc"
# 27| 2: [ExprStmt] ...;
# 27| 0: [AssignExpr] ... = ...

8
csharp/ql/test/library-tests/csharp7.2/PrintAst.expected
View File

@@ -21,9 +21,9 @@ csharp72.cs:
# 18| 0: [LocalVariableAccess] access to local variable s
# 22| [Class] RefReadonlyReturns
# 24| 5: [Field] s
# 24| -1: [TypeMention] Int32
# 24| -1: [TypeMention] int
# 26| 6: [Method] F
# 26| -1: [TypeMention] Int32
# 26| -1: [TypeMention] int
# 27| 4: [BlockStmt] {...}
# 28| 0: [ReturnStmt] return ...;
# 28| 0: [RefExpr] ref ...
@@ -34,13 +34,13 @@ csharp72.cs:
# 42| [Struct] ReadonlyRefStruct
# 46| [Class] NumericLiterals
# 48| 5: [Field] binaryValue
# 48| -1: [TypeMention] Int32
# 48| -1: [TypeMention] int
# 48| 1: [AssignExpr] ... = ...
# 48| 0: [FieldAccess] access to field binaryValue
# 48| 1: [IntLiteral] 85
# 51| [Class] PrivateProtected
# 53| 5: [Field] X
# 53| -1: [TypeMention] Int32
# 53| -1: [TypeMention] int
# 53| 1: [AssignExpr] ... = ...
# 53| 0: [FieldAccess] access to field X
# 53| 1: [IntLiteral] 1

34
csharp/ql/test/library-tests/csharp7.3/PrintAst.expected
View File

@@ -5,21 +5,21 @@ csharp73.cs:
# 8| 4: [BlockStmt] {...}
# 9| 0: [LocalVariableDeclStmt] ... ...;
# 9| 0: [LocalVariableDeclAndInitExpr] Char* arr1 = ...
# 9| -1: [TypeMention] Char*
# 9| -1: [TypeMention] char*
# 9| 0: [LocalVariableAccess] access to local variable arr1
# 9| 1: [Stackalloc] array creation of type Char*
# 9| -2: [TypeMention] Char*
# 9| 1: [TypeMention] Char
# 9| -2: [TypeMention] char*
# 9| 1: [TypeMention] char
# 9| -1: [ArrayInitializer] { ..., ... }
# 9| 0: [CharLiteral] x
# 9| 1: [CharLiteral] y
# 10| 1: [LocalVariableDeclStmt] ... ...;
# 10| 0: [LocalVariableDeclAndInitExpr] Char* arr2 = ...
# 10| -1: [TypeMention] Char*
# 10| -1: [TypeMention] char*
# 10| 0: [LocalVariableAccess] access to local variable arr2
# 10| 1: [Stackalloc] array creation of type Char*
# 10| -2: [TypeMention] Char*
# 10| 1: [TypeMention] Char
# 10| -2: [TypeMention] char*
# 10| 1: [TypeMention] char
# 10| -1: [ArrayInitializer] { ..., ... }
# 10| 0: [CharLiteral] x
# 10| 0: [IntLiteral] 1
@@ -29,16 +29,16 @@ csharp73.cs:
# 11| 0: [LocalVariableAccess] access to local variable arr3
# 11| 1: [ArrayCreation] array creation of type Char[]
# 11| -2: [TypeMention] Char[]
# 11| 1: [TypeMention] Char
# 11| 1: [TypeMention] char
# 11| -1: [ArrayInitializer] { ..., ... }
# 11| 0: [CharLiteral] x
# 12| 3: [LocalVariableDeclStmt] ... ...;
# 12| 0: [LocalVariableDeclAndInitExpr] Char* arr4 = ...
# 12| -1: [TypeMention] Char*
# 12| -1: [TypeMention] char*
# 12| 0: [LocalVariableAccess] access to local variable arr4
# 12| 1: [Stackalloc] array creation of type Char*
# 12| -1: [TypeMention] Char*
# 12| 1: [TypeMention] Char
# 12| -1: [TypeMention] char*
# 12| 1: [TypeMention] char
# 12| 0: [IntLiteral] 10
# 13| 4: [LocalVariableDeclStmt] ... ...;
# 13| 0: [LocalVariableDeclAndInitExpr] Char[] arr5 = ...
@@ -46,11 +46,11 @@ csharp73.cs:
# 13| 0: [LocalVariableAccess] access to local variable arr5
# 13| 1: [ArrayCreation] array creation of type Char[]
# 13| -1: [TypeMention] Char[]
# 13| 1: [TypeMention] Char
# 13| 1: [TypeMention] char
# 13| 0: [IntLiteral] 10
# 14| 5: [LocalVariableDeclStmt] ... ...;
# 14| 0: [LocalVariableDeclAndInitExpr] Int32* arr6 = ...
# 14| -1: [TypeMention] Int32*
# 14| -1: [TypeMention] int*
# 14| 0: [LocalVariableAccess] access to local variable arr6
# 14| 1: [Stackalloc] array creation of type Int32*
# 14| -1: [ArrayInitializer] { ..., ... }
@@ -64,21 +64,21 @@ csharp73.cs:
# 22| 0: [LocalVariableDeclStmt] ... ...;
# 22| 0: [LocalVariableDeclAndInitExpr] Span<Byte> buffer = ...
# 22| -1: [TypeMention] Span<Byte>
# 22| 1: [TypeMention] Byte
# 22| 1: [TypeMention] byte
# 22| 0: [LocalVariableAccess] access to local variable buffer
# 22| 1: [Stackalloc] array creation of type Span<Byte>
# 22| -1: [TypeMention] Span<Byte>
# 22| 1: [TypeMention] Byte
# 22| 1: [TypeMention] byte
# 22| 0: [IntLiteral] 10
# 24| 1: [LocalVariableDeclStmt] ... ...;
# 24| 0: [LocalVariableDeclAndInitExpr] Span<Int32> t = ...
# 24| -1: [TypeMention] Span<Int32>
# 24| 1: [TypeMention] Int32
# 24| 1: [TypeMention] int
# 24| 0: [LocalVariableAccess] access to local variable t
# 24| 1: [OperatorCall] call to operator implicit conversion
# 24| 0: [ArrayCreation] array creation of type Int32[]
# 24| -1: [TypeMention] Int32[]
# 24| 1: [TypeMention] Int32
# 24| 1: [TypeMention] int
# 24| 0: [IntLiteral] 10
# 27| 2: [BlockStmt] {...}
# 32| [Class] UnmanagedConstraint<>
@@ -94,7 +94,7 @@ csharp73.cs:
# 46| 4: [InstanceConstructor] ExpressionVariables
#-----| 2: (Parameters)
# 46| 0: [Parameter] x
# 46| -1: [TypeMention] Int32
# 46| -1: [TypeMention] int
# 47| 4: [BlockStmt] {...}
# 48| 0: [ExprStmt] ...;
# 48| 0: [AssignExpr] ... = ...

154
csharp/ql/test/library-tests/csharp7/PrintAst.expected
View File

@@ -1,35 +1,35 @@
CSharp7.cs:
# 7| [Class] Literals
# 9| 5: [Field] x
# 9| -1: [TypeMention] Int32
# 9| -1: [TypeMention] int
# 9| 1: [AssignExpr] ... = ...
# 9| 0: [FieldAccess] access to field x
# 9| 1: [IntLiteral] 11
# 10| 6: [Field] y
# 10| -1: [TypeMention] Int32
# 10| -1: [TypeMention] int
# 10| 1: [AssignExpr] ... = ...
# 10| 0: [FieldAccess] access to field y
# 10| 1: [IntLiteral] 123456
# 11| 7: [Field] z
# 11| -1: [TypeMention] Int32
# 11| -1: [TypeMention] int
# 11| 1: [AssignExpr] ... = ...
# 11| 0: [FieldAccess] access to field z
# 11| 1: [IntLiteral] 128
# 14| [Class] ExpressionBodiedMembers
# 16| 4: [Field] field
# 16| -1: [TypeMention] Int32
# 16| -1: [TypeMention] int
# 16| 1: [AssignExpr] ... = ...
# 16| 0: [FieldAccess] access to field field
# 16| 1: [IntLiteral] 0
# 17| 5: [Method] Foo
# 17| -1: [TypeMention] Int32
# 17| -1: [TypeMention] int
# 17| 4: [FieldAccess] access to field field
# 18| 6: [Property] P
# 18| -1: [TypeMention] Int32
# 18| -1: [TypeMention] int
# 18| 3: [Getter] get_P
# 18| 4: [IntLiteral] 5
# 19| 7: [Property] Q
# 19| -1: [TypeMention] Int32
# 19| -1: [TypeMention] int
# 21| 3: [Getter] get_Q
# 21| 4: [MethodCall] call to method Foo
# 22| 4: [Setter] set_Q
@@ -45,16 +45,16 @@ CSharp7.cs:
# 25| 9: [InstanceConstructor] ExpressionBodiedMembers
#-----| 2: (Parameters)
# 25| 0: [Parameter] x
# 25| -1: [TypeMention] Int32
# 25| -1: [TypeMention] int
# 25| 4: [MethodCall] call to method Foo
# 26| 10: [Destructor] ~ExpressionBodiedMembers
# 26| 4: [MethodCall] call to method Foo
# 29| [Class] ThrowExpr
# 31| 5: [Method] Throw
# 31| -1: [TypeMention] Int32
# 31| -1: [TypeMention] int
#-----| 2: (Parameters)
# 31| 0: [Parameter] i
# 31| -1: [TypeMention] Int32
# 31| -1: [TypeMention] int
# 32| 4: [BlockStmt] {...}
# 33| 0: [ReturnStmt] return ...;
# 33| 0: [ConditionalExpr] ... ? ... : ...
@@ -71,7 +71,7 @@ CSharp7.cs:
# 39| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 39| 0: [Parameter] x
# 39| -1: [TypeMention] String
# 39| -1: [TypeMention] string
# 40| 4: [BlockStmt] {...}
# 41| 0: [ExprStmt] ...;
# 41| 0: [AssignExpr] ... = ...
@@ -81,9 +81,9 @@ CSharp7.cs:
# 44| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 44| 0: [Parameter] x
# 44| -1: [TypeMention] String
# 44| -1: [TypeMention] string
# 44| 1: [Parameter] y
# 44| -1: [TypeMention] String
# 44| -1: [TypeMention] string
# 45| 4: [BlockStmt] {...}
# 46| 0: [ExprStmt] ...;
# 46| 0: [AssignExpr] ... = ...
@@ -100,7 +100,7 @@ CSharp7.cs:
# 52| 0: [LocalVariableAccess,LocalVariableDeclExpr] String t2
# 53| 2: [LocalVariableDeclStmt] ... ...;
# 53| 0: [LocalVariableDeclAndInitExpr] String t3 = ...
# 53| -1: [TypeMention] String
# 53| -1: [TypeMention] string
# 53| 0: [LocalVariableAccess] access to local variable t3
# 53| 1: [LocalVariableAccess] access to local variable t1
# 54| 3: [ExprStmt] ...;
@@ -120,14 +120,14 @@ CSharp7.cs:
# 57| 1: [LocalVariableAccess,LocalVariableDeclExpr] String t4
# 58| 7: [LocalVariableDeclStmt] ... ...;
# 58| 0: [LocalVariableDeclAndInitExpr] String t5 = ...
# 58| -1: [TypeMention] String
# 58| -1: [TypeMention] string
# 58| 0: [LocalVariableAccess] access to local variable t5
# 58| 1: [LocalVariableAccess] access to local variable t4
# 62| [Class] Tuples
# 64| 5: [Method] F
# 64| -1: [TypeMention] (Int32,Int32)
# 64| 1: [TypeMention] Int32
# 64| 2: [TypeMention] Int32
# 64| -1: [TypeMention] (int, int)
# 64| 1: [TypeMention] int
# 64| 2: [TypeMention] int
# 65| 4: [BlockStmt] {...}
# 66| 0: [ReturnStmt] return ...;
# 66| 0: [TupleExpr] (..., ...)
@@ -144,7 +144,7 @@ CSharp7.cs:
# 71| 1: [MethodCall] call to method F
# 72| 1: [LocalVariableDeclStmt] ... ...;
# 72| 0: [LocalVariableDeclAndInitExpr] (Int32,Int32) z = ...
# 72| -1: [TypeMention] (Int32,Int32)
# 72| -1: [TypeMention] (int, int)
# 72| 0: [LocalVariableAccess] access to local variable z
# 72| 1: [MethodCall] call to method F
# 73| 2: [ExprStmt] ...;
@@ -212,10 +212,10 @@ CSharp7.cs:
# 79| 0: [StringLiteral] ""
# 79| 1: [LocalVariableAccess] access to local variable x
# 82| 7: [Method] I
# 82| -1: [TypeMention] String
# 82| -1: [TypeMention] string
#-----| 2: (Parameters)
# 82| 0: [Parameter] x
# 82| -1: [TypeMention] String
# 82| -1: [TypeMention] string
# 83| 4: [BlockStmt] {...}
# 84| 0: [ReturnStmt] return ...;
# 84| 0: [FieldAccess] access to field a
@@ -227,7 +227,7 @@ CSharp7.cs:
# 88| 4: [BlockStmt] {...}
# 89| 0: [LocalVariableDeclStmt] ... ...;
# 89| 0: [LocalVariableDeclAndInitExpr] (String,String) t1 = ...
# 89| -1: [TypeMention] (String,String)
# 89| -1: [TypeMention] (string, string)
# 89| 0: [LocalVariableAccess] access to local variable t1
# 89| 1: [TupleExpr] (..., ...)
# 89| 0: [StringLiteral] "tainted"
@@ -240,12 +240,12 @@ CSharp7.cs:
# 90| 1: [LocalVariableAccess] access to local variable t1
# 91| 2: [LocalVariableDeclStmt] ... ...;
# 91| 0: [LocalVariableDeclAndInitExpr] String t4 = ...
# 91| -1: [TypeMention] String
# 91| -1: [TypeMention] string
# 91| 0: [LocalVariableAccess] access to local variable t4
# 91| 1: [LocalVariableAccess] access to local variable t3
# 92| 3: [LocalVariableDeclStmt] ... ...;
# 92| 0: [LocalVariableDeclAndInitExpr] String t5 = ...
# 92| -1: [TypeMention] String
# 92| -1: [TypeMention] string
# 92| 0: [LocalVariableAccess] access to local variable t5
# 92| 1: [MethodCall] call to method I
# 92| 0: [FieldAccess] access to field Item1
@@ -255,14 +255,14 @@ CSharp7.cs:
# 96| 4: [BlockStmt] {...}
# 97| 0: [LocalVariableDeclStmt] ... ...;
# 97| 0: [LocalVariableDeclAndInitExpr] (Int32,String) m1 = ...
# 97| -1: [TypeMention] (Int32,String)
# 97| -1: [TypeMention] (int, string)
# 97| 0: [LocalVariableAccess] access to local variable m1
# 97| 1: [TupleExpr] (..., ...)
# 97| 0: [IntLiteral] 1
# 97| 1: [StringLiteral] "TupleExprNode1"
# 98| 1: [LocalVariableDeclStmt] ... ...;
# 98| 0: [LocalVariableDeclAndInitExpr] (Int32,(String,Int32)) m2 = ...
# 98| -1: [TypeMention] (Int32,(String,Int32))
# 98| -1: [TypeMention] (int, (string, int))
# 98| 0: [LocalVariableAccess] access to local variable m2
# 98| 1: [TupleExpr] (..., ...)
# 98| 0: [IntLiteral] 1
@@ -274,7 +274,7 @@ CSharp7.cs:
# 102| 4: [BlockStmt] {...}
# 103| 0: [LocalVariableDeclStmt] ... ...;
# 103| 0: [LocalVariableDeclAndInitExpr] String m1 = ...
# 103| -1: [TypeMention] String
# 103| -1: [TypeMention] string
# 103| 0: [LocalVariableAccess] access to local variable m1
# 103| 1: [FieldAccess] access to field Item1
# 103| -1: [TupleExpr] (..., ...)
@@ -282,7 +282,7 @@ CSharp7.cs:
# 103| 1: [IntLiteral] 0
# 104| 1: [LocalVariableDeclStmt] ... ...;
# 104| 0: [LocalVariableDeclAndInitExpr] (String,Int32) m2 = ...
# 104| -1: [TypeMention] (String,Int32)
# 104| -1: [TypeMention] (string, int)
# 104| 0: [LocalVariableAccess] access to local variable m2
# 104| 1: [FieldAccess] access to field Item2
# 104| -1: [TupleExpr] (..., ...)
@@ -305,12 +305,12 @@ CSharp7.cs:
# 109| 1: [IntLiteral] 1
# 110| 1: [LocalVariableDeclStmt] ... ...;
# 110| 0: [LocalVariableDeclExpr] String m3
# 110| 0: [TypeMention] String
# 110| 0: [TypeMention] string
# 111| 2: [LocalVariableDeclStmt] ... ...;
# 111| 0: [LocalVariableDeclExpr] Int32 m4
# 111| 0: [TypeMention] Int32
# 111| 0: [TypeMention] int
# 111| 1: [LocalVariableDeclExpr] Int32 m5
# 111| 0: [TypeMention] Int32
# 111| 0: [TypeMention] int
# 112| 3: [ExprStmt] ...;
# 112| 0: [AssignExpr] ... = ...
# 112| 0: [TupleExpr] (..., ...)
@@ -323,7 +323,7 @@ CSharp7.cs:
# 112| 1: [LocalVariableAccess] access to local variable m2
# 113| 4: [LocalVariableDeclStmt] ... ...;
# 113| 0: [LocalVariableDeclAndInitExpr] Int32 m6 = ...
# 113| -1: [TypeMention] Int32
# 113| -1: [TypeMention] int
# 113| 0: [LocalVariableAccess] access to local variable m6
# 113| 1: [LocalVariableAccess] access to local variable m4
# 114| 5: [ExprStmt] ...;
@@ -344,7 +344,7 @@ CSharp7.cs:
# 114| 1: [IntLiteral] 1
# 115| 6: [LocalVariableDeclStmt] ... ...;
# 115| 0: [LocalVariableDeclAndInitExpr] Int32 m10 = ...
# 115| -1: [TypeMention] Int32
# 115| -1: [TypeMention] int
# 115| 0: [LocalVariableAccess] access to local variable m10
# 115| 1: [LocalVariableAccess] access to local variable m9
# 118| 7: [ExprStmt] ...;
@@ -354,29 +354,29 @@ CSharp7.cs:
# 118| 1: [IntLiteral] 0
# 119| 8: [LocalVariableDeclStmt] ... ...;
# 119| 0: [LocalVariableDeclAndInitExpr] Int32 m11 = ...
# 119| -1: [TypeMention] Int32
# 119| -1: [TypeMention] int
# 119| 0: [LocalVariableAccess] access to local variable m11
# 119| 1: [FieldAccess] access to field Item1
# 119| -1: [LocalVariableAccess] access to local variable m2
# 122| 9: [LocalVariableDeclStmt] ... ...;
# 122| 0: [LocalVariableDeclExpr] String m12
# 122| 0: [TypeMention] String
# 122| 0: [TypeMention] string
# 123| 10: [LocalVariableDeclStmt] ... ...;
# 123| 0: [LocalVariableDeclAndInitExpr] String m13 = ...
# 123| -1: [TypeMention] String
# 123| -1: [TypeMention] string
# 123| 0: [LocalVariableAccess] access to local variable m13
# 123| 1: [AssignExpr] ... = ...
# 123| 0: [LocalVariableAccess] access to local variable m12
# 123| 1: [StringLiteral] "DefUse3"
# 127| [Class] LocalFunctions
# 129| 5: [Method] Main
# 129| -1: [TypeMention] Int32
# 129| -1: [TypeMention] int
# 130| 4: [BlockStmt] {...}
# 131| 0: [LocalFunctionStmt] f1(...)
# 131| 0: [LocalFunction] f1
#-----| 2: (Parameters)
# 131| 0: [Parameter] x
# 131| -1: [TypeMention] Int32
# 131| -1: [TypeMention] int
# 131| 4: [BlockStmt] {...}
# 131| 0: [ReturnStmt] return ...;
# 131| 0: [AddExpr] ... + ...
@@ -398,7 +398,7 @@ CSharp7.cs:
# 135| 2: [LocalVariableDeclStmt] ... ...;
# 135| 0: [LocalVariableDeclAndInitExpr] Func<Int32> f4 = ...
# 135| -1: [TypeMention] Func<Int32>
# 135| 1: [TypeMention] Int32
# 135| 1: [TypeMention] int
# 135| 0: [LocalVariableAccess] access to local variable f4
# 135| 1: [ImplicitDelegateCreation] delegate creation of type Func<Int32>
# 135| 0: [LocalFunctionAccess] access to local function f3
@@ -407,9 +407,9 @@ CSharp7.cs:
# 137| 4: [IntLiteral] 2
# 139| 4: [LocalVariableDeclStmt] ... ...;
# 139| 0: [LocalVariableDeclAndInitExpr] Func<Int32,Int32> f5 = ...
# 139| -1: [TypeMention] Func<Int32,Int32>
# 139| 1: [TypeMention] Int32
# 139| 2: [TypeMention] Int32
# 139| -1: [TypeMention] Func<Int32, Int32>
# 139| 1: [TypeMention] int
# 139| 2: [TypeMention] int
# 139| 0: [LocalVariableAccess] access to local variable f5
# 139| 1: [LambdaExpr] (...) => ...
#-----| 2: (Parameters)
@@ -421,7 +421,7 @@ CSharp7.cs:
# 141| 0: [LocalFunction] f6
#-----| 2: (Parameters)
# 141| 0: [Parameter] x
# 141| -1: [TypeMention] Int32
# 141| -1: [TypeMention] int
# 141| 4: [ConditionalExpr] ... ? ... : ...
# 141| 0: [GTExpr] ... > ...
# 141| 0: [ParameterAccess] access to parameter x
@@ -438,7 +438,7 @@ CSharp7.cs:
# 143| 0: [LocalFunction] f7
#-----| 2: (Parameters)
# 143| 0: [Parameter] x
# 143| -1: [TypeMention] Int32
# 143| -1: [TypeMention] int
# 143| 4: [LocalFunctionCall] call to local function f6
# 143| -1: [LocalFunctionAccess] access to local function f6
# 143| 0: [ParameterAccess] access to parameter x
@@ -449,7 +449,7 @@ CSharp7.cs:
# 147| 0: [LocalFunction] f9
#-----| 2: (Parameters)
# 147| 0: [Parameter] x
# 147| -1: [TypeMention] Int32
# 147| -1: [TypeMention] int
# 147| 4: [LocalFunctionCall] call to local function f7
# 147| -1: [LocalFunctionAccess] access to local function f7
# 147| 0: [ParameterAccess] access to parameter x
@@ -530,14 +530,14 @@ CSharp7.cs:
# 176| 4: [BlockStmt] {...}
# 177| 0: [LocalVariableDeclStmt] ... ...;
# 177| 0: [LocalVariableDeclAndInitExpr] String src = ...
# 177| -1: [TypeMention] String
# 177| -1: [TypeMention] string
# 177| 0: [LocalVariableAccess] access to local variable src
# 177| 1: [StringLiteral] "tainted"
# 178| 1: [LocalFunctionStmt] f(...)
# 178| 0: [LocalFunction] f
#-----| 2: (Parameters)
# 178| 0: [Parameter] s
# 178| -1: [TypeMention] String
# 178| -1: [TypeMention] string
# 178| 4: [AddExpr] ... + ...
# 178| 0: [LocalFunctionCall] call to local function g
# 178| -1: [LocalFunctionAccess] access to local function g
@@ -547,33 +547,33 @@ CSharp7.cs:
# 179| 0: [LocalFunction] g
#-----| 2: (Parameters)
# 179| 0: [Parameter] s
# 179| -1: [TypeMention] String
# 179| -1: [TypeMention] string
# 179| 4: [ParameterAccess] access to parameter s
# 180| 3: [LocalFunctionStmt] h(...)
# 180| 0: [LocalFunction] h
#-----| 2: (Parameters)
# 180| 0: [Parameter] s
# 180| -1: [TypeMention] String
# 180| -1: [TypeMention] string
# 180| 4: [BlockStmt] {...}
# 180| 0: [ReturnStmt] return ...;
# 180| 0: [ParameterAccess] access to parameter s
# 182| 4: [LocalVariableDeclStmt] ... ...;
# 182| 0: [LocalVariableDeclAndInitExpr] String sink1 = ...
# 182| -1: [TypeMention] String
# 182| -1: [TypeMention] string
# 182| 0: [LocalVariableAccess] access to local variable sink1
# 182| 1: [LocalFunctionCall] call to local function f
# 182| -1: [LocalFunctionAccess] access to local function f
# 182| 0: [LocalVariableAccess] access to local variable src
# 183| 5: [LocalVariableDeclStmt] ... ...;
# 183| 0: [LocalVariableDeclAndInitExpr] String sink2 = ...
# 183| -1: [TypeMention] String
# 183| -1: [TypeMention] string
# 183| 0: [LocalVariableAccess] access to local variable sink2
# 183| 1: [LocalFunctionCall] call to local function g
# 183| -1: [LocalFunctionAccess] access to local function g
# 183| 0: [LocalVariableAccess] access to local variable src
# 184| 6: [LocalVariableDeclStmt] ... ...;
# 184| 0: [LocalVariableDeclAndInitExpr] String sink3 = ...
# 184| -1: [TypeMention] String
# 184| -1: [TypeMention] string
# 184| 0: [LocalVariableAccess] access to local variable sink3
# 184| 1: [LocalFunctionCall] call to local function h
# 184| -1: [LocalFunctionAccess] access to local function h
@@ -584,7 +584,7 @@ CSharp7.cs:
# 191| 4: [BlockStmt] {...}
# 192| 0: [LocalVariableDeclStmt] ... ...;
# 192| 0: [LocalVariableDeclAndInitExpr] Int32 v1 = ...
# 192| -1: [TypeMention] Int32
# 192| -1: [TypeMention] int
# 192| 0: [LocalVariableAccess] access to local variable v1
# 192| 1: [IntLiteral] 2
# 193| 1: [LocalVariableDeclStmt] ... ...;
@@ -599,7 +599,7 @@ CSharp7.cs:
# 194| 0: [LocalVariableAccess] access to local variable array
# 194| 1: [ArrayCreation] array creation of type Int32[]
# 194| -1: [TypeMention] Int32[]
# 194| 1: [TypeMention] Int32
# 194| 1: [TypeMention] int
# 194| 0: [IntLiteral] 10
# 195| 3: [ExprStmt] ...;
# 195| 0: [AssignExpr] ... = ...
@@ -643,16 +643,16 @@ CSharp7.cs:
# 201| 0: [LocalVariableAccess] access to local variable r1
# 201| 1: [IntLiteral] 3
# 204| 6: [Method] F2
# 204| -1: [TypeMention] Int32
# 204| -1: [TypeMention] int
#-----| 2: (Parameters)
# 204| 0: [Parameter] p
# 204| -1: [TypeMention] Int32
# 204| -1: [TypeMention] int
# 205| 4: [BlockStmt] {...}
# 206| 0: [LocalFunctionStmt] F3(...)
# 206| 0: [LocalFunction] F3
#-----| 2: (Parameters)
# 206| 0: [Parameter] q
# 206| -1: [TypeMention] Int32
# 206| -1: [TypeMention] int
# 206| 4: [BlockStmt] {...}
# 206| 0: [ReturnStmt] return ...;
# 206| 0: [RefExpr] ref ...
@@ -663,15 +663,15 @@ CSharp7.cs:
# 210| 7: [DelegateType] RefFn
#-----| 2: (Parameters)
# 210| 0: [Parameter] p
# 210| -1: [TypeMention] Int32
# 210| -1: [TypeMention] int
# 213| [Class] Discards
# 215| 5: [Method] f
# 215| -1: [TypeMention] (Int32,Double)
# 215| 1: [TypeMention] Int32
# 215| 2: [TypeMention] Double
# 215| -1: [TypeMention] (int, double)
# 215| 1: [TypeMention] int
# 215| 2: [TypeMention] double
#-----| 2: (Parameters)
# 215| 0: [Parameter] x
# 215| -1: [TypeMention] Boolean
# 215| -1: [TypeMention] bool
# 216| 4: [BlockStmt] {...}
# 217| 0: [ExprStmt] ...;
# 217| 0: [AssignExpr] ... = ...
@@ -716,13 +716,13 @@ CSharp7.cs:
# 233| 4: [BlockStmt] {...}
# 234| 0: [LocalVariableDeclStmt] ... ...;
# 234| 0: [LocalVariableDeclAndInitExpr] Object o = ...
# 234| -1: [TypeMention] Object
# 234| -1: [TypeMention] object
# 234| 0: [LocalVariableAccess] access to local variable o
# 234| 1: [NullLiteral] null
# 235| 1: [IfStmt] if (...) ...
# 235| 0: [LogicalAndExpr] ... && ...
# 235| 0: [IsExpr] ... is ...
# 235| -1: [TypeMention] Int32
# 235| -1: [TypeMention] int
# 235| 0: [LocalVariableAccess] access to local variable o
# 235| 1: [VariablePatternExpr] Int32 i1
# 235| 1: [GTExpr] ... > ...
@@ -738,7 +738,7 @@ CSharp7.cs:
# 237| 1: [LocalVariableAccess] access to local variable i1
# 239| 2: [IfStmt] if (...) ...
# 239| 0: [IsExpr] ... is ...
# 239| -1: [TypeMention] String
# 239| -1: [TypeMention] string
# 239| 0: [LocalVariableAccess] access to local variable o
# 239| 1: [VariablePatternExpr] String s1
# 240| 1: [BlockStmt] {...}
@@ -753,7 +753,7 @@ CSharp7.cs:
# 243| 0: [IsExpr] ... is ...
# 243| 0: [LocalVariableAccess] access to local variable o
# 243| 1: [TypeAccessPatternExpr] access to type Double
# 243| 0: [TypeMention] Double
# 243| 0: [TypeMention] double
# 244| 1: [BlockStmt] {...}
# 246| 2: [IfStmt] if (...) ...
# 246| 0: [IsExpr] ... is ...
@@ -774,7 +774,7 @@ CSharp7.cs:
# 256| 4: [ConstCase] case ...:
# 256| 0: [ConstantPatternExpr,StringLiteral] "x"
# 256| 1: [IsExpr] ... is ...
# 256| -1: [TypeMention] String
# 256| -1: [TypeMention] string
# 256| 0: [LocalVariableAccess] access to local variable o
# 256| 1: [VariablePatternExpr] String s4
# 257| 5: [ExprStmt] ...;
@@ -786,7 +786,7 @@ CSharp7.cs:
# 257| 1: [LocalVariableAccess] access to local variable s4
# 258| 6: [BreakStmt] break;
# 259| 7: [CaseStmt] case ...:
# 259| -1: [TypeMention] Int32
# 259| -1: [TypeMention] int
# 259| 0: [VariablePatternExpr] Int32 i2
# 259| 1: [GTExpr] ... > ...
# 259| 0: [LocalVariableAccess] access to local variable i2
@@ -800,7 +800,7 @@ CSharp7.cs:
# 260| 1: [LocalVariableAccess] access to local variable i2
# 261| 9: [BreakStmt] break;
# 262| 10: [CaseStmt] case ...:
# 262| -1: [TypeMention] Int32
# 262| -1: [TypeMention] int
# 262| 0: [VariablePatternExpr] Int32 i3
# 263| 11: [ExprStmt] ...;
# 263| 0: [MethodCall] call to method WriteLine
@@ -811,7 +811,7 @@ CSharp7.cs:
# 263| 1: [LocalVariableAccess] access to local variable i3
# 264| 12: [BreakStmt] break;
# 265| 13: [CaseStmt] case ...:
# 265| -1: [TypeMention] String
# 265| -1: [TypeMention] string
# 265| 0: [VariablePatternExpr] String s2
# 266| 14: [ExprStmt] ...;
# 266| 0: [MethodCall] call to method WriteLine
@@ -823,7 +823,7 @@ CSharp7.cs:
# 267| 15: [BreakStmt] break;
# 268| 16: [CaseStmt] case ...:
# 268| 0: [TypeAccessPatternExpr] access to type Double
# 268| 0: [TypeMention] Double
# 268| 0: [TypeMention] double
# 269| 17: [ExprStmt] ...;
# 269| 0: [MethodCall] call to method WriteLine
# 269| -1: [TypeAccess] access to type Console
@@ -846,12 +846,12 @@ CSharp7.cs:
# 283| 4: [BlockStmt] {...}
# 284| 0: [LocalVariableDeclStmt] ... ...;
# 284| 0: [LocalVariableDeclAndInitExpr] Dictionary<Int32,String> dict = ...
# 284| -1: [TypeMention] Dictionary<Int32,String>
# 284| -1: [TypeMention] Dictionary<Int32, String>
# 284| 0: [LocalVariableAccess] access to local variable dict
# 284| 1: [ObjectCreation] object creation of type Dictionary<Int32,String>
# 284| 0: [TypeMention] Dictionary<Int32,String>
# 284| 1: [TypeMention] Int32
# 284| 2: [TypeMention] String
# 284| 0: [TypeMention] Dictionary<Int32, String>
# 284| 1: [TypeMention] int
# 284| 2: [TypeMention] string
# 285| 1: [LocalVariableDeclStmt] ... ...;
# 285| 0: [LocalVariableDeclAndInitExpr] IEnumerable<(Int32,String)> list = ...
# 285| -1: [TypeMention] IEnumerable<(Int32,String)>
@@ -890,7 +890,7 @@ CSharp7.cs:
# 298| 4: [BlockStmt] {...}
# 299| 0: [ForStmt] for (...;...;...) ...
# 299| -1: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 299| -1: [TypeMention] Int32
# 299| -1: [TypeMention] int
# 299| 0: [LocalVariableAccess] access to local variable x
# 299| 1: [IntLiteral] 0
# 299| 0: [LogicalAndExpr] ... && ...
@@ -898,7 +898,7 @@ CSharp7.cs:
# 299| 0: [LocalVariableAccess] access to local variable x
# 299| 1: [IntLiteral] 10
# 299| 1: [IsExpr] ... is ...
# 299| -1: [TypeMention] Int32
# 299| -1: [TypeMention] int
# 299| 0: [LocalVariableAccess] access to local variable x
# 299| 1: [VariablePatternExpr] Int32 y
# 299| 1: [PreIncrExpr] ++...

212
csharp/ql/test/library-tests/csharp8/PrintAst.expected
View File

@@ -1,14 +1,14 @@
AlternateInterpolatedStrings.cs:
# 3| [Class] AlternateInterpolatedStrings
# 5| 5: [Field] s1
# 5| -1: [TypeMention] String
# 5| -1: [TypeMention] string
# 5| 1: [AssignExpr] ... = ...
# 5| 0: [FieldAccess] access to field s1
# 5| 1: [InterpolatedStringExpr] $"..."
# 5| 0: [StringLiteral] "C:"
# 5| 1: [IntLiteral] 12
# 6| 6: [Field] s2
# 6| -1: [TypeMention] String
# 6| -1: [TypeMention] string
# 6| 1: [AssignExpr] ... = ...
# 6| 0: [FieldAccess] access to field s2
# 6| 1: [InterpolatedStringExpr] $"..."
@@ -18,7 +18,7 @@ AsyncStreams.cs:
# 8| [Class] AsyncStreams
# 10| 5: [Method] Items
# 10| -1: [TypeMention] IAsyncEnumerable<Int32>
# 10| 1: [TypeMention] Int32
# 10| 1: [TypeMention] int
# 10| 4: [BlockStmt] {...}
# 11| 0: [YieldReturnStmt] yield return ...;
# 11| 0: [IntLiteral] 1
@@ -36,7 +36,7 @@ AsyncStreams.cs:
# 17| -1: [TypeMention] Void
# 18| 4: [BlockStmt] {...}
# 19| 0: [ForeachStmt] foreach (... ... in ...) ...
# 19| -1: [TypeMention] Int32
# 19| -1: [TypeMention] int
# 19| 0: [LocalVariableDeclExpr] Int32 item
# 19| 1: [MethodCall] call to method Items
# 20| 2: [ExprStmt] ...;
@@ -54,6 +54,7 @@ AsyncStreams.cs:
# 34| 0: [TypeParameter] T
# 36| 4: [Method] GetAsyncEnumerator
# 36| -1: [TypeMention] IAsyncEnumerator<T>
# 36| 1: [TypeMention] T
#-----| 2: (Parameters)
# 36| 0: [Parameter] cancellationToken
# 36| -1: [TypeMention] CancellationToken
@@ -70,13 +71,14 @@ AsyncStreams.cs:
# 41| 3: [Getter] get_Current
# 42| 5: [Method] MoveNextAsync
# 42| -1: [TypeMention] ValueTask<Boolean>
# 42| 1: [TypeMention] bool
DefaultInterfaceMethods.cs:
# 3| [Interface] IPerson
# 5| 4: [IndexerProperty] Name
# 5| -1: [TypeMention] String
# 5| -1: [TypeMention] string
# 5| 3: [Getter] get_Name
# 7| 5: [IndexerProperty] Greeting
# 7| -1: [TypeMention] String
# 7| -1: [TypeMention] string
# 9| 3: [Getter] get_Greeting
# 9| 4: [StringLiteral] "Hello"
# 10| 4: [Setter] set_Greeting
@@ -84,17 +86,17 @@ DefaultInterfaceMethods.cs:
# 10| 0: [Parameter] value
# 10| 4: [BlockStmt] {...}
# 13| 6: [Method] Greet
# 13| -1: [TypeMention] String
# 13| -1: [TypeMention] string
#-----| 2: (Parameters)
# 13| 0: [Parameter] name
# 13| -1: [TypeMention] String
# 13| -1: [TypeMention] string
# 13| 4: [AddExpr] ... + ...
# 13| 0: [AddExpr] ... + ...
# 13| 0: [PropertyCall] access to property Greeting
# 13| 1: [StringLiteral] " "
# 13| 1: [ParameterAccess] access to parameter name
# 15| 7: [IndexerProperty] GreetingString
# 15| -1: [TypeMention] String
# 15| -1: [TypeMention] string
# 15| 3: [Getter] get_GreetingString
# 15| 4: [MethodCall] call to method Greet
# 15| 0: [PropertyCall] access to property Name
@@ -104,12 +106,12 @@ DefaultInterfaceMethods.cs:
#-----| 3: (Base types)
# 20| 1: [TypeMention] IPerson
# 22| 5: [IndexerProperty] Name
# 22| -1: [TypeMention] String
# 22| -1: [TypeMention] string
# 22| 3: [Getter] get_Name
# 22| 4: [StringLiteral] "Petra"
# 24| 6: [IndexerProperty] Greeting
# 24| -1: [TypeMention] IPerson
# 24| -1: [TypeMention] String
# 24| -1: [TypeMention] string
# 24| 3: [Getter] get_Greeting
# 24| 4: [StringLiteral] "Howdy"
# 24| 4: [Setter] set_Greeting
@@ -126,7 +128,7 @@ NullCoalescingAssignment.cs:
# 6| 4: [BlockStmt] {...}
# 7| 0: [LocalVariableDeclStmt] ... ...;
# 7| 0: [LocalVariableDeclAndInitExpr] Object o = ...
# 7| -1: [TypeMention] Object
# 7| -1: [TypeMention] object
# 7| 0: [LocalVariableAccess] access to local variable o
# 7| 1: [NullLiteral] null
# 8| 1: [ExprStmt] ...;
@@ -154,7 +156,7 @@ NullableRefTypes.cs:
# 17| 1: [TypeMention] MyClass
#-----| 1: (Parameters)
# 17| 0: [Parameter] i
# 17| -1: [TypeMention] Int32
# 17| -1: [TypeMention] int
# 17| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 17| 0: [Parameter] i
@@ -163,7 +165,7 @@ NullableRefTypes.cs:
# 18| -1: [TypeMention] MyClass
#-----| 1: (Parameters)
# 18| 0: [Parameter] i
# 18| -1: [TypeMention] String
# 18| -1: [TypeMention] string
# 18| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 18| 0: [Parameter] i
@@ -181,15 +183,19 @@ NullableRefTypes.cs:
# 22| 12: [Field] G1
# 22| -1: [TypeMention] MyClass[]
# 22| 1: [TypeMention] MyClass
# 22| 1: [TypeMention] MyClass
# 23| 13: [Field] G2
# 23| -1: [TypeMention] MyClass[]
# 23| 1: [TypeMention] MyClass
# 23| 1: [TypeMention] MyClass
# 24| 14: [Field] G3
# 24| -1: [TypeMention] MyClass[]
# 24| 1: [TypeMention] MyClass
# 24| 1: [TypeMention] MyClass
# 25| 15: [Field] H
# 25| -1: [TypeMention] MyClass[][]
# 25| 1: [TypeMention] MyClass
# 25| 1: [TypeMention] MyClass
# 26| 16: [Method] ArrayFn1
# 26| -1: [TypeMention] MyClass[]
# 26| 1: [TypeMention] MyClass
@@ -197,15 +203,19 @@ NullableRefTypes.cs:
# 26| 0: [Parameter] x
# 26| -1: [TypeMention] MyClass[][]
# 26| 1: [TypeMention] MyClass
# 26| 1: [TypeMention] MyClass
# 26| 1: [TypeMention] MyClass
# 26| 4: [ThrowExpr] throw ...
# 26| 0: [NullLiteral] null
# 27| 17: [Method] ArrayFn2
# 27| -1: [TypeMention] MyClass[]
# 27| 1: [TypeMention] MyClass
# 27| 1: [TypeMention] MyClass
#-----| 2: (Parameters)
# 27| 0: [Parameter] x
# 27| -1: [TypeMention] MyClass[][]
# 27| 1: [TypeMention] MyClass
# 27| 1: [TypeMention] MyClass
# 27| 4: [ThrowExpr] throw ...
# 27| 0: [NullLiteral] null
# 30| 18: [Method] M
@@ -266,7 +276,7 @@ NullableRefTypes.cs:
#-----| 2: (Parameters)
# 48| 0: [Parameter] value
# 51| 25: [Method] Q
# 51| -1: [TypeMention] Object
# 51| -1: [TypeMention] object
#-----| 1: (Type parameters)
# 51| 0: [TypeParameter] T
#-----| 2: (Parameters)
@@ -284,7 +294,7 @@ NullableRefTypes.cs:
# 58| 0: [TypeParameter] T1
# 58| 1: [TypeParameter] T2
# 65| 31: [Field] items2
# 65| -1: [TypeMention] Generic<MyClass,MyClass,IDisposable,MyClass>
# 65| -1: [TypeMention] Generic<MyClass, MyClass, IDisposable, MyClass>
# 65| 1: [TypeMention] MyClass
# 65| 1: [TypeMention] MyClass
# 65| 2: [TypeMention] MyClass
@@ -323,13 +333,13 @@ NullableRefTypes.cs:
# 83| 4: [BlockStmt] {...}
# 84| 0: [LocalVariableDeclStmt] ... ...;
# 84| 0: [LocalVariableDeclAndInitExpr] String x = ...
# 84| -1: [TypeMention] String
# 84| 1: [TypeMention] String
# 84| -1: [TypeMention] string
# 84| 1: [TypeMention] string
# 84| 0: [LocalVariableAccess] access to local variable x
# 84| 1: [StringLiteral] "source"
# 85| 1: [LocalVariableDeclStmt] ... ...;
# 85| 0: [LocalVariableDeclAndInitExpr] String y = ...
# 85| -1: [TypeMention] String
# 85| -1: [TypeMention] string
# 85| 0: [LocalVariableAccess] access to local variable y
# 85| 1: [SuppressNullableWarningExpr] ...!
# 85| 0: [LocalVariableAccess] access to local variable x
@@ -352,20 +362,20 @@ NullableRefTypes.cs:
# 92| 4: [BlockStmt] {...}
# 93| 0: [LocalVariableDeclStmt] ... ...;
# 93| 0: [LocalVariableDeclAndInitExpr] String x = ...
# 93| -1: [TypeMention] String
# 93| 1: [TypeMention] String
# 93| -1: [TypeMention] string
# 93| 1: [TypeMention] string
# 93| 0: [LocalVariableAccess] access to local variable x
# 93| 1: [StringLiteral] "source"
# 94| 1: [LocalVariableDeclStmt] ... ...;
# 94| 0: [LocalVariableDeclAndInitExpr] String y = ...
# 94| -1: [TypeMention] String
# 94| -1: [TypeMention] string
# 94| 0: [LocalVariableAccess] access to local variable y
# 94| 1: [NullCoalescingExpr] ... ?? ...
# 94| 0: [LocalVariableAccess] access to local variable x
# 94| 1: [NullLiteral] null
# 95| 2: [LocalVariableDeclStmt] ... ...;
# 95| 0: [LocalVariableDeclAndInitExpr] String z = ...
# 95| -1: [TypeMention] String
# 95| -1: [TypeMention] string
# 95| 0: [LocalVariableAccess] access to local variable z
# 95| 1: [LocalVariableAccess] access to local variable x
# 96| 3: [ExprStmt] ...;
@@ -440,78 +450,96 @@ NullableRefTypes.cs:
# 113| 0: [FieldAccess] access to field Property
# 116| [Class] ToStringWithTypes
# 118| 5: [Field] a
# 118| -1: [TypeMention] Nullable<MyStruct>
# 118| -1: [TypeMention] MyStruct?
# 118| 1: [TypeMention] MyStruct
# 119| 6: [Field] b
# 119| -1: [TypeMention] MyStruct[]
# 119| 1: [TypeMention] MyStruct
# 120| 7: [Field] c
# 120| -1: [TypeMention] Nullable
# 120| 1: [TypeMention] MyStruct
# 120| -1: [TypeMention] Nullable<MyStruct>[]
# 120| 1: [TypeMention] MyStruct?
# 120| 1: [TypeMention] MyStruct
# 121| 8: [Field] d
# 121| -1: [TypeMention] Nullable
# 121| 1: [TypeMention] MyStruct
# 121| -1: [TypeMention] Nullable<MyStruct>[]
# 121| 1: [TypeMention] MyStruct?
# 121| 1: [TypeMention] MyStruct
# 123| 9: [Field] e
# 123| -1: [TypeMention] MyClass
# 123| 1: [TypeMention] MyClass
# 124| 10: [Field] f
# 124| -1: [TypeMention] MyClass[]
# 124| 1: [TypeMention] MyClass
# 124| 1: [TypeMention] MyClass
# 125| 11: [Field] g
# 125| -1: [TypeMention] MyClass[]
# 125| 1: [TypeMention] MyClass
# 126| 12: [Field] h
# 126| -1: [TypeMention] MyClass[]
# 126| 1: [TypeMention] MyClass
# 126| 1: [TypeMention] MyClass
# 128| 13: [Field] i
# 128| -1: [TypeMention] MyClass[,,][][,]
# 128| -1: [TypeMention] MyClass[,][][,,]
# 128| 1: [TypeMention] MyClass
# 128| 1: [TypeMention] MyClass
# 128| 1: [TypeMention] MyClass
# 129| 14: [Field] j
# 129| -1: [TypeMention] MyClass[][,][,,]
# 129| -1: [TypeMention] MyClass[,,][,][]
# 129| 1: [TypeMention] MyClass
# 130| 15: [Field] k
# 130| -1: [TypeMention] MyClass[,,][,][][,,,]
# 130| -1: [TypeMention] MyClass[,,,][][,][,,]
# 130| 1: [TypeMention] MyClass
# 131| 16: [Field] l
# 131| -1: [TypeMention] MyClass[,][][,,,][,,]
# 131| -1: [TypeMention] MyClass[,,][,,,][][,]
# 131| 1: [TypeMention] MyClass
# 131| 1: [TypeMention] MyClass
# 131| 1: [TypeMention] MyClass
# 131| 1: [TypeMention] MyClass
# 136| [Class] ToStringWithTypes2
# 138| 5: [Field] a
# 138| -1: [TypeMention] Nullable<MyStruct>
# 138| -1: [TypeMention] MyStruct?
# 138| 1: [TypeMention] MyStruct
# 139| 6: [Field] b
# 139| -1: [TypeMention] MyStruct[]
# 139| 1: [TypeMention] MyStruct
# 140| 7: [Field] c
# 140| -1: [TypeMention] Nullable
# 140| 1: [TypeMention] MyStruct
# 140| -1: [TypeMention] Nullable<MyStruct>[]
# 140| 1: [TypeMention] MyStruct?
# 140| 1: [TypeMention] MyStruct
# 141| 8: [Field] d
# 141| -1: [TypeMention] Nullable
# 141| 1: [TypeMention] MyStruct
# 141| -1: [TypeMention] Nullable<MyStruct>[]
# 141| 1: [TypeMention] MyStruct?
# 141| 1: [TypeMention] MyStruct
# 143| 9: [Field] e
# 143| -1: [TypeMention] MyClass
# 143| 1: [TypeMention] MyClass
# 144| 10: [Field] f
# 144| -1: [TypeMention] MyClass[]
# 144| 1: [TypeMention] MyClass
# 144| 1: [TypeMention] MyClass
# 145| 11: [Field] g
# 145| -1: [TypeMention] MyClass[]
# 145| 1: [TypeMention] MyClass
# 146| 12: [Field] h
# 146| -1: [TypeMention] MyClass[]
# 146| 1: [TypeMention] MyClass
# 146| 1: [TypeMention] MyClass
# 148| 13: [Field] i
# 148| -1: [TypeMention] MyClass[,,][][,]
# 148| -1: [TypeMention] MyClass[,][][,,]
# 148| 1: [TypeMention] MyClass
# 148| 1: [TypeMention] MyClass
# 148| 1: [TypeMention] MyClass
# 149| 14: [Field] j
# 149| -1: [TypeMention] MyClass[][,][,,]
# 149| -1: [TypeMention] MyClass[,,][,][]
# 149| 1: [TypeMention] MyClass
# 150| 15: [Field] k
# 150| -1: [TypeMention] MyClass[,,][,][][,,,]
# 150| -1: [TypeMention] MyClass[,,,][][,][,,]
# 150| 1: [TypeMention] MyClass
# 151| 16: [Field] l
# 151| -1: [TypeMention] MyClass[,][][,,,][,,]
# 151| -1: [TypeMention] MyClass[,,][,,,][][,]
# 151| 1: [TypeMention] MyClass
# 151| 1: [TypeMention] MyClass
# 151| 1: [TypeMention] MyClass
# 151| 1: [TypeMention] MyClass
# 154| [Class] DisabledNullability
# 156| 5: [Field] f1
# 156| -1: [TypeMention] MyClass
@@ -536,23 +564,23 @@ NullableRefTypes.cs:
# 165| [Struct] MyStruct
# 171| [Class] TestNullableFlowStates
# 173| 5: [Method] MaybeNull
# 173| -1: [TypeMention] String
# 173| 1: [TypeMention] String
# 173| -1: [TypeMention] string
# 173| 1: [TypeMention] string
# 175| 6: [Method] Check
# 175| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 175| 0: [Parameter] isNull
# 175| -1: [TypeMention] String
# 175| 1: [TypeMention] String
# 175| -1: [TypeMention] string
# 175| 1: [TypeMention] string
# 177| 7: [Method] Count
# 177| -1: [TypeMention] Int32
# 177| -1: [TypeMention] int
# 179| 8: [Method] LoopUnrolling
# 179| -1: [TypeMention] Void
# 180| 4: [BlockStmt] {...}
# 181| 0: [LocalVariableDeclStmt] ... ...;
# 181| 0: [LocalVariableDeclAndInitExpr] String x = ...
# 181| -1: [TypeMention] String
# 181| 1: [TypeMention] String
# 181| -1: [TypeMention] string
# 181| 1: [TypeMention] string
# 181| 0: [LocalVariableAccess] access to local variable x
# 181| 1: [MethodCall] call to method MaybeNull
# 183| 1: [ExprStmt] ...;
@@ -560,7 +588,7 @@ NullableRefTypes.cs:
# 183| 0: [LocalVariableAccess] access to local variable x
# 185| 2: [ForStmt] for (...;...;...) ...
# 185| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 185| -1: [TypeMention] Int32
# 185| -1: [TypeMention] int
# 185| 0: [LocalVariableAccess] access to local variable i
# 185| 1: [IntLiteral] 0
# 185| 0: [LTExpr] ... < ...
@@ -581,8 +609,8 @@ NullableRefTypes.cs:
# 194| 4: [BlockStmt] {...}
# 195| 0: [LocalVariableDeclStmt] ... ...;
# 195| 0: [LocalVariableDeclAndInitExpr] String y = ...
# 195| -1: [TypeMention] String
# 195| 1: [TypeMention] String
# 195| -1: [TypeMention] string
# 195| 1: [TypeMention] string
# 195| 0: [LocalVariableAccess] access to local variable y
# 195| 1: [MethodCall] call to method MaybeNull
# 197| 1: [TryStmt] try {...} ...
@@ -599,11 +627,11 @@ NullableRefTypes.cs:
# 206| 0: [MethodCall] call to method Check
# 206| 0: [LocalVariableAccess] access to local variable y
# 209| 10: [Method] InvocationTest
# 209| -1: [TypeMention] String
# 209| -1: [TypeMention] string
#-----| 2: (Parameters)
# 209| 0: [Parameter] o
# 209| -1: [TypeMention] Object
# 209| 1: [TypeMention] Object
# 209| -1: [TypeMention] object
# 209| 1: [TypeMention] object
# 210| 4: [BlockStmt] {...}
# 211| 0: [LocalVariableDeclStmt] ... ...;
# 211| 0: [LocalVariableDeclAndInitExpr] Type t = ...
@@ -620,33 +648,33 @@ NullableRefTypes.cs:
# 215| 0: [Parameter] list
# 215| -1: [TypeMention] List<String>
# 215| 1: [TypeMention] List<String>
# 215| 1: [TypeMention] String
# 215| 1: [TypeMention] string
# 216| 4: [BlockStmt] {...}
# 217| 0: [LocalVariableDeclStmt] ... ...;
# 217| 0: [LocalVariableDeclAndInitExpr] String a = ...
# 217| -1: [TypeMention] String
# 217| 1: [TypeMention] String
# 217| -1: [TypeMention] string
# 217| 1: [TypeMention] string
# 217| 0: [LocalVariableAccess] access to local variable a
# 217| 1: [FieldAccess] access to field Field
# 217| -1: [MethodCall] call to method GetSelf
# 218| 1: [LocalVariableDeclStmt] ... ...;
# 218| 0: [LocalVariableDeclAndInitExpr] String b = ...
# 218| -1: [TypeMention] String
# 218| 1: [TypeMention] String
# 218| -1: [TypeMention] string
# 218| 1: [TypeMention] string
# 218| 0: [LocalVariableAccess] access to local variable b
# 218| 1: [IndexerCall] access to indexer
# 218| -1: [ParameterAccess] access to parameter list
# 218| 0: [IntLiteral] 0
# 219| 2: [LocalVariableDeclStmt] ... ...;
# 219| 0: [LocalVariableDeclAndInitExpr] String c = ...
# 219| -1: [TypeMention] String
# 219| -1: [TypeMention] string
# 219| 0: [LocalVariableAccess] access to local variable c
# 219| 1: [IndexerCall] access to indexer
# 219| -1: [ParameterAccess] access to parameter list
# 219| 0: [IntLiteral] 0
# 220| 3: [LocalVariableDeclStmt] ... ...;
# 220| 0: [LocalVariableDeclAndInitExpr] String d = ...
# 220| -1: [TypeMention] String
# 220| -1: [TypeMention] string
# 220| 0: [LocalVariableAccess] access to local variable d
# 220| 1: [FieldAccess] access to field Field
# 220| -1: [MethodCall] call to method GetSelf
@@ -654,26 +682,26 @@ NullableRefTypes.cs:
# 223| -1: [TypeMention] TestNullableFlowStates
# 223| 1: [TypeMention] TestNullableFlowStates
# 225| 13: [Field] Field
# 225| -1: [TypeMention] String
# 225| -1: [TypeMention] string
StaticLocalFunctions.cs:
# 5| [Class] StaticLocalFunctions
# 7| 5: [Method] Fn
# 7| -1: [TypeMention] Int32
# 7| -1: [TypeMention] int
#-----| 2: (Parameters)
# 7| 0: [Parameter] x
# 7| -1: [TypeMention] Int32
# 7| -1: [TypeMention] int
# 8| 4: [BlockStmt] {...}
# 9| 0: [LocalFunctionStmt] I(...)
# 9| 0: [LocalFunction] I
#-----| 2: (Parameters)
# 9| 0: [Parameter] y
# 9| -1: [TypeMention] Int32
# 9| -1: [TypeMention] int
# 9| 4: [ParameterAccess] access to parameter y
# 10| 1: [LocalFunctionStmt] J(...)
# 10| 0: [LocalFunction] J
#-----| 2: (Parameters)
# 10| 0: [Parameter] y
# 10| -1: [TypeMention] Int32
# 10| -1: [TypeMention] int
# 10| 4: [AddExpr] ... + ...
# 10| 0: [ParameterAccess] access to parameter x
# 10| 1: [ParameterAccess] access to parameter y
@@ -691,7 +719,7 @@ UnmanagedGenericStructs.cs:
# 3| 0: [TypeParameter] T
# 3| 1: [TypeParameter] U
# 5| 5: [Field] id
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 6| 6: [Field] value1
# 6| -1: [TypeMention] T
# 7| 7: [Field] value2
@@ -755,7 +783,7 @@ patterns.cs:
# 6| 4: [BlockStmt] {...}
# 7| 0: [LocalVariableDeclStmt] ... ...;
# 7| 0: [LocalVariableDeclAndInitExpr] Object o = ...
# 7| -1: [TypeMention] Object
# 7| -1: [TypeMention] object
# 7| 0: [LocalVariableAccess] access to local variable o
# 7| 1: [CastExpr] (...) ...
# 7| 1: [ObjectCreation] object creation of type MyStruct
@@ -780,7 +808,7 @@ patterns.cs:
# 13| 1: [TypeAccess] access to type MyStruct
# 13| 0: [TypeMention] MyStruct
# 13| 3: [PropertyPatternExpr] { ... }
# 13| -1: [TypeMention] Int32
# 13| -1: [TypeMention] int
# 13| 0: [LabeledPatternExpr,VariablePatternExpr] Int32 x
# 13| 1: [LTExpr] ... < ...
# 13| 0: [LocalVariableAccess] access to local variable x
@@ -872,7 +900,7 @@ patterns.cs:
# 48| 1: [TypeAccess] access to type MyStruct
# 48| 0: [TypeMention] MyStruct
# 48| 3: [PropertyPatternExpr] { ... }
# 48| -1: [TypeMention] Int32
# 48| -1: [TypeMention] int
# 48| 0: [LabeledPatternExpr,VariablePatternExpr] Int32 x
# 48| 1: [GTExpr] ... > ...
# 48| 0: [LocalVariableAccess] access to local variable x
@@ -899,7 +927,7 @@ patterns.cs:
# 54| 6: [CaseStmt] case ...:
# 54| 0: [RecursivePatternExpr] { ... }
# 54| 3: [PropertyPatternExpr] { ... }
# 54| -1: [TypeMention] Int32
# 54| -1: [TypeMention] int
# 54| 0: [LabeledPatternExpr,VariablePatternExpr] Int32 x2
# 54| 1: [GTExpr] ... > ...
# 54| 0: [LocalVariableAccess] access to local variable x2
@@ -930,7 +958,7 @@ patterns.cs:
# 67| 1: [TypeAccess] access to type MyStruct
# 67| 0: [TypeMention] MyStruct
# 67| 3: [PropertyPatternExpr] { ... }
# 67| -1: [TypeMention] Int32
# 67| -1: [TypeMention] int
# 67| 0: [LabeledPatternExpr,VariablePatternExpr] Int32 x
# 67| 1: [GTExpr] ... > ...
# 67| 0: [LocalVariableAccess] access to local variable x
@@ -960,12 +988,12 @@ patterns.cs:
# 72| 5: [BreakStmt] break;
# 76| 4: [SwitchStmt] switch (...) {...}
# 76| 0: [ObjectCreation] object creation of type Object
# 76| 0: [TypeMention] Object
# 76| 0: [TypeMention] object
# 78| 0: [CaseStmt] case ...:
# 78| 0: [RecursivePatternExpr] { ... }
# 78| 2: [PositionalPatternExpr] ( ... )
# 78| -1: [TypeMention] Int32
# 78| -1: [TypeMention] Single
# 78| -1: [TypeMention] int
# 78| -1: [TypeMention] float
# 78| 0: [VariablePatternExpr] Int32 x
# 78| 1: [VariablePatternExpr] Single y
# 78| 1: [LTExpr] ... < ...
@@ -1011,16 +1039,16 @@ patterns.cs:
# 98| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 98| 0: [Parameter] x
# 98| -1: [TypeMention] Int32
# 98| -1: [TypeMention] int
# 99| 4: [BlockStmt] {...}
# 100| 0: [LocalVariableDeclStmt] ... ...;
# 100| 0: [LocalVariableDeclAndInitExpr] String size = ...
# 100| -1: [TypeMention] String
# 100| -1: [TypeMention] string
# 100| 0: [LocalVariableAccess] access to local variable size
# 100| 1: [SwitchExpr] ... switch { ... }
# 100| -1: [ParameterAccess] access to parameter x
# 101| 0: [SwitchCaseExpr] ... => ...
# 101| -1: [TypeMention] Int32
# 101| -1: [TypeMention] int
# 101| 0: [VariablePatternExpr] Int32 y
# 101| 1: [GTExpr] ... > ...
# 101| 0: [LocalVariableAccess] access to local variable y
@@ -1031,11 +1059,11 @@ patterns.cs:
# 102| 2: [StringLiteral] "small"
# 105| 1: [LocalVariableDeclStmt] ... ...;
# 105| 0: [LocalVariableDeclAndInitExpr] Int32 x0 = ...
# 105| -1: [TypeMention] Int32
# 105| -1: [TypeMention] int
# 105| 0: [LocalVariableAccess] access to local variable x0
# 105| 1: [IntLiteral] 0
# 105| 1: [LocalVariableDeclAndInitExpr] Int32 y0 = ...
# 105| -1: [TypeMention] Int32
# 105| -1: [TypeMention] int
# 105| 0: [LocalVariableAccess] access to local variable y0
# 105| 1: [IntLiteral] 0
# 108| 2: [ExprStmt] ...;
@@ -1100,7 +1128,7 @@ patterns.cs:
# 123| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 123| 0: [Parameter] o
# 123| -1: [TypeMention] Object
# 123| -1: [TypeMention] object
# 124| 4: [BlockStmt] {...}
# 125| 0: [LocalVariableDeclStmt] ... ...;
# 125| 0: [LocalVariableDeclAndInitExpr] MyStruct s = ...
@@ -1114,7 +1142,7 @@ patterns.cs:
# 125| 1: [IntLiteral] 0
# 126| 1: [LocalVariableDeclStmt] ... ...;
# 126| 0: [LocalVariableDeclAndInitExpr] Int32 r = ...
# 126| -1: [TypeMention] Int32
# 126| -1: [TypeMention] int
# 126| 0: [LocalVariableAccess] access to local variable r
# 126| 1: [SwitchExpr] ... switch { ... }
# 126| -1: [LocalVariableAccess] access to local variable s
@@ -1123,7 +1151,7 @@ patterns.cs:
# 128| 1: [TypeAccess] access to type MyStruct
# 128| 0: [TypeMention] MyStruct
# 128| 3: [PropertyPatternExpr] { ... }
# 128| -1: [TypeMention] Int32
# 128| -1: [TypeMention] int
# 128| 0: [LabeledPatternExpr,VariablePatternExpr] Int32 x
# 128| 1: [GTExpr] ... > ...
# 128| 0: [LocalVariableAccess] access to local variable x
@@ -1164,7 +1192,7 @@ patterns.cs:
# 139| 0: [ConstantPatternExpr,IntLiteral] 2
# 139| 2: [IntLiteral] 3
# 140| 2: [SwitchCaseExpr] ... => ...
# 140| -1: [TypeMention] Object
# 140| -1: [TypeMention] object
# 140| 0: [VariablePatternExpr] Object y
# 140| 1: [IsExpr] ... is ...
# 140| 0: [LocalVariableAccess] access to local variable y
@@ -1173,7 +1201,7 @@ patterns.cs:
# 140| 2: [IntLiteral] 4
# 141| 3: [SwitchCaseExpr] ... => ...
# 141| 0: [TypeAccessPatternExpr] access to type String
# 141| 0: [TypeMention] String
# 141| 0: [TypeMention] string
# 141| 2: [IntLiteral] 5
# 142| 4: [SwitchCaseExpr] ... => ...
# 142| 0: [RecursivePatternExpr] { ... }
@@ -1193,9 +1221,9 @@ patterns.cs:
# 147| 0: [StringLiteral] "Invalid operation"
# 151| 9: [Struct] MyStruct
# 153| 5: [Field] X
# 153| -1: [TypeMention] Int32
# 153| -1: [TypeMention] int
# 154| 6: [Property] Y
# 154| -1: [TypeMention] Int32
# 154| -1: [TypeMention] int
# 154| 3: [Getter] get_Y
# 154| 4: [IntLiteral] 10
# 156| 7: [Property] S
@@ -1206,9 +1234,9 @@ patterns.cs:
# 158| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 158| 0: [Parameter] x
# 158| -1: [TypeMention] Int32
# 158| -1: [TypeMention] int
# 158| 1: [Parameter] y
# 158| -1: [TypeMention] Int32
# 158| -1: [TypeMention] int
# 159| 4: [BlockStmt] {...}
# 160| 0: [ExprStmt] ...;
# 160| 0: [AssignExpr] ... = ...
@@ -1232,7 +1260,7 @@ ranges.cs:
# 9| 0: [LocalVariableAccess] access to local variable array
# 9| 1: [ArrayCreation] array creation of type Int32[]
# 9| -2: [TypeMention] Int32[]
# 9| 1: [TypeMention] Int32
# 9| 1: [TypeMention] int
# 9| -1: [ArrayInitializer] { ..., ... }
# 9| 0: [IntLiteral] 1
# 9| 1: [IntLiteral] 2
@@ -1262,11 +1290,11 @@ ranges.cs:
# 12| 0: [IntLiteral] 1
# 13| 3: [LocalVariableDeclStmt] ... ...;
# 13| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 13| -1: [TypeMention] Int32
# 13| -1: [TypeMention] int
# 13| 0: [LocalVariableAccess] access to local variable x
# 13| 1: [IntLiteral] 2
# 13| 1: [LocalVariableDeclAndInitExpr] Int32 y = ...
# 13| -1: [TypeMention] Int32
# 13| -1: [TypeMention] int
# 13| 0: [LocalVariableAccess] access to local variable y
# 13| 1: [IntLiteral] 3
# 14| 4: [LocalVariableDeclStmt] ... ...;

34
csharp/ql/test/library-tests/definitions/PrintAst.expected
View File

@@ -8,7 +8,7 @@ definitions.cs:
# 8| -1: [TypeMention] C1
# 8| 1: [Parameter] args
# 8| -1: [TypeMention] Object[]
# 8| 1: [TypeMention] Object
# 8| 1: [TypeMention] object
# 9| 4: [BlockStmt] {...}
# 13| 2: [Enum] Enumeration
# 15| 5: [Field] e1
@@ -25,12 +25,12 @@ definitions.cs:
#-----| 2: (Parameters)
# 20| 0: [Parameter] args
# 20| -1: [TypeMention] Int32[]
# 20| 1: [TypeMention] Int32
# 20| 1: [TypeMention] int
# 20| 4: [BlockStmt] {...}
# 22| 5: [Field] field1
# 22| -1: [TypeMention] Int32
# 22| -1: [TypeMention] int
# 24| 6: [Property] property1
# 24| -1: [TypeMention] Int32
# 24| -1: [TypeMention] int
# 26| 3: [Getter] get_property1
# 26| 4: [BlockStmt] {...}
# 26| 0: [ReturnStmt] return ...;
@@ -48,7 +48,7 @@ definitions.cs:
#-----| 2: (Parameters)
# 30| 0: [Parameter] args
# 30| -1: [TypeMention] Int32[]
# 30| 1: [TypeMention] Int32
# 30| 1: [TypeMention] int
# 31| 4: [BlockStmt] {...}
# 32| 0: [LocalVariableDeclStmt] ... ...;
# 32| 0: [LocalVariableDeclAndInitExpr] C1 qualifier = ...
@@ -112,19 +112,19 @@ definitions.cs:
# 53| 1: [IntLiteral] 2
# 56| 15: [LocalVariableDeclStmt] ... ...;
# 56| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 56| -1: [TypeMention] Int32
# 56| -1: [TypeMention] int
# 56| 0: [LocalVariableAccess] access to local variable x
# 56| 1: [IntLiteral] 2
# 56| 1: [LocalVariableDeclAndInitExpr] Int32 y = ...
# 56| -1: [TypeMention] Int32
# 56| -1: [TypeMention] int
# 56| 0: [LocalVariableAccess] access to local variable y
# 56| 1: [LocalVariableAccess] access to local variable x
# 56| 2: [LocalVariableDeclAndInitExpr] Int32 z = ...
# 56| -1: [TypeMention] Int32
# 56| -1: [TypeMention] int
# 56| 0: [LocalVariableAccess] access to local variable z
# 56| 1: [FieldAccess] access to field field1
# 56| 3: [LocalVariableDeclAndInitExpr] Int32 w = ...
# 56| -1: [TypeMention] Int32
# 56| -1: [TypeMention] int
# 56| 0: [LocalVariableAccess] access to local variable w
# 56| 1: [ArrayAccess] access to array element
# 56| -1: [ParameterAccess] access to parameter args
@@ -150,14 +150,14 @@ definitions.cs:
# 63| 1: [NullLiteral] null
# 64| 19: [LocalVariableDeclStmt] ... ...;
# 64| 0: [LocalVariableDeclAndInitExpr] Nullable<S1> nullable = ...
# 64| -1: [TypeMention] Nullable<S1>
# 64| -1: [TypeMention] S1?
# 64| 1: [TypeMention] S1
# 64| 0: [LocalVariableAccess] access to local variable nullable
# 64| 1: [NullLiteral] null
# 67| 20: [LocalVariableDeclStmt] ... ...;
# 67| 0: [LocalVariableDeclAndInitExpr] Action<Int32> m1 = ...
# 67| -1: [TypeMention] Action<Int32>
# 67| 1: [TypeMention] Int32
# 67| 1: [TypeMention] int
# 67| 0: [LocalVariableAccess] access to local variable m1
# 67| 1: [ImplicitDelegateCreation] delegate creation of type Action<Int32>
# 67| 0: [MethodAccess] access to method GenericFn
@@ -192,7 +192,7 @@ definitions.cs:
# 83| 0: [BlockStmt] {...}
# 84| 0: [LocalVariableDeclStmt] ... ...;
# 84| 0: [LocalVariableDeclAndInitExpr] String timestamp = ...
# 84| -1: [TypeMention] String
# 84| -1: [TypeMention] string
# 84| 0: [LocalVariableAccess] access to local variable timestamp
# 84| 1: [MethodCall] call to method ToString
# 84| -1: [PropertyCall] access to property Now
@@ -260,7 +260,7 @@ definitions.cs:
# 119| 8: [Interface] I3
#-----| 3: (Base types)
# 119| 1: [TypeMention] I2<Object>
# 119| 1: [TypeMention] Object
# 119| 1: [TypeMention] object
# 121| 9: [Class] B<>
#-----| 1: (Type parameters)
# 121| 0: [TypeParameter] T
@@ -287,7 +287,7 @@ definitions.cs:
#-----| 3: (Base types)
# 130| 1: [TypeMention] I3
# 132| 8: [Method] Tuple
# 132| -1: [TypeMention] (I1,B<A>)
# 132| -1: [TypeMention] (I1, B<A>)
# 132| 1: [TypeMention] I1
# 132| 2: [TypeMention] B<A>
# 132| 1: [TypeMention] A
@@ -393,12 +393,12 @@ definitions.cs:
#-----| 1: (Type parameters)
# 158| 0: [TypeParameter] T
# 160| 5: [Method] Create
# 160| -1: [TypeMention] Nested<>
# 160| -1: [TypeMention] Nested<T>
# 160| 1: [TypeMention] T
# 160| 4: [BlockStmt] {...}
# 160| 0: [ReturnStmt] return ...;
# 160| 0: [ObjectCreation] object creation of type Nested<>
# 160| 0: [TypeMention] Nested<>
# 160| 0: [TypeMention] Nested<T>
# 160| 1: [TypeMention] T
# 164| 13: [Class] C5
# 166| 5: [Field] f
@@ -447,7 +447,7 @@ definitions.cs:
# 174| 1: [IntLiteral] 0
# 175| 4: [LocalVariableDeclStmt] ... ...;
# 175| 0: [LocalVariableDeclAndInitExpr] Boolean temp = ...
# 175| -1: [TypeMention] Boolean
# 175| -1: [TypeMention] bool
# 175| 0: [LocalVariableAccess] access to local variable temp
# 175| 1: [IsExpr] ... is ...
# 175| 0: [LocalVariableAccess] access to local variable c5

66
csharp/ql/test/library-tests/delegates/PrintAst.expected
View File

@@ -3,31 +3,31 @@ delegates.cs:
# 7| 1: [DelegateType] FooDelegate
#-----| 2: (Parameters)
# 7| 0: [Parameter] param
# 7| -1: [TypeMention] String
# 7| -1: [TypeMention] string
# 7| 1: [Parameter] condition
# 7| -1: [TypeMention] Boolean
# 7| -1: [TypeMention] bool
# 7| 2: [Parameter] args
# 7| -1: [TypeMention] String[]
# 7| 1: [TypeMention] String
# 7| 1: [TypeMention] string
# 9| 2: [DelegateType] D1
#-----| 2: (Parameters)
# 9| 0: [Parameter] i
# 9| -1: [TypeMention] Int32
# 9| -1: [TypeMention] int
# 9| 1: [Parameter] d
# 9| -1: [TypeMention] Double
# 9| -1: [TypeMention] double
# 11| 3: [Class] A
# 14| 5: [Method] M1
# 14| -1: [TypeMention] Int32
# 14| -1: [TypeMention] int
#-----| 2: (Parameters)
# 14| 0: [Parameter] a
# 14| -1: [TypeMention] Int32
# 14| -1: [TypeMention] int
# 14| 1: [Parameter] b
# 14| -1: [TypeMention] Double
# 14| -1: [TypeMention] double
# 14| 4: [BlockStmt] {...}
# 14| 0: [ReturnStmt] return ...;
# 14| 0: [CastExpr] (...) ...
# 14| 0: [TypeAccess] access to type Int32
# 14| 0: [TypeMention] Int32
# 14| 0: [TypeMention] int
# 14| 1: [AddExpr] ... + ...
# 14| 0: [CastExpr] (...) ...
# 14| 1: [ParameterAccess] access to parameter a
@@ -36,37 +36,37 @@ delegates.cs:
# 21| 5: [DelegateType] D2
#-----| 2: (Parameters)
# 21| 0: [Parameter] c
# 21| -1: [TypeMention] Int32
# 21| -1: [TypeMention] int
# 21| 1: [Parameter] d
# 21| -1: [TypeMention] Double
# 21| -1: [TypeMention] double
# 23| 6: [Method] M1
# 23| -1: [TypeMention] Int32
# 23| -1: [TypeMention] int
#-----| 2: (Parameters)
# 23| 0: [Parameter] f
# 23| -1: [TypeMention] Int32
# 23| -1: [TypeMention] int
# 23| 1: [Parameter] g
# 23| -1: [TypeMention] Double
# 23| -1: [TypeMention] double
# 23| 4: [BlockStmt] {...}
# 23| 0: [ReturnStmt] return ...;
# 23| 0: [SubExpr] ... - ...
# 23| 0: [ParameterAccess] access to parameter f
# 23| 1: [CastExpr] (...) ...
# 23| 0: [TypeAccess] access to type Int32
# 23| 0: [TypeMention] Int32
# 23| 0: [TypeMention] int
# 23| 1: [ParameterAccess] access to parameter g
# 25| 7: [Method] M2
# 25| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 25| 0: [Parameter] k
# 25| -1: [TypeMention] Int32
# 25| -1: [TypeMention] int
# 25| 1: [Parameter] l
# 25| -1: [TypeMention] Double
# 25| -1: [TypeMention] double
# 25| 4: [BlockStmt] {...}
# 27| 8: [Method] M3
# 27| -1: [TypeMention] Int32
# 27| -1: [TypeMention] int
#-----| 2: (Parameters)
# 27| 0: [Parameter] g
# 27| -1: [TypeMention] Int32
# 27| -1: [TypeMention] int
# 27| 4: [BlockStmt] {...}
# 27| 0: [ReturnStmt] return ...;
# 27| 0: [AddExpr] ... + ...
@@ -78,7 +78,7 @@ delegates.cs:
# 29| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 29| 0: [Parameter] g
# 29| -1: [TypeMention] Int32
# 29| -1: [TypeMention] int
# 29| 4: [BlockStmt] {...}
# 33| 5: [DelegateType] Predicate<>
#-----| 1: (Type parameters)
@@ -88,45 +88,45 @@ delegates.cs:
# 33| -1: [TypeMention] T
# 35| 6: [Class] X
# 38| 5: [Method] F
# 38| -1: [TypeMention] Boolean
# 38| -1: [TypeMention] bool
#-----| 2: (Parameters)
# 38| 0: [Parameter] i
# 38| -1: [TypeMention] Int32
# 38| -1: [TypeMention] int
# 38| 4: [BlockStmt] {...}
# 38| 0: [ReturnStmt] return ...;
# 38| 0: [LTExpr] ... < ...
# 38| 0: [ParameterAccess] access to parameter i
# 38| 1: [IntLiteral] 2
# 40| 6: [Method] G
# 40| -1: [TypeMention] Boolean
# 40| -1: [TypeMention] bool
#-----| 2: (Parameters)
# 40| 0: [Parameter] s
# 40| -1: [TypeMention] String
# 40| -1: [TypeMention] string
# 40| 4: [BlockStmt] {...}
# 40| 0: [ReturnStmt] return ...;
# 40| 0: [BoolLiteral] false
# 44| 7: [DelegateType] D
#-----| 2: (Parameters)
# 44| 0: [Parameter] x
# 44| -1: [TypeMention] Int32
# 44| -1: [TypeMention] int
# 46| 8: [Class] C
# 49| 5: [Method] M1
# 49| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 49| 0: [Parameter] i
# 49| -1: [TypeMention] Int32
# 49| -1: [TypeMention] int
# 49| 4: [BlockStmt] {...}
# 50| 6: [Method] M2
# 50| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 50| 0: [Parameter] i
# 50| -1: [TypeMention] Int32
# 50| -1: [TypeMention] int
# 50| 4: [BlockStmt] {...}
# 51| 7: [Method] M3
# 51| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 51| 0: [Parameter] i
# 51| -1: [TypeMention] Int32
# 51| -1: [TypeMention] int
# 51| 4: [BlockStmt] {...}
# 55| 9: [Class] Test
# 58| 5: [Method] Main
@@ -206,7 +206,7 @@ delegates.cs:
# 72| 0: [IntLiteral] 40
# 73| 11: [LocalVariableDeclStmt] ... ...;
# 73| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 73| -1: [TypeMention] Int32
# 73| -1: [TypeMention] int
# 73| 0: [LocalVariableAccess] access to local variable x
# 73| 1: [IntLiteral] 0
# 74| 12: [ExprStmt] ...;
@@ -218,18 +218,18 @@ delegates.cs:
# 76| 13: [LocalVariableDeclStmt] ... ...;
# 76| 0: [LocalVariableDeclAndInitExpr] Predicate<Int32> pi = ...
# 76| -1: [TypeMention] Predicate<Int32>
# 76| 1: [TypeMention] Int32
# 76| 1: [TypeMention] int
# 76| 0: [LocalVariableAccess] access to local variable pi
# 76| 1: [ExplicitDelegateCreation] delegate creation of type Predicate<Int32>
# 76| -1: [TypeMention] Predicate<Int32>
# 76| 1: [TypeMention] Int32
# 76| 1: [TypeMention] int
# 76| 0: [MethodAccess] access to method F
# 76| -1: [TypeAccess] access to type X
# 76| 0: [TypeMention] X
# 77| 14: [LocalVariableDeclStmt] ... ...;
# 77| 0: [LocalVariableDeclAndInitExpr] Predicate<String> ps = ...
# 77| -1: [TypeMention] Predicate<String>
# 77| 1: [TypeMention] String
# 77| 1: [TypeMention] string
# 77| 0: [LocalVariableAccess] access to local variable ps
# 77| 1: [ImplicitDelegateCreation] delegate creation of type Predicate<String>
# 77| 0: [MethodAccess] access to method G
@@ -237,7 +237,7 @@ delegates.cs:
# 77| 0: [TypeMention] X
# 79| 15: [LocalVariableDeclStmt] ... ...;
# 79| 0: [LocalVariableDeclAndInitExpr] Boolean b = ...
# 79| -1: [TypeMention] Boolean
# 79| -1: [TypeMention] bool
# 79| 0: [LocalVariableAccess] access to local variable b
# 79| 1: [BitwiseAndExpr] ... & ...
# 79| 0: [DelegateCall] delegate call

32
csharp/ql/test/library-tests/dynamic/PrintAst.expected
View File

@@ -3,14 +3,14 @@ dynamic.cs:
# 6| 4: [InstanceConstructor] DynamicTest
#-----| 2: (Parameters)
# 6| 0: [Parameter] x
# 6| -1: [TypeMention] Int32
# 6| -1: [TypeMention] int
# 6| 4: [BlockStmt] {...}
# 8| 5: [Method] Main
# 8| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 8| 0: [Parameter] args
# 8| -1: [TypeMention] String[]
# 8| 1: [TypeMention] String
# 8| 1: [TypeMention] string
# 9| 4: [BlockStmt] {...}
# 10| 0: [LocalVariableDeclStmt] ... ...;
# 10| 0: [LocalVariableDeclAndInitExpr] DynamicTest dt = ...
@@ -25,13 +25,13 @@ dynamic.cs:
# 11| 0: [LocalVariableAccess] access to local variable array
# 11| 1: [ArrayCreation] array creation of type Int32[]
# 11| -2: [TypeMention] Int32[]
# 11| 1: [TypeMention] Int32
# 11| 1: [TypeMention] int
# 11| -1: [ArrayInitializer] { ..., ... }
# 11| 0: [IntLiteral] 42
# 12| 2: [LocalVariableDeclStmt] ... ...;
# 12| 0: [LocalVariableDeclAndInitExpr] Action<Int32> action = ...
# 12| -1: [TypeMention] Action<Int32>
# 12| 1: [TypeMention] Int32
# 12| 1: [TypeMention] int
# 12| 0: [LocalVariableAccess] access to local variable action
# 12| 1: [LambdaExpr] (...) => ...
#-----| 2: (Parameters)
@@ -58,15 +58,15 @@ dynamic.cs:
# 17| 0: [LocalVariableAccess] access to local variable d
# 18| 6: [ExprStmt] ...;
# 18| 0: [DynamicObjectCreation] dynamic object creation of type KeyValuePair<String,dynamic>
# 18| -1: [TypeMention] KeyValuePair<String,dynamic>
# 18| 1: [TypeMention] String
# 18| -1: [TypeMention] KeyValuePair<String, dynamic>
# 18| 1: [TypeMention] string
# 18| 2: [TypeMention] dynamic
# 18| 0: [StringLiteral] ""
# 18| 1: [LocalVariableAccess] access to local variable d
# 19| 7: [ExprStmt] ...;
# 19| 0: [DynamicObjectCreation] dynamic object creation of type KeyValuePair<String,dynamic>
# 19| -1: [TypeMention] KeyValuePair<String,dynamic>
# 19| 1: [TypeMention] String
# 19| -1: [TypeMention] KeyValuePair<String, dynamic>
# 19| 1: [TypeMention] string
# 19| 2: [TypeMention] dynamic
# 19| 0: [StringLiteral] ""
# 19| 1: [LocalVariableAccess] access to local variable d
@@ -119,7 +119,7 @@ dynamic.cs:
# 37| 1: [LocalVariableAccess] access to local variable d
# 40| 18: [LocalVariableDeclStmt] ... ...;
# 40| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 40| -1: [TypeMention] Int32
# 40| -1: [TypeMention] int
# 40| 0: [LocalVariableAccess] access to local variable i
# 40| 1: [IntLiteral] 0
# 41| 19: [ExprStmt] ...;
@@ -239,19 +239,19 @@ dynamic.cs:
# 78| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 78| 0: [Parameter] x
# 78| -1: [TypeMention] Int32
# 78| -1: [TypeMention] int
# 78| 4: [BlockStmt] {...}
# 79| 7: [Method] Foo
# 79| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 79| 0: [Parameter] x
# 79| -1: [TypeMention] String
# 79| -1: [TypeMention] string
# 79| 4: [BlockStmt] {...}
# 81| 8: [Method] Bar
# 81| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 81| 0: [Parameter] x
# 81| -1: [TypeMention] String
# 81| -1: [TypeMention] string
# 81| 4: [BlockStmt] {...}
# 83| 9: [IncrementOperator] ++
# 83| -1: [TypeMention] DynamicTest
@@ -262,18 +262,18 @@ dynamic.cs:
# 85| 0: [ReturnStmt] return ...;
# 85| 0: [ParameterAccess] access to parameter dt
# 88| 10: [Field] Field
# 88| -1: [TypeMention] Int32
# 88| -1: [TypeMention] int
# 90| 11: [Property] Prop
# 90| -1: [TypeMention] Int32
# 90| -1: [TypeMention] int
# 90| 3: [Getter] get_Prop
# 90| 4: [Setter] set_Prop
#-----| 2: (Parameters)
# 90| 0: [Parameter] value
# 92| 12: [Indexer] Item
# 92| -1: [TypeMention] Int32
# 92| -1: [TypeMention] int
#-----| 1: (Parameters)
# 92| 0: [Parameter] x
# 92| -1: [TypeMention] Int32
# 92| -1: [TypeMention] int
# 92| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 92| 0: [Parameter] x

14
csharp/ql/test/library-tests/enums/PrintAst.expected
View File

@@ -69,7 +69,7 @@ enums.cs:
# 51| -1: [TypeAccess] access to type SparseColor
# 51| 0: [TypeMention] SparseColor
# 54| 6: [Method] StringFromColor
# 54| -1: [TypeMention] String
# 54| -1: [TypeMention] string
#-----| 2: (Parameters)
# 54| 0: [Parameter] c
# 54| -1: [TypeMention] SparseColor
@@ -83,12 +83,12 @@ enums.cs:
# 58| 1: [ReturnStmt] return ...;
# 58| 0: [MethodCall] call to method Format
# 58| -1: [TypeAccess] access to type String
# 58| 0: [TypeMention] String
# 58| 0: [TypeMention] string
# 58| 0: [StringLiteral] "Red = {0}"
# 58| 1: [CastExpr] (...) ...
# 58| 1: [CastExpr] (...) ...
# 58| 0: [TypeAccess] access to type Int32
# 58| 0: [TypeMention] Int32
# 58| 0: [TypeMention] int
# 58| 1: [ParameterAccess] access to parameter c
# 59| 2: [ConstCase] case ...:
# 59| 0: [ConstantPatternExpr,MemberConstantAccess] access to constant Green
@@ -97,12 +97,12 @@ enums.cs:
# 59| 3: [ReturnStmt] return ...;
# 59| 0: [MethodCall] call to method Format
# 59| -1: [TypeAccess] access to type String
# 59| 0: [TypeMention] String
# 59| 0: [TypeMention] string
# 59| 0: [StringLiteral] "Green = {0}"
# 59| 1: [CastExpr] (...) ...
# 59| 1: [CastExpr] (...) ...
# 59| 0: [TypeAccess] access to type Int32
# 59| 0: [TypeMention] Int32
# 59| 0: [TypeMention] int
# 59| 1: [ParameterAccess] access to parameter c
# 60| 4: [ConstCase] case ...:
# 60| 0: [ConstantPatternExpr,MemberConstantAccess] access to constant Blue
@@ -111,12 +111,12 @@ enums.cs:
# 60| 5: [ReturnStmt] return ...;
# 60| 0: [MethodCall] call to method Format
# 60| -1: [TypeAccess] access to type String
# 60| 0: [TypeMention] String
# 60| 0: [TypeMention] string
# 60| 0: [StringLiteral] "Blue = {0}"
# 60| 1: [CastExpr] (...) ...
# 60| 1: [CastExpr] (...) ...
# 60| 0: [TypeAccess] access to type Int32
# 60| 0: [TypeMention] Int32
# 60| 0: [TypeMention] int
# 60| 1: [ParameterAccess] access to parameter c
# 61| 6: [DefaultCase] default:
# 61| 7: [ReturnStmt] return ...;

30
csharp/ql/test/library-tests/events/PrintAst.expected
View File

@@ -3,9 +3,9 @@ events.cs:
# 7| 1: [DelegateType] EventHandler
#-----| 2: (Parameters)
# 7| 0: [Parameter] sender
# 7| -1: [TypeMention] Object
# 7| -1: [TypeMention] object
# 7| 1: [Parameter] e
# 7| -1: [TypeMention] Object
# 7| -1: [TypeMention] object
# 10| 2: [Class] Button
# 13| 5: [Event] Click
# 13| -1: [TypeMention] EventHandler
@@ -19,7 +19,7 @@ events.cs:
# 15| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 15| 0: [Parameter] e
# 15| -1: [TypeMention] Object
# 15| -1: [TypeMention] object
# 16| 4: [BlockStmt] {...}
# 17| 0: [IfStmt] if (...) ...
# 17| 0: [OperatorCall] call to operator !=
@@ -72,36 +72,36 @@ events.cs:
# 41| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 41| 0: [Parameter] sender
# 41| -1: [TypeMention] Object
# 41| -1: [TypeMention] object
# 41| 1: [Parameter] e
# 41| -1: [TypeMention] Object
# 41| -1: [TypeMention] object
# 42| 4: [BlockStmt] {...}
# 45| 8: [Method] CancelButtonClick
# 45| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 45| 0: [Parameter] sender
# 45| -1: [TypeMention] Object
# 45| -1: [TypeMention] object
# 45| 1: [Parameter] e
# 45| -1: [TypeMention] Object
# 45| -1: [TypeMention] object
# 46| 4: [BlockStmt] {...}
# 51| 4: [Class] Control
# 54| 6: [Field] mouseDownEventKey
# 54| -1: [TypeMention] Object
# 54| -1: [TypeMention] object
# 54| 1: [AssignExpr] ... = ...
# 54| 0: [FieldAccess] access to field mouseDownEventKey
# 54| 1: [ObjectCreation] object creation of type Object
# 54| 0: [TypeMention] Object
# 54| 0: [TypeMention] object
# 55| 7: [Field] mouseUpEventKey
# 55| -1: [TypeMention] Object
# 55| -1: [TypeMention] object
# 55| 1: [AssignExpr] ... = ...
# 55| 0: [FieldAccess] access to field mouseUpEventKey
# 55| 1: [ObjectCreation] object creation of type Object
# 55| 0: [TypeMention] Object
# 55| 0: [TypeMention] object
# 58| 8: [Method] GetEventHandler
# 58| -1: [TypeMention] Delegate
#-----| 2: (Parameters)
# 58| 0: [Parameter] key
# 58| -1: [TypeMention] Object
# 58| -1: [TypeMention] object
# 58| 4: [BlockStmt] {...}
# 58| 0: [ReturnStmt] return ...;
# 58| 0: [NullLiteral] null
@@ -109,7 +109,7 @@ events.cs:
# 61| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 61| 0: [Parameter] key
# 61| -1: [TypeMention] Object
# 61| -1: [TypeMention] object
# 61| 1: [Parameter] handler
# 61| -1: [TypeMention] Delegate
# 61| 4: [BlockStmt] {...}
@@ -117,7 +117,7 @@ events.cs:
# 64| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 64| 0: [Parameter] key
# 64| -1: [TypeMention] Object
# 64| -1: [TypeMention] object
# 64| 1: [Parameter] handler
# 64| -1: [TypeMention] Delegate
# 64| 4: [BlockStmt] {...}
@@ -159,7 +159,7 @@ events.cs:
# 81| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 81| 0: [Parameter] args
# 81| -1: [TypeMention] Object
# 81| -1: [TypeMention] object
# 82| 4: [BlockStmt] {...}
# 83| 0: [LocalVariableDeclStmt] ... ...;
# 83| 0: [LocalVariableDeclExpr] EventHandler handler

32
csharp/ql/test/library-tests/exceptions/PrintAst.expected
View File

@@ -4,7 +4,7 @@ exceptions.cs:
# 5| -1: [TypeMention] Void
# 6| 4: [BlockStmt] {...}
# 9| 6: [Field] p
# 9| -1: [TypeMention] Int32
# 9| -1: [TypeMention] int
# 11| 7: [Method] TestNoThrow
# 11| -1: [TypeMention] Void
# 12| 4: [BlockStmt] {...}
@@ -114,7 +114,7 @@ exceptions.cs:
# 105| 0: [EmptyStmt] ;
# 106| 1: [LocalVariableDeclStmt] ... ...;
# 106| 0: [LocalVariableDeclAndInitExpr] Int32 v = ...
# 106| -1: [TypeMention] Int32
# 106| -1: [TypeMention] int
# 106| 0: [LocalVariableAccess] access to local variable v
# 106| 1: [AddExpr] ... + ...
# 106| 0: [IntLiteral] 1
@@ -152,7 +152,7 @@ exceptions.cs:
# 134| 0: [EmptyStmt] ;
# 135| 1: [LocalVariableDeclStmt] ... ...;
# 135| 0: [LocalVariableDeclAndInitExpr] Int32 v = ...
# 135| -1: [TypeMention] Int32
# 135| -1: [TypeMention] int
# 135| 0: [LocalVariableAccess] access to local variable v
# 135| 1: [SubExpr] ... - ...
# 135| 0: [IntLiteral] 1
@@ -190,7 +190,7 @@ exceptions.cs:
# 163| 0: [EmptyStmt] ;
# 164| 1: [LocalVariableDeclStmt] ... ...;
# 164| 0: [LocalVariableDeclAndInitExpr] Int32 v = ...
# 164| -1: [TypeMention] Int32
# 164| -1: [TypeMention] int
# 164| 0: [LocalVariableAccess] access to local variable v
# 164| 1: [MulExpr] ... * ...
# 164| 0: [IntLiteral] 1
@@ -228,7 +228,7 @@ exceptions.cs:
# 192| 0: [EmptyStmt] ;
# 193| 1: [LocalVariableDeclStmt] ... ...;
# 193| 0: [LocalVariableDeclAndInitExpr] String v = ...
# 193| -1: [TypeMention] String
# 193| -1: [TypeMention] string
# 193| 0: [LocalVariableAccess] access to local variable v
# 193| 1: [StringLiteral] ""
# 195| 1: [SpecificCatchClause] catch (...) {...}
@@ -263,13 +263,13 @@ exceptions.cs:
# 220| 0: [BlockStmt] {...}
# 221| 0: [LocalVariableDeclStmt] ... ...;
# 221| 0: [LocalVariableDeclAndInitExpr] String s = ...
# 221| -1: [TypeMention] String
# 221| -1: [TypeMention] string
# 221| 0: [LocalVariableAccess] access to local variable s
# 221| 1: [StringLiteral] ""
# 222| 1: [EmptyStmt] ;
# 223| 2: [LocalVariableDeclStmt] ... ...;
# 223| 0: [LocalVariableDeclAndInitExpr] String v = ...
# 223| -1: [TypeMention] String
# 223| -1: [TypeMention] string
# 223| 0: [LocalVariableAccess] access to local variable v
# 223| 1: [AddExpr] ... + ...
# 223| 0: [LocalVariableAccess] access to local variable s
@@ -307,7 +307,7 @@ exceptions.cs:
# 251| 0: [EmptyStmt] ;
# 252| 1: [LocalVariableDeclStmt] ... ...;
# 252| 0: [LocalVariableDeclAndInitExpr] Int32 v = ...
# 252| -1: [TypeMention] Int32
# 252| -1: [TypeMention] int
# 252| 0: [LocalVariableAccess] access to local variable v
# 252| 1: [DivExpr] ... / ...
# 252| 0: [IntLiteral] 1
@@ -345,7 +345,7 @@ exceptions.cs:
# 280| 0: [EmptyStmt] ;
# 281| 1: [LocalVariableDeclStmt] ... ...;
# 281| 0: [LocalVariableDeclAndInitExpr] Int32 v = ...
# 281| -1: [TypeMention] Int32
# 281| -1: [TypeMention] int
# 281| 0: [LocalVariableAccess] access to local variable v
# 281| 1: [RemExpr] ... % ...
# 281| 0: [IntLiteral] 1
@@ -383,7 +383,7 @@ exceptions.cs:
# 309| 0: [EmptyStmt] ;
# 310| 1: [LocalVariableDeclStmt] ... ...;
# 310| 0: [LocalVariableDeclAndInitExpr] Int32 v = ...
# 310| -1: [TypeMention] Int32
# 310| -1: [TypeMention] int
# 310| 0: [LocalVariableAccess] access to local variable v
# 310| 1: [FieldAccess] access to field p
# 310| -1: [ThisAccess] this access
@@ -420,11 +420,11 @@ exceptions.cs:
# 338| 0: [EmptyStmt] ;
# 339| 1: [LocalVariableDeclStmt] ... ...;
# 339| 0: [LocalVariableDeclAndInitExpr] Int16 v = ...
# 339| -1: [TypeMention] Int16
# 339| -1: [TypeMention] short
# 339| 0: [LocalVariableAccess] access to local variable v
# 339| 1: [CastExpr] (...) ...
# 339| 0: [TypeAccess] access to type Int16
# 339| 0: [TypeMention] Int16
# 339| 0: [TypeMention] short
# 339| 1: [IntLiteral] 1
# 341| 1: [SpecificCatchClause] catch (...) {...}
# 341| 0: [LocalVariableDeclExpr] NullReferenceException ex
@@ -497,7 +497,7 @@ exceptions.cs:
# 396| 0: [BlockStmt] {...}
# 397| 0: [LocalVariableDeclStmt] ... ...;
# 397| 0: [LocalVariableDeclAndInitExpr] Int32 a = ...
# 397| -1: [TypeMention] Int32
# 397| -1: [TypeMention] int
# 397| 0: [LocalVariableAccess] access to local variable a
# 397| 1: [IntLiteral] 1
# 398| 1: [EmptyStmt] ;
@@ -555,7 +555,7 @@ exceptions.cs:
# 449| 0: [BlockStmt] {...}
# 450| 0: [LocalVariableDeclStmt] ... ...;
# 450| 0: [LocalVariableDeclAndInitExpr] Object o = ...
# 450| -1: [TypeMention] Object
# 450| -1: [TypeMention] object
# 450| 0: [LocalVariableAccess] access to local variable o
# 450| 1: [NullLiteral] null
# 451| 1: [EmptyStmt] ;
@@ -581,14 +581,14 @@ exceptions.cs:
# 464| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 464| 0: [Parameter] i
# 464| -1: [TypeMention] Int32
# 464| -1: [TypeMention] int
# 465| 4: [BlockStmt] {...}
# 466| 0: [TryStmt] try {...} ...
# 467| 0: [BlockStmt] {...}
# 468| 0: [EmptyStmt] ;
# 469| 1: [LocalVariableDeclStmt] ... ...;
# 469| 0: [LocalVariableDeclAndInitExpr] Int32 v = ...
# 469| -1: [TypeMention] Int32
# 469| -1: [TypeMention] int
# 469| 0: [LocalVariableAccess] access to local variable v
# 469| 1: [DivExpr] ... / ...
# 469| 0: [IntLiteral] 1

470
csharp/ql/test/library-tests/expressions/PrintAst.expected
View File

File diff suppressed because it is too large Load Diff

66
csharp/ql/test/library-tests/fields/PrintAst.expected
View File

@@ -2,27 +2,27 @@ fields.cs:
# 5| [NamespaceDeclaration] namespace ... { ... }
# 7| 1: [Class] A
# 10| 6: [Field] X
# 10| -1: [TypeMention] Int32
# 10| -1: [TypeMention] int
# 10| 1: [AssignExpr] ... = ...
# 10| 0: [FieldAccess] access to field X
# 10| 1: [IntLiteral] 1
# 10| 7: [Field] Y
# 10| -1: [TypeMention] Int32
# 10| -1: [TypeMention] int
# 10| 8: [Field] Z
# 10| -1: [TypeMention] Int32
# 10| -1: [TypeMention] int
# 10| 1: [AssignExpr] ... = ...
# 10| 0: [FieldAccess] access to field Z
# 10| 1: [IntLiteral] 100
# 13| 2: [Class] B
# 15| 6: [Field] X
# 15| -1: [TypeMention] Int32
# 15| -1: [TypeMention] int
# 15| 1: [AssignExpr] ... = ...
# 15| 0: [FieldAccess] access to field X
# 15| 1: [IntLiteral] 1
# 16| 7: [Field] Y
# 16| -1: [TypeMention] Int32
# 16| -1: [TypeMention] int
# 17| 8: [Field] Z
# 17| -1: [TypeMention] Int32
# 17| -1: [TypeMention] int
# 17| 1: [AssignExpr] ... = ...
# 17| 0: [FieldAccess] access to field Z
# 17| 1: [IntLiteral] 100
@@ -30,7 +30,7 @@ fields.cs:
#-----| 1: (Type parameters)
# 20| 0: [TypeParameter] V
# 23| 5: [Field] count
# 23| -1: [TypeMention] Int32
# 23| -1: [TypeMention] int
# 23| 1: [AssignExpr] ... = ...
# 23| 0: [FieldAccess] access to field count
# 23| 1: [IntLiteral] 0
@@ -40,16 +40,16 @@ fields.cs:
# 25| 0: [PostIncrExpr] ...++
# 25| 0: [FieldAccess] access to field count
# 27| 7: [Property] Count
# 27| -1: [TypeMention] Int32
# 27| -1: [TypeMention] int
# 27| 3: [Getter] get_Count
# 27| 4: [BlockStmt] {...}
# 27| 0: [ReturnStmt] return ...;
# 27| 0: [FieldAccess] access to field count
# 31| 4: [Class] Application
# 34| 6: [Field] finished
# 34| -1: [TypeMention] Boolean
# 34| -1: [TypeMention] bool
# 35| 7: [Field] x
# 35| -1: [TypeMention] Double
# 35| -1: [TypeMention] double
# 35| 1: [AssignExpr] ... = ...
# 35| 0: [FieldAccess] access to field x
# 35| 1: [MethodCall] call to method Sqrt
@@ -57,12 +57,12 @@ fields.cs:
# 35| 0: [TypeMention] Math
# 35| 0: [DoubleLiteral] 2
# 36| 8: [Field] i
# 36| -1: [TypeMention] Int32
# 36| -1: [TypeMention] int
# 36| 1: [AssignExpr] ... = ...
# 36| 0: [FieldAccess] access to field i
# 36| 1: [IntLiteral] 100
# 37| 9: [Field] s
# 37| -1: [TypeMention] String
# 37| -1: [TypeMention] string
# 37| 1: [AssignExpr] ... = ...
# 37| 0: [FieldAccess] access to field s
# 37| 1: [StringLiteral] "Hello"
@@ -71,19 +71,19 @@ fields.cs:
# 40| 4: [BlockStmt] {...}
# 41| 0: [LocalVariableDeclStmt] ... ...;
# 41| 0: [LocalVariableDeclAndInitExpr] Decimal d = ...
# 41| -1: [TypeMention] Decimal
# 41| -1: [TypeMention] decimal
# 41| 0: [LocalVariableAccess] access to local variable d
# 41| 1: [MemberConstantAccess] access to constant MaxValue
# 41| -1: [TypeAccess] access to type Decimal
# 41| 0: [TypeMention] Decimal
# 41| 0: [TypeMention] decimal
# 42| 1: [LocalVariableDeclStmt] ... ...;
# 42| 0: [LocalVariableDeclAndInitExpr] C<Int32> x1 = ...
# 42| -1: [TypeMention] C<Int32>
# 42| 1: [TypeMention] Int32
# 42| 1: [TypeMention] int
# 42| 0: [LocalVariableAccess] access to local variable x1
# 42| 1: [ObjectCreation] object creation of type C<Int32>
# 42| 0: [TypeMention] C<Int32>
# 42| 1: [TypeMention] Int32
# 42| 1: [TypeMention] int
# 43| 2: [ExprStmt] ...;
# 43| 0: [MethodCall] call to method WriteLine
# 43| -1: [TypeAccess] access to type Console
@@ -91,15 +91,15 @@ fields.cs:
# 43| 0: [PropertyCall] access to property Count
# 43| -1: [TypeAccess] access to type C<Int32>
# 43| 0: [TypeMention] C<Int32>
# 43| 1: [TypeMention] Int32
# 43| 1: [TypeMention] int
# 44| 3: [LocalVariableDeclStmt] ... ...;
# 44| 0: [LocalVariableDeclAndInitExpr] C<Double> x2 = ...
# 44| -1: [TypeMention] C<Double>
# 44| 1: [TypeMention] Double
# 44| 1: [TypeMention] double
# 44| 0: [LocalVariableAccess] access to local variable x2
# 44| 1: [ObjectCreation] object creation of type C<Double>
# 44| 0: [TypeMention] C<Double>
# 44| 1: [TypeMention] Double
# 44| 1: [TypeMention] double
# 45| 4: [ExprStmt] ...;
# 45| 0: [MethodCall] call to method WriteLine
# 45| -1: [TypeAccess] access to type Console
@@ -107,7 +107,7 @@ fields.cs:
# 45| 0: [PropertyCall] access to property Count
# 45| -1: [TypeAccess] access to type C<Int32>
# 45| 0: [TypeMention] C<Int32>
# 45| 1: [TypeMention] Int32
# 45| 1: [TypeMention] int
# 50| 5: [Class] Color
# 53| 5: [Field] Black
# 53| -1: [TypeMention] Color
@@ -136,22 +136,22 @@ fields.cs:
# 56| 7: [InstanceConstructor] Color
#-----| 2: (Parameters)
# 56| 0: [Parameter] r
# 56| -1: [TypeMention] Byte
# 56| -1: [TypeMention] byte
# 56| 1: [Parameter] g
# 56| -1: [TypeMention] Byte
# 56| -1: [TypeMention] byte
# 56| 2: [Parameter] b
# 56| -1: [TypeMention] Byte
# 56| -1: [TypeMention] byte
# 56| 4: [BlockStmt] {...}
# 60| 6: [Class] TestBindings
# 63| 6: [Field] a
# 63| -1: [TypeMention] Int32
# 63| -1: [TypeMention] int
# 63| 1: [AssignExpr] ... = ...
# 63| 0: [FieldAccess] access to field a
# 63| 1: [AddExpr] ... + ...
# 63| 0: [FieldAccess] access to field b
# 63| 1: [IntLiteral] 1
# 64| 7: [Field] b
# 64| -1: [TypeMention] Int32
# 64| -1: [TypeMention] int
# 64| 1: [AssignExpr] ... = ...
# 64| 0: [FieldAccess] access to field b
# 64| 1: [AddExpr] ... + ...
@@ -160,7 +160,7 @@ fields.cs:
# 70| [NamespaceDeclaration] namespace ... { ... }
# 72| 1: [Class] A
# 74| 5: [Field] X
# 74| -1: [TypeMention] Int32
# 74| -1: [TypeMention] int
# 74| 1: [AssignExpr] ... = ...
# 74| 0: [MemberConstantAccess] access to constant X
# 74| 1: [AddExpr] ... + ...
@@ -169,13 +169,13 @@ fields.cs:
# 74| 0: [TypeMention] B
# 74| 1: [IntLiteral] 1
# 75| 6: [Field] Y
# 75| -1: [TypeMention] Int32
# 75| -1: [TypeMention] int
# 75| 1: [AssignExpr] ... = ...
# 75| 0: [MemberConstantAccess] access to constant Y
# 75| 1: [IntLiteral] 10
# 78| 2: [Class] B
# 80| 5: [Field] Z
# 80| -1: [TypeMention] Int32
# 80| -1: [TypeMention] int
# 80| 1: [AssignExpr] ... = ...
# 80| 0: [MemberConstantAccess] access to constant Z
# 80| 1: [AddExpr] ... + ...
@@ -185,13 +185,13 @@ fields.cs:
# 80| 1: [IntLiteral] 1
# 83| 3: [Class] C
# 85| 4: [Field] Foo
# 85| -1: [TypeMention] Int32
# 85| -1: [TypeMention] int
# 85| 1: [AssignExpr] ... = ...
# 85| 0: [MemberConstantAccess] access to constant Foo
# 85| 1: [IntLiteral] 1
# 86| 5: [Field] x
# 86| -1: [TypeMention] Nullable<Int64>
# 86| 1: [TypeMention] Int64
# 86| -1: [TypeMention] long?
# 86| 1: [TypeMention] long
# 87| 6: [InstanceConstructor] C
# 88| 4: [BlockStmt] {...}
# 89| 0: [ExprStmt] ...;
@@ -226,13 +226,13 @@ fields.cs:
# 98| 4: [InstanceConstructor] D
#-----| 2: (Parameters)
# 98| 0: [Parameter] d
# 98| -1: [TypeMention] Int32
# 98| -1: [TypeMention] int
# 99| 4: [BlockStmt] {...}
# 101| 5: [ImplicitConversionOperator] implicit conversion
# 101| -1: [TypeMention] D
#-----| 2: (Parameters)
# 101| 0: [Parameter] d
# 101| -1: [TypeMention] Int32
# 101| -1: [TypeMention] int
# 101| 4: [BlockStmt] {...}
# 101| 0: [ReturnStmt] return ...;
# 101| 0: [ObjectCreation] object creation of type D

96
csharp/ql/test/library-tests/generics/PrintAst.expected
View File

@@ -90,7 +90,7 @@ Nesting.cs:
# 26| 0: [LocalVariableAccess] access to local variable a1
# 26| 1: [ObjectCreation] object creation of type A<Int32>
# 26| 0: [TypeMention] A<Int32>
# 26| 1: [TypeMention] Int32
# 26| 1: [TypeMention] int
# 27| 1: [ExprStmt] ...;
# 27| 0: [MethodCall] call to method MA1
# 27| -1: [LocalVariableAccess] access to local variable a1
@@ -106,7 +106,7 @@ Nesting.cs:
# 30| 0: [LocalVariableAccess] access to local variable a2
# 30| 1: [ObjectCreation] object creation of type A<String>
# 30| 0: [TypeMention] A<String>
# 30| 1: [TypeMention] String
# 30| 1: [TypeMention] string
# 31| 4: [ExprStmt] ...;
# 31| 0: [MethodCall] call to method MA1
# 31| -1: [LocalVariableAccess] access to local variable a2
@@ -123,8 +123,8 @@ Nesting.cs:
# 34| 1: [ObjectCreation] object creation of type B<String>
# 34| 0: [TypeMention] B<String>
# 34| 1: [TypeMention] A<Int32>
# 34| 1: [TypeMention] Int32
# 34| 2: [TypeMention] String
# 34| 1: [TypeMention] int
# 34| 2: [TypeMention] string
# 35| 7: [ExprStmt] ...;
# 35| 0: [MethodCall] call to method MB1
# 35| -1: [LocalVariableAccess] access to local variable b1
@@ -143,8 +143,8 @@ Nesting.cs:
# 38| 1: [ObjectCreation] object creation of type B<Int32>
# 38| 0: [TypeMention] B<Int32>
# 38| 1: [TypeMention] A<String>
# 38| 1: [TypeMention] String
# 38| 2: [TypeMention] Int32
# 38| 1: [TypeMention] string
# 38| 2: [TypeMention] int
# 39| 10: [ExprStmt] ...;
# 39| 0: [MethodCall] call to method MB1
# 39| -1: [LocalVariableAccess] access to local variable b2
@@ -163,7 +163,7 @@ Nesting.cs:
# 42| 1: [ObjectCreation] object creation of type C
# 42| 0: [TypeMention] C
# 42| 1: [TypeMention] A<Int32>
# 42| 1: [TypeMention] Int32
# 42| 1: [TypeMention] int
# 43| 13: [ExprStmt] ...;
# 43| 0: [MethodCall] call to method MC1
# 43| -1: [LocalVariableAccess] access to local variable c1
@@ -180,7 +180,7 @@ Nesting.cs:
# 46| 1: [ObjectCreation] object creation of type C
# 46| 0: [TypeMention] C
# 46| 1: [TypeMention] A<String>
# 46| 1: [TypeMention] String
# 46| 1: [TypeMention] string
# 47| 16: [ExprStmt] ...;
# 47| 0: [MethodCall] call to method MC1
# 47| -1: [LocalVariableAccess] access to local variable c2
@@ -198,8 +198,8 @@ Nesting.cs:
# 50| 0: [TypeMention] D<Boolean>
# 50| 1: [TypeMention] C
# 50| 1: [TypeMention] A<Int32>
# 50| 1: [TypeMention] Int32
# 50| 2: [TypeMention] Boolean
# 50| 1: [TypeMention] int
# 50| 2: [TypeMention] bool
# 51| 19: [ExprStmt] ...;
# 51| 0: [MethodCall] call to method MD1
# 51| -1: [LocalVariableAccess] access to local variable d1
@@ -219,8 +219,8 @@ Nesting.cs:
# 54| 0: [TypeMention] D<Decimal>
# 54| 1: [TypeMention] C
# 54| 1: [TypeMention] A<String>
# 54| 1: [TypeMention] String
# 54| 2: [TypeMention] Decimal
# 54| 1: [TypeMention] string
# 54| 2: [TypeMention] decimal
# 55| 22: [ExprStmt] ...;
# 55| 0: [MethodCall] call to method MD1
# 55| -1: [LocalVariableAccess] access to local variable d2
@@ -264,7 +264,7 @@ generics.cs:
# 18| 4: [BlockStmt] {...}
# 18| 0: [LocalVariableDeclStmt] ... ...;
# 18| 0: [LocalVariableDeclExpr] A<> a
# 18| 0: [TypeMention] A<>
# 18| 0: [TypeMention] A<T>
# 18| 1: [TypeMention] T
# 18| 1: [ReturnStmt] return ...;
# 18| 0: [ParameterAccess] access to parameter t
@@ -275,7 +275,7 @@ generics.cs:
# 25| -1: [TypeMention] A<T>
# 25| 1: [TypeMention] T
# 27| 6: [Field] name
# 27| -1: [TypeMention] String
# 27| -1: [TypeMention] string
# 29| 7: [Method] foo
# 29| -1: [TypeMention] Void
# 29| 4: [BlockStmt] {...}
@@ -290,7 +290,7 @@ generics.cs:
# 33| -1: [TypeMention] Void
# 33| 4: [BlockStmt] {...}
# 35| 10: [IndexerProperty] Name
# 35| -1: [TypeMention] String
# 35| -1: [TypeMention] string
# 35| 3: [Getter] get_Name
# 35| 4: [BlockStmt] {...}
# 35| 0: [ReturnStmt] return ...;
@@ -313,16 +313,16 @@ generics.cs:
#-----| 2: (Parameters)
# 37| 0: [Parameter] value
# 39| 12: [IncrementOperator] ++
# 39| -1: [TypeMention] B<>
# 39| -1: [TypeMention] B<T>
# 39| 1: [TypeMention] T
#-----| 2: (Parameters)
# 39| 0: [Parameter] a
# 39| -1: [TypeMention] B<>
# 39| -1: [TypeMention] B<T>
# 39| 1: [TypeMention] T
# 40| 4: [BlockStmt] {...}
# 41| 0: [ReturnStmt] return ...;
# 41| 0: [ObjectCreation] object creation of type B<>
# 41| 0: [TypeMention] B<>
# 41| 0: [TypeMention] B<T>
# 41| 1: [TypeMention] T
# 44| 13: [Destructor] ~B
# 44| 4: [BlockStmt] {...}
@@ -344,19 +344,19 @@ generics.cs:
# 54| 5: [Field] t
# 54| -1: [TypeMention] T
# 55| 6: [Field] myFunc
# 55| -1: [TypeMention] Func<U,T>
# 55| -1: [TypeMention] Func<U, T>
# 55| 1: [TypeMention] U
# 55| 2: [TypeMention] T
# 60| 6: [Class] Grid<>
#-----| 1: (Type parameters)
# 60| 0: [TypeParameter] T
# 63| 5: [Field] NumRows
# 63| -1: [TypeMention] Int32
# 63| -1: [TypeMention] int
# 63| 1: [AssignExpr] ... = ...
# 63| 0: [MemberConstantAccess] access to constant NumRows
# 63| 1: [IntLiteral] 26
# 64| 6: [Field] NumCols
# 64| -1: [TypeMention] Int32
# 64| -1: [TypeMention] int
# 64| 1: [AssignExpr] ... = ...
# 64| 0: [MemberConstantAccess] access to constant NumCols
# 64| 1: [IntLiteral] 10
@@ -371,10 +371,10 @@ generics.cs:
# 66| 0: [MemberConstantAccess] access to constant NumRows
# 66| 1: [MemberConstantAccess] access to constant NumCols
# 68| 8: [Indexer] Item
# 68| -1: [TypeMention] Int32
# 68| -1: [TypeMention] int
#-----| 1: (Parameters)
# 68| 0: [Parameter] i
# 68| -1: [TypeMention] Int32
# 68| -1: [TypeMention] int
# 70| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 68| 0: [Parameter] i
@@ -385,9 +385,9 @@ generics.cs:
# 73| -1: [TypeMention] T
#-----| 1: (Parameters)
# 73| 0: [Parameter] c
# 73| -1: [TypeMention] Char
# 73| -1: [TypeMention] char
# 73| 1: [Parameter] col
# 73| -1: [TypeMention] Int32
# 73| -1: [TypeMention] int
# 75| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 73| 0: [Parameter] c
@@ -398,7 +398,7 @@ generics.cs:
# 77| 0: [ParameterAccess] access to parameter c
# 77| 1: [MethodCall] call to method ToUpper
# 77| -1: [TypeAccess] access to type Char
# 77| 0: [TypeMention] Char
# 77| 0: [TypeMention] char
# 77| 0: [ParameterAccess] access to parameter c
# 78| 1: [IfStmt] if (...) ...
# 78| 0: [LogicalOrExpr] ... || ...
@@ -448,7 +448,7 @@ generics.cs:
# 90| 0: [ParameterAccess] access to parameter c
# 90| 1: [MethodCall] call to method ToUpper
# 90| -1: [TypeAccess] access to type Char
# 90| 0: [TypeMention] Char
# 90| 0: [TypeMention] char
# 90| 0: [ParameterAccess] access to parameter c
# 91| 1: [IfStmt] if (...) ...
# 91| 0: [LogicalOrExpr] ... || ...
@@ -496,18 +496,18 @@ generics.cs:
# 110| 0: [LocalVariableDeclStmt] ... ...;
# 110| 0: [LocalVariableDeclAndInitExpr] B<String> bs = ...
# 110| -1: [TypeMention] B<String>
# 110| 1: [TypeMention] String
# 110| 1: [TypeMention] string
# 110| 0: [LocalVariableAccess] access to local variable bs
# 110| 1: [ObjectCreation] object creation of type B<String>
# 110| 0: [TypeMention] B<String>
# 110| 1: [TypeMention] String
# 110| 1: [TypeMention] string
# 111| 1: [ExprStmt] ...;
# 111| 0: [AssignExpr] ... = ...
# 111| 0: [FieldAccess] access to field at
# 111| -1: [LocalVariableAccess] access to local variable bs
# 111| 1: [ObjectCreation] object creation of type A<String>
# 111| 0: [TypeMention] A<String>
# 111| 1: [TypeMention] String
# 111| 1: [TypeMention] string
# 112| 2: [ExprStmt] ...;
# 112| 0: [MethodCall] call to method foo
# 112| -1: [LocalVariableAccess] access to local variable bs
@@ -520,7 +520,7 @@ generics.cs:
# 115| 0: [MethodCall] call to method staticFoo
# 115| -1: [TypeAccess] access to type B<Object>
# 115| 0: [TypeMention] B<Object>
# 115| 1: [TypeMention] Object
# 115| 1: [TypeMention] object
# 117| 5: [ExprStmt] ...;
# 117| 0: [AssignExpr] ... = ...
# 117| 0: [PropertyCall] access to property Name
@@ -532,7 +532,7 @@ generics.cs:
# 118| -1: [LocalVariableAccess] access to local variable bs
# 118| 1: [ExplicitDelegateCreation] delegate creation of type GenericDelegate<String>
# 118| -1: [TypeMention] GenericDelegate<String>
# 118| 1: [TypeMention] String
# 118| 1: [TypeMention] string
# 118| 0: [MethodAccess] access to method f
# 119| 7: [ExprStmt] ...;
# 119| 0: [OperatorCall] call to operator ++
@@ -540,14 +540,14 @@ generics.cs:
# 121| 8: [LocalVariableDeclStmt] ... ...;
# 121| 0: [LocalVariableDeclAndInitExpr] Grid<Int32> g = ...
# 121| -1: [TypeMention] Grid<Int32>
# 121| 1: [TypeMention] Int32
# 121| 1: [TypeMention] int
# 121| 0: [LocalVariableAccess] access to local variable g
# 121| 1: [ObjectCreation] object creation of type Grid<Int32>
# 121| 0: [TypeMention] Grid<Int32>
# 121| 1: [TypeMention] Int32
# 121| 1: [TypeMention] int
# 122| 9: [LocalVariableDeclStmt] ... ...;
# 122| 0: [LocalVariableDeclAndInitExpr] Int32 j = ...
# 122| -1: [TypeMention] Int32
# 122| -1: [TypeMention] int
# 122| 0: [LocalVariableAccess] access to local variable j
# 122| 1: [IndexerCall] access to indexer
# 122| -1: [LocalVariableAccess] access to local variable g
@@ -559,30 +559,30 @@ generics.cs:
# 124| -1: [ObjectCreation] object creation of type Inner<String>
# 124| 0: [TypeMention] Inner<String>
# 124| 1: [TypeMention] Outer<Object>
# 124| 1: [TypeMention] Object
# 124| 2: [TypeMention] String
# 124| 1: [TypeMention] object
# 124| 2: [TypeMention] string
# 124| 1: [CastExpr] (...) ...
# 124| 1: [IntLiteral] 3
# 126| 11: [ExprStmt] ...;
# 126| 0: [MethodCall] call to method bar
# 126| -1: [ObjectCreation] object creation of type A<String>
# 126| 0: [TypeMention] A<String>
# 126| 1: [TypeMention] String
# 126| 1: [TypeMention] string
# 126| 0: [IntLiteral] 2
# 126| 1: [StringLiteral] ""
# 127| 12: [ExprStmt] ...;
# 127| 0: [MethodCall] call to method bar
# 127| -1: [ObjectCreation] object creation of type A<Int32>
# 127| 0: [TypeMention] A<Int32>
# 127| 1: [TypeMention] Int32
# 127| 1: [TypeMention] int
# 127| 0: [ObjectCreation] object creation of type Test
# 127| 0: [TypeMention] Test
# 127| 1: [IntLiteral] 2
# 130| 6: [Method] f
# 130| -1: [TypeMention] String
# 130| -1: [TypeMention] string
#-----| 2: (Parameters)
# 130| 0: [Parameter] s
# 130| -1: [TypeMention] String
# 130| -1: [TypeMention] string
# 130| 4: [BlockStmt] {...}
# 130| 0: [ReturnStmt] return ...;
# 130| 0: [ParameterAccess] access to parameter s
@@ -593,7 +593,7 @@ generics.cs:
# 137| 0: [TypeParameter] X
#-----| 2: (Parameters)
# 137| 0: [Parameter] i
# 137| -1: [TypeMention] Int32
# 137| -1: [TypeMention] int
# 137| 4: [BlockStmt] {...}
# 139| 6: [Method] fs
# 139| -1: [TypeMention] Void
@@ -601,15 +601,15 @@ generics.cs:
# 139| 0: [TypeParameter] X
#-----| 2: (Parameters)
# 139| 0: [Parameter] i
# 139| -1: [TypeMention] Int32
# 139| -1: [TypeMention] int
# 139| 1: [Parameter] j
# 139| -1: [TypeMention] Int32
# 139| -1: [TypeMention] int
# 139| 4: [BlockStmt] {...}
# 141| 7: [Method] fs
# 141| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 141| 0: [Parameter] i
# 141| -1: [TypeMention] Int32
# 141| -1: [TypeMention] int
# 141| 4: [BlockStmt] {...}
# 145| 9: [Class] Param<>
#-----| 1: (Type parameters)
@@ -667,14 +667,14 @@ generics.cs:
# 168| 0: [MethodCall] call to method CM3
# 168| -1: [ObjectCreation] object creation of type Class<Int32>
# 168| 0: [TypeMention] Class<Int32>
# 168| 1: [TypeMention] Int32
# 168| 1: [TypeMention] int
# 168| 0: [DoubleLiteral] 1
# 168| 1: [IntLiteral] 2
# 169| 5: [ExprStmt] ...;
# 169| 0: [MethodCall] call to method CM3
# 169| -1: [ObjectCreation] object creation of type Class<Double>
# 169| 0: [TypeMention] Class<Double>
# 169| 1: [TypeMention] Double
# 169| 1: [TypeMention] double
# 169| 0: [DoubleLiteral] 1
# 169| 1: [DoubleLiteral] 2
# 173| 11: [Interface] Interface<>
@@ -700,7 +700,7 @@ generics.cs:
# 183| 13: [Class] InheritanceTest
# 185| 5: [Field] member
# 185| -1: [TypeMention] Inheritance<Int32>
# 185| 1: [TypeMention] Int32
# 185| 1: [TypeMention] int
# 188| 14: [Interface] Interface2<,>
#-----| 1: (Type parameters)
# 188| 0: [TypeParameter] T1

2
csharp/ql/test/library-tests/goto/PrintAst.expected
View File

@@ -9,7 +9,7 @@ goto.cs:
# 9| 1: [LabelStmt] s2:
# 9| 2: [LocalVariableDeclStmt] ... ...;
# 9| 0: [LocalVariableDeclAndInitExpr] String s = ...
# 9| -1: [TypeMention] String
# 9| -1: [TypeMention] string
# 9| 0: [LocalVariableAccess] access to local variable s
# 9| 1: [StringLiteral] "5"
# 10| 3: [SwitchStmt] switch (...) {...}

60
csharp/ql/test/library-tests/indexers/PrintAst.expected
View File

@@ -3,13 +3,13 @@ indexers.cs:
# 8| 1: [Class] BitArray
# 11| 4: [Field] bits
# 11| -1: [TypeMention] Int32[]
# 11| 1: [TypeMention] Int32
# 11| 1: [TypeMention] int
# 12| 5: [Field] length
# 12| -1: [TypeMention] Int32
# 12| -1: [TypeMention] int
# 14| 6: [InstanceConstructor] BitArray
#-----| 2: (Parameters)
# 14| 0: [Parameter] length
# 14| -1: [TypeMention] Int32
# 14| -1: [TypeMention] int
# 15| 4: [BlockStmt] {...}
# 16| 0: [IfStmt] if (...) ...
# 16| 0: [LTExpr] ... < ...
@@ -23,7 +23,7 @@ indexers.cs:
# 18| 0: [FieldAccess] access to field bits
# 18| 1: [ArrayCreation] array creation of type Int32[]
# 18| -1: [TypeMention] Int32[]
# 18| 1: [TypeMention] Int32
# 18| 1: [TypeMention] int
# 18| 0: [AddExpr] ... + ...
# 18| 0: [RShiftExpr] ... >> ...
# 18| 0: [SubExpr] ... - ...
@@ -37,16 +37,16 @@ indexers.cs:
# 19| -1: [ThisAccess] this access
# 19| 1: [ParameterAccess] access to parameter length
# 22| 7: [Property] Length
# 22| -1: [TypeMention] Int32
# 22| -1: [TypeMention] int
# 22| 3: [Getter] get_Length
# 22| 4: [BlockStmt] {...}
# 22| 0: [ReturnStmt] return ...;
# 22| 0: [FieldAccess] access to field length
# 24| 8: [Indexer] Item
# 24| -1: [TypeMention] Boolean
# 24| -1: [TypeMention] bool
#-----| 1: (Parameters)
# 24| 0: [Parameter] index
# 24| -1: [TypeMention] Int32
# 24| -1: [TypeMention] int
# 26| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 24| 0: [Parameter] index
@@ -119,10 +119,10 @@ indexers.cs:
# 46| 1: [ParameterAccess] access to parameter index
# 53| 2: [Class] CountPrimes
# 56| 5: [Method] Count
# 56| -1: [TypeMention] Int32
# 56| -1: [TypeMention] int
#-----| 2: (Parameters)
# 56| 0: [Parameter] max
# 56| -1: [TypeMention] Int32
# 56| -1: [TypeMention] int
# 57| 4: [BlockStmt] {...}
# 58| 0: [LocalVariableDeclStmt] ... ...;
# 58| 0: [LocalVariableDeclAndInitExpr] BitArray flags = ...
@@ -135,12 +135,12 @@ indexers.cs:
# 58| 1: [IntLiteral] 1
# 59| 1: [LocalVariableDeclStmt] ... ...;
# 59| 0: [LocalVariableDeclAndInitExpr] Int32 count = ...
# 59| -1: [TypeMention] Int32
# 59| -1: [TypeMention] int
# 59| 0: [LocalVariableAccess] access to local variable count
# 59| 1: [IntLiteral] 1
# 60| 2: [ForStmt] for (...;...;...) ...
# 60| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 60| -1: [TypeMention] Int32
# 60| -1: [TypeMention] int
# 60| 0: [LocalVariableAccess] access to local variable i
# 60| 1: [IntLiteral] 2
# 60| 0: [LEExpr] ... <= ...
@@ -157,7 +157,7 @@ indexers.cs:
# 63| 1: [BlockStmt] {...}
# 64| 0: [ForStmt] for (...;...;...) ...
# 64| -1: [LocalVariableDeclAndInitExpr] Int32 j = ...
# 64| -1: [TypeMention] Int32
# 64| -1: [TypeMention] int
# 64| 0: [LocalVariableAccess] access to local variable j
# 64| 1: [MulExpr] ... * ...
# 64| 0: [LocalVariableAccess] access to local variable i
@@ -184,21 +184,21 @@ indexers.cs:
#-----| 2: (Parameters)
# 72| 0: [Parameter] args
# 72| -1: [TypeMention] String[]
# 72| 1: [TypeMention] String
# 72| 1: [TypeMention] string
# 73| 4: [BlockStmt] {...}
# 74| 0: [LocalVariableDeclStmt] ... ...;
# 74| 0: [LocalVariableDeclAndInitExpr] Int32 max = ...
# 74| -1: [TypeMention] Int32
# 74| -1: [TypeMention] int
# 74| 0: [LocalVariableAccess] access to local variable max
# 74| 1: [MethodCall] call to method Parse
# 74| -1: [TypeAccess] access to type Int32
# 74| 0: [TypeMention] Int32
# 74| 0: [TypeMention] int
# 74| 0: [ArrayAccess] access to array element
# 74| -1: [ParameterAccess] access to parameter args
# 74| 0: [IntLiteral] 0
# 75| 1: [LocalVariableDeclStmt] ... ...;
# 75| 0: [LocalVariableDeclAndInitExpr] Int32 count = ...
# 75| -1: [TypeMention] Int32
# 75| -1: [TypeMention] int
# 75| 0: [LocalVariableAccess] access to local variable count
# 75| 1: [MethodCall] call to method Count
# 75| 0: [LocalVariableAccess] access to local variable max
@@ -213,32 +213,32 @@ indexers.cs:
# 76| 1: [LocalVariableAccess] access to local variable max
# 81| 3: [Class] Grid
# 84| 5: [Field] NumRows
# 84| -1: [TypeMention] Int32
# 84| -1: [TypeMention] int
# 84| 1: [AssignExpr] ... = ...
# 84| 0: [MemberConstantAccess] access to constant NumRows
# 84| 1: [IntLiteral] 26
# 85| 6: [Field] NumCols
# 85| -1: [TypeMention] Int32
# 85| -1: [TypeMention] int
# 85| 1: [AssignExpr] ... = ...
# 85| 0: [MemberConstantAccess] access to constant NumCols
# 85| 1: [IntLiteral] 10
# 87| 7: [Field] cells
# 87| -1: [TypeMention] Int32[,]
# 87| 1: [TypeMention] Int32
# 87| 1: [TypeMention] int
# 87| 1: [AssignExpr] ... = ...
# 87| 0: [FieldAccess] access to field cells
# 87| 1: [ArrayCreation] array creation of type Int32[,]
# 87| -1: [TypeMention] Int32[,]
# 87| 1: [TypeMention] Int32
# 87| 1: [TypeMention] int
# 87| 0: [MemberConstantAccess] access to constant NumRows
# 87| 1: [MemberConstantAccess] access to constant NumCols
# 89| 8: [Indexer] Item
# 89| -1: [TypeMention] Int32
# 89| -1: [TypeMention] int
#-----| 1: (Parameters)
# 89| 0: [Parameter] c
# 89| -1: [TypeMention] Char
# 89| -1: [TypeMention] char
# 89| 1: [Parameter] col
# 89| -1: [TypeMention] Int32
# 89| -1: [TypeMention] int
# 91| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 89| 0: [Parameter] c
@@ -249,7 +249,7 @@ indexers.cs:
# 93| 0: [ParameterAccess] access to parameter c
# 93| 1: [MethodCall] call to method ToUpper
# 93| -1: [TypeAccess] access to type Char
# 93| 0: [TypeMention] Char
# 93| 0: [TypeMention] char
# 93| 0: [ParameterAccess] access to parameter c
# 94| 1: [IfStmt] if (...) ...
# 94| 0: [LogicalOrExpr] ... || ...
@@ -299,7 +299,7 @@ indexers.cs:
# 106| 0: [ParameterAccess] access to parameter c
# 106| 1: [MethodCall] call to method ToUpper
# 106| -1: [TypeAccess] access to type Char
# 106| 0: [TypeMention] Char
# 106| 0: [TypeMention] char
# 106| 0: [ParameterAccess] access to parameter c
# 107| 1: [IfStmt] if (...) ...
# 107| 0: [LogicalOrExpr] ... || ...
@@ -342,10 +342,10 @@ indexers.cs:
# 115| 1: [ParameterAccess] access to parameter value
# 121| 4: [Class] DuplicateIndexerSignatures
# 123| 5: [Indexer] Item
# 123| -1: [TypeMention] Boolean
# 123| -1: [TypeMention] bool
#-----| 1: (Parameters)
# 123| 0: [Parameter] index
# 123| -1: [TypeMention] Int32
# 123| -1: [TypeMention] int
# 125| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 123| 0: [Parameter] index
@@ -353,12 +353,12 @@ indexers.cs:
# 125| 0: [ReturnStmt] return ...;
# 125| 0: [BoolLiteral] false
# 128| 6: [Indexer] Item
# 128| -1: [TypeMention] Int32
# 128| -1: [TypeMention] int
#-----| 1: (Parameters)
# 128| 0: [Parameter] c
# 128| -1: [TypeMention] Char
# 128| -1: [TypeMention] char
# 128| 1: [Parameter] col
# 128| -1: [TypeMention] Int32
# 128| -1: [TypeMention] int
# 130| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 128| 0: [Parameter] c

14
csharp/ql/test/library-tests/initializers/PrintAst.expected
View File

@@ -1,15 +1,15 @@
initializers.cs:
# 3| [Class] S1
# 5| 5: [Field] P1
# 5| -1: [TypeMention] Int32
# 5| -1: [TypeMention] int
# 6| 6: [Property] P2
# 6| -1: [TypeMention] Int32
# 6| -1: [TypeMention] int
# 6| 3: [Getter] get_P2
# 6| 4: [Setter] set_P2
#-----| 2: (Parameters)
# 6| 0: [Parameter] value
# 7| 7: [Property] P3
# 7| -1: [TypeMention] Int32
# 7| -1: [TypeMention] int
# 7| 3: [Setter] set_P3
#-----| 2: (Parameters)
# 7| 0: [Parameter] value
@@ -21,15 +21,15 @@ initializers.cs:
# 12| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 12| 0: [Parameter] x
# 12| -1: [TypeMention] Int32
# 12| -1: [TypeMention] int
# 12| 4: [BlockStmt] {...}
# 13| 6: [Method] Add
# 13| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 13| 0: [Parameter] x
# 13| -1: [TypeMention] Int32
# 13| -1: [TypeMention] int
# 13| 1: [Parameter] y
# 13| -1: [TypeMention] Int32
# 13| -1: [TypeMention] int
# 13| 4: [BlockStmt] {...}
# 14| 7: [Method] GetEnumerator
# 14| -1: [TypeMention] IEnumerator
@@ -42,7 +42,7 @@ initializers.cs:
#-----| 2: (Parameters)
# 19| 0: [Parameter] args
# 19| -1: [TypeMention] String[]
# 19| 1: [TypeMention] String
# 19| 1: [TypeMention] string
# 20| 4: [BlockStmt] {...}
# 21| 0: [ExprStmt] ...;
# 21| 0: [ObjectCreation] object creation of type S1

14
csharp/ql/test/library-tests/linq/PrintAst.expected
View File

@@ -6,11 +6,11 @@ queries.cs:
# 9| 0: [LocalVariableDeclStmt] ... ...;
# 9| 0: [LocalVariableDeclAndInitExpr] IList<Int32> list1 = ...
# 9| -1: [TypeMention] IList<Int32>
# 9| 1: [TypeMention] Int32
# 9| 1: [TypeMention] int
# 9| 0: [LocalVariableAccess] access to local variable list1
# 9| 1: [ObjectCreation] object creation of type List<Int32>
# 9| -2: [TypeMention] List<Int32>
# 9| 1: [TypeMention] Int32
# 9| 1: [TypeMention] int
# 9| -1: [CollectionInitializer] { ..., ... }
# 9| 0: [ElementInitializer] call to method Add
# 9| 0: [IntLiteral] 1
@@ -22,12 +22,12 @@ queries.cs:
# 10| 0: [LocalVariableDeclAndInitExpr] IList<IList<Int32>> list2 = ...
# 10| -1: [TypeMention] IList<IList<Int32>>
# 10| 1: [TypeMention] IList<Int32>
# 10| 1: [TypeMention] Int32
# 10| 1: [TypeMention] int
# 10| 0: [LocalVariableAccess] access to local variable list2
# 10| 1: [ObjectCreation] object creation of type List<IList<Int32>>
# 10| -2: [TypeMention] List<IList<Int32>>
# 10| 1: [TypeMention] IList<Int32>
# 10| 1: [TypeMention] Int32
# 10| 1: [TypeMention] int
# 10| -1: [CollectionInitializer] { ..., ... }
# 10| 0: [ElementInitializer] call to method Add
# 10| 0: [LocalVariableAccess] access to local variable list1
@@ -151,7 +151,7 @@ queries.cs:
# 39| -1: [TypeMention] IEnumerable<Object>
# 39| 0: [LocalVariableAccess] access to local variable list8
# 41| 1: [MethodCall] call to method Select
# 40| -1: [TypeMention] Object
# 40| -1: [TypeMention] object
# 40| 0: [LocalVariableDeclAndInitExpr] Object a = ...
# 40| 0: [LocalVariableAccess] access to local variable a
# 40| 1: [LocalVariableAccess] access to local variable list7
@@ -176,7 +176,7 @@ queries.cs:
# 49| -1: [TypeMention] IEnumerable<String>
# 49| 0: [LocalVariableAccess] access to local variable list11
# 51| 1: [MethodCall] call to method Select
# 50| -1: [TypeMention] String
# 50| -1: [TypeMention] string
# 50| 0: [LocalVariableDeclAndInitExpr] String a = ...
# 50| 0: [LocalVariableAccess] access to local variable a
# 50| 1: [LocalVariableAccess] access to local variable list7
@@ -219,4 +219,4 @@ queries.cs:
# 69| 8: [Class] C
#-----| 3: (Base types)
# 69| 0: [TypeMention] List<Int32>
# 69| 1: [TypeMention] Int32
# 69| 1: [TypeMention] int

52
csharp/ql/test/library-tests/members/PrintAst.expected
View File

@@ -3,13 +3,13 @@ Members.cs:
# 3| 1: [DelegateType] EventHandler
#-----| 2: (Parameters)
# 3| 0: [Parameter] sender
# 3| -1: [TypeMention] Object
# 3| -1: [TypeMention] object
# 3| 1: [Parameter] e
# 3| -1: [TypeMention] Object
# 3| -1: [TypeMention] object
# 6| 2: [Class] Class
# 9| 5: [Class] NestedClass
# 12| 5: [Method] Method
# 12| -1: [TypeMention] String
# 12| -1: [TypeMention] string
#-----| 1: (Type parameters)
# 12| 0: [TypeParameter] T
#-----| 2: (Parameters)
@@ -18,10 +18,10 @@ Members.cs:
# 12| 4: [MethodCall] call to method ToString
# 12| -1: [ParameterAccess] access to parameter t
# 14| 6: [Indexer] Item
# 14| -1: [TypeMention] String
# 14| -1: [TypeMention] string
#-----| 1: (Parameters)
# 14| 0: [Parameter] i
# 14| -1: [TypeMention] Int32
# 14| -1: [TypeMention] int
# 14| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 14| 0: [Parameter] i
@@ -33,9 +33,9 @@ Members.cs:
# 14| 1: [Parameter] value
# 14| 4: [BlockStmt] {...}
# 16| 7: [Field] Field
# 16| -1: [TypeMention] String
# 16| -1: [TypeMention] string
# 18| 8: [IndexerProperty] Prop
# 18| -1: [TypeMention] String
# 18| -1: [TypeMention] string
# 18| 3: [Getter] get_Prop
# 18| 4: [Setter] set_Prop
#-----| 2: (Parameters)
@@ -52,10 +52,10 @@ Members.cs:
# 24| -1: [TypeMention] Void
# 24| 4: [BlockStmt] {...}
# 26| 7: [Indexer] Item
# 26| -1: [TypeMention] String
# 26| -1: [TypeMention] string
#-----| 1: (Parameters)
# 26| 0: [Parameter] i
# 26| -1: [TypeMention] Int32
# 26| -1: [TypeMention] int
# 26| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 26| 0: [Parameter] i
@@ -67,9 +67,9 @@ Members.cs:
# 26| 1: [Parameter] value
# 26| 4: [BlockStmt] {...}
# 28| 8: [Field] Field
# 28| -1: [TypeMention] String
# 28| -1: [TypeMention] string
# 30| 9: [IndexerProperty] Prop
# 30| -1: [TypeMention] String
# 30| -1: [TypeMention] string
# 30| 3: [Getter] get_Prop
# 30| 4: [Setter] set_Prop
#-----| 2: (Parameters)
@@ -85,7 +85,7 @@ Members.cs:
# 35| 3: [Class] Class2
# 37| 5: [Class] NestedClass2
# 39| 5: [Method] Method
# 39| -1: [TypeMention] String
# 39| -1: [TypeMention] string
#-----| 1: (Type parameters)
# 39| 0: [TypeParameter] T
#-----| 2: (Parameters)
@@ -94,10 +94,10 @@ Members.cs:
# 39| 4: [MethodCall] call to method ToString
# 39| -1: [ParameterAccess] access to parameter t
# 40| 6: [Indexer] Item
# 40| -1: [TypeMention] String
# 40| -1: [TypeMention] string
#-----| 1: (Parameters)
# 40| 0: [Parameter] i
# 40| -1: [TypeMention] Int32
# 40| -1: [TypeMention] int
# 40| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 40| 0: [Parameter] i
@@ -109,9 +109,9 @@ Members.cs:
# 40| 1: [Parameter] value
# 40| 4: [BlockStmt] {...}
# 41| 7: [Field] Field
# 41| -1: [TypeMention] String
# 41| -1: [TypeMention] string
# 42| 8: [IndexerProperty] Prop
# 42| -1: [TypeMention] String
# 42| -1: [TypeMention] string
# 42| 3: [Getter] get_Prop
# 42| 4: [Setter] set_Prop
#-----| 2: (Parameters)
@@ -128,10 +128,10 @@ Members.cs:
# 46| -1: [TypeMention] Void
# 46| 4: [BlockStmt] {...}
# 47| 7: [Indexer] Item
# 47| -1: [TypeMention] String
# 47| -1: [TypeMention] string
#-----| 1: (Parameters)
# 47| 0: [Parameter] i
# 47| -1: [TypeMention] Int32
# 47| -1: [TypeMention] int
# 47| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 47| 0: [Parameter] i
@@ -143,9 +143,9 @@ Members.cs:
# 47| 1: [Parameter] value
# 47| 4: [BlockStmt] {...}
# 48| 8: [Field] Field
# 48| -1: [TypeMention] String
# 48| -1: [TypeMention] string
# 49| 9: [IndexerProperty] Prop
# 49| -1: [TypeMention] String
# 49| -1: [TypeMention] string
# 49| 3: [Getter] get_Prop
# 49| 4: [Setter] set_Prop
#-----| 2: (Parameters)
@@ -162,10 +162,10 @@ Members.cs:
# 56| 4: [Method] Method
# 56| -1: [TypeMention] Void
# 57| 5: [Indexer] Item
# 57| -1: [TypeMention] String
# 57| -1: [TypeMention] string
#-----| 1: (Parameters)
# 57| 0: [Parameter] i
# 57| -1: [TypeMention] Int32
# 57| -1: [TypeMention] int
# 57| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 57| 0: [Parameter] i
@@ -174,7 +174,7 @@ Members.cs:
# 57| 0: [Parameter] i
# 57| 1: [Parameter] value
# 58| 6: [IndexerProperty] Prop
# 58| -1: [TypeMention] String
# 58| -1: [TypeMention] string
# 58| 3: [Getter] get_Prop
# 58| 4: [Setter] set_Prop
#-----| 2: (Parameters)
@@ -191,10 +191,10 @@ Members.cs:
# 64| 4: [Method] Method
# 64| -1: [TypeMention] Void
# 65| 5: [Indexer] Item
# 65| -1: [TypeMention] String
# 65| -1: [TypeMention] string
#-----| 1: (Parameters)
# 65| 0: [Parameter] i
# 65| -1: [TypeMention] Int32
# 65| -1: [TypeMention] int
# 65| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 65| 0: [Parameter] i
@@ -203,7 +203,7 @@ Members.cs:
# 65| 0: [Parameter] i
# 65| 1: [Parameter] value
# 66| 6: [IndexerProperty] Prop
# 66| -1: [TypeMention] String
# 66| -1: [TypeMention] string
# 66| 3: [Getter] get_Prop
# 66| 4: [Setter] set_Prop
#-----| 2: (Parameters)

122
csharp/ql/test/library-tests/methods/PrintAst.expected
View File

@@ -5,13 +5,13 @@ methods.cs:
# 9| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 9| 0: [Parameter] x
# 9| -1: [TypeMention] Int32
# 9| -1: [TypeMention] int
# 9| 1: [Parameter] y
# 9| -1: [TypeMention] Int32
# 9| -1: [TypeMention] int
# 10| 4: [BlockStmt] {...}
# 11| 0: [LocalVariableDeclStmt] ... ...;
# 11| 0: [LocalVariableDeclAndInitExpr] Int32 temp = ...
# 11| -1: [TypeMention] Int32
# 11| -1: [TypeMention] int
# 11| 0: [LocalVariableAccess] access to local variable temp
# 11| 1: [ParameterAccess] access to parameter x
# 12| 1: [ExprStmt] ...;
@@ -27,11 +27,11 @@ methods.cs:
# 17| 4: [BlockStmt] {...}
# 18| 0: [LocalVariableDeclStmt] ... ...;
# 18| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 18| -1: [TypeMention] Int32
# 18| -1: [TypeMention] int
# 18| 0: [LocalVariableAccess] access to local variable i
# 18| 1: [IntLiteral] 1
# 18| 1: [LocalVariableDeclAndInitExpr] Int32 j = ...
# 18| -1: [TypeMention] Int32
# 18| -1: [TypeMention] int
# 18| 0: [LocalVariableAccess] access to local variable j
# 18| 1: [IntLiteral] 2
# 19| 1: [ExprStmt] ...;
@@ -61,13 +61,13 @@ methods.cs:
# 28| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 28| 0: [Parameter] x
# 28| -1: [TypeMention] Int32
# 28| -1: [TypeMention] int
# 28| 1: [Parameter] y
# 28| -1: [TypeMention] Int32
# 28| -1: [TypeMention] int
# 28| 2: [Parameter] result
# 28| -1: [TypeMention] Int32
# 28| -1: [TypeMention] int
# 28| 3: [Parameter] remainder
# 28| -1: [TypeMention] Int32
# 28| -1: [TypeMention] int
# 29| 4: [BlockStmt] {...}
# 30| 0: [ExprStmt] ...;
# 30| 0: [AssignExpr] ... = ...
@@ -86,9 +86,9 @@ methods.cs:
# 35| 4: [BlockStmt] {...}
# 36| 0: [LocalVariableDeclStmt] ... ...;
# 36| 0: [LocalVariableDeclExpr] Int32 res
# 36| 0: [TypeMention] Int32
# 36| 0: [TypeMention] int
# 36| 1: [LocalVariableDeclExpr] Int32 rem
# 36| 0: [TypeMention] Int32
# 36| 0: [TypeMention] int
# 37| 1: [ExprStmt] ...;
# 37| 0: [MethodCall] call to method Divide
# 37| 0: [IntLiteral] 10
@@ -109,19 +109,19 @@ methods.cs:
# 45| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 45| 0: [Parameter] fmt
# 45| -1: [TypeMention] String
# 45| -1: [TypeMention] string
# 45| 1: [Parameter] args
# 45| -1: [TypeMention] Object[]
# 45| 1: [TypeMention] Object
# 45| 1: [TypeMention] object
# 45| 4: [BlockStmt] {...}
# 46| 6: [Method] WriteLine
# 46| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 46| 0: [Parameter] fmt
# 46| -1: [TypeMention] String
# 46| -1: [TypeMention] string
# 46| 1: [Parameter] args
# 46| -1: [TypeMention] Object[]
# 46| 1: [TypeMention] Object
# 46| 1: [TypeMention] object
# 46| 4: [BlockStmt] {...}
# 49| 4: [Class] TestOverloading
# 52| 5: [Method] F
@@ -136,7 +136,7 @@ methods.cs:
# 57| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 57| 0: [Parameter] x
# 57| -1: [TypeMention] Object
# 57| -1: [TypeMention] object
# 58| 4: [BlockStmt] {...}
# 59| 0: [ExprStmt] ...;
# 59| 0: [MethodCall] call to method WriteLine
@@ -147,7 +147,7 @@ methods.cs:
# 62| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 62| 0: [Parameter] x
# 62| -1: [TypeMention] Int32
# 62| -1: [TypeMention] int
# 63| 4: [BlockStmt] {...}
# 64| 0: [ExprStmt] ...;
# 64| 0: [MethodCall] call to method WriteLine
@@ -158,7 +158,7 @@ methods.cs:
# 67| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 67| 0: [Parameter] x
# 67| -1: [TypeMention] Double
# 67| -1: [TypeMention] double
# 68| 4: [BlockStmt] {...}
# 69| 0: [ExprStmt] ...;
# 69| 0: [MethodCall] call to method WriteLine
@@ -182,9 +182,9 @@ methods.cs:
# 77| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 77| 0: [Parameter] x
# 77| -1: [TypeMention] Double
# 77| -1: [TypeMention] double
# 77| 1: [Parameter] y
# 77| -1: [TypeMention] Double
# 77| -1: [TypeMention] double
# 78| 4: [BlockStmt] {...}
# 79| 0: [ExprStmt] ...;
# 79| 0: [MethodCall] call to method WriteLine
@@ -209,13 +209,13 @@ methods.cs:
# 88| 0: [MethodCall] call to method F
# 88| 0: [CastExpr] (...) ...
# 88| 0: [TypeAccess] access to type Double
# 88| 0: [TypeMention] Double
# 88| 0: [TypeMention] double
# 88| 1: [IntLiteral] 1
# 89| 5: [ExprStmt] ...;
# 89| 0: [MethodCall] call to method F
# 89| 0: [CastExpr] (...) ...
# 89| 0: [TypeAccess] access to type Object
# 89| 0: [TypeMention] Object
# 89| 0: [TypeMention] object
# 89| 1: [IntLiteral] 1
# 90| 6: [ExprStmt] ...;
# 90| 0: [MethodCall] call to method F
@@ -228,25 +228,25 @@ methods.cs:
# 91| 1: [IntLiteral] 1
# 96| 5: [Class] Extensions
# 99| 4: [ExtensionMethod] ToInt32
# 99| -1: [TypeMention] Int32
# 99| -1: [TypeMention] int
#-----| 2: (Parameters)
# 99| 0: [Parameter] s
# 99| -1: [TypeMention] String
# 99| -1: [TypeMention] string
# 100| 4: [BlockStmt] {...}
# 101| 0: [ReturnStmt] return ...;
# 101| 0: [MethodCall] call to method Parse
# 101| -1: [TypeAccess] access to type Int32
# 101| 0: [TypeMention] Int32
# 101| 0: [TypeMention] int
# 101| 0: [ParameterAccess] access to parameter s
# 104| 5: [ExtensionMethod] ToBool
# 104| -1: [TypeMention] Boolean
# 104| -1: [TypeMention] bool
#-----| 2: (Parameters)
# 104| 0: [Parameter] s
# 104| -1: [TypeMention] String
# 104| -1: [TypeMention] string
# 104| 1: [Parameter] f
# 104| -1: [TypeMention] Func<String,Boolean>
# 104| 1: [TypeMention] String
# 104| 2: [TypeMention] Boolean
# 104| -1: [TypeMention] Func<String, Boolean>
# 104| 1: [TypeMention] string
# 104| 2: [TypeMention] bool
# 105| 4: [BlockStmt] {...}
# 106| 0: [ReturnStmt] return ...;
# 106| 0: [DelegateCall] delegate call
@@ -262,9 +262,9 @@ methods.cs:
# 109| -1: [TypeMention] T[]
# 109| 1: [TypeMention] T
# 109| 1: [Parameter] index
# 109| -1: [TypeMention] Int32
# 109| -1: [TypeMention] int
# 109| 2: [Parameter] count
# 109| -1: [TypeMention] Int32
# 109| -1: [TypeMention] int
# 110| 4: [BlockStmt] {...}
# 111| 0: [IfStmt] if (...) ...
# 111| 0: [LogicalOrExpr] ... || ...
@@ -305,7 +305,7 @@ methods.cs:
# 115| 3: [ReturnStmt] return ...;
# 115| 0: [LocalVariableAccess] access to local variable result
# 118| 8: [Method] CallToInt32
# 118| -1: [TypeMention] Int32
# 118| -1: [TypeMention] int
# 118| 4: [MethodCall] call to method ToInt32
# 118| 0: [StringLiteral] "0"
# 121| 6: [Class] TestExtensions
@@ -315,7 +315,7 @@ methods.cs:
# 126| 0: [LocalVariableDeclStmt] ... ...;
# 126| 0: [LocalVariableDeclAndInitExpr] String[] strings = ...
# 126| -1: [TypeMention] String[]
# 126| 1: [TypeMention] String
# 126| 1: [TypeMention] string
# 126| 0: [LocalVariableAccess] access to local variable strings
# 126| 1: [ArrayCreation] array creation of type String[]
# 126| -1: [ArrayInitializer] { ..., ... }
@@ -324,7 +324,7 @@ methods.cs:
# 126| 2: [StringLiteral] "333"
# 126| 3: [StringLiteral] "4444"
# 127| 1: [ForeachStmt] foreach (... ... in ...) ...
# 127| -1: [TypeMention] String
# 127| -1: [TypeMention] string
# 127| 0: [LocalVariableDeclExpr] String s
# 127| 1: [MethodCall] call to method Slice
# 127| -1: [LocalVariableAccess] access to local variable strings
@@ -350,31 +350,31 @@ methods.cs:
# 134| 1: [ImplicitDelegateCreation] delegate creation of type Func<String,Boolean>
# 134| 0: [MethodAccess] access to method Parse
# 134| -1: [TypeAccess] access to type Boolean
# 134| 0: [TypeMention] Boolean
# 134| 0: [TypeMention] bool
# 139| 7: [Class] TestDefaultParameters
# 141| 4: [Method] Method1
# 141| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 141| 0: [Parameter] x
# 141| -1: [TypeMention] Int32
# 141| -1: [TypeMention] int
# 141| 1: [Parameter] y
# 141| -1: [TypeMention] Int32
# 141| -1: [TypeMention] int
# 142| 4: [BlockStmt] {...}
# 145| 5: [Method] Method2
# 145| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 145| 0: [Parameter] a
# 145| -1: [TypeMention] Int32
# 145| -1: [TypeMention] int
# 145| 1: [Parameter] b
# 145| -1: [TypeMention] Int32
# 145| -1: [TypeMention] int
# 145| 2: [Parameter] c
# 145| -1: [TypeMention] Int32
# 145| -1: [TypeMention] int
# 145| 1: [IntLiteral] 1
# 145| 3: [Parameter] d
# 145| -1: [TypeMention] Int32
# 145| -1: [TypeMention] int
# 145| 1: [IntLiteral] 2
# 145| 4: [Parameter] e
# 145| -1: [TypeMention] String
# 145| -1: [TypeMention] string
# 145| 1: [AddExpr] ... + ...
# 145| 0: [StringLiteral] "a"
# 145| 1: [StringLiteral] "b"
@@ -382,36 +382,36 @@ methods.cs:
# 149| 6: [InstanceConstructor] TestDefaultParameters
#-----| 2: (Parameters)
# 149| 0: [Parameter] x
# 149| -1: [TypeMention] Int32
# 149| -1: [TypeMention] int
# 150| 4: [BlockStmt] {...}
# 153| 7: [InstanceConstructor] TestDefaultParameters
#-----| 2: (Parameters)
# 153| 0: [Parameter] x
# 153| -1: [TypeMention] String
# 153| -1: [TypeMention] string
# 153| 1: [StringLiteral] "abc"
# 153| 1: [Parameter] y
# 153| -1: [TypeMention] Double
# 153| -1: [TypeMention] double
# 153| 1: [ObjectCreation] object creation of type Double
# 153| 0: [TypeMention] Double
# 153| 0: [TypeMention] double
# 154| 4: [BlockStmt] {...}
# 157| 8: [DelegateType] Del
#-----| 2: (Parameters)
# 157| 0: [Parameter] a
# 157| -1: [TypeMention] String
# 157| -1: [TypeMention] string
# 157| 1: [Parameter] b
# 157| -1: [TypeMention] Int32
# 157| -1: [TypeMention] int
# 157| 1: [IntLiteral] 12
# 157| 2: [Parameter] c
# 157| -1: [TypeMention] Double
# 157| -1: [TypeMention] double
# 157| 1: [ObjectCreation] object creation of type Double
# 157| 0: [TypeMention] Double
# 157| 0: [TypeMention] double
# 159| 9: [Indexer] Item
# 159| -1: [TypeMention] Int32
# 159| -1: [TypeMention] int
#-----| 1: (Parameters)
# 159| 0: [Parameter] x
# 159| -1: [TypeMention] Int32
# 159| -1: [TypeMention] int
# 159| 1: [Parameter] y
# 159| -1: [TypeMention] Int32
# 159| -1: [TypeMention] int
# 159| 1: [IntLiteral] 0
# 161| 3: [Getter] get_Item
#-----| 2: (Parameters)
@@ -432,12 +432,12 @@ methods.cs:
# 162| 4: [BlockStmt] {...}
# 166| 8: [Class] TestDefaultExtensionParameters
# 168| 4: [ExtensionMethod] Plus
# 168| -1: [TypeMention] Int32
# 168| -1: [TypeMention] int
#-----| 2: (Parameters)
# 168| 0: [Parameter] left
# 168| -1: [TypeMention] Int32
# 168| -1: [TypeMention] int
# 168| 1: [Parameter] right
# 168| -1: [TypeMention] Int32
# 168| -1: [TypeMention] int
# 168| 1: [IntLiteral] 0
# 169| 4: [BlockStmt] {...}
# 170| 0: [ReturnStmt] return ...;
@@ -454,20 +454,20 @@ methods.cs:
# 173| -1: [TypeMention] IEnumerable<T>
# 173| 1: [TypeMention] T
# 173| 1: [Parameter] i
# 173| -1: [TypeMention] Int32
# 173| -1: [TypeMention] int
# 173| 1: [IntLiteral] 1
# 174| 4: [BlockStmt] {...}
# 175| 0: [ReturnStmt] return ...;
# 175| 0: [ParameterAccess] access to parameter list
# 178| 7: [ExtensionMethod] SkipTwoInt
# 178| -1: [TypeMention] IEnumerable<Int32>
# 178| 1: [TypeMention] Int32
# 178| 1: [TypeMention] int
#-----| 2: (Parameters)
# 178| 0: [Parameter] list
# 178| -1: [TypeMention] IEnumerable<Int32>
# 178| 1: [TypeMention] Int32
# 178| 1: [TypeMention] int
# 178| 1: [Parameter] i
# 178| -1: [TypeMention] Int32
# 178| -1: [TypeMention] int
# 178| 1: [IntLiteral] 1
# 179| 4: [BlockStmt] {...}
# 180| 0: [ReturnStmt] return ...;

12
csharp/ql/test/library-tests/nestedtypes/PrintAst.expected
View File

@@ -71,9 +71,9 @@ nestedtypes.cs:
# 65| 0: [MethodCall] call to method F
# 65| -1: [TypeAccess] access to type Inner<String>
# 65| -2: [TypeMention] Inner<String>
# 65| 1: [TypeMention] String
# 65| 1: [TypeMention] string
# 65| -1: [TypeAccess] access to type Outer<>
# 65| 0: [TypeMention] Outer<>
# 65| 0: [TypeMention] Outer<T>
# 65| 1: [TypeMention] T
# 65| 0: [ParameterAccess] access to parameter t
# 65| 1: [StringLiteral] "abc"
@@ -81,10 +81,10 @@ nestedtypes.cs:
# 68| 0: [MethodCall] call to method F
# 68| -1: [TypeAccess] access to type Inner<String>
# 68| -2: [TypeMention] Inner<String>
# 68| 1: [TypeMention] String
# 68| 1: [TypeMention] string
# 68| -1: [TypeAccess] access to type Outer<Int32>
# 68| 0: [TypeMention] Outer<Int32>
# 68| 1: [TypeMention] Int32
# 68| 1: [TypeMention] int
# 68| 0: [IntLiteral] 3
# 68| 1: [StringLiteral] "abc"
# 69| 2: [LocalVariableDeclStmt] ... ...;
@@ -93,8 +93,8 @@ nestedtypes.cs:
# 69| 0: [LocalVariableAccess] access to local variable type
# 69| 1: [TypeofExpr] typeof(...)
# 69| 0: [TypeAccess] access to type Inner<>
# 69| 0: [TypeMention] Inner<>
# 69| 1: [TypeMention] Outer<>
# 69| 0: [TypeMention] Inner<U>
# 69| 1: [TypeMention] Outer<T>
# 74| 5: [Class] Outer2<>
#-----| 1: (Type parameters)
# 74| 0: [TypeParameter] T

20
csharp/ql/test/library-tests/operators/PrintAst.expected
View File

@@ -4,19 +4,19 @@ operators.cs:
# 10| 4: [InstanceConstructor] IntVector
#-----| 2: (Parameters)
# 10| 0: [Parameter] length
# 10| -1: [TypeMention] Int32
# 10| -1: [TypeMention] int
# 10| 4: [BlockStmt] {...}
# 12| 5: [Property] Length
# 12| -1: [TypeMention] Int32
# 12| -1: [TypeMention] int
# 12| 3: [Getter] get_Length
# 12| 4: [BlockStmt] {...}
# 12| 0: [ReturnStmt] return ...;
# 12| 0: [IntLiteral] 4
# 14| 6: [Indexer] Item
# 14| -1: [TypeMention] Int32
# 14| -1: [TypeMention] int
#-----| 1: (Parameters)
# 14| 0: [Parameter] index
# 14| -1: [TypeMention] Int32
# 14| -1: [TypeMention] int
# 14| 3: [Getter] get_Item
#-----| 2: (Parameters)
# 14| 0: [Parameter] index
@@ -44,7 +44,7 @@ operators.cs:
# 18| -1: [ParameterAccess] access to parameter iv
# 19| 1: [ForStmt] for (...;...;...) ...
# 19| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 19| -1: [TypeMention] Int32
# 19| -1: [TypeMention] int
# 19| 0: [LocalVariableAccess] access to local variable i
# 19| 1: [IntLiteral] 0
# 19| 0: [LTExpr] ... < ...
@@ -91,11 +91,11 @@ operators.cs:
# 34| 0: [LocalVariableAccess] access to local variable iv1
# 39| 3: [Struct] Digit
# 42| 5: [Field] value
# 42| -1: [TypeMention] Byte
# 42| -1: [TypeMention] byte
# 44| 6: [InstanceConstructor] Digit
#-----| 2: (Parameters)
# 44| 0: [Parameter] value
# 44| -1: [TypeMention] Byte
# 44| -1: [TypeMention] byte
# 45| 4: [BlockStmt] {...}
# 46| 0: [IfStmt] if (...) ...
# 46| 0: [LogicalOrExpr] ... || ...
@@ -116,7 +116,7 @@ operators.cs:
# 48| -1: [ThisAccess] this access
# 48| 1: [ParameterAccess] access to parameter value
# 51| 7: [ImplicitConversionOperator] implicit conversion
# 51| -1: [TypeMention] Byte
# 51| -1: [TypeMention] byte
#-----| 2: (Parameters)
# 51| 0: [Parameter] d
# 51| -1: [TypeMention] Digit
@@ -128,7 +128,7 @@ operators.cs:
# 56| -1: [TypeMention] Digit
#-----| 2: (Parameters)
# 56| 0: [Parameter] b
# 56| -1: [TypeMention] Byte
# 56| -1: [TypeMention] byte
# 57| 4: [BlockStmt] {...}
# 58| 0: [ReturnStmt] return ...;
# 58| 0: [ObjectCreation] object creation of type Digit
@@ -148,7 +148,7 @@ operators.cs:
# 68| 1: [IntLiteral] 8
# 69| 1: [LocalVariableDeclStmt] ... ...;
# 69| 0: [LocalVariableDeclAndInitExpr] Byte b = ...
# 69| -1: [TypeMention] Byte
# 69| -1: [TypeMention] byte
# 69| 0: [LocalVariableAccess] access to local variable b
# 69| 1: [OperatorCall] call to operator implicit conversion
# 69| 0: [LocalVariableAccess] access to local variable d

58
csharp/ql/test/library-tests/properties/PrintAst.expected
View File

@@ -2,9 +2,9 @@ properties.cs:
# 5| [NamespaceDeclaration] namespace ... { ... }
# 7| 1: [Class] Button
# 10| 5: [Field] caption
# 10| -1: [TypeMention] String
# 10| -1: [TypeMention] string
# 12| 6: [IndexerProperty] Caption
# 12| -1: [TypeMention] String
# 12| -1: [TypeMention] string
# 15| 3: [Getter] get_Caption
# 15| 4: [BlockStmt] {...}
# 15| 0: [ReturnStmt] return ...;
@@ -38,15 +38,15 @@ properties.cs:
# 29| 1: [StringLiteral] "OK"
# 30| 2: [LocalVariableDeclStmt] ... ...;
# 30| 0: [LocalVariableDeclAndInitExpr] String s = ...
# 30| -1: [TypeMention] String
# 30| -1: [TypeMention] string
# 30| 0: [LocalVariableAccess] access to local variable s
# 30| 1: [PropertyCall] access to property Caption
# 30| -1: [LocalVariableAccess] access to local variable okButton
# 34| 2: [Class] Counter
# 37| 5: [Field] next
# 37| -1: [TypeMention] Int32
# 37| -1: [TypeMention] int
# 39| 6: [Property] Next
# 39| -1: [TypeMention] Int32
# 39| -1: [TypeMention] int
# 41| 3: [Getter] get_Next
# 41| 4: [BlockStmt] {...}
# 41| 0: [ReturnStmt] return ...;
@@ -54,26 +54,26 @@ properties.cs:
# 41| 0: [FieldAccess] access to field next
# 46| 3: [Class] Point
# 49| 5: [Property] X
# 49| -1: [TypeMention] Int32
# 49| -1: [TypeMention] int
# 49| 3: [Getter] get_X
# 49| 4: [Setter] set_X
#-----| 2: (Parameters)
# 49| 0: [Parameter] value
# 50| 6: [Property] Y
# 50| -1: [TypeMention] Int32
# 50| -1: [TypeMention] int
# 50| 3: [Getter] get_Y
# 50| 4: [Setter] set_Y
#-----| 2: (Parameters)
# 50| 0: [Parameter] value
# 54| 4: [Class] ReadOnlyPoint
# 57| 4: [Property] X
# 57| -1: [TypeMention] Int32
# 57| -1: [TypeMention] int
# 57| 3: [Getter] get_X
# 57| 4: [Setter] set_X
#-----| 2: (Parameters)
# 57| 0: [Parameter] value
# 58| 5: [Property] Y
# 58| -1: [TypeMention] Int32
# 58| -1: [TypeMention] int
# 58| 3: [Getter] get_Y
# 58| 4: [Setter] set_Y
#-----| 2: (Parameters)
@@ -81,9 +81,9 @@ properties.cs:
# 59| 6: [InstanceConstructor] ReadOnlyPoint
#-----| 2: (Parameters)
# 59| 0: [Parameter] x
# 59| -1: [TypeMention] Int32
# 59| -1: [TypeMention] int
# 59| 1: [Parameter] y
# 59| -1: [TypeMention] Int32
# 59| -1: [TypeMention] int
# 60| 4: [BlockStmt] {...}
# 61| 0: [ExprStmt] ...;
# 61| 0: [AssignExpr] ... = ...
@@ -95,15 +95,15 @@ properties.cs:
# 62| 1: [ParameterAccess] access to parameter y
# 67| 5: [Class] A
# 69| 5: [Field] y
# 69| -1: [TypeMention] Int32
# 69| -1: [TypeMention] int
# 70| 6: [Property] X
# 70| -1: [TypeMention] Int32
# 70| -1: [TypeMention] int
# 70| 3: [Getter] get_X
# 70| 4: [BlockStmt] {...}
# 70| 0: [ReturnStmt] return ...;
# 70| 0: [IntLiteral] 0
# 71| 7: [Property] Y
# 71| -1: [TypeMention] Int32
# 71| -1: [TypeMention] int
# 73| 3: [Getter] get_Y
# 73| 4: [BlockStmt] {...}
# 73| 0: [ReturnStmt] return ...;
@@ -117,7 +117,7 @@ properties.cs:
# 74| 0: [FieldAccess] access to field y
# 74| 1: [ParameterAccess] access to parameter value
# 76| 8: [Property] Z
# 76| -1: [TypeMention] Int32
# 76| -1: [TypeMention] int
# 76| 3: [Getter] get_Z
# 76| 4: [Setter] set_Z
#-----| 2: (Parameters)
@@ -126,9 +126,9 @@ properties.cs:
#-----| 3: (Base types)
# 79| 0: [TypeMention] A
# 81| 5: [Field] z
# 81| -1: [TypeMention] Int32
# 81| -1: [TypeMention] int
# 82| 6: [Property] X
# 82| -1: [TypeMention] Int32
# 82| -1: [TypeMention] int
# 82| 3: [Getter] get_X
# 82| 4: [BlockStmt] {...}
# 82| 0: [ReturnStmt] return ...;
@@ -137,7 +137,7 @@ properties.cs:
# 82| -1: [BaseAccess] base access
# 82| 1: [IntLiteral] 1
# 83| 7: [Property] Y
# 83| -1: [TypeMention] Int32
# 83| -1: [TypeMention] int
# 83| 3: [Setter] set_Y
#-----| 2: (Parameters)
# 83| 0: [Parameter] value
@@ -153,7 +153,7 @@ properties.cs:
# 83| 1: [IntLiteral] 0
# 83| 2: [ParameterAccess] access to parameter value
# 84| 8: [Property] Z
# 84| -1: [TypeMention] Int32
# 84| -1: [TypeMention] int
# 86| 3: [Getter] get_Z
# 86| 4: [BlockStmt] {...}
# 86| 0: [ReturnStmt] return ...;
@@ -168,7 +168,7 @@ properties.cs:
# 87| 1: [ParameterAccess] access to parameter value
# 91| 7: [Class] Test
# 93| 5: [Property] Init
# 93| -1: [TypeMention] Int32
# 93| -1: [TypeMention] int
# 93| 3: [Setter] set_Init
#-----| 2: (Parameters)
# 93| 0: [Parameter] value
@@ -179,19 +179,19 @@ properties.cs:
# 96| 0: [LocalVariableDeclStmt] ... ...;
# 96| 0: [LocalVariableDeclAndInitExpr] List<Double> ds = ...
# 96| -1: [TypeMention] List<Double>
# 96| 1: [TypeMention] Double
# 96| 1: [TypeMention] double
# 96| 0: [LocalVariableAccess] access to local variable ds
# 96| 1: [ObjectCreation] object creation of type List<Double>
# 96| 0: [TypeMention] List<Double>
# 96| 1: [TypeMention] Double
# 96| 1: [TypeMention] double
# 97| 1: [LocalVariableDeclStmt] ... ...;
# 97| 0: [LocalVariableDeclAndInitExpr] List<Object> os = ...
# 97| -1: [TypeMention] List<Object>
# 97| 1: [TypeMention] Object
# 97| 1: [TypeMention] object
# 97| 0: [LocalVariableAccess] access to local variable os
# 97| 1: [ObjectCreation] object creation of type List<Object>
# 97| 0: [TypeMention] List<Object>
# 97| 1: [TypeMention] Object
# 97| 1: [TypeMention] object
# 98| 2: [IfStmt] if (...) ...
# 98| 0: [EQExpr] ... == ...
# 98| 0: [PropertyCall] access to property Count
@@ -201,10 +201,10 @@ properties.cs:
# 99| 1: [BlockStmt] {...}
# 104| 8: [Interface] InterfaceWithProperties
# 106| 4: [Property] Prop1
# 106| -1: [TypeMention] Int32
# 106| -1: [TypeMention] int
# 106| 3: [Getter] get_Prop1
# 107| 5: [Property] Prop2
# 107| -1: [TypeMention] Int32
# 107| -1: [TypeMention] int
# 107| 3: [Setter] set_Prop2
#-----| 2: (Parameters)
# 107| 0: [Parameter] value
@@ -212,20 +212,20 @@ properties.cs:
#-----| 3: (Base types)
# 110| 1: [TypeMention] InterfaceWithProperties
# 112| 5: [Property] Prop1
# 112| -1: [TypeMention] Int32
# 112| -1: [TypeMention] int
# 114| 3: [Getter] get_Prop1
# 114| 4: [BlockStmt] {...}
# 114| 0: [ReturnStmt] return ...;
# 114| 0: [IntLiteral] 0
# 117| 6: [Property] Prop2
# 117| -1: [TypeMention] Int32
# 117| -1: [TypeMention] int
# 119| 3: [Setter] set_Prop2
#-----| 2: (Parameters)
# 119| 0: [Parameter] value
# 119| 4: [BlockStmt] {...}
# 122| 7: [Property] Prop2
# 122| -1: [TypeMention] InterfaceWithProperties
# 122| -1: [TypeMention] Int32
# 122| -1: [TypeMention] int
# 124| 3: [Setter] set_Prop2
#-----| 2: (Parameters)
# 124| 0: [Parameter] value

110
csharp/ql/test/library-tests/statements/PrintAst.expected
View File

@@ -6,16 +6,16 @@ fixed.cs:
# 7| 0: [LocalVariableDeclStmt] ... ...;
# 7| 0: [LocalVariableDeclAndInitExpr] Byte[] buffer = ...
# 7| -1: [TypeMention] Byte[]
# 7| 1: [TypeMention] Byte
# 7| 1: [TypeMention] byte
# 7| 0: [LocalVariableAccess] access to local variable buffer
# 7| 1: [ArrayCreation] array creation of type Byte[]
# 7| -1: [TypeMention] Byte[]
# 7| 1: [TypeMention] Byte
# 7| 1: [TypeMention] byte
# 7| 0: [IntLiteral] 10
# 9| 1: [FixedStmt] fixed(...) { ... }
# 9| -1: [LocalVariableDeclAndInitExpr] Byte* pinned_buffer = ...
# 9| -1: [TypeMention] Byte*
# 9| 1: [TypeMention] Byte
# 9| -1: [TypeMention] byte*
# 9| 1: [TypeMention] byte
# 9| 0: [LocalVariableAccess] access to local variable pinned_buffer
# 9| 1: [AddressOfExpr] &...
# 9| 0: [ArrayAccess] access to array element
@@ -24,15 +24,15 @@ fixed.cs:
# 10| 0: [BlockStmt] {...}
# 11| 0: [LocalVariableDeclStmt] ... ...;
# 11| 0: [LocalVariableDeclAndInitExpr] Byte* t = ...
# 11| -1: [TypeMention] Byte*
# 11| -1: [TypeMention] byte*
# 11| 0: [LocalVariableAccess] access to local variable t
# 11| 1: [LocalVariableAccess] access to local variable pinned_buffer
# 12| 1: [ExprStmt] ...;
# 12| 0: [MethodCall] call to method fixed1
# 15| 2: [FixedStmt] fixed(...) { ... }
# 15| -1: [LocalVariableDeclAndInitExpr] Byte* pinned_buffer = ...
# 15| -1: [TypeMention] Byte*
# 15| 1: [TypeMention] Byte
# 15| -1: [TypeMention] byte*
# 15| 1: [TypeMention] byte
# 15| 0: [LocalVariableAccess] access to local variable pinned_buffer
# 15| 1: [AddressOfExpr] &...
# 15| 0: [ArrayAccess] access to array element
@@ -41,8 +41,8 @@ fixed.cs:
# 16| 0: [BlockStmt] {...}
# 19| 3: [FixedStmt] fixed(...) { ... }
# 19| -1: [LocalVariableDeclAndInitExpr] Byte* pinned_buffer = ...
# 19| -1: [TypeMention] Byte*
# 19| 1: [TypeMention] Byte
# 19| -1: [TypeMention] byte*
# 19| 1: [TypeMention] byte
# 19| 0: [LocalVariableAccess] access to local variable pinned_buffer
# 19| 1: [AddressOfExpr] &...
# 19| 0: [ArrayAccess] access to array element
@@ -80,14 +80,14 @@ statements.cs:
# 31| 4: [BlockStmt] {...}
# 32| 0: [LocalVariableDeclStmt] ... ...;
# 32| 0: [LocalVariableDeclExpr] Int32 a
# 32| 0: [TypeMention] Int32
# 32| 0: [TypeMention] int
# 33| 1: [LocalVariableDeclStmt] ... ...;
# 33| 0: [LocalVariableDeclAndInitExpr] Int32 b = ...
# 33| -1: [TypeMention] Int32
# 33| -1: [TypeMention] int
# 33| 0: [LocalVariableAccess] access to local variable b
# 33| 1: [IntLiteral] 2
# 33| 1: [LocalVariableDeclAndInitExpr] Int32 c = ...
# 33| -1: [TypeMention] Int32
# 33| -1: [TypeMention] int
# 33| 0: [LocalVariableAccess] access to local variable c
# 33| 1: [IntLiteral] 3
# 34| 2: [ExprStmt] ...;
@@ -105,12 +105,12 @@ statements.cs:
# 35| 1: [LocalVariableAccess] access to local variable c
# 36| 4: [LocalVariableDeclStmt] ... ...;
# 36| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 36| -1: [TypeMention] Int32
# 36| -1: [TypeMention] int
# 36| 0: [LocalVariableAccess] access to local variable x
# 36| 1: [IntLiteral] 45
# 37| 5: [LocalVariableDeclStmt] ... ...;
# 37| 0: [LocalVariableDeclAndInitExpr] String y = ...
# 37| -1: [TypeMention] String
# 37| -1: [TypeMention] string
# 37| 0: [LocalVariableAccess] access to local variable y
# 37| 1: [StringLiteral] "test"
# 40| 8: [Method] MainLocalConstDecl
@@ -118,12 +118,12 @@ statements.cs:
# 41| 4: [BlockStmt] {...}
# 42| 0: [LocalConstantDeclStmt] const ... ...;
# 42| 0: [LocalVariableDeclAndInitExpr] Single pi = ...
# 42| -1: [TypeMention] Single
# 42| -1: [TypeMention] float
# 42| 0: [LocalVariableAccess] access to local variable pi
# 42| 1: [FloatLiteral] 3.1415927
# 43| 1: [LocalConstantDeclStmt] const ... ...;
# 43| 0: [LocalVariableDeclAndInitExpr] Int32 r = ...
# 43| -1: [TypeMention] Int32
# 43| -1: [TypeMention] int
# 43| 0: [LocalVariableAccess] access to local variable r
# 43| 1: [AddExpr] ... + ...
# 43| 0: [IntLiteral] 5
@@ -144,7 +144,7 @@ statements.cs:
# 48| 4: [BlockStmt] {...}
# 49| 0: [LocalVariableDeclStmt] ... ...;
# 49| 0: [LocalVariableDeclExpr] Int32 i
# 49| 0: [TypeMention] Int32
# 49| 0: [TypeMention] int
# 50| 1: [ExprStmt] ...;
# 50| 0: [AssignExpr] ... = ...
# 50| 0: [LocalVariableAccess] access to local variable i
@@ -167,7 +167,7 @@ statements.cs:
#-----| 2: (Parameters)
# 56| 0: [Parameter] args
# 56| -1: [TypeMention] String[]
# 56| 1: [TypeMention] String
# 56| 1: [TypeMention] string
# 57| 4: [BlockStmt] {...}
# 58| 0: [IfStmt] if (...) ...
# 58| 0: [EQExpr] ... == ...
@@ -191,11 +191,11 @@ statements.cs:
#-----| 2: (Parameters)
# 69| 0: [Parameter] args
# 69| -1: [TypeMention] String[]
# 69| 1: [TypeMention] String
# 69| 1: [TypeMention] string
# 70| 4: [BlockStmt] {...}
# 71| 0: [LocalVariableDeclStmt] ... ...;
# 71| 0: [LocalVariableDeclAndInitExpr] Int32 n = ...
# 71| -1: [TypeMention] Int32
# 71| -1: [TypeMention] int
# 71| 0: [LocalVariableAccess] access to local variable n
# 71| 1: [PropertyCall] access to property Length
# 71| -1: [ParameterAccess] access to parameter args
@@ -227,10 +227,10 @@ statements.cs:
# 81| 1: [LocalVariableAccess] access to local variable n
# 82| 8: [BreakStmt] break;
# 86| 12: [Method] StringSwitch
# 86| -1: [TypeMention] Int32
# 86| -1: [TypeMention] int
#-----| 2: (Parameters)
# 86| 0: [Parameter] foo
# 86| -1: [TypeMention] String
# 86| -1: [TypeMention] string
# 87| 4: [BlockStmt] {...}
# 88| 0: [SwitchStmt] switch (...) {...}
# 88| 0: [ParameterAccess] access to parameter foo
@@ -275,11 +275,11 @@ statements.cs:
#-----| 2: (Parameters)
# 111| 0: [Parameter] args
# 111| -1: [TypeMention] String[]
# 111| 1: [TypeMention] String
# 111| 1: [TypeMention] string
# 112| 4: [BlockStmt] {...}
# 113| 0: [LocalVariableDeclStmt] ... ...;
# 113| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 113| -1: [TypeMention] Int32
# 113| -1: [TypeMention] int
# 113| 0: [LocalVariableAccess] access to local variable i
# 113| 1: [IntLiteral] 0
# 114| 1: [WhileStmt] while (...) ...
@@ -303,7 +303,7 @@ statements.cs:
# 122| 4: [BlockStmt] {...}
# 123| 0: [LocalVariableDeclStmt] ... ...;
# 123| 0: [LocalVariableDeclExpr] String s
# 123| 0: [TypeMention] String
# 123| 0: [TypeMention] string
# 124| 1: [DoStmt] do ... while (...);
# 128| 0: [NEExpr] ... != ...
# 128| 0: [LocalVariableAccess] access to local variable s
@@ -329,11 +329,11 @@ statements.cs:
#-----| 2: (Parameters)
# 131| 0: [Parameter] args
# 131| -1: [TypeMention] String[]
# 131| 1: [TypeMention] String
# 131| 1: [TypeMention] string
# 132| 4: [BlockStmt] {...}
# 133| 0: [ForStmt] for (...;...;...) ...
# 133| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 133| -1: [TypeMention] Int32
# 133| -1: [TypeMention] int
# 133| 0: [LocalVariableAccess] access to local variable i
# 133| 1: [IntLiteral] 0
# 133| 0: [LTExpr] ... < ...
@@ -355,10 +355,10 @@ statements.cs:
#-----| 2: (Parameters)
# 140| 0: [Parameter] args
# 140| -1: [TypeMention] String[]
# 140| 1: [TypeMention] String
# 140| 1: [TypeMention] string
# 141| 4: [BlockStmt] {...}
# 142| 0: [ForeachStmt] foreach (... ... in ...) ...
# 142| -1: [TypeMention] String
# 142| -1: [TypeMention] string
# 142| 0: [LocalVariableDeclExpr] String s
# 142| 1: [ParameterAccess] access to parameter args
# 143| 2: [BlockStmt] {...}
@@ -375,7 +375,7 @@ statements.cs:
# 151| 1: [BlockStmt] {...}
# 152| 0: [LocalVariableDeclStmt] ... ...;
# 152| 0: [LocalVariableDeclAndInitExpr] String s = ...
# 152| -1: [TypeMention] String
# 152| -1: [TypeMention] string
# 152| 0: [LocalVariableAccess] access to local variable s
# 152| 1: [MethodCall] call to method ReadLine
# 152| -1: [TypeAccess] access to type Console
@@ -395,11 +395,11 @@ statements.cs:
#-----| 2: (Parameters)
# 158| 0: [Parameter] args
# 158| -1: [TypeMention] String[]
# 158| 1: [TypeMention] String
# 158| 1: [TypeMention] string
# 159| 4: [BlockStmt] {...}
# 160| 0: [ForStmt] for (...;...;...) ...
# 160| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 160| -1: [TypeMention] Int32
# 160| -1: [TypeMention] int
# 160| 0: [LocalVariableAccess] access to local variable i
# 160| 1: [IntLiteral] 0
# 160| 0: [LTExpr] ... < ...
@@ -428,11 +428,11 @@ statements.cs:
#-----| 2: (Parameters)
# 167| 0: [Parameter] args
# 167| -1: [TypeMention] String[]
# 167| 1: [TypeMention] String
# 167| 1: [TypeMention] string
# 168| 4: [BlockStmt] {...}
# 169| 0: [LocalVariableDeclStmt] ... ...;
# 169| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 169| -1: [TypeMention] Int32
# 169| -1: [TypeMention] int
# 169| 0: [LocalVariableAccess] access to local variable i
# 169| 1: [IntLiteral] 0
# 170| 1: [GotoLabelStmt] goto ...;
@@ -453,12 +453,12 @@ statements.cs:
# 172| -1: [ParameterAccess] access to parameter args
# 172| 1: [GotoLabelStmt] goto ...;
# 175| 20: [Method] Add
# 175| -1: [TypeMention] Int32
# 175| -1: [TypeMention] int
#-----| 2: (Parameters)
# 175| 0: [Parameter] a
# 175| -1: [TypeMention] Int32
# 175| -1: [TypeMention] int
# 175| 1: [Parameter] b
# 175| -1: [TypeMention] Int32
# 175| -1: [TypeMention] int
# 176| 4: [BlockStmt] {...}
# 177| 0: [ReturnStmt] return ...;
# 177| 0: [AddExpr] ... + ...
@@ -477,16 +477,16 @@ statements.cs:
# 182| 1: [ReturnStmt] return ...;
# 185| 22: [Method] Range
# 185| -1: [TypeMention] IEnumerable<Int32>
# 185| 1: [TypeMention] Int32
# 185| 1: [TypeMention] int
#-----| 2: (Parameters)
# 185| 0: [Parameter] from
# 185| -1: [TypeMention] Int32
# 185| -1: [TypeMention] int
# 185| 1: [Parameter] to
# 185| -1: [TypeMention] Int32
# 185| -1: [TypeMention] int
# 186| 4: [BlockStmt] {...}
# 187| 0: [ForStmt] for (...;...;...) ...
# 187| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 187| -1: [TypeMention] Int32
# 187| -1: [TypeMention] int
# 187| 0: [LocalVariableAccess] access to local variable i
# 187| 1: [ParameterAccess] access to parameter from
# 187| 0: [LTExpr] ... < ...
@@ -502,7 +502,7 @@ statements.cs:
# 193| -1: [TypeMention] Void
# 194| 4: [BlockStmt] {...}
# 195| 0: [ForeachStmt] foreach (... ... in ...) ...
# 195| -1: [TypeMention] Int32
# 195| -1: [TypeMention] int
# 195| 0: [LocalVariableDeclExpr] Int32 x
# 195| 1: [MethodCall] call to method Range
# 195| 0: [UnaryMinusExpr] -...
@@ -515,12 +515,12 @@ statements.cs:
# 197| 0: [TypeMention] Console
# 197| 0: [LocalVariableAccess] access to local variable x
# 201| 24: [Method] Divide
# 201| -1: [TypeMention] Double
# 201| -1: [TypeMention] double
#-----| 2: (Parameters)
# 201| 0: [Parameter] x
# 201| -1: [TypeMention] Double
# 201| -1: [TypeMention] double
# 201| 1: [Parameter] y
# 201| -1: [TypeMention] Double
# 201| -1: [TypeMention] double
# 202| 4: [BlockStmt] {...}
# 203| 0: [IfStmt] if (...) ...
# 203| 0: [EQExpr] ... == ...
@@ -539,7 +539,7 @@ statements.cs:
#-----| 2: (Parameters)
# 206| 0: [Parameter] args
# 206| -1: [TypeMention] String[]
# 206| 1: [TypeMention] String
# 206| 1: [TypeMention] string
# 207| 4: [BlockStmt] {...}
# 208| 0: [TryStmt] try {...} ...
# 227| -1: [BlockStmt] {...}
@@ -561,21 +561,21 @@ statements.cs:
# 212| 0: [StringLiteral] "Two numbers required"
# 214| 1: [LocalVariableDeclStmt] ... ...;
# 214| 0: [LocalVariableDeclAndInitExpr] Double x = ...
# 214| -1: [TypeMention] Double
# 214| -1: [TypeMention] double
# 214| 0: [LocalVariableAccess] access to local variable x
# 214| 1: [MethodCall] call to method Parse
# 214| -1: [TypeAccess] access to type Double
# 214| 0: [TypeMention] Double
# 214| 0: [TypeMention] double
# 214| 0: [ArrayAccess] access to array element
# 214| -1: [ParameterAccess] access to parameter args
# 214| 0: [IntLiteral] 0
# 215| 2: [LocalVariableDeclStmt] ... ...;
# 215| 0: [LocalVariableDeclAndInitExpr] Double y = ...
# 215| -1: [TypeMention] Double
# 215| -1: [TypeMention] double
# 215| 0: [LocalVariableAccess] access to local variable y
# 215| 1: [MethodCall] call to method Parse
# 215| -1: [TypeAccess] access to type Double
# 215| 0: [TypeMention] Double
# 215| 0: [TypeMention] double
# 215| 0: [ArrayAccess] access to array element
# 215| -1: [ParameterAccess] access to parameter args
# 215| 0: [IntLiteral] 1
@@ -608,11 +608,11 @@ statements.cs:
# 233| 4: [BlockStmt] {...}
# 234| 0: [LocalVariableDeclStmt] ... ...;
# 234| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 234| -1: [TypeMention] Int32
# 234| -1: [TypeMention] int
# 234| 0: [LocalVariableAccess] access to local variable i
# 234| 1: [MemberConstantAccess] access to constant MaxValue
# 234| -1: [TypeAccess] access to type Int32
# 234| 0: [TypeMention] Int32
# 234| 0: [TypeMention] int
# 235| 1: [CheckedStmt] checked {...}
# 236| 0: [BlockStmt] {...}
# 237| 0: [ExprStmt] ...;
@@ -633,12 +633,12 @@ statements.cs:
# 241| 1: [IntLiteral] 1
# 245| 27: [Class] AccountLock
# 247| 5: [Field] balance
# 247| -1: [TypeMention] Decimal
# 247| -1: [TypeMention] decimal
# 248| 6: [Method] Withdraw
# 248| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 248| 0: [Parameter] amount
# 248| -1: [TypeMention] Decimal
# 248| -1: [TypeMention] decimal
# 249| 4: [BlockStmt] {...}
# 250| 0: [LockStmt] lock (...) {...}
# 250| 0: [ThisAccess] this access
@@ -693,7 +693,7 @@ statements.cs:
# 277| 1: [LabelStmt] Label:
# 278| 2: [LocalVariableDeclStmt] ... ...;
# 278| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 278| -1: [TypeMention] Int32
# 278| -1: [TypeMention] int
# 278| 0: [LocalVariableAccess] access to local variable x
# 278| 1: [IntLiteral] 23
# 279| 3: [ExprStmt] ...;

60
csharp/ql/test/library-tests/types/PrintAst.expected
View File

@@ -2,33 +2,33 @@ types.cs:
# 1| [NamespaceDeclaration] namespace ... { ... }
# 3| 1: [Class] Class
# 5| 5: [Method] BoolType
# 5| -1: [TypeMention] Boolean
# 5| -1: [TypeMention] bool
# 6| 6: [Method] CharType
# 6| -1: [TypeMention] Char
# 6| -1: [TypeMention] char
# 7| 7: [Method] DecimalType
# 7| -1: [TypeMention] Decimal
# 7| -1: [TypeMention] decimal
# 8| 8: [Method] SByteType
# 8| -1: [TypeMention] SByte
# 8| -1: [TypeMention] sbyte
# 9| 9: [Method] ShortType
# 9| -1: [TypeMention] Int16
# 9| -1: [TypeMention] short
# 10| 10: [Method] IntType
# 10| -1: [TypeMention] Int32
# 10| -1: [TypeMention] int
# 11| 11: [Method] LongType
# 11| -1: [TypeMention] Int64
# 11| -1: [TypeMention] long
# 12| 12: [Method] ByteType
# 12| -1: [TypeMention] Byte
# 12| -1: [TypeMention] byte
# 13| 13: [Method] UShortType
# 13| -1: [TypeMention] UInt16
# 13| -1: [TypeMention] ushort
# 14| 14: [Method] UIntType
# 14| -1: [TypeMention] UInt32
# 14| -1: [TypeMention] uint
# 15| 15: [Method] ULongType
# 15| -1: [TypeMention] UInt64
# 15| -1: [TypeMention] ulong
# 16| 16: [Method] FloatType
# 16| -1: [TypeMention] Single
# 16| -1: [TypeMention] float
# 17| 17: [Method] DoubleType
# 17| -1: [TypeMention] Double
# 17| -1: [TypeMention] double
# 18| 18: [Method] NullableType
# 18| -1: [TypeMention] Nullable<Struct>
# 18| -1: [TypeMention] Struct?
# 18| 1: [TypeMention] Struct
# 19| 19: [Method] VoidType
# 19| -1: [TypeMention] Void
@@ -50,29 +50,29 @@ types.cs:
# 25| 25: [Method] DelegateType
# 25| -1: [TypeMention] Delegate
# 26| 26: [Method] PointerType
# 26| -1: [TypeMention] Byte*
# 26| 1: [TypeMention] Byte
# 26| -1: [TypeMention] byte*
# 26| 1: [TypeMention] byte
# 27| 27: [Method] PointerPointerType
# 27| -1: [TypeMention] Byte**
# 27| 1: [TypeMention] Byte
# 27| -1: [TypeMention] byte**
# 27| 1: [TypeMention] byte
# 28| 28: [Method] PointerArrayArrayType
# 28| -1: [TypeMention] Byte*[][]
# 28| 1: [TypeMention] Byte
# 28| 1: [TypeMention] byte
# 29| 29: [Method] NullableArrayType
# 29| -1: [TypeMention] Nullable
# 29| 1: [TypeMention] Nullable<Byte>
# 29| 1: [TypeMention] Byte
# 29| -1: [TypeMention] Nullable<Byte>[]
# 29| 1: [TypeMention] byte?
# 29| 1: [TypeMention] byte
# 30| 30: [Method] NullableArrayArrayType
# 30| -1: [TypeMention] Nullable[]
# 30| 1: [TypeMention] Nullable<Byte>
# 30| 1: [TypeMention] Byte
# 30| -1: [TypeMention] Nullable<Byte>[][]
# 30| 1: [TypeMention] byte?
# 30| 1: [TypeMention] byte
# 31| 31: [Method] NullableArrayArrayType2
# 31| -1: [TypeMention] Nullable[]
# 31| 1: [TypeMention] Nullable<Byte>
# 31| 1: [TypeMention] Byte
# 31| -1: [TypeMention] Nullable<Byte>[][]
# 31| 1: [TypeMention] byte?
# 31| 1: [TypeMention] byte
# 32| 32: [Method] Map
# 32| -1: [TypeMention] Map<String,Class>
# 32| 1: [TypeMention] String
# 32| -1: [TypeMention] Map<String, Class>
# 32| 1: [TypeMention] string
# 32| 2: [TypeMention] Class
# 33| 33: [Method] Null
# 33| -1: [TypeMention] Class

32
csharp/ql/test/library-tests/unsafe/PrintAst.expected
View File

@@ -6,21 +6,21 @@ unsafe.cs:
#-----| 2: (Parameters)
# 5| 0: [Parameter] args
# 5| -1: [TypeMention] String[]
# 5| 1: [TypeMention] String
# 5| 1: [TypeMention] string
# 6| 4: [BlockStmt] {...}
# 7| 0: [LocalVariableDeclStmt] ... ...;
# 7| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 7| -1: [TypeMention] Int32
# 7| -1: [TypeMention] int
# 7| 0: [LocalVariableAccess] access to local variable i
# 7| 1: [IntLiteral] 42
# 8| 1: [LocalVariableDeclStmt] ... ...;
# 8| 0: [LocalVariableDeclAndInitExpr] Int32[] ia = ...
# 8| -1: [TypeMention] Int32[]
# 8| 1: [TypeMention] Int32
# 8| 1: [TypeMention] int
# 8| 0: [LocalVariableAccess] access to local variable ia
# 8| 1: [ArrayCreation] array creation of type Int32[]
# 8| -1: [TypeMention] Int32[]
# 8| 1: [TypeMention] Int32
# 8| 1: [TypeMention] int
# 8| 0: [IntLiteral] 2
# 9| 2: [ExprStmt] ...;
# 9| 0: [AssignExpr] ... = ...
@@ -36,8 +36,8 @@ unsafe.cs:
# 10| 1: [IntLiteral] 1
# 11| 4: [LocalVariableDeclStmt] ... ...;
# 11| 0: [LocalVariableDeclAndInitExpr] Int32* ip = ...
# 11| -1: [TypeMention] Int32*
# 11| 1: [TypeMention] Int32
# 11| -1: [TypeMention] int*
# 11| 1: [TypeMention] int
# 11| 0: [LocalVariableAccess] access to local variable ip
# 11| 1: [AddressOfExpr] &...
# 11| 0: [LocalVariableAccess] access to local variable i
@@ -64,8 +64,8 @@ unsafe.cs:
# 14| 0: [LocalVariableAccess] access to local variable i
# 15| 8: [LocalVariableDeclStmt] ... ...;
# 15| 0: [LocalVariableDeclAndInitExpr] Int32* ip42 = ...
# 15| -1: [TypeMention] Int32*
# 15| 1: [TypeMention] Int32
# 15| -1: [TypeMention] int*
# 15| 1: [TypeMention] int
# 15| 0: [LocalVariableAccess] access to local variable ip42
# 15| 1: [AddressOfExpr] &...
# 15| 0: [LocalVariableAccess] access to local variable i
@@ -84,11 +84,11 @@ unsafe.cs:
# 18| 0: [LocalVariableAccess] access to local variable ip42
# 18| 1: [SizeofExpr] sizeof(..)
# 18| 0: [TypeAccess] access to type Char*
# 18| 0: [TypeMention] Char*
# 18| 1: [TypeMention] Char
# 18| 0: [TypeMention] char*
# 18| 1: [TypeMention] char
# 19| 12: [LocalVariableDeclStmt] ... ...;
# 19| 0: [LocalVariableDeclAndInitExpr] Int64 distance = ...
# 19| -1: [TypeMention] Int64
# 19| -1: [TypeMention] long
# 19| 0: [LocalVariableAccess] access to local variable distance
# 19| 1: [SubExpr] ... - ...
# 19| 0: [LocalVariableAccess] access to local variable ip
@@ -97,8 +97,8 @@ unsafe.cs:
# 22| -1: [TypeMention] Void
#-----| 2: (Parameters)
# 22| 0: [Parameter] p
# 22| -1: [TypeMention] Char*
# 22| 1: [TypeMention] Char
# 22| -1: [TypeMention] char*
# 22| 1: [TypeMention] char
# 23| 4: [BlockStmt] {...}
# 24| 0: [ExprStmt] ...;
# 24| 0: [MethodCall] call to method ToString
@@ -128,12 +128,12 @@ unsafe.cs:
# 36| 0: [LocalVariableAccess] access to local variable data
# 36| 1: [ArrayCreation] array creation of type Int32[]
# 36| -1: [TypeMention] Int32[]
# 36| 1: [TypeMention] Int32
# 36| 1: [TypeMention] int
# 36| 0: [IntLiteral] 10
# 37| 1: [FixedStmt] fixed(...) { ... }
# 37| -1: [LocalVariableDeclAndInitExpr] Int32* p = ...
# 37| -1: [TypeMention] Int32*
# 37| 1: [TypeMention] Int32
# 37| -1: [TypeMention] int*
# 37| 1: [TypeMention] int
# 37| 0: [LocalVariableAccess] access to local variable p
# 37| 1: [CastExpr] (...) ...
# 37| 1: [LocalVariableAccess] access to local variable data