C#: Reverse assignment child nodes in AST

This commit is contained in:
Tamas Vajk
2020-10-08 12:19:33 +02:00
parent ee9a40e16d
commit 5fae440a58
31 changed files with 1629 additions and 1611 deletions

View File

@@ -283,6 +283,24 @@ final class LocalFunctionStmtNode extends ControlFlowElementNode {
}
}
/**
* A node representing an `Assignment`.
* Left and right children are shown in this order.
*/
final class AssignmentNode extends ControlFlowElementNode {
Assignment assignment;
AssignmentNode() { assignment = element }
override ElementNode getChild(int childIndex) {
childIndex = 0 and
result.getElement() = assignment.getLValue()
or
childIndex = 1 and
result.getElement() = assignment.getRValue()
}
}
/**
* A node representing a `Callable`, such as method declaration.
*/

File diff suppressed because it is too large Load Diff

View File

@@ -15,8 +15,8 @@ arguments.cs:
# 10| 4: [BlockStmt] {...}
# 11| 0: [ExprStmt] ...;
# 11| 0: [AssignExpr] ... = ...
# 11| 0: [ParameterAccess] access to parameter x
# 11| 1: [ParameterAccess] access to parameter y
# 11| 0: [ParameterAccess] access to parameter y
# 11| 1: [ParameterAccess] access to parameter x
# 14| 6: [Method] f1
#-----| 2: (Parameters)
# 14| 0: [Parameter] x
@@ -32,14 +32,14 @@ arguments.cs:
# 19| 4: [BlockStmt] {...}
# 20| 0: [ExprStmt] ...;
# 20| 0: [AssignExpr] ... = ...
# 20| 0: [ParameterAccess] access to parameter x
# 20| 1: [ParameterAccess] access to parameter y
# 20| 0: [ParameterAccess] access to parameter y
# 20| 1: [ParameterAccess] access to parameter x
# 23| 8: [Method] f
# 24| 4: [BlockStmt] {...}
# 25| 0: [LocalVariableDeclStmt] ... ...;
# 25| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 25| 0: [IntLiteral] 1
# 25| 1: [LocalVariableAccess] access to local variable x
# 25| 0: [LocalVariableAccess] access to local variable x
# 25| 1: [IntLiteral] 1
# 27| 1: [ExprStmt] ...;
# 27| 0: [MethodCall] call to method f1
# 27| 0: [IntLiteral] 2
@@ -129,33 +129,33 @@ arguments.cs:
# 53| 4: [BlockStmt] {...}
# 54| 0: [ExprStmt] ...;
# 54| 0: [AssignExpr] ... = ...
# 54| 0: [IntLiteral] 0
# 54| 1: [PropertyCall] access to property Prop
# 54| 0: [PropertyCall] access to property Prop
# 54| 1: [IntLiteral] 0
# 55| 1: [ExprStmt] ...;
# 55| 0: [AssignExpr] ... = ...
# 55| 0: [IndexerCall] access to indexer
# 55| 0: [PropertyCall] access to property Prop
# 55| 1: [IndexerCall] access to indexer
# 55| -1: [ThisAccess] this access
# 55| 0: [IntLiteral] 1
# 55| 1: [IntLiteral] 2
# 55| 1: [PropertyCall] access to property Prop
# 56| 2: [ExprStmt] ...;
# 56| 0: [AssignExpr] ... = ...
# 56| 0: [TupleExpr] (..., ...)
# 56| 0: [IntLiteral] 5
# 56| 1: [IntLiteral] 6
# 56| 1: [TupleExpr] (..., ...)
# 56| 0: [PropertyCall] access to property Prop
# 56| 1: [IndexerCall] access to indexer
# 56| -1: [ThisAccess] this access
# 56| 0: [IntLiteral] 3
# 56| 1: [IntLiteral] 4
# 56| 1: [TupleExpr] (..., ...)
# 56| 0: [IntLiteral] 5
# 56| 1: [IntLiteral] 6
# 57| 3: [ExprStmt] ...;
# 57| 0: [PostIncrExpr] ...++
# 57| 0: [PropertyCall] access to property Prop
# 58| 4: [ExprStmt] ...;
# 58| 0: [AssignAddExpr] ... += ...
# 58| 0: [IntLiteral] 7
# 58| 1: [PropertyCall] access to property Prop
# 58| 0: [PropertyCall] access to property Prop
# 58| 1: [IntLiteral] 7
# 59| 5: [ExprStmt] ...;
# 59| 0: [PostIncrExpr] ...++
# 59| 0: [IndexerCall] access to indexer
@@ -164,26 +164,26 @@ arguments.cs:
# 59| 1: [IntLiteral] 9
# 60| 6: [ExprStmt] ...;
# 60| 0: [AssignAddExpr] ... += ...
# 60| 0: [IntLiteral] 12
# 60| 1: [IndexerCall] access to indexer
# 60| 0: [IndexerCall] access to indexer
# 60| -1: [ThisAccess] this access
# 60| 0: [IntLiteral] 10
# 60| 1: [IntLiteral] 11
# 60| 1: [IntLiteral] 12
# 61| 7: [LocalVariableDeclStmt] ... ...;
# 61| 0: [LocalVariableDeclAndInitExpr] (Int32,Int32) tuple = ...
# 61| 0: [TupleExpr] (..., ...)
# 61| 0: [LocalVariableAccess] access to local variable tuple
# 61| 1: [TupleExpr] (..., ...)
# 61| 0: [IntLiteral] 13
# 61| 1: [IntLiteral] 14
# 61| 1: [LocalVariableAccess] access to local variable tuple
# 62| 8: [ExprStmt] ...;
# 62| 0: [AssignExpr] ... = ...
# 62| 0: [LocalVariableAccess] access to local variable tuple
# 62| 1: [TupleExpr] (..., ...)
# 62| 0: [TupleExpr] (..., ...)
# 62| 0: [PropertyCall] access to property Prop
# 62| 1: [IndexerCall] access to indexer
# 62| -1: [ThisAccess] this access
# 62| 0: [IntLiteral] 15
# 62| 1: [IntLiteral] 16
# 62| 1: [LocalVariableAccess] access to local variable tuple
# 66| 14: [Method] f6
#-----| 0: (Attributes)
# 65| 1: [Attribute] [My(...)]

View File

@@ -4,37 +4,37 @@ Assignments.cs:
# 4| 4: [BlockStmt] {...}
# 5| 0: [LocalVariableDeclStmt] ... ...;
# 5| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 5| 0: [IntLiteral] 0
# 5| 1: [LocalVariableAccess] access to local variable x
# 5| 0: [LocalVariableAccess] access to local variable x
# 5| 1: [IntLiteral] 0
# 6| 1: [ExprStmt] ...;
# 6| 0: [AssignAddExpr] ... += ...
# 6| 0: [IntLiteral] 1
# 6| 1: [LocalVariableAccess] access to local variable x
# 6| 0: [LocalVariableAccess] access to local variable x
# 6| 1: [IntLiteral] 1
# 8| 2: [LocalVariableDeclStmt] ... ...;
# 8| 0: [LocalVariableDeclAndInitExpr] dynamic d = ...
# 8| 0: [CastExpr] (...) ...
# 8| 0: [LocalVariableAccess] access to local variable d
# 8| 1: [CastExpr] (...) ...
# 8| 0: [IntLiteral] 0
# 8| 1: [LocalVariableAccess] access to local variable d
# 9| 3: [ExprStmt] ...;
# 9| 0: [AssignSubExpr] ... -= ...
# 9| 0: [IntLiteral] 2
# 9| 1: [LocalVariableAccess] access to local variable d
# 9| 0: [LocalVariableAccess] access to local variable d
# 9| 1: [IntLiteral] 2
# 11| 4: [LocalVariableDeclStmt] ... ...;
# 11| 0: [LocalVariableDeclAndInitExpr] Assignments a = ...
# 11| 0: [ObjectCreation] object creation of type Assignments
# 11| 1: [LocalVariableAccess] access to local variable a
# 11| 0: [LocalVariableAccess] access to local variable a
# 11| 1: [ObjectCreation] object creation of type Assignments
# 12| 5: [ExprStmt] ...;
# 12| 0: [AssignAddExpr] ... += ...
# 12| 0: [ThisAccess] this access
# 12| 1: [LocalVariableAccess] access to local variable a
# 12| 0: [LocalVariableAccess] access to local variable a
# 12| 1: [ThisAccess] this access
# 14| 6: [ExprStmt] ...;
# 14| 0: [AddEventExpr] ... += ...
# 14| 0: [LambdaExpr] (...) => ...
# 14| 0: [EventAccess,EventCall] access to event Event
# 14| 1: [LambdaExpr] (...) => ...
#-----| 2: (Parameters)
# 14| 0: [Parameter] sender
# 14| 1: [Parameter] e
# 14| 4: [BlockStmt] {...}
# 14| 1: [EventAccess,EventCall] access to event Event
# 17| 6: [AddOperator] +
#-----| 2: (Parameters)
# 17| 0: [Parameter] x

View File

@@ -13,5 +13,5 @@ constructors.cs:
# 15| 4: [BlockStmt] {...}
# 16| 0: [LocalVariableDeclStmt] ... ...;
# 16| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 16| 0: [IntLiteral] 0
# 16| 1: [LocalVariableAccess] access to local variable i
# 16| 0: [LocalVariableAccess] access to local variable i
# 16| 1: [IntLiteral] 0

View File

@@ -12,6 +12,6 @@ Operator.cs:
# 12| 4: [BlockStmt] {...}
# 13| 0: [ExprStmt] ...;
# 13| 0: [AssignExpr] ... = ...
# 13| 0: [OperatorCall] call to operator implicit conversion
# 13| 0: [FieldAccess] access to field x2
# 13| 1: [OperatorCall] call to operator implicit conversion
# 13| 0: [FieldAccess] access to field x1
# 13| 1: [FieldAccess] access to field x2

View File

@@ -2,8 +2,8 @@ csharp6.cs:
# 10| [Class] TestCSharp6
# 12| 6: [Property] Value
# 15| 2: [AssignExpr] ... = ...
# 15| 0: [IntLiteral] 20
# 12| 1: [PropertyCall] access to property Value
# 12| 0: [PropertyCall] access to property Value
# 15| 1: [IntLiteral] 20
# 14| 3: [Getter] get_Value
# 17| 7: [Method] Fn
#-----| 2: (Parameters)
@@ -16,12 +16,12 @@ csharp6.cs:
# 22| 0: [BlockStmt] {...}
# 23| 0: [LocalVariableDeclStmt] ... ...;
# 23| 0: [LocalVariableDeclAndInitExpr] String foo = ...
# 23| 0: [NameOfExpr] nameof(...)
# 23| 0: [LocalVariableAccess] access to local variable foo
# 23| 1: [NameOfExpr] nameof(...)
# 23| 0: [TypeAccess] access to type TestCSharp6
# 23| 1: [LocalVariableAccess] access to local variable foo
# 23| 1: [LocalVariableDeclAndInitExpr] String bar = ...
# 23| 0: [NullLiteral] null
# 23| 1: [LocalVariableAccess] access to local variable bar
# 23| 0: [LocalVariableAccess] access to local variable bar
# 23| 1: [NullLiteral] null
# 25| 1: [ExprStmt] ...;
# 25| 0: [MethodCall] call to method WriteLine
# 25| 0: [InterpolatedStringExpr] $"..."
@@ -54,12 +54,13 @@ csharp6.cs:
# 27| 1: [IntLiteral] 0
# 29| 3: [LocalVariableDeclStmt] ... ...;
# 29| 0: [LocalVariableDeclAndInitExpr] Nullable<Boolean> anythingInBar = ...
# 29| 0: [MethodCall] call to method Any
# 29| 0: [LocalVariableAccess] access to local variable anythingInBar
# 29| 1: [MethodCall] call to method Any
# 29| -1: [LocalVariableAccess] access to local variable bar
# 29| 1: [LocalVariableAccess] access to local variable anythingInBar
# 30| 4: [LocalVariableDeclStmt] ... ...;
# 30| 0: [LocalVariableDeclAndInitExpr] Nullable<Int32> countTInFoo = ...
# 30| 0: [MethodCall] call to method Count
# 30| 0: [LocalVariableAccess] access to local variable countTInFoo
# 30| 1: [MethodCall] call to method Count
# 30| -1: [MethodCall] call to method Select
# 30| -1: [MethodCall] call to method ToUpper
# 30| -1: [LocalVariableAccess] access to local variable foo
@@ -71,15 +72,14 @@ csharp6.cs:
# 30| 0: [ParameterAccess] access to parameter c
# 30| 1: [CastExpr] (...) ...
# 30| 0: [CharLiteral] T
# 30| 1: [LocalVariableAccess] access to local variable countTInFoo
# 32| 5: [LocalVariableDeclStmt] ... ...;
# 32| 0: [LocalVariableDeclAndInitExpr] Nullable<Char> testElementBinding = ...
# 32| 0: [IndexerCall] access to indexer
# 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: [IntLiteral] 2
# 32| 0: [IntLiteral] 1
# 32| 1: [LocalVariableAccess] access to local variable testElementBinding
# 34| 1: [SpecificCatchClause] catch (...) {...}
# 35| 1: [BlockStmt] {...}
# 34| 2: [EQExpr] ... == ...
@@ -136,101 +136,101 @@ csharp6.cs:
# 66| 4: [BlockStmt] {...}
# 68| 0: [LocalVariableDeclStmt] ... ...;
# 68| 0: [LocalVariableDeclAndInitExpr] Dictionary<Int32,String> dict = ...
# 68| 0: [ObjectCreation] object creation of type Dictionary<Int32,String>
# 68| 0: [LocalVariableAccess] access to local variable dict
# 68| 1: [ObjectCreation] object creation of type Dictionary<Int32,String>
# 68| -1: [ObjectInitializer] { ..., ... }
# 68| 0: [MemberInitializer] ... = ...
# 68| 0: [StringLiteral] "Zero"
# 68| 1: [IndexerCall] access to indexer
# 68| 0: [IndexerCall] access to indexer
# 68| 0: [IntLiteral] 0
# 68| 1: [StringLiteral] "Zero"
# 68| 1: [MemberInitializer] ... = ...
# 68| 0: [StringLiteral] "One"
# 68| 1: [IndexerCall] access to indexer
# 68| 0: [IndexerCall] access to indexer
# 68| 0: [IntLiteral] 1
# 68| 1: [StringLiteral] "One"
# 68| 2: [MemberInitializer] ... = ...
# 68| 0: [StringLiteral] "Two"
# 68| 1: [IndexerCall] access to indexer
# 68| 0: [IndexerCall] access to indexer
# 68| 0: [IntLiteral] 2
# 68| 1: [LocalVariableAccess] access to local variable dict
# 68| 1: [StringLiteral] "Two"
# 71| 1: [LocalVariableDeclStmt] ... ...;
# 71| 0: [LocalVariableDeclAndInitExpr] Compound compound = ...
# 71| 0: [ObjectCreation] object creation of type Compound
# 71| 0: [LocalVariableAccess] access to local variable compound
# 71| 1: [ObjectCreation] object creation of type Compound
# 72| -1: [ObjectInitializer] { ..., ... }
# 73| 0: [MemberInitializer] ... = ...
# 73| 0: [ObjectInitializer] { ..., ... }
# 73| 0: [FieldAccess] access to field DictionaryField
# 73| 1: [ObjectInitializer] { ..., ... }
# 73| 0: [MemberInitializer] ... = ...
# 73| 0: [StringLiteral] "Zero"
# 73| 1: [IndexerCall] access to indexer
# 73| 0: [IndexerCall] access to indexer
# 73| 0: [IntLiteral] 0
# 73| 1: [StringLiteral] "Zero"
# 73| 1: [MemberInitializer] ... = ...
# 73| 0: [StringLiteral] "One"
# 73| 1: [IndexerCall] access to indexer
# 73| 0: [IndexerCall] access to indexer
# 73| 0: [IntLiteral] 1
# 73| 1: [StringLiteral] "One"
# 73| 2: [MemberInitializer] ... = ...
# 73| 0: [StringLiteral] "Two"
# 73| 1: [IndexerCall] access to indexer
# 73| 0: [IndexerCall] access to indexer
# 73| 0: [IntLiteral] 2
# 73| 1: [FieldAccess] access to field DictionaryField
# 73| 1: [StringLiteral] "Two"
# 74| 1: [MemberInitializer] ... = ...
# 74| 0: [ObjectInitializer] { ..., ... }
# 74| 0: [PropertyCall] access to property DictionaryProperty
# 74| 1: [ObjectInitializer] { ..., ... }
# 74| 0: [MemberInitializer] ... = ...
# 74| 0: [StringLiteral] "Three"
# 74| 1: [IndexerCall] access to indexer
# 74| 0: [IndexerCall] access to indexer
# 74| 0: [IntLiteral] 3
# 74| 1: [StringLiteral] "Three"
# 74| 1: [MemberInitializer] ... = ...
# 74| 0: [StringLiteral] "Two"
# 74| 1: [IndexerCall] access to indexer
# 74| 0: [IndexerCall] access to indexer
# 74| 0: [IntLiteral] 2
# 74| 1: [StringLiteral] "Two"
# 74| 2: [MemberInitializer] ... = ...
# 74| 0: [StringLiteral] "One"
# 74| 1: [IndexerCall] access to indexer
# 74| 0: [IndexerCall] access to indexer
# 74| 0: [IntLiteral] 1
# 74| 1: [PropertyCall] access to property DictionaryProperty
# 74| 1: [StringLiteral] "One"
# 75| 2: [MemberInitializer] ... = ...
# 75| 0: [ObjectInitializer] { ..., ... }
# 75| 0: [FieldAccess] access to field ArrayField
# 75| 1: [ObjectInitializer] { ..., ... }
# 75| 0: [MemberInitializer] ... = ...
# 75| 0: [StringLiteral] "Zero"
# 75| 1: [ArrayAccess] access to array element
# 75| 0: [ArrayAccess] access to array element
# 75| 0: [IntLiteral] 0
# 75| 1: [StringLiteral] "Zero"
# 75| 1: [MemberInitializer] ... = ...
# 75| 0: [StringLiteral] "One"
# 75| 1: [ArrayAccess] access to array element
# 75| 0: [ArrayAccess] access to array element
# 75| 0: [IntLiteral] 1
# 75| 1: [FieldAccess] access to field ArrayField
# 75| 1: [StringLiteral] "One"
# 76| 3: [MemberInitializer] ... = ...
# 76| 0: [ObjectInitializer] { ..., ... }
# 76| 0: [FieldAccess] access to field ArrayField2
# 76| 1: [ObjectInitializer] { ..., ... }
# 76| 0: [MemberInitializer] ... = ...
# 76| 0: [StringLiteral] "i"
# 76| 1: [ArrayAccess] access to array element
# 76| 0: [ArrayAccess] access to array element
# 76| 0: [IntLiteral] 0
# 76| 1: [IntLiteral] 1
# 76| 1: [StringLiteral] "i"
# 76| 1: [MemberInitializer] ... = ...
# 76| 0: [StringLiteral] "1"
# 76| 1: [ArrayAccess] access to array element
# 76| 0: [ArrayAccess] access to array element
# 76| 0: [IntLiteral] 1
# 76| 1: [IntLiteral] 0
# 76| 1: [FieldAccess] access to field ArrayField2
# 76| 1: [StringLiteral] "1"
# 77| 4: [MemberInitializer] ... = ...
# 77| 0: [ObjectInitializer] { ..., ... }
# 77| 0: [PropertyCall] access to property ArrayProperty
# 77| 1: [ObjectInitializer] { ..., ... }
# 77| 0: [MemberInitializer] ... = ...
# 77| 0: [StringLiteral] "One"
# 77| 1: [ArrayAccess] access to array element
# 77| 0: [ArrayAccess] access to array element
# 77| 0: [IntLiteral] 1
# 77| 1: [StringLiteral] "One"
# 77| 1: [MemberInitializer] ... = ...
# 77| 0: [StringLiteral] "Two"
# 77| 1: [ArrayAccess] access to array element
# 77| 0: [ArrayAccess] access to array element
# 77| 0: [IntLiteral] 2
# 77| 1: [PropertyCall] access to property ArrayProperty
# 77| 1: [StringLiteral] "Two"
# 78| 5: [MemberInitializer] ... = ...
# 78| 0: [ObjectInitializer] { ..., ... }
# 78| 0: [PropertyCall] access to property ArrayProperty2
# 78| 1: [ObjectInitializer] { ..., ... }
# 78| 0: [MemberInitializer] ... = ...
# 78| 0: [StringLiteral] "i"
# 78| 1: [ArrayAccess] access to array element
# 78| 0: [ArrayAccess] access to array element
# 78| 0: [IntLiteral] 0
# 78| 1: [IntLiteral] 1
# 78| 1: [StringLiteral] "i"
# 78| 1: [MemberInitializer] ... = ...
# 78| 0: [StringLiteral] "1"
# 78| 1: [ArrayAccess] access to array element
# 78| 0: [ArrayAccess] access to array element
# 78| 0: [IntLiteral] 1
# 78| 1: [IntLiteral] 0
# 78| 1: [PropertyCall] access to property ArrayProperty2
# 71| 1: [LocalVariableAccess] access to local variable compound
# 78| 1: [StringLiteral] "1"

View File

@@ -4,13 +4,13 @@ csharp71.cs:
# 6| 4: [BlockStmt] {...}
# 7| 0: [LocalVariableDeclStmt] ... ...;
# 7| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 7| 0: [CastExpr] (...) ...
# 7| 0: [LocalVariableAccess] access to local variable x
# 7| 1: [CastExpr] (...) ...
# 7| 0: [DefaultValueExpr] default
# 7| 1: [LocalVariableAccess] access to local variable x
# 7| 1: [LocalVariableDeclAndInitExpr] Int32 y = ...
# 7| 0: [DefaultValueExpr] default(...)
# 7| 0: [LocalVariableAccess] access to local variable y
# 7| 1: [DefaultValueExpr] default(...)
# 7| 0: [TypeAccess] access to type Int32
# 7| 1: [LocalVariableAccess] access to local variable y
# 8| 1: [IfStmt] if (...) ...
# 8| 0: [EQExpr] ... == ...
# 8| 0: [LocalVariableAccess] access to local variable x
@@ -24,24 +24,24 @@ csharp71.cs:
# 12| 1: [BreakStmt] break;
# 14| 3: [ExprStmt] ...;
# 14| 0: [AssignExpr] ... = ...
# 14| 0: [CastExpr] (...) ...
# 14| 0: [LocalVariableAccess] access to local variable x
# 14| 1: [CastExpr] (...) ...
# 14| 0: [DefaultValueExpr] default
# 14| 1: [LocalVariableAccess] access to local variable x
# 15| 4: [LocalVariableDeclStmt] ... ...;
# 15| 0: [LocalVariableDeclAndInitExpr] String s = ...
# 15| 0: [CastExpr] (...) ...
# 15| 0: [LocalVariableAccess] access to local variable s
# 15| 1: [CastExpr] (...) ...
# 15| 0: [DefaultValueExpr] default
# 15| 1: [LocalVariableAccess] access to local variable s
# 16| 5: [LocalVariableDeclStmt] ... ...;
# 16| 0: [LocalVariableDeclAndInitExpr] Boolean b = ...
# 16| 0: [CastExpr] (...) ...
# 16| 0: [LocalVariableAccess] access to local variable b
# 16| 1: [CastExpr] (...) ...
# 16| 0: [DefaultValueExpr] default
# 16| 1: [LocalVariableAccess] access to local variable b
# 17| 6: [LocalVariableDeclStmt] ... ...;
# 17| 0: [LocalVariableDeclAndInitExpr] Double d = ...
# 17| 0: [CastExpr] (...) ...
# 17| 0: [LocalVariableAccess] access to local variable d
# 17| 1: [CastExpr] (...) ...
# 17| 0: [DefaultValueExpr] default
# 17| 1: [LocalVariableAccess] access to local variable d
# 21| [Class] IsConstants
# 23| 5: [Method] f
# 24| 4: [BlockStmt] {...}
@@ -49,19 +49,19 @@ csharp71.cs:
# 25| 0: [LocalVariableDeclExpr] Boolean b
# 26| 1: [ExprStmt] ...;
# 26| 0: [AssignExpr] ... = ...
# 26| 0: [IsExpr] ... is ...
# 26| 0: [LocalVariableAccess] access to local variable b
# 26| 1: [IsExpr] ... is ...
# 26| 0: [ObjectCreation] object creation of type Object
# 26| 1: [ConstantPatternExpr,StringLiteral] "abc"
# 26| 1: [LocalVariableAccess] access to local variable b
# 27| 2: [ExprStmt] ...;
# 27| 0: [AssignExpr] ... = ...
# 27| 0: [IsExpr] ... is ...
# 27| 0: [LocalVariableAccess] access to local variable b
# 27| 1: [IsExpr] ... is ...
# 27| 0: [StringLiteral] ""
# 27| 1: [ConstantPatternExpr,NullLiteral] null
# 27| 1: [LocalVariableAccess] access to local variable b
# 28| 3: [ExprStmt] ...;
# 28| 0: [AssignExpr] ... = ...
# 28| 0: [IsExpr] ... is ...
# 28| 0: [LocalVariableAccess] access to local variable b
# 28| 1: [IsExpr] ... is ...
# 28| 0: [LocalVariableAccess] access to local variable b
# 28| 1: [BoolLiteral,ConstantPatternExpr] true
# 28| 1: [LocalVariableAccess] access to local variable b

View File

@@ -9,8 +9,8 @@ csharp72.cs:
# 16| 4: [BlockStmt] {...}
# 17| 0: [LocalVariableDeclStmt] ... ...;
# 17| 0: [LocalVariableDeclAndInitExpr] S s = ...
# 17| 0: [ObjectCreation] object creation of type S
# 17| 1: [LocalVariableAccess] access to local variable s
# 17| 0: [LocalVariableAccess] access to local variable s
# 17| 1: [ObjectCreation] object creation of type S
# 18| 1: [ExprStmt] ...;
# 18| 0: [MethodCall] call to method F
# 18| 0: [LocalVariableAccess] access to local variable s
@@ -28,12 +28,12 @@ csharp72.cs:
# 46| [Class] NumericLiterals
# 48| 5: [Field] binaryValue
# 48| 1: [AssignExpr] ... = ...
# 48| 0: [IntLiteral] 85
# 48| 1: [FieldAccess] access to field binaryValue
# 48| 0: [FieldAccess] access to field binaryValue
# 48| 1: [IntLiteral] 85
# 51| [Class] PrivateProtected
# 53| 5: [Field] X
# 53| 1: [AssignExpr] ... = ...
# 53| 0: [IntLiteral] 1
# 53| 1: [FieldAccess] access to field X
# 53| 0: [FieldAccess] access to field X
# 53| 1: [IntLiteral] 1
# 55| 6: [Method] F
# 55| 4: [BlockStmt] {...}

View File

@@ -4,51 +4,51 @@ csharp73.cs:
# 8| 4: [BlockStmt] {...}
# 9| 0: [LocalVariableDeclStmt] ... ...;
# 9| 0: [LocalVariableDeclAndInitExpr] Char* arr1 = ...
# 9| 0: [Stackalloc] array creation of type Char*
# 9| 0: [LocalVariableAccess] access to local variable arr1
# 9| 1: [Stackalloc] array creation of type Char*
# 9| -1: [ArrayInitializer] { ..., ... }
# 9| 0: [CharLiteral] x
# 9| 1: [CharLiteral] y
# 9| 1: [LocalVariableAccess] access to local variable arr1
# 10| 1: [LocalVariableDeclStmt] ... ...;
# 10| 0: [LocalVariableDeclAndInitExpr] Char* arr2 = ...
# 10| 0: [Stackalloc] array creation of type Char*
# 10| 0: [LocalVariableAccess] access to local variable arr2
# 10| 1: [Stackalloc] array creation of type Char*
# 10| -1: [ArrayInitializer] { ..., ... }
# 10| 0: [CharLiteral] x
# 10| 0: [IntLiteral] 1
# 10| 1: [LocalVariableAccess] access to local variable arr2
# 11| 2: [LocalVariableDeclStmt] ... ...;
# 11| 0: [LocalVariableDeclAndInitExpr] Char[] arr3 = ...
# 11| 0: [ArrayCreation] array creation of type Char[]
# 11| 0: [LocalVariableAccess] access to local variable arr3
# 11| 1: [ArrayCreation] array creation of type Char[]
# 11| -1: [ArrayInitializer] { ..., ... }
# 11| 0: [CharLiteral] x
# 11| 1: [LocalVariableAccess] access to local variable arr3
# 12| 3: [LocalVariableDeclStmt] ... ...;
# 12| 0: [LocalVariableDeclAndInitExpr] Char* arr4 = ...
# 12| 0: [Stackalloc] array creation of type Char*
# 12| 0: [LocalVariableAccess] access to local variable arr4
# 12| 1: [Stackalloc] array creation of type Char*
# 12| 0: [IntLiteral] 10
# 12| 1: [LocalVariableAccess] access to local variable arr4
# 13| 4: [LocalVariableDeclStmt] ... ...;
# 13| 0: [LocalVariableDeclAndInitExpr] Char[] arr5 = ...
# 13| 0: [ArrayCreation] array creation of type Char[]
# 13| 0: [LocalVariableAccess] access to local variable arr5
# 13| 1: [ArrayCreation] array creation of type Char[]
# 13| 0: [IntLiteral] 10
# 13| 1: [LocalVariableAccess] access to local variable arr5
# 14| 5: [LocalVariableDeclStmt] ... ...;
# 14| 0: [LocalVariableDeclAndInitExpr] Int32* arr6 = ...
# 14| 0: [Stackalloc] array creation of type Int32*
# 14| 0: [LocalVariableAccess] access to local variable arr6
# 14| 1: [Stackalloc] array creation of type Int32*
# 14| -1: [ArrayInitializer] { ..., ... }
# 14| 0: [IntLiteral] 1
# 14| 1: [IntLiteral] 2
# 14| 2: [IntLiteral] 3
# 14| 1: [LocalVariableAccess] access to local variable arr6
# 18| [Class] PinnedReference
# 20| 5: [Method] F
# 21| 4: [BlockStmt] {...}
# 22| 0: [LocalVariableDeclStmt] ... ...;
# 22| 0: [LocalVariableDeclAndInitExpr] Span<Int32> t = ...
# 22| 0: [OperatorCall] call to operator implicit conversion
# 22| 0: [LocalVariableAccess] access to local variable t
# 22| 1: [OperatorCall] call to operator implicit conversion
# 22| 0: [ArrayCreation] array creation of type Int32[]
# 22| 0: [IntLiteral] 10
# 22| 1: [LocalVariableAccess] access to local variable t
# 25| 1: [BlockStmt] {...}
# 30| [Class] UnmanagedConstraint<>
#-----| 1: (Type parameters)
@@ -66,8 +66,8 @@ csharp73.cs:
# 45| 4: [BlockStmt] {...}
# 46| 0: [ExprStmt] ...;
# 46| 0: [AssignExpr] ... = ...
# 46| 0: [IntLiteral] 5
# 46| 1: [ParameterAccess] access to parameter x
# 46| 0: [ParameterAccess] access to parameter x
# 46| 1: [IntLiteral] 5
# 49| 5: [InstanceConstructor] ExpressionVariables
# 49| 3: [ConstructorInitializer] call to constructor ExpressionVariables
# 49| 0: [LocalVariableDeclExpr] Int32 x

View File

@@ -2,21 +2,21 @@ CSharp7.cs:
# 7| [Class] Literals
# 9| 5: [Field] x
# 9| 1: [AssignExpr] ... = ...
# 9| 0: [IntLiteral] 11
# 9| 1: [FieldAccess] access to field x
# 9| 0: [FieldAccess] access to field x
# 9| 1: [IntLiteral] 11
# 10| 6: [Field] y
# 10| 1: [AssignExpr] ... = ...
# 10| 0: [IntLiteral] 123456
# 10| 1: [FieldAccess] access to field y
# 10| 0: [FieldAccess] access to field y
# 10| 1: [IntLiteral] 123456
# 11| 7: [Field] z
# 11| 1: [AssignExpr] ... = ...
# 11| 0: [IntLiteral] 128
# 11| 1: [FieldAccess] access to field z
# 11| 0: [FieldAccess] access to field z
# 11| 1: [IntLiteral] 128
# 14| [Class] ExpressionBodiedMembers
# 16| 4: [Field] field
# 16| 1: [AssignExpr] ... = ...
# 16| 0: [IntLiteral] 0
# 16| 1: [FieldAccess] access to field field
# 16| 0: [FieldAccess] access to field field
# 16| 1: [IntLiteral] 0
# 17| 5: [Method] Foo
# 17| 4: [FieldAccess] access to field field
# 18| 6: [Property] P
@@ -29,8 +29,8 @@ CSharp7.cs:
#-----| 2: (Parameters)
# 22| 0: [Parameter] value
# 22| 4: [AssignExpr] ... = ...
# 22| 0: [ParameterAccess] access to parameter value
# 22| 1: [FieldAccess] access to field field
# 22| 0: [FieldAccess] access to field field
# 22| 1: [ParameterAccess] access to parameter value
# 24| 8: [InstanceConstructor] ExpressionBodiedMembers
# 24| 3: [ConstructorInitializer] call to constructor ExpressionBodiedMembers
# 24| 0: [IntLiteral] 1
@@ -62,8 +62,8 @@ CSharp7.cs:
# 40| 4: [BlockStmt] {...}
# 41| 0: [ExprStmt] ...;
# 41| 0: [AssignExpr] ... = ...
# 41| 0: [StringLiteral] "tainted"
# 41| 1: [ParameterAccess] access to parameter x
# 41| 0: [ParameterAccess] access to parameter x
# 41| 1: [StringLiteral] "tainted"
# 44| 6: [Method] G
#-----| 2: (Parameters)
# 44| 0: [Parameter] x
@@ -71,8 +71,8 @@ CSharp7.cs:
# 45| 4: [BlockStmt] {...}
# 46| 0: [ExprStmt] ...;
# 46| 0: [AssignExpr] ... = ...
# 46| 0: [ParameterAccess] access to parameter x
# 46| 1: [ParameterAccess] access to parameter y
# 46| 0: [ParameterAccess] access to parameter y
# 46| 1: [ParameterAccess] access to parameter x
# 49| 7: [Method] G
# 50| 4: [BlockStmt] {...}
# 51| 0: [ExprStmt] ...;
@@ -83,27 +83,27 @@ CSharp7.cs:
# 52| 0: [LocalVariableAccess,LocalVariableDeclExpr] String t2
# 53| 2: [LocalVariableDeclStmt] ... ...;
# 53| 0: [LocalVariableDeclAndInitExpr] String t3 = ...
# 53| 0: [LocalVariableAccess] access to local variable t1
# 53| 1: [LocalVariableAccess] access to local variable t3
# 53| 0: [LocalVariableAccess] access to local variable t3
# 53| 1: [LocalVariableAccess] access to local variable t1
# 54| 3: [ExprStmt] ...;
# 54| 0: [MethodCall] call to method F
# 54| 0: [LocalVariableAccess] access to local variable t1
# 55| 4: [ExprStmt] ...;
# 55| 0: [AssignExpr] ... = ...
# 55| 0: [LocalVariableAccess] access to local variable t1
# 55| 1: [LocalVariableAccess] access to local variable t3
# 55| 0: [LocalVariableAccess] access to local variable t3
# 55| 1: [LocalVariableAccess] access to local variable t1
# 56| 5: [ExprStmt] ...;
# 56| 0: [AssignExpr] ... = ...
# 56| 0: [LocalVariableAccess] access to local variable t2
# 56| 1: [LocalVariableAccess] access to local variable t3
# 56| 0: [LocalVariableAccess] access to local variable t3
# 56| 1: [LocalVariableAccess] access to local variable t2
# 57| 6: [ExprStmt] ...;
# 57| 0: [MethodCall] call to method G
# 57| 0: [StringLiteral] "tainted"
# 57| 1: [LocalVariableAccess,LocalVariableDeclExpr] String t4
# 58| 7: [LocalVariableDeclStmt] ... ...;
# 58| 0: [LocalVariableDeclAndInitExpr] String t5 = ...
# 58| 0: [LocalVariableAccess] access to local variable t4
# 58| 1: [LocalVariableAccess] access to local variable t5
# 58| 0: [LocalVariableAccess] access to local variable t5
# 58| 1: [LocalVariableAccess] access to local variable t4
# 62| [Class] Tuples
# 64| 5: [Method] F
# 65| 4: [BlockStmt] {...}
@@ -115,78 +115,78 @@ CSharp7.cs:
# 70| 4: [BlockStmt] {...}
# 71| 0: [ExprStmt] ...;
# 71| 0: [AssignExpr] ... = ...
# 71| 0: [MethodCall] call to method F
# 71| 1: [TupleExpr] (..., ...)
# 71| 0: [TupleExpr] (..., ...)
# 71| 0: [LocalVariableDeclExpr] Int32 x
# 71| 1: [LocalVariableDeclExpr] Int32 y
# 71| 1: [MethodCall] call to method F
# 72| 1: [LocalVariableDeclStmt] ... ...;
# 72| 0: [LocalVariableDeclAndInitExpr] (Int32,Int32) z = ...
# 72| 0: [MethodCall] call to method F
# 72| 1: [LocalVariableAccess] access to local variable z
# 72| 0: [LocalVariableAccess] access to local variable z
# 72| 1: [MethodCall] call to method F
# 73| 2: [ExprStmt] ...;
# 73| 0: [AssignExpr] ... = ...
# 73| 0: [MethodCall] call to method F
# 73| 1: [TupleExpr] (..., ...)
# 73| 0: [TupleExpr] (..., ...)
# 73| 0: [LocalVariableAccess] access to local variable x
# 73| 1: [LocalVariableAccess] access to local variable y
# 73| 1: [MethodCall] call to method F
# 74| 3: [ExprStmt] ...;
# 74| 0: [AssignExpr] ... = ...
# 74| 0: [FieldAccess] access to field A
# 74| 0: [LocalVariableAccess] access to local variable x
# 74| 1: [FieldAccess] access to field A
# 74| -1: [MethodCall] call to method F
# 74| 1: [LocalVariableAccess] access to local variable x
# 75| 4: [ExprStmt] ...;
# 75| 0: [AssignExpr] ... = ...
# 75| 0: [TupleExpr] (..., ...)
# 75| 0: [IntLiteral] 1
# 75| 1: [IntLiteral] 2
# 75| 2: [IntLiteral] 3
# 75| 1: [TupleExpr] (..., ...)
# 75| 0: [LocalVariableAccess] access to local variable x
# 75| 1: [LocalVariableAccess] access to local variable y
# 75| 2: [FieldAccess] access to field Item1
# 75| -1: [LocalVariableAccess] access to local variable z
# 75| 1: [TupleExpr] (..., ...)
# 75| 0: [IntLiteral] 1
# 75| 1: [IntLiteral] 2
# 75| 2: [IntLiteral] 3
# 76| 5: [ExprStmt] ...;
# 76| 0: [AssignExpr] ... = ...
# 76| 0: [AssignExpr] ... = ...
# 76| 0: [TupleExpr] (..., ...)
# 76| 0: [IntLiteral] 1
# 76| 1: [IntLiteral] 2
# 76| 1: [TupleExpr] (..., ...)
# 76| 0: [LocalVariableAccess] access to local variable x
# 76| 1: [LocalVariableAccess] access to local variable y
# 76| 1: [TupleExpr] (..., ...)
# 76| 0: [TupleExpr] (..., ...)
# 76| 0: [LocalVariableAccess] access to local variable x
# 76| 1: [LocalVariableAccess] access to local variable y
# 76| 1: [AssignExpr] ... = ...
# 76| 0: [TupleExpr] (..., ...)
# 76| 0: [LocalVariableAccess] access to local variable x
# 76| 1: [LocalVariableAccess] access to local variable y
# 76| 1: [TupleExpr] (..., ...)
# 76| 0: [IntLiteral] 1
# 76| 1: [IntLiteral] 2
# 77| 6: [ExprStmt] ...;
# 77| 0: [AssignExpr] ... = ...
# 77| 0: [TupleExpr] (..., ...)
# 77| 0: [IntLiteral] 1
# 77| 1: [LocalVariableAccess] access to local variable z
# 77| 1: [TupleExpr] (..., ...)
# 77| 0: [LocalVariableDeclExpr] Int32 a
# 77| 1: [TupleExpr] (..., ...)
# 77| 0: [LocalVariableDeclExpr] Int32 b
# 77| 1: [LocalVariableDeclExpr] Int32 c
# 77| 1: [TupleExpr] (..., ...)
# 77| 0: [IntLiteral] 1
# 77| 1: [LocalVariableAccess] access to local variable z
# 78| 7: [ExprStmt] ...;
# 78| 0: [AssignExpr] ... = ...
# 78| 0: [TupleExpr] (..., ...)
# 78| 0: [LocalVariableAccess] access to local variable b
# 78| 1: [TupleExpr] (..., ...)
# 78| 0: [LocalVariableAccess] access to local variable c
# 78| 1: [LocalVariableAccess] access to local variable a
# 78| 1: [TupleExpr] (..., ...)
# 78| 0: [LocalVariableAccess] access to local variable a
# 78| 1: [TupleExpr] (..., ...)
# 78| 0: [LocalVariableAccess] access to local variable b
# 78| 1: [LocalVariableAccess] access to local variable c
# 78| 1: [TupleExpr] (..., ...)
# 78| 0: [LocalVariableAccess] access to local variable b
# 78| 1: [TupleExpr] (..., ...)
# 78| 0: [LocalVariableAccess] access to local variable c
# 78| 1: [LocalVariableAccess] access to local variable a
# 79| 8: [ExprStmt] ...;
# 79| 0: [AssignExpr] ... = ...
# 79| 0: [TupleExpr] (..., ...)
# 79| 0: [StringLiteral] ""
# 79| 1: [LocalVariableAccess] access to local variable x
# 79| 1: [TupleExpr] (..., ...)
# 79| 0: [LocalVariableDeclExpr] String i
# 79| 1: [LocalVariableDeclExpr] Int32 j
# 79| 1: [TupleExpr] (..., ...)
# 79| 0: [StringLiteral] ""
# 79| 1: [LocalVariableAccess] access to local variable x
# 82| 7: [Method] I
#-----| 2: (Parameters)
# 82| 0: [Parameter] x
@@ -200,72 +200,72 @@ CSharp7.cs:
# 88| 4: [BlockStmt] {...}
# 89| 0: [LocalVariableDeclStmt] ... ...;
# 89| 0: [LocalVariableDeclAndInitExpr] (String,String) t1 = ...
# 89| 0: [TupleExpr] (..., ...)
# 89| 0: [LocalVariableAccess] access to local variable t1
# 89| 1: [TupleExpr] (..., ...)
# 89| 0: [StringLiteral] "tainted"
# 89| 1: [StringLiteral] "X2"
# 89| 1: [LocalVariableAccess] access to local variable t1
# 90| 1: [ExprStmt] ...;
# 90| 0: [AssignExpr] ... = ...
# 90| 0: [LocalVariableAccess] access to local variable t1
# 90| 1: [TupleExpr] (..., ...)
# 90| 0: [TupleExpr] (..., ...)
# 90| 0: [LocalVariableDeclExpr] String t2
# 90| 1: [LocalVariableDeclExpr] String t3
# 90| 1: [LocalVariableAccess] access to local variable t1
# 91| 2: [LocalVariableDeclStmt] ... ...;
# 91| 0: [LocalVariableDeclAndInitExpr] String t4 = ...
# 91| 0: [LocalVariableAccess] access to local variable t3
# 91| 1: [LocalVariableAccess] access to local variable t4
# 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| 0: [MethodCall] call to method I
# 92| 0: [LocalVariableAccess] access to local variable t5
# 92| 1: [MethodCall] call to method I
# 92| 0: [FieldAccess] access to field Item1
# 92| -1: [LocalVariableAccess] access to local variable t1
# 92| 1: [LocalVariableAccess] access to local variable t5
# 95| 9: [Method] TupleExprNode
# 96| 4: [BlockStmt] {...}
# 97| 0: [LocalVariableDeclStmt] ... ...;
# 97| 0: [LocalVariableDeclAndInitExpr] (Int32,String) m1 = ...
# 97| 0: [TupleExpr] (..., ...)
# 97| 0: [LocalVariableAccess] access to local variable m1
# 97| 1: [TupleExpr] (..., ...)
# 97| 0: [IntLiteral] 1
# 97| 1: [StringLiteral] "TupleExprNode1"
# 97| 1: [LocalVariableAccess] access to local variable m1
# 98| 1: [LocalVariableDeclStmt] ... ...;
# 98| 0: [LocalVariableDeclAndInitExpr] (Int32,(String,Int32)) m2 = ...
# 98| 0: [TupleExpr] (..., ...)
# 98| 0: [LocalVariableAccess] access to local variable m2
# 98| 1: [TupleExpr] (..., ...)
# 98| 0: [IntLiteral] 1
# 98| 1: [TupleExpr] (..., ...)
# 98| 0: [StringLiteral] "TupleExprNode2"
# 98| 1: [IntLiteral] 2
# 98| 1: [LocalVariableAccess] access to local variable m2
# 101| 10: [Method] TupleMemberAccess
# 102| 4: [BlockStmt] {...}
# 103| 0: [LocalVariableDeclStmt] ... ...;
# 103| 0: [LocalVariableDeclAndInitExpr] String m1 = ...
# 103| 0: [FieldAccess] access to field Item1
# 103| 0: [LocalVariableAccess] access to local variable m1
# 103| 1: [FieldAccess] access to field Item1
# 103| -1: [TupleExpr] (..., ...)
# 103| 0: [StringLiteral] "TupleMemberAccess1"
# 103| 1: [IntLiteral] 0
# 103| 1: [LocalVariableAccess] access to local variable m1
# 104| 1: [LocalVariableDeclStmt] ... ...;
# 104| 0: [LocalVariableDeclAndInitExpr] (String,Int32) m2 = ...
# 104| 0: [FieldAccess] access to field Item2
# 104| 0: [LocalVariableAccess] access to local variable m2
# 104| 1: [FieldAccess] access to field Item2
# 104| -1: [TupleExpr] (..., ...)
# 104| 0: [IntLiteral] 0
# 104| 1: [TupleExpr] (..., ...)
# 104| 0: [StringLiteral] "TupleMemberAccess2"
# 104| 1: [IntLiteral] 1
# 104| 1: [LocalVariableAccess] access to local variable m2
# 107| 11: [Method] DefUse
# 108| 4: [BlockStmt] {...}
# 109| 0: [ExprStmt] ...;
# 109| 0: [AssignExpr] ... = ...
# 109| 0: [TupleExpr] (..., ...)
# 109| 0: [LocalVariableDeclExpr] String m1
# 109| 1: [LocalVariableDeclExpr] (Int32,Int32) m2
# 109| 1: [TupleExpr] (..., ...)
# 109| 0: [StringLiteral] "DefUse1"
# 109| 1: [TupleExpr] (..., ...)
# 109| 0: [IntLiteral] 0
# 109| 1: [IntLiteral] 1
# 109| 1: [TupleExpr] (..., ...)
# 109| 0: [LocalVariableDeclExpr] String m1
# 109| 1: [LocalVariableDeclExpr] (Int32,Int32) m2
# 110| 1: [LocalVariableDeclStmt] ... ...;
# 110| 0: [LocalVariableDeclExpr] String m3
# 111| 2: [LocalVariableDeclStmt] ... ...;
@@ -274,55 +274,55 @@ CSharp7.cs:
# 112| 3: [ExprStmt] ...;
# 112| 0: [AssignExpr] ... = ...
# 112| 0: [TupleExpr] (..., ...)
# 112| 0: [LocalVariableAccess] access to local variable m1
# 112| 1: [LocalVariableAccess] access to local variable m2
# 112| 1: [TupleExpr] (..., ...)
# 112| 0: [LocalVariableAccess] access to local variable m3
# 112| 1: [TupleExpr] (..., ...)
# 112| 0: [LocalVariableAccess] access to local variable m4
# 112| 1: [LocalVariableAccess] access to local variable m5
# 112| 1: [TupleExpr] (..., ...)
# 112| 0: [LocalVariableAccess] access to local variable m1
# 112| 1: [LocalVariableAccess] access to local variable m2
# 113| 4: [LocalVariableDeclStmt] ... ...;
# 113| 0: [LocalVariableDeclAndInitExpr] Int32 m6 = ...
# 113| 0: [LocalVariableAccess] access to local variable m4
# 113| 1: [LocalVariableAccess] access to local variable m6
# 113| 0: [LocalVariableAccess] access to local variable m6
# 113| 1: [LocalVariableAccess] access to local variable m4
# 114| 5: [ExprStmt] ...;
# 114| 0: [AssignExpr] ... = ...
# 114| 0: [AssignExpr] ... = ...
# 114| 0: [TupleExpr] (..., ...)
# 114| 0: [StringLiteral] "DefUse2"
# 114| 1: [TupleExpr] (..., ...)
# 114| 0: [IntLiteral] 0
# 114| 1: [IntLiteral] 1
# 114| 1: [TupleExpr] (..., ...)
# 114| 0: [LocalVariableAccess] access to local variable m1
# 114| 1: [LocalVariableAccess] access to local variable m2
# 114| 1: [TupleExpr] (..., ...)
# 114| 0: [TupleExpr] (..., ...)
# 114| 0: [LocalVariableDeclExpr] String m7
# 114| 1: [TupleExpr] (..., ...)
# 114| 0: [LocalVariableDeclExpr] Int32 m8
# 114| 1: [LocalVariableDeclExpr] Int32 m9
# 114| 1: [AssignExpr] ... = ...
# 114| 0: [TupleExpr] (..., ...)
# 114| 0: [LocalVariableAccess] access to local variable m1
# 114| 1: [LocalVariableAccess] access to local variable m2
# 114| 1: [TupleExpr] (..., ...)
# 114| 0: [StringLiteral] "DefUse2"
# 114| 1: [TupleExpr] (..., ...)
# 114| 0: [IntLiteral] 0
# 114| 1: [IntLiteral] 1
# 115| 6: [LocalVariableDeclStmt] ... ...;
# 115| 0: [LocalVariableDeclAndInitExpr] Int32 m10 = ...
# 115| 0: [LocalVariableAccess] access to local variable m9
# 115| 1: [LocalVariableAccess] access to local variable m10
# 115| 0: [LocalVariableAccess] access to local variable m10
# 115| 1: [LocalVariableAccess] access to local variable m9
# 118| 7: [ExprStmt] ...;
# 118| 0: [AssignExpr] ... = ...
# 118| 0: [IntLiteral] 0
# 118| 1: [FieldAccess] access to field Item2
# 118| 0: [FieldAccess] access to field Item2
# 118| -1: [LocalVariableAccess] access to local variable m2
# 118| 1: [IntLiteral] 0
# 119| 8: [LocalVariableDeclStmt] ... ...;
# 119| 0: [LocalVariableDeclAndInitExpr] Int32 m11 = ...
# 119| 0: [FieldAccess] access to field Item1
# 119| 0: [LocalVariableAccess] access to local variable m11
# 119| 1: [FieldAccess] access to field Item1
# 119| -1: [LocalVariableAccess] access to local variable m2
# 119| 1: [LocalVariableAccess] access to local variable m11
# 122| 9: [LocalVariableDeclStmt] ... ...;
# 122| 0: [LocalVariableDeclExpr] String m12
# 123| 10: [LocalVariableDeclStmt] ... ...;
# 123| 0: [LocalVariableDeclAndInitExpr] String m13 = ...
# 123| 0: [AssignExpr] ... = ...
# 123| 0: [StringLiteral] "DefUse3"
# 123| 1: [LocalVariableAccess] access to local variable m12
# 123| 1: [LocalVariableAccess] access to local variable m13
# 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
# 130| 4: [BlockStmt] {...}
@@ -348,21 +348,21 @@ CSharp7.cs:
# 133| 0: [ParameterAccess] access to parameter t
# 135| 2: [LocalVariableDeclStmt] ... ...;
# 135| 0: [LocalVariableDeclAndInitExpr] Func<Int32> f4 = ...
# 135| 0: [ImplicitDelegateCreation] delegate creation of type Func<Int32>
# 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
# 135| 1: [LocalVariableAccess] access to local variable f4
# 137| 3: [LocalFunctionStmt] f3(...)
# 137| 0: [LocalFunction] f3
# 137| 4: [IntLiteral] 2
# 139| 4: [LocalVariableDeclStmt] ... ...;
# 139| 0: [LocalVariableDeclAndInitExpr] Func<Int32,Int32> f5 = ...
# 139| 0: [LambdaExpr] (...) => ...
# 139| 0: [LocalVariableAccess] access to local variable f5
# 139| 1: [LambdaExpr] (...) => ...
#-----| 2: (Parameters)
# 139| 0: [Parameter] x
# 139| 4: [AddExpr] ... + ...
# 139| 0: [ParameterAccess] access to parameter x
# 139| 1: [IntLiteral] 1
# 139| 1: [LocalVariableAccess] access to local variable f5
# 141| 5: [LocalFunctionStmt] f6(...)
# 141| 0: [LocalFunction] f6
#-----| 2: (Parameters)
@@ -402,12 +402,12 @@ CSharp7.cs:
# 148| 0: [IntLiteral] 1
# 151| 8: [LocalVariableDeclStmt] ... ...;
# 151| 0: [LocalVariableDeclAndInitExpr] Action a = ...
# 151| 0: [LambdaExpr] (...) => ...
# 151| 0: [LocalVariableAccess] access to local variable a
# 151| 1: [LambdaExpr] (...) => ...
# 152| 4: [BlockStmt] {...}
# 153| 0: [LocalFunctionStmt] f9(...)
# 153| 0: [LocalFunction] f9
# 153| 4: [IntLiteral] 0
# 151| 1: [LocalVariableAccess] access to local variable a
# 156| 9: [ReturnStmt] return ...;
# 156| 0: [LocalFunctionCall] call to local function f1
# 156| -1: [LocalFunctionAccess] access to local function f1
@@ -465,8 +465,8 @@ CSharp7.cs:
# 176| 4: [BlockStmt] {...}
# 177| 0: [LocalVariableDeclStmt] ... ...;
# 177| 0: [LocalVariableDeclAndInitExpr] String src = ...
# 177| 0: [StringLiteral] "tainted"
# 177| 1: [LocalVariableAccess] access to local variable src
# 177| 0: [LocalVariableAccess] access to local variable src
# 177| 1: [StringLiteral] "tainted"
# 178| 1: [LocalFunctionStmt] f(...)
# 178| 0: [LocalFunction] f
#-----| 2: (Parameters)
@@ -490,77 +490,77 @@ CSharp7.cs:
# 180| 0: [ParameterAccess] access to parameter s
# 182| 4: [LocalVariableDeclStmt] ... ...;
# 182| 0: [LocalVariableDeclAndInitExpr] String sink1 = ...
# 182| 0: [LocalFunctionCall] call to local function f
# 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
# 182| 1: [LocalVariableAccess] access to local variable sink1
# 183| 5: [LocalVariableDeclStmt] ... ...;
# 183| 0: [LocalVariableDeclAndInitExpr] String sink2 = ...
# 183| 0: [LocalFunctionCall] call to local function g
# 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
# 183| 1: [LocalVariableAccess] access to local variable sink2
# 184| 6: [LocalVariableDeclStmt] ... ...;
# 184| 0: [LocalVariableDeclAndInitExpr] String sink3 = ...
# 184| 0: [LocalFunctionCall] call to local function h
# 184| 0: [LocalVariableAccess] access to local variable sink3
# 184| 1: [LocalFunctionCall] call to local function h
# 184| -1: [LocalFunctionAccess] access to local function h
# 184| 0: [LocalVariableAccess] access to local variable src
# 184| 1: [LocalVariableAccess] access to local variable sink3
# 188| [Class] Refs
# 190| 5: [Method] F1
# 191| 4: [BlockStmt] {...}
# 192| 0: [LocalVariableDeclStmt] ... ...;
# 192| 0: [LocalVariableDeclAndInitExpr] Int32 v1 = ...
# 192| 0: [IntLiteral] 2
# 192| 1: [LocalVariableAccess] access to local variable v1
# 192| 0: [LocalVariableAccess] access to local variable v1
# 192| 1: [IntLiteral] 2
# 193| 1: [LocalVariableDeclStmt] ... ...;
# 193| 0: [LocalVariableDeclAndInitExpr] Int32 r1 = ...
# 193| 0: [RefExpr] ref ...
# 193| 0: [LocalVariableAccess] access to local variable r1
# 193| 1: [RefExpr] ref ...
# 193| 0: [LocalVariableAccess] access to local variable v1
# 193| 1: [LocalVariableAccess] access to local variable r1
# 194| 2: [LocalVariableDeclStmt] ... ...;
# 194| 0: [LocalVariableDeclAndInitExpr] Int32[] array = ...
# 194| 0: [ArrayCreation] array creation of type Int32[]
# 194| 0: [LocalVariableAccess] access to local variable array
# 194| 1: [ArrayCreation] array creation of type Int32[]
# 194| 0: [IntLiteral] 10
# 194| 1: [LocalVariableAccess] access to local variable array
# 195| 3: [ExprStmt] ...;
# 195| 0: [AssignExpr] ... = ...
# 195| 0: [IntLiteral] 3
# 195| 1: [LocalVariableAccess] access to local variable r1
# 195| 0: [LocalVariableAccess] access to local variable r1
# 195| 1: [IntLiteral] 3
# 196| 4: [ExprStmt] ...;
# 196| 0: [AssignExpr] ... = ...
# 196| 0: [ArrayAccess] access to array element
# 196| 0: [LocalVariableAccess] access to local variable r1
# 196| 1: [ArrayAccess] access to array element
# 196| -1: [LocalVariableAccess] access to local variable array
# 196| 0: [IntLiteral] 1
# 196| 1: [LocalVariableAccess] access to local variable r1
# 197| 5: [LocalVariableDeclStmt] ... ...;
# 197| 0: [LocalVariableDeclAndInitExpr] Int32 r2 = ...
# 197| 0: [RefExpr] ref ...
# 197| 0: [LocalVariableAccess] access to local variable r2
# 197| 1: [RefExpr] ref ...
# 197| 0: [ArrayAccess] access to array element
# 197| -1: [LocalVariableAccess] access to local variable array
# 197| 0: [IntLiteral] 3
# 197| 1: [LocalVariableAccess] access to local variable r2
# 198| 6: [LocalVariableDeclStmt] ... ...;
# 198| 0: [LocalVariableDeclAndInitExpr] Int32 r3 = ...
# 198| 0: [RefExpr] ref ...
# 198| 0: [LocalVariableAccess] access to local variable r3
# 198| 1: [RefExpr] ref ...
# 198| 0: [LocalVariableAccess] access to local variable r1
# 198| 1: [LocalVariableAccess] access to local variable r3
# 199| 7: [ExprStmt] ...;
# 199| 0: [AssignExpr] ... = ...
# 199| 0: [MethodCall] call to method F2
# 199| 0: [LocalVariableAccess] access to local variable v1
# 199| 1: [MethodCall] call to method F2
# 199| 0: [LocalVariableAccess] access to local variable v1
# 199| 1: [LocalVariableAccess] access to local variable v1
# 200| 8: [LocalVariableDeclStmt] ... ...;
# 200| 0: [LocalVariableDeclAndInitExpr] Int32 r4 = ...
# 200| 0: [RefExpr] ref ...
# 200| 0: [LocalVariableAccess] access to local variable r4
# 200| 1: [RefExpr] ref ...
# 200| 0: [MethodCall] call to method F2
# 200| 0: [LocalVariableAccess] access to local variable r1
# 200| 1: [LocalVariableAccess] access to local variable r4
# 201| 9: [ExprStmt] ...;
# 201| 0: [AssignExpr] ... = ...
# 201| 0: [IntLiteral] 3
# 201| 1: [MethodCall] call to method F2
# 201| 0: [MethodCall] call to method F2
# 201| 0: [LocalVariableAccess] access to local variable r1
# 201| 1: [IntLiteral] 3
# 204| 6: [Method] F2
#-----| 2: (Parameters)
# 204| 0: [Parameter] p
@@ -586,8 +586,8 @@ CSharp7.cs:
# 216| 4: [BlockStmt] {...}
# 217| 0: [ExprStmt] ...;
# 217| 0: [AssignExpr] ... = ...
# 217| 0: [BoolLiteral] false
# 217| 1: [ParameterAccess] access to parameter x
# 217| 0: [ParameterAccess] access to parameter x
# 217| 1: [BoolLiteral] false
# 218| 1: [ReturnStmt] return ...;
# 218| 0: [TupleExpr] (..., ...)
# 218| 0: [IntLiteral] 0
@@ -596,37 +596,37 @@ CSharp7.cs:
# 222| 4: [BlockStmt] {...}
# 223| 0: [ExprStmt] ...;
# 223| 0: [AssignExpr] ... = ...
# 223| 0: [MethodCall] call to method f
# 223| 0: [DiscardExpr] _
# 223| 1: [MethodCall] call to method f
# 223| 0: [DiscardExpr] _
# 223| 1: [DiscardExpr] _
# 224| 1: [ExprStmt] ...;
# 224| 0: [AssignExpr] ... = ...
# 224| 0: [MethodCall] call to method f
# 224| 0: [DiscardExpr] _
# 224| 1: [TupleExpr] (..., ...)
# 224| 0: [TupleExpr] (..., ...)
# 224| 0: [DiscardExpr] _
# 224| 1: [DiscardExpr] _
# 224| 1: [MethodCall] call to method f
# 224| 0: [DiscardExpr] _
# 225| 2: [ExprStmt] ...;
# 225| 0: [AssignExpr] ... = ...
# 225| 0: [MethodCall] call to method f
# 225| 0: [DiscardExpr] _
# 225| 1: [TupleExpr] (..., ...)
# 225| 0: [TupleExpr] (..., ...)
# 225| 0: [LocalVariableDeclExpr] Int32 x
# 225| 1: [DiscardExpr] _
# 225| 1: [MethodCall] call to method f
# 225| 0: [DiscardExpr] _
# 226| 3: [ExprStmt] ...;
# 226| 0: [AssignExpr] ... = ...
# 226| 0: [MethodCall] call to method f
# 226| 0: [LocalVariableAccess,LocalVariableDeclExpr] Boolean z
# 226| 1: [TupleExpr] (..., ...)
# 226| 0: [TupleExpr] (..., ...)
# 226| 0: [DiscardExpr] _
# 226| 1: [LocalVariableDeclExpr] Double y
# 226| 1: [MethodCall] call to method f
# 226| 0: [LocalVariableAccess,LocalVariableDeclExpr] Boolean z
# 230| [Class] Patterns
# 232| 5: [Method] Test
# 233| 4: [BlockStmt] {...}
# 234| 0: [LocalVariableDeclStmt] ... ...;
# 234| 0: [LocalVariableDeclAndInitExpr] Object o = ...
# 234| 0: [NullLiteral] null
# 234| 1: [LocalVariableAccess] access to local variable o
# 234| 0: [LocalVariableAccess] access to local variable o
# 234| 1: [NullLiteral] null
# 235| 1: [IfStmt] if (...) ...
# 235| 0: [LogicalAndExpr] ... && ...
# 235| 0: [IsExpr] ... is ...
@@ -737,11 +737,12 @@ CSharp7.cs:
# 283| 4: [BlockStmt] {...}
# 284| 0: [LocalVariableDeclStmt] ... ...;
# 284| 0: [LocalVariableDeclAndInitExpr] Dictionary<Int32,String> dict = ...
# 284| 0: [ObjectCreation] object creation of type Dictionary<Int32,String>
# 284| 1: [LocalVariableAccess] access to local variable dict
# 284| 0: [LocalVariableAccess] access to local variable dict
# 284| 1: [ObjectCreation] object creation of type Dictionary<Int32,String>
# 285| 1: [LocalVariableDeclStmt] ... ...;
# 285| 0: [LocalVariableDeclAndInitExpr] IEnumerable<(Int32,String)> list = ...
# 285| 0: [MethodCall] call to method Select
# 285| 0: [LocalVariableAccess] access to local variable list
# 285| 1: [MethodCall] call to method Select
# 285| -1: [LocalVariableAccess] access to local variable dict
# 285| 0: [LambdaExpr] (...) => ...
#-----| 2: (Parameters)
@@ -751,7 +752,6 @@ CSharp7.cs:
# 285| -1: [ParameterAccess] access to parameter item
# 285| 1: [PropertyCall] access to property Value
# 285| -1: [ParameterAccess] access to parameter item
# 285| 1: [LocalVariableAccess] access to local variable list
# 287| 2: [ForeachStmt] foreach (... ... in ...) ...
# 287| 0: [TupleExpr] (..., ...)
# 287| 0: [LocalVariableDeclExpr] Int32 a
@@ -775,8 +775,8 @@ CSharp7.cs:
# 298| 4: [BlockStmt] {...}
# 299| 0: [ForStmt] for (...;...;...) ...
# 299| -1: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 299| 0: [IntLiteral] 0
# 299| 1: [LocalVariableAccess] access to local variable x
# 299| 0: [LocalVariableAccess] access to local variable x
# 299| 1: [IntLiteral] 0
# 299| 0: [LogicalAndExpr] ... && ...
# 299| 0: [LTExpr] ... < ...
# 299| 0: [LocalVariableAccess] access to local variable x

View File

@@ -2,16 +2,16 @@ AlternateInterpolatedStrings.cs:
# 3| [Class] AlternateInterpolatedStrings
# 5| 5: [Field] s1
# 5| 1: [AssignExpr] ... = ...
# 5| 0: [InterpolatedStringExpr] $"..."
# 5| 0: [FieldAccess] access to field s1
# 5| 1: [InterpolatedStringExpr] $"..."
# 5| 0: [StringLiteral] "C:"
# 5| 1: [IntLiteral] 12
# 5| 1: [FieldAccess] access to field s1
# 6| 6: [Field] s2
# 6| 1: [AssignExpr] ... = ...
# 6| 0: [InterpolatedStringExpr] $"..."
# 6| 0: [FieldAccess] access to field s2
# 6| 1: [InterpolatedStringExpr] $"..."
# 6| 0: [StringLiteral] "C:"
# 6| 1: [IntLiteral] 12
# 6| 1: [FieldAccess] access to field s2
AsyncStreams.cs:
# 8| [Class] AsyncStreams
# 10| 5: [Method] Items
@@ -101,12 +101,12 @@ NullCoalescingAssignment.cs:
# 6| 4: [BlockStmt] {...}
# 7| 0: [LocalVariableDeclStmt] ... ...;
# 7| 0: [LocalVariableDeclAndInitExpr] Object o = ...
# 7| 0: [NullLiteral] null
# 7| 1: [LocalVariableAccess] access to local variable o
# 7| 0: [LocalVariableAccess] access to local variable o
# 7| 1: [NullLiteral] null
# 8| 1: [ExprStmt] ...;
# 8| 0: [AssignCoalesceExpr] ... ??= ...
# 8| 0: [ThisAccess] this access
# 8| 1: [LocalVariableAccess] access to local variable o
# 8| 0: [LocalVariableAccess] access to local variable o
# 8| 1: [ThisAccess] this access
NullableRefTypes.cs:
# 6| [Class] MyClass
# 9| 5: [Field] A
@@ -165,22 +165,22 @@ NullableRefTypes.cs:
# 36| 4: [BlockStmt] {...}
# 37| 0: [LocalVariableDeclStmt] ... ...;
# 37| 0: [LocalVariableDeclAndInitExpr] MyClass a = ...
# 37| 0: [ObjectCreation] object creation of type MyClass
# 37| 1: [LocalVariableAccess] access to local variable a
# 37| 0: [LocalVariableAccess] access to local variable a
# 37| 1: [ObjectCreation] object creation of type MyClass
# 38| 1: [LocalVariableDeclStmt] ... ...;
# 38| 0: [LocalVariableDeclAndInitExpr] MyClass b = ...
# 38| 0: [NullLiteral] null
# 38| 1: [LocalVariableAccess] access to local variable b
# 38| 0: [LocalVariableAccess] access to local variable b
# 38| 1: [NullLiteral] null
# 39| 2: [LocalVariableDeclStmt] ... ...;
# 39| 0: [LocalVariableDeclAndInitExpr] MyClass c = ...
# 39| 0: [RefExpr] ref ...
# 39| 0: [LocalVariableAccess] access to local variable c
# 39| 1: [RefExpr] ref ...
# 39| 0: [LocalVariableAccess] access to local variable b
# 39| 1: [LocalVariableAccess] access to local variable c
# 40| 3: [LocalVariableDeclStmt] ... ...;
# 40| 0: [LocalVariableDeclAndInitExpr] MyClass d = ...
# 40| 0: [RefExpr] ref ...
# 40| 0: [LocalVariableAccess] access to local variable d
# 40| 1: [RefExpr] ref ...
# 40| 0: [LocalVariableAccess] access to local variable b
# 40| 1: [LocalVariableAccess] access to local variable d
# 44| 22: [DelegateType] Del1
# 47| 23: [DelegateType] Del
#-----| 2: (Parameters)
@@ -219,8 +219,8 @@ NullableRefTypes.cs:
# 72| 4: [BlockStmt] {...}
# 73| 0: [LocalVariableDeclStmt] ... ...;
# 73| 0: [LocalVariableDeclAndInitExpr] MyClass x = ...
# 73| 0: [NullLiteral] null
# 73| 1: [LocalVariableAccess] access to local variable x
# 73| 0: [LocalVariableAccess] access to local variable x
# 73| 1: [NullLiteral] null
# 74| 1: [ExprStmt] ...;
# 74| 0: [MethodCall] call to method GenericFn
# 74| 0: [LocalVariableAccess] access to local variable x
@@ -235,43 +235,43 @@ NullableRefTypes.cs:
# 83| 4: [BlockStmt] {...}
# 84| 0: [LocalVariableDeclStmt] ... ...;
# 84| 0: [LocalVariableDeclAndInitExpr] String x = ...
# 84| 0: [StringLiteral] "source"
# 84| 1: [LocalVariableAccess] access to local variable x
# 84| 0: [LocalVariableAccess] access to local variable x
# 84| 1: [StringLiteral] "source"
# 85| 1: [LocalVariableDeclStmt] ... ...;
# 85| 0: [LocalVariableDeclAndInitExpr] String y = ...
# 85| 0: [SuppressNullableWarningExpr] ...!
# 85| 0: [LocalVariableAccess] access to local variable y
# 85| 1: [SuppressNullableWarningExpr] ...!
# 85| 0: [LocalVariableAccess] access to local variable x
# 85| 1: [LocalVariableAccess] access to local variable y
# 86| 2: [ExprStmt] ...;
# 86| 0: [AssignExpr] ... = ...
# 86| 0: [SuppressNullableWarningExpr] ...!
# 86| 0: [LocalVariableAccess] access to local variable y
# 86| 1: [SuppressNullableWarningExpr] ...!
# 86| 0: [LocalVariableAccess] access to local variable x
# 86| 1: [LocalVariableAccess] access to local variable y
# 87| 3: [ExprStmt] ...;
# 87| 0: [AssignExpr] ... = ...
# 87| 0: [NullLiteral] null
# 87| 1: [LocalVariableAccess] access to local variable x
# 87| 0: [LocalVariableAccess] access to local variable x
# 87| 1: [NullLiteral] null
# 88| 4: [ExprStmt] ...;
# 88| 0: [AssignExpr] ... = ...
# 88| 0: [SuppressNullableWarningExpr] ...!
# 88| 0: [LocalVariableAccess] access to local variable y
# 88| 1: [SuppressNullableWarningExpr] ...!
# 88| 0: [LocalVariableAccess] access to local variable x
# 88| 1: [LocalVariableAccess] access to local variable y
# 91| 6: [Method] FunctionInNullableContext
# 92| 4: [BlockStmt] {...}
# 93| 0: [LocalVariableDeclStmt] ... ...;
# 93| 0: [LocalVariableDeclAndInitExpr] String x = ...
# 93| 0: [StringLiteral] "source"
# 93| 1: [LocalVariableAccess] access to local variable x
# 93| 0: [LocalVariableAccess] access to local variable x
# 93| 1: [StringLiteral] "source"
# 94| 1: [LocalVariableDeclStmt] ... ...;
# 94| 0: [LocalVariableDeclAndInitExpr] String y = ...
# 94| 0: [NullCoalescingExpr] ... ?? ...
# 94| 0: [LocalVariableAccess] access to local variable y
# 94| 1: [NullCoalescingExpr] ... ?? ...
# 94| 0: [LocalVariableAccess] access to local variable x
# 94| 1: [NullLiteral] null
# 94| 1: [LocalVariableAccess] access to local variable y
# 95| 2: [LocalVariableDeclStmt] ... ...;
# 95| 0: [LocalVariableDeclAndInitExpr] String z = ...
# 95| 0: [LocalVariableAccess] access to local variable x
# 95| 1: [LocalVariableAccess] access to local variable z
# 95| 0: [LocalVariableAccess] access to local variable z
# 95| 1: [LocalVariableAccess] access to local variable x
# 96| 3: [ExprStmt] ...;
# 96| 0: [MethodCall] call to method WriteLine
# 96| -1: [TypeAccess] access to type Console
@@ -356,8 +356,8 @@ NullableRefTypes.cs:
# 159| 4: [BlockStmt] {...}
# 160| 0: [LocalVariableDeclStmt] ... ...;
# 160| 0: [LocalVariableDeclAndInitExpr] MyClass a = ...
# 160| 0: [ParameterAccess] access to parameter p
# 160| 1: [LocalVariableAccess] access to local variable a
# 160| 0: [LocalVariableAccess] access to local variable a
# 160| 1: [ParameterAccess] access to parameter p
# 161| 1: [ReturnStmt] return ...;
# 161| 0: [LocalVariableAccess] access to local variable a
# 165| [Struct] MyStruct
@@ -371,15 +371,15 @@ NullableRefTypes.cs:
# 180| 4: [BlockStmt] {...}
# 181| 0: [LocalVariableDeclStmt] ... ...;
# 181| 0: [LocalVariableDeclAndInitExpr] String x = ...
# 181| 0: [MethodCall] call to method MaybeNull
# 181| 1: [LocalVariableAccess] access to local variable x
# 181| 0: [LocalVariableAccess] access to local variable x
# 181| 1: [MethodCall] call to method MaybeNull
# 183| 1: [ExprStmt] ...;
# 183| 0: [MethodCall] call to method Check
# 183| 0: [LocalVariableAccess] access to local variable x
# 185| 2: [ForStmt] for (...;...;...) ...
# 185| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 185| 0: [IntLiteral] 0
# 185| 1: [LocalVariableAccess] access to local variable i
# 185| 0: [LocalVariableAccess] access to local variable i
# 185| 1: [IntLiteral] 0
# 185| 0: [LTExpr] ... < ...
# 185| 0: [LocalVariableAccess] access to local variable i
# 185| 1: [IntLiteral] 10
@@ -388,8 +388,8 @@ NullableRefTypes.cs:
# 186| 2: [BlockStmt] {...}
# 187| 0: [ExprStmt] ...;
# 187| 0: [AssignExpr] ... = ...
# 187| 0: [StringLiteral] "not null any more"
# 187| 1: [LocalVariableAccess] access to local variable x
# 187| 0: [LocalVariableAccess] access to local variable x
# 187| 1: [StringLiteral] "not null any more"
# 190| 3: [ExprStmt] ...;
# 190| 0: [MethodCall] call to method Check
# 190| 0: [LocalVariableAccess] access to local variable x
@@ -397,14 +397,14 @@ NullableRefTypes.cs:
# 194| 4: [BlockStmt] {...}
# 195| 0: [LocalVariableDeclStmt] ... ...;
# 195| 0: [LocalVariableDeclAndInitExpr] String y = ...
# 195| 0: [MethodCall] call to method MaybeNull
# 195| 1: [LocalVariableAccess] access to local variable y
# 195| 0: [LocalVariableAccess] access to local variable y
# 195| 1: [MethodCall] call to method MaybeNull
# 197| 1: [TryStmt] try {...} ...
# 202| -1: [BlockStmt] {...}
# 203| 0: [ExprStmt] ...;
# 203| 0: [AssignExpr] ... = ...
# 203| 0: [StringLiteral] "not null"
# 203| 1: [LocalVariableAccess] access to local variable y
# 203| 0: [LocalVariableAccess] access to local variable y
# 203| 1: [StringLiteral] "not null"
# 198| 0: [BlockStmt] {...}
# 199| 0: [ThrowStmt] throw ...;
# 199| 0: [ObjectCreation] object creation of type ArgumentException
@@ -417,9 +417,9 @@ NullableRefTypes.cs:
# 210| 4: [BlockStmt] {...}
# 211| 0: [LocalVariableDeclStmt] ... ...;
# 211| 0: [LocalVariableDeclAndInitExpr] Type t = ...
# 211| 0: [MethodCall] call to method GetType
# 211| 0: [LocalVariableAccess] access to local variable t
# 211| 1: [MethodCall] call to method GetType
# 211| -1: [ParameterAccess] access to parameter o
# 211| 1: [LocalVariableAccess] access to local variable t
# 212| 1: [ReturnStmt] return ...;
# 212| 0: [MethodCall] call to method ToString
# 212| -1: [LocalVariableAccess] access to local variable t
@@ -429,26 +429,26 @@ NullableRefTypes.cs:
# 216| 4: [BlockStmt] {...}
# 217| 0: [LocalVariableDeclStmt] ... ...;
# 217| 0: [LocalVariableDeclAndInitExpr] String a = ...
# 217| 0: [FieldAccess] access to field Field
# 217| 0: [LocalVariableAccess] access to local variable a
# 217| 1: [FieldAccess] access to field Field
# 217| -1: [MethodCall] call to method GetSelf
# 217| 1: [LocalVariableAccess] access to local variable a
# 218| 1: [LocalVariableDeclStmt] ... ...;
# 218| 0: [LocalVariableDeclAndInitExpr] String b = ...
# 218| 0: [IndexerCall] access to indexer
# 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
# 218| 1: [LocalVariableAccess] access to local variable b
# 219| 2: [LocalVariableDeclStmt] ... ...;
# 219| 0: [LocalVariableDeclAndInitExpr] String c = ...
# 219| 0: [IndexerCall] access to indexer
# 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
# 219| 1: [LocalVariableAccess] access to local variable c
# 220| 3: [LocalVariableDeclStmt] ... ...;
# 220| 0: [LocalVariableDeclAndInitExpr] String d = ...
# 220| 0: [FieldAccess] access to field Field
# 220| 0: [LocalVariableAccess] access to local variable d
# 220| 1: [FieldAccess] access to field Field
# 220| -1: [MethodCall] call to method GetSelf
# 220| 1: [LocalVariableAccess] access to local variable d
# 223| 12: [Method] GetSelf
# 225| 13: [Field] Field
StaticLocalFunctions.cs:
@@ -491,30 +491,30 @@ UsingDeclarations.cs:
# 7| 4: [BlockStmt] {...}
# 8| 0: [UsingDeclStmt] using ... ...;
# 8| 0: [LocalVariableDeclAndInitExpr] FileStream file1 = ...
# 8| 0: [ObjectCreation] object creation of type FileStream
# 8| 0: [LocalVariableAccess] access to local variable file1
# 8| 1: [ObjectCreation] object creation of type FileStream
# 8| 0: [StringLiteral] "..."
# 8| 1: [MemberConstantAccess] access to constant Open
# 8| -1: [TypeAccess] access to type FileMode
# 8| 1: [LocalVariableAccess] access to local variable file1
# 8| 1: [LocalVariableDeclAndInitExpr] FileStream file2 = ...
# 8| 0: [ObjectCreation] object creation of type FileStream
# 8| 0: [LocalVariableAccess] access to local variable file2
# 8| 1: [ObjectCreation] object creation of type FileStream
# 8| 0: [StringLiteral] "..."
# 8| 1: [MemberConstantAccess] access to constant Open
# 8| -1: [TypeAccess] access to type FileMode
# 8| 1: [LocalVariableAccess] access to local variable file2
# 10| 1: [UsingBlockStmt] using (...) {...}
# 10| -2: [LocalVariableDeclAndInitExpr] FileStream file4 = ...
# 10| 0: [ObjectCreation] object creation of type FileStream
# 10| 0: [LocalVariableAccess] access to local variable file4
# 10| 1: [ObjectCreation] object creation of type FileStream
# 10| 0: [StringLiteral] "..."
# 10| 1: [MemberConstantAccess] access to constant Open
# 10| -1: [TypeAccess] access to type FileMode
# 10| 1: [LocalVariableAccess] access to local variable file4
# 10| -1: [LocalVariableDeclAndInitExpr] FileStream file3 = ...
# 10| 0: [ObjectCreation] object creation of type FileStream
# 10| 0: [LocalVariableAccess] access to local variable file3
# 10| 1: [ObjectCreation] object creation of type FileStream
# 10| 0: [StringLiteral] "..."
# 10| 1: [MemberConstantAccess] access to constant Open
# 10| -1: [TypeAccess] access to type FileMode
# 10| 1: [LocalVariableAccess] access to local variable file3
# 11| 1: [BlockStmt] {...}
# 14| 2: [UsingBlockStmt] using (...) {...}
# 14| 0: [ObjectCreation] object creation of type FileStream
@@ -528,13 +528,13 @@ patterns.cs:
# 6| 4: [BlockStmt] {...}
# 7| 0: [LocalVariableDeclStmt] ... ...;
# 7| 0: [LocalVariableDeclAndInitExpr] Object o = ...
# 7| 0: [CastExpr] (...) ...
# 7| 0: [LocalVariableAccess] access to local variable o
# 7| 1: [CastExpr] (...) ...
# 7| 0: [ObjectCreation] object creation of type MyStruct
# 7| -1: [ObjectInitializer] { ..., ... }
# 7| 0: [MemberInitializer] ... = ...
# 7| 0: [IntLiteral] 2
# 7| 1: [FieldAccess] access to field X
# 7| 1: [LocalVariableAccess] access to local variable o
# 7| 0: [FieldAccess] access to field X
# 7| 1: [IntLiteral] 2
# 9| 1: [IfStmt] if (...) ...
# 9| 0: [IsExpr] ... is ...
# 9| 0: [LocalVariableAccess] access to local variable o
@@ -593,12 +593,12 @@ patterns.cs:
# 33| 4: [BlockStmt] {...}
# 34| 0: [LocalVariableDeclStmt] ... ...;
# 34| 0: [LocalVariableDeclAndInitExpr] MyStruct s = ...
# 34| 0: [ObjectCreation] object creation of type MyStruct
# 34| 0: [LocalVariableAccess] access to local variable s
# 34| 1: [ObjectCreation] object creation of type MyStruct
# 34| -1: [ObjectInitializer] { ..., ... }
# 34| 0: [MemberInitializer] ... = ...
# 34| 0: [IntLiteral] 0
# 34| 1: [FieldAccess] access to field X
# 34| 1: [LocalVariableAccess] access to local variable s
# 34| 0: [FieldAccess] access to field X
# 34| 1: [IntLiteral] 0
# 36| 1: [SwitchStmt] switch (...) {...}
# 36| 0: [LocalVariableAccess] access to local variable s
# 38| 0: [CaseStmt] case ...:
@@ -756,7 +756,8 @@ patterns.cs:
# 99| 4: [BlockStmt] {...}
# 100| 0: [LocalVariableDeclStmt] ... ...;
# 100| 0: [LocalVariableDeclAndInitExpr] String size = ...
# 100| 0: [SwitchExpr] ... switch { ... }
# 100| 0: [LocalVariableAccess] access to local variable size
# 100| 1: [SwitchExpr] ... switch { ... }
# 100| -1: [ParameterAccess] access to parameter x
# 101| 0: [SwitchCaseExpr] ... => ...
# 101| 0: [VariablePatternExpr] Int32 y
@@ -767,17 +768,19 @@ patterns.cs:
# 102| 1: [SwitchCaseExpr] ... => ...
# 102| 0: [DiscardPatternExpr] _
# 102| 2: [StringLiteral] "small"
# 100| 1: [LocalVariableAccess] access to local variable size
# 105| 1: [LocalVariableDeclStmt] ... ...;
# 105| 0: [LocalVariableDeclAndInitExpr] Int32 x0 = ...
# 105| 0: [IntLiteral] 0
# 105| 1: [LocalVariableAccess] access to local variable x0
# 105| 0: [LocalVariableAccess] access to local variable x0
# 105| 1: [IntLiteral] 0
# 105| 1: [LocalVariableDeclAndInitExpr] Int32 y0 = ...
# 105| 0: [IntLiteral] 0
# 105| 1: [LocalVariableAccess] access to local variable y0
# 105| 0: [LocalVariableAccess] access to local variable y0
# 105| 1: [IntLiteral] 0
# 108| 2: [ExprStmt] ...;
# 108| 0: [AssignExpr] ... = ...
# 108| 0: [SwitchExpr] ... switch { ... }
# 108| 0: [TupleExpr] (..., ...)
# 108| 0: [LocalVariableDeclExpr] Int32 x1
# 108| 1: [LocalVariableDeclExpr] Int32 y1
# 108| 1: [SwitchExpr] ... switch { ... }
# 108| -1: [TupleExpr] (..., ...)
# 108| 0: [LocalVariableAccess] access to local variable x0
# 108| 1: [LocalVariableAccess] access to local variable y0
@@ -797,12 +800,12 @@ patterns.cs:
# 111| 2: [TupleExpr] (..., ...)
# 111| 0: [IntLiteral] 0
# 111| 1: [IntLiteral] 1
# 108| 1: [TupleExpr] (..., ...)
# 108| 0: [LocalVariableDeclExpr] Int32 x1
# 108| 1: [LocalVariableDeclExpr] Int32 y1
# 115| 3: [ExprStmt] ...;
# 115| 0: [AssignExpr] ... = ...
# 115| 0: [SwitchExpr] ... switch { ... }
# 115| 0: [TupleExpr] (..., ...)
# 115| 0: [LocalVariableAccess] access to local variable x1
# 115| 1: [LocalVariableAccess] access to local variable y1
# 115| 1: [SwitchExpr] ... switch { ... }
# 115| -1: [TupleExpr] (..., ...)
# 115| 0: [LocalVariableAccess] access to local variable x0
# 115| 1: [LocalVariableAccess] access to local variable y0
@@ -830,24 +833,22 @@ patterns.cs:
# 119| 2: [TupleExpr] (..., ...)
# 119| 0: [IntLiteral] 0
# 119| 1: [IntLiteral] 0
# 115| 1: [TupleExpr] (..., ...)
# 115| 0: [LocalVariableAccess] access to local variable x1
# 115| 1: [LocalVariableAccess] access to local variable y1
# 123| 8: [Method] Expressions2
#-----| 2: (Parameters)
# 123| 0: [Parameter] o
# 124| 4: [BlockStmt] {...}
# 125| 0: [LocalVariableDeclStmt] ... ...;
# 125| 0: [LocalVariableDeclAndInitExpr] MyStruct s = ...
# 125| 0: [ObjectCreation] object creation of type MyStruct
# 125| 0: [LocalVariableAccess] access to local variable s
# 125| 1: [ObjectCreation] object creation of type MyStruct
# 125| -1: [ObjectInitializer] { ..., ... }
# 125| 0: [MemberInitializer] ... = ...
# 125| 0: [IntLiteral] 0
# 125| 1: [FieldAccess] access to field X
# 125| 1: [LocalVariableAccess] access to local variable s
# 125| 0: [FieldAccess] access to field X
# 125| 1: [IntLiteral] 0
# 126| 1: [LocalVariableDeclStmt] ... ...;
# 126| 0: [LocalVariableDeclAndInitExpr] Int32 r = ...
# 126| 0: [SwitchExpr] ... switch { ... }
# 126| 0: [LocalVariableAccess] access to local variable r
# 126| 1: [SwitchExpr] ... switch { ... }
# 126| -1: [LocalVariableAccess] access to local variable s
# 128| 0: [SwitchCaseExpr] ... => ...
# 128| 0: [RecursivePatternExpr] { ... }
@@ -876,12 +877,12 @@ patterns.cs:
# 131| 0: [LocalVariableDeclExpr] Int32 x
# 131| 1: [DiscardExpr] _
# 131| 2: [IntLiteral] 3
# 126| 1: [LocalVariableAccess] access to local variable r
# 134| 2: [TryStmt] try {...} ...
# 135| 0: [BlockStmt] {...}
# 136| 0: [ExprStmt] ...;
# 136| 0: [AssignExpr] ... = ...
# 136| 0: [SwitchExpr] ... switch { ... }
# 136| 0: [LocalVariableAccess] access to local variable r
# 136| 1: [SwitchExpr] ... switch { ... }
# 136| -1: [ParameterAccess] access to parameter o
# 138| 0: [SwitchCaseExpr] ... => ...
# 138| 0: [ConstantPatternExpr,IntLiteral] 1
@@ -906,7 +907,6 @@ patterns.cs:
# 142| 3: [PropertyPatternExpr] { ... }
# 142| 0: [ConstantPatternExpr,IntLiteral,LabeledPatternExpr] 10
# 142| 2: [IntLiteral] 6
# 136| 1: [LocalVariableAccess] access to local variable r
# 145| 1: [SpecificCatchClause] catch (...) {...}
# 145| 0: [LocalVariableDeclExpr] InvalidOperationException ex
# 146| 1: [BlockStmt] {...}
@@ -929,12 +929,12 @@ patterns.cs:
# 159| 4: [BlockStmt] {...}
# 160| 0: [ExprStmt] ...;
# 160| 0: [AssignExpr] ... = ...
# 160| 0: [FieldAccess] access to field X
# 160| 1: [ParameterAccess] access to parameter x
# 160| 0: [ParameterAccess] access to parameter x
# 160| 1: [FieldAccess] access to field X
# 161| 1: [ExprStmt] ...;
# 161| 0: [AssignExpr] ... = ...
# 161| 0: [PropertyCall] access to property Y
# 161| 1: [ParameterAccess] access to parameter y
# 161| 0: [ParameterAccess] access to parameter y
# 161| 1: [PropertyCall] access to property Y
# 164| 9: [Method] Deconstruct
# 165| 4: [BlockStmt] {...}
ranges.cs:
@@ -943,79 +943,79 @@ ranges.cs:
# 8| 4: [BlockStmt] {...}
# 9| 0: [LocalVariableDeclStmt] ... ...;
# 9| 0: [LocalVariableDeclAndInitExpr] Int32[] array = ...
# 9| 0: [ArrayCreation] array creation of type Int32[]
# 9| 0: [LocalVariableAccess] access to local variable array
# 9| 1: [ArrayCreation] array creation of type Int32[]
# 9| -1: [ArrayInitializer] { ..., ... }
# 9| 0: [IntLiteral] 1
# 9| 1: [IntLiteral] 2
# 9| 2: [IntLiteral] 3
# 9| 3: [IntLiteral] 4
# 9| 1: [LocalVariableAccess] access to local variable array
# 11| 1: [LocalVariableDeclStmt] ... ...;
# 11| 0: [LocalVariableDeclAndInitExpr] Int32[] slice1 = ...
# 11| 0: [ArrayAccess] access to array element
# 11| 0: [LocalVariableAccess] access to local variable slice1
# 11| 1: [ArrayAccess] access to array element
# 11| -1: [LocalVariableAccess] access to local variable array
# 11| 0: [RangeExpr] ... .. ...
# 11| 0: [OperatorCall] call to operator implicit conversion
# 11| 0: [IntLiteral] 1
# 11| 1: [OperatorCall] call to operator implicit conversion
# 11| 0: [IntLiteral] 3
# 11| 1: [LocalVariableAccess] access to local variable slice1
# 12| 2: [LocalVariableDeclStmt] ... ...;
# 12| 0: [LocalVariableDeclAndInitExpr] Int32[] slice2 = ...
# 12| 0: [ArrayAccess] access to array element
# 12| 0: [LocalVariableAccess] access to local variable slice2
# 12| 1: [ArrayAccess] access to array element
# 12| -1: [LocalVariableAccess] access to local variable array
# 12| 0: [RangeExpr] ... .. ...
# 12| 0: [OperatorCall] call to operator implicit conversion
# 12| 0: [IntLiteral] 0
# 12| 1: [IndexExpr] ^...
# 12| 0: [IntLiteral] 1
# 12| 1: [LocalVariableAccess] access to local variable slice2
# 13| 3: [LocalVariableDeclStmt] ... ...;
# 13| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 13| 0: [IntLiteral] 2
# 13| 1: [LocalVariableAccess] access to local variable x
# 13| 0: [LocalVariableAccess] access to local variable x
# 13| 1: [IntLiteral] 2
# 13| 1: [LocalVariableDeclAndInitExpr] Int32 y = ...
# 13| 0: [IntLiteral] 3
# 13| 1: [LocalVariableAccess] access to local variable y
# 13| 0: [LocalVariableAccess] access to local variable y
# 13| 1: [IntLiteral] 3
# 14| 4: [LocalVariableDeclStmt] ... ...;
# 14| 0: [LocalVariableDeclAndInitExpr] Int32[] slice3 = ...
# 14| 0: [ArrayAccess] access to array element
# 14| 0: [LocalVariableAccess] access to local variable slice3
# 14| 1: [ArrayAccess] access to array element
# 14| -1: [LocalVariableAccess] access to local variable array
# 14| 0: [RangeExpr] ... .. ...
# 14| 0: [OperatorCall] call to operator implicit conversion
# 14| 0: [LocalVariableAccess] access to local variable x
# 14| 1: [OperatorCall] call to operator implicit conversion
# 14| 0: [LocalVariableAccess] access to local variable y
# 14| 1: [LocalVariableAccess] access to local variable slice3
# 15| 5: [LocalVariableDeclStmt] ... ...;
# 15| 0: [LocalVariableDeclAndInitExpr] Int32[] slice4 = ...
# 15| 0: [ArrayAccess] access to array element
# 15| 0: [LocalVariableAccess] access to local variable slice4
# 15| 1: [ArrayAccess] access to array element
# 15| -1: [LocalVariableAccess] access to local variable array
# 15| 0: [RangeExpr] ... .. ...
# 15| 1: [OperatorCall] call to operator implicit conversion
# 15| 0: [LocalVariableAccess] access to local variable y
# 15| 1: [LocalVariableAccess] access to local variable slice4
# 16| 6: [LocalVariableDeclStmt] ... ...;
# 16| 0: [LocalVariableDeclAndInitExpr] Int32[] slice5 = ...
# 16| 0: [ArrayAccess] access to array element
# 16| 0: [LocalVariableAccess] access to local variable slice5
# 16| 1: [ArrayAccess] access to array element
# 16| -1: [LocalVariableAccess] access to local variable array
# 16| 0: [RangeExpr] ... .. ...
# 16| 0: [OperatorCall] call to operator implicit conversion
# 16| 0: [LocalVariableAccess] access to local variable x
# 16| 1: [LocalVariableAccess] access to local variable slice5
# 17| 7: [LocalVariableDeclStmt] ... ...;
# 17| 0: [LocalVariableDeclAndInitExpr] Int32[] slice6 = ...
# 17| 0: [ArrayAccess] access to array element
# 17| 0: [LocalVariableAccess] access to local variable slice6
# 17| 1: [ArrayAccess] access to array element
# 17| -1: [LocalVariableAccess] access to local variable array
# 17| 0: [RangeExpr] ... .. ...
# 17| 1: [LocalVariableAccess] access to local variable slice6
# 18| 8: [LocalVariableDeclStmt] ... ...;
# 18| 0: [LocalVariableDeclAndInitExpr] Int32[] slice7 = ...
# 18| 0: [ArrayAccess] access to array element
# 18| 0: [LocalVariableAccess] access to local variable slice7
# 18| 1: [ArrayAccess] access to array element
# 18| -1: [LocalVariableAccess] access to local variable array
# 18| 0: [RangeExpr] ... .. ...
# 18| 0: [IndexExpr] ^...
# 18| 0: [IntLiteral] 10
# 18| 1: [IndexExpr] ^...
# 18| 0: [IntLiteral] 5
# 18| 1: [LocalVariableAccess] access to local variable slice7

View File

@@ -9,12 +9,12 @@ definitions.cs:
# 13| 2: [Enum] Enumeration
# 15| 5: [Field] e1
# 15| 1: [AssignExpr] ... = ...
# 15| 0: [IntLiteral] 1
# 15| 1: [MemberConstantAccess] access to constant e1
# 15| 0: [MemberConstantAccess] access to constant e1
# 15| 1: [IntLiteral] 1
# 15| 6: [Field] e2
# 15| 1: [AssignExpr] ... = ...
# 15| 0: [IntLiteral] 2
# 15| 1: [MemberConstantAccess] access to constant e2
# 15| 0: [MemberConstantAccess] access to constant e2
# 15| 1: [IntLiteral] 2
# 15| 7: [Field] e3
# 18| 3: [Class] C1
# 20| 4: [InstanceConstructor] C1
@@ -33,16 +33,16 @@ definitions.cs:
# 27| 4: [BlockStmt] {...}
# 27| 0: [ExprStmt] ...;
# 27| 0: [AssignExpr] ... = ...
# 27| 0: [ParameterAccess] access to parameter value
# 27| 1: [FieldAccess] access to field field1
# 27| 0: [FieldAccess] access to field field1
# 27| 1: [ParameterAccess] access to parameter value
# 30| 7: [Method] f1
#-----| 2: (Parameters)
# 30| 0: [Parameter] args
# 31| 4: [BlockStmt] {...}
# 32| 0: [LocalVariableDeclStmt] ... ...;
# 32| 0: [LocalVariableDeclAndInitExpr] C1 qualifier = ...
# 32| 0: [ThisAccess] this access
# 32| 1: [LocalVariableAccess] access to local variable qualifier
# 32| 0: [LocalVariableAccess] access to local variable qualifier
# 32| 1: [ThisAccess] this access
# 35| 1: [ExprStmt] ...;
# 35| 0: [MethodCall] call to method f1
# 36| 2: [ExprStmt] ...;
@@ -97,51 +97,51 @@ definitions.cs:
# 53| 1: [IntLiteral] 2
# 56| 15: [LocalVariableDeclStmt] ... ...;
# 56| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 56| 0: [IntLiteral] 2
# 56| 1: [LocalVariableAccess] access to local variable x
# 56| 1: [LocalVariableDeclAndInitExpr] Int32 y = ...
# 56| 0: [LocalVariableAccess] access to local variable x
# 56| 1: [LocalVariableAccess] access to local variable y
# 56| 1: [IntLiteral] 2
# 56| 1: [LocalVariableDeclAndInitExpr] Int32 y = ...
# 56| 0: [LocalVariableAccess] access to local variable y
# 56| 1: [LocalVariableAccess] access to local variable x
# 56| 2: [LocalVariableDeclAndInitExpr] Int32 z = ...
# 56| 0: [FieldAccess] access to field field1
# 56| 1: [LocalVariableAccess] access to local variable z
# 56| 0: [LocalVariableAccess] access to local variable z
# 56| 1: [FieldAccess] access to field field1
# 56| 3: [LocalVariableDeclAndInitExpr] Int32 w = ...
# 56| 0: [ArrayAccess] access to array element
# 56| 0: [LocalVariableAccess] access to local variable w
# 56| 1: [ArrayAccess] access to array element
# 56| -1: [ParameterAccess] access to parameter args
# 56| 0: [IntLiteral] 0
# 56| 1: [LocalVariableAccess] access to local variable w
# 57| 16: [LocalVariableDeclStmt] ... ...;
# 57| 0: [LocalVariableDeclAndInitExpr] Enumeration e = ...
# 57| 0: [MemberConstantAccess] access to constant e1
# 57| 0: [LocalVariableAccess] access to local variable e
# 57| 1: [MemberConstantAccess] access to constant e1
# 57| -1: [TypeAccess] access to type Enumeration
# 57| 1: [LocalVariableAccess] access to local variable e
# 60| 17: [ExprStmt] ...;
# 60| 0: [AssignExpr] ... = ...
# 60| 0: [AddExpr] ... + ...
# 60| 0: [PropertyCall] access to property property1
# 60| 1: [AddExpr] ... + ...
# 60| 0: [PropertyCall] access to property property1
# 60| 1: [IntLiteral] 1
# 60| 1: [PropertyCall] access to property property1
# 63| 18: [LocalVariableDeclStmt] ... ...;
# 63| 0: [LocalVariableDeclAndInitExpr] C1[] array = ...
# 63| 0: [NullLiteral] null
# 63| 1: [LocalVariableAccess] access to local variable array
# 63| 0: [LocalVariableAccess] access to local variable array
# 63| 1: [NullLiteral] null
# 64| 19: [LocalVariableDeclStmt] ... ...;
# 64| 0: [LocalVariableDeclAndInitExpr] Nullable<S1> nullable = ...
# 64| 0: [NullLiteral] null
# 64| 1: [LocalVariableAccess] access to local variable nullable
# 64| 0: [LocalVariableAccess] access to local variable nullable
# 64| 1: [NullLiteral] null
# 67| 20: [LocalVariableDeclStmt] ... ...;
# 67| 0: [LocalVariableDeclAndInitExpr] Action<Int32> m1 = ...
# 67| 0: [ImplicitDelegateCreation] delegate creation of type Action<Int32>
# 67| 0: [LocalVariableAccess] access to local variable m1
# 67| 1: [ImplicitDelegateCreation] delegate creation of type Action<Int32>
# 67| 0: [MethodAccess] access to method GenericFn
# 67| 1: [LocalVariableAccess] access to local variable m1
# 70| 8: [Method] VariableTypeUse
#-----| 2: (Parameters)
# 70| 0: [Parameter] c1
# 71| 4: [BlockStmt] {...}
# 72| 0: [LocalVariableDeclStmt] ... ...;
# 72| 0: [LocalVariableDeclAndInitExpr] C1 c2 = ...
# 72| 0: [NullLiteral] null
# 72| 1: [LocalVariableAccess] access to local variable c2
# 72| 0: [LocalVariableAccess] access to local variable c2
# 72| 1: [NullLiteral] null
# 75| 9: [Method] GenericFn
#-----| 1: (Type parameters)
# 75| 0: [TypeParameter] T
@@ -157,11 +157,11 @@ definitions.cs:
# 83| 0: [BlockStmt] {...}
# 84| 0: [LocalVariableDeclStmt] ... ...;
# 84| 0: [LocalVariableDeclAndInitExpr] String timestamp = ...
# 84| 0: [MethodCall] call to method ToString
# 84| 0: [LocalVariableAccess] access to local variable timestamp
# 84| 1: [MethodCall] call to method ToString
# 84| -1: [PropertyCall] access to property Now
# 84| -1: [TypeAccess] access to type DateTime
# 84| 0: [StringLiteral] "HH:mm:ss"
# 84| 1: [LocalVariableAccess] access to local variable timestamp
# 86| 1: [SpecificCatchClause] catch (...) {...}
# 86| 0: [LocalVariableDeclExpr] Exception e
# 87| 1: [BlockStmt] {...}
@@ -171,9 +171,9 @@ definitions.cs:
# 89| 2: [BlockStmt] {...}
# 92| 1: [LocalVariableDeclStmt] ... ...;
# 92| 0: [LocalVariableDeclAndInitExpr] Type temp = ...
# 92| 0: [TypeofExpr] typeof(...)
# 92| 0: [LocalVariableAccess] access to local variable temp
# 92| 1: [TypeofExpr] typeof(...)
# 92| 0: [TypeAccess] access to type S1[]
# 92| 1: [LocalVariableAccess] access to local variable temp
# 93| 2: [ReturnStmt] return ...;
# 93| 0: [ObjectCreation] object creation of type S1
# 97| 5: [Class] A
@@ -189,18 +189,18 @@ definitions.cs:
# 104| 4: [BlockStmt] {...}
# 105| 0: [ExprStmt] ...;
# 105| 0: [AddEventExpr] ... += ...
# 105| 0: [ImplicitDelegateCreation] delegate creation of type EventHandler
# 105| 0: [EventAccess,EventCall] access to event Click
# 105| 1: [ImplicitDelegateCreation] delegate creation of type EventHandler
# 105| 0: [MethodAccess] access to method M
# 105| 1: [EventAccess,EventCall] access to event Click
# 106| 1: [LocalFunctionStmt] LocalFunction(...)
# 106| 0: [LocalFunction] LocalFunction
# 106| 4: [BlockStmt] {...}
# 106| 2: [EmptyStmt] ;
# 107| 3: [ExprStmt] ...;
# 107| 0: [AddEventExpr] ... += ...
# 107| 0: [ImplicitDelegateCreation] delegate creation of type EventHandler
# 107| 0: [EventAccess,EventCall] access to event Click
# 107| 1: [ImplicitDelegateCreation] delegate creation of type EventHandler
# 107| 0: [LocalFunctionAccess] access to local function LocalFunction
# 107| 1: [EventAccess,EventCall] access to event Click
# 108| 4: [ExprStmt] ...;
# 108| 0: [DelegateCall] delegate call
# 108| -1: [EventAccess,EventCall] access to event Click
@@ -313,17 +313,17 @@ definitions.cs:
# 164| 13: [Class] C5
# 166| 5: [Field] f
# 166| 1: [AssignExpr] ... = ...
# 166| 0: [MethodCall] call to method Create
# 166| 0: [FieldAccess] access to field f
# 166| 1: [MethodCall] call to method Create
# 166| -1: [TypeAccess] access to type Nested<I4>
# 166| -1: [TypeAccess] access to type C4
# 166| 1: [FieldAccess] access to field f
# 167| 6: [Field] c1
# 169| 7: [Method] M
# 170| 4: [BlockStmt] {...}
# 171| 0: [LocalVariableDeclStmt] ... ...;
# 171| 0: [LocalVariableDeclAndInitExpr] C1 c = ...
# 171| 0: [ObjectCreation] object creation of type C1
# 171| 1: [LocalVariableAccess] access to local variable c
# 171| 0: [LocalVariableAccess] access to local variable c
# 171| 1: [ObjectCreation] object creation of type C1
# 172| 1: [ExprStmt] ...;
# 172| 0: [AssignExpr] ... = ...
# 172| 0: [PropertyCall] access to property property1
@@ -332,22 +332,22 @@ definitions.cs:
# 172| -1: [LocalVariableAccess] access to local variable c
# 173| 2: [LocalVariableDeclStmt] ... ...;
# 173| 0: [LocalVariableDeclAndInitExpr] C5 c5 = ...
# 173| 0: [AsExpr] ... as ...
# 173| 0: [LocalVariableAccess] access to local variable c5
# 173| 1: [AsExpr] ... as ...
# 173| 0: [ObjectCreation] object creation of type C5
# 173| 1: [TypeAccess] access to type C5
# 173| 1: [LocalVariableAccess] access to local variable c5
# 174| 3: [ExprStmt] ...;
# 174| 0: [AssignExpr] ... = ...
# 174| 0: [IntLiteral] 0
# 174| 1: [PropertyCall] access to property property1
# 174| 0: [PropertyCall] access to property property1
# 174| -1: [FieldAccess] access to field c1
# 174| -1: [LocalVariableAccess] access to local variable c5
# 174| 1: [IntLiteral] 0
# 175| 4: [LocalVariableDeclStmt] ... ...;
# 175| 0: [LocalVariableDeclAndInitExpr] Boolean temp = ...
# 175| 0: [IsExpr] ... is ...
# 175| 0: [LocalVariableAccess] access to local variable temp
# 175| 1: [IsExpr] ... is ...
# 175| 0: [LocalVariableAccess] access to local variable c5
# 175| 1: [TypeAccessPatternExpr] access to type Nested<I4>
# 175| 1: [LocalVariableAccess] access to local variable temp
# 179| 14: [Class] C6
# 181| 5: [ExplicitConversionOperator] explicit conversion
#-----| 2: (Parameters)
@@ -383,16 +383,16 @@ definitions.cs:
# 209| 4: [BlockStmt] {...}
# 210| 0: [LocalVariableDeclStmt] ... ...;
# 210| 0: [LocalVariableDeclAndInitExpr] C8 c8a = ...
# 210| 0: [NullLiteral] null
# 210| 1: [LocalVariableAccess] access to local variable c8a
# 210| 0: [LocalVariableAccess] access to local variable c8a
# 210| 1: [NullLiteral] null
# 211| 1: [IfStmt] if (...) ...
# 211| 0: [IsExpr] ... is ...
# 211| 0: [LocalVariableAccess] access to local variable c8a
# 211| 1: [VariablePatternExpr] C8 c8b
# 212| 1: [ExprStmt] ...;
# 212| 0: [AssignExpr] ... = ...
# 212| 0: [LocalVariableAccess] access to local variable c8b
# 212| 1: [LocalVariableAccess] access to local variable c8a
# 212| 0: [LocalVariableAccess] access to local variable c8a
# 212| 1: [LocalVariableAccess] access to local variable c8b
# 213| 2: [SwitchStmt] switch (...) {...}
# 213| 0: [LocalVariableAccess] access to local variable c8a
# 215| 0: [CaseStmt] case ...:
@@ -402,6 +402,6 @@ definitions.cs:
# 215| 1: [NullLiteral] null
# 216| 1: [ExprStmt] ...;
# 216| 0: [AssignExpr] ... = ...
# 216| 0: [LocalVariableAccess] access to local variable c8c
# 216| 1: [LocalVariableAccess] access to local variable c8a
# 216| 0: [LocalVariableAccess] access to local variable c8a
# 216| 1: [LocalVariableAccess] access to local variable c8c
# 217| 2: [BreakStmt] break;

View File

@@ -98,57 +98,57 @@ delegates.cs:
# 59| 4: [BlockStmt] {...}
# 60| 0: [LocalVariableDeclStmt] ... ...;
# 60| 0: [LocalVariableDeclAndInitExpr] D cd1 = ...
# 60| 0: [ExplicitDelegateCreation] delegate creation of type D
# 60| 0: [LocalVariableAccess] access to local variable cd1
# 60| 1: [ExplicitDelegateCreation] delegate creation of type D
# 60| 0: [MethodAccess] access to method M1
# 60| -1: [TypeAccess] access to type C
# 60| 1: [LocalVariableAccess] access to local variable cd1
# 61| 1: [LocalVariableDeclStmt] ... ...;
# 61| 0: [LocalVariableDeclAndInitExpr] D cd2 = ...
# 61| 0: [ImplicitDelegateCreation] delegate creation of type D
# 61| 0: [LocalVariableAccess] access to local variable cd2
# 61| 1: [ImplicitDelegateCreation] delegate creation of type D
# 61| 0: [MethodAccess] access to method M2
# 61| -1: [TypeAccess] access to type C
# 61| 1: [LocalVariableAccess] access to local variable cd2
# 62| 2: [LocalVariableDeclStmt] ... ...;
# 62| 0: [LocalVariableDeclAndInitExpr] D cd3 = ...
# 62| 0: [OperatorCall] call to operator +
# 62| 0: [LocalVariableAccess] access to local variable cd3
# 62| 1: [OperatorCall] call to operator +
# 62| 0: [LocalVariableAccess] access to local variable cd1
# 62| 1: [LocalVariableAccess] access to local variable cd2
# 62| 1: [LocalVariableAccess] access to local variable cd3
# 63| 3: [LocalVariableDeclStmt] ... ...;
# 63| 0: [LocalVariableDeclAndInitExpr] D cd4 = ...
# 63| 0: [OperatorCall] call to operator +
# 63| 0: [LocalVariableAccess] access to local variable cd4
# 63| 1: [OperatorCall] call to operator +
# 63| 0: [LocalVariableAccess] access to local variable cd3
# 63| 1: [LocalVariableAccess] access to local variable cd1
# 63| 1: [LocalVariableAccess] access to local variable cd4
# 64| 4: [LocalVariableDeclStmt] ... ...;
# 64| 0: [LocalVariableDeclAndInitExpr] D cd5 = ...
# 64| 0: [OperatorCall] call to operator -
# 64| 0: [LocalVariableAccess] access to local variable cd5
# 64| 1: [OperatorCall] call to operator -
# 64| 0: [LocalVariableAccess] access to local variable cd4
# 64| 1: [LocalVariableAccess] access to local variable cd3
# 64| 1: [LocalVariableAccess] access to local variable cd5
# 65| 5: [ExprStmt] ...;
# 65| 0: [AssignAddExpr] ... += ...
# 65| 0: [LocalVariableAccess] access to local variable cd5
# 65| 1: [LocalVariableAccess] access to local variable cd4
# 65| 0: [LocalVariableAccess] access to local variable cd4
# 65| 1: [LocalVariableAccess] access to local variable cd5
# 66| 6: [ExprStmt] ...;
# 66| 0: [AssignSubExpr] ... -= ...
# 66| 0: [LocalVariableAccess] access to local variable cd1
# 66| 1: [LocalVariableAccess] access to local variable cd4
# 66| 0: [LocalVariableAccess] access to local variable cd4
# 66| 1: [LocalVariableAccess] access to local variable cd1
# 68| 7: [LocalVariableDeclStmt] ... ...;
# 68| 0: [LocalVariableDeclAndInitExpr] C c = ...
# 68| 0: [ObjectCreation] object creation of type C
# 68| 1: [LocalVariableAccess] access to local variable c
# 68| 0: [LocalVariableAccess] access to local variable c
# 68| 1: [ObjectCreation] object creation of type C
# 69| 8: [LocalVariableDeclStmt] ... ...;
# 69| 0: [LocalVariableDeclAndInitExpr] D cd6 = ...
# 69| 0: [ExplicitDelegateCreation] delegate creation of type D
# 69| 0: [LocalVariableAccess] access to local variable cd6
# 69| 1: [ExplicitDelegateCreation] delegate creation of type D
# 69| 0: [MethodAccess] access to method M3
# 69| -1: [LocalVariableAccess] access to local variable c
# 69| 1: [LocalVariableAccess] access to local variable cd6
# 70| 9: [LocalVariableDeclStmt] ... ...;
# 70| 0: [LocalVariableDeclAndInitExpr] D cd7 = ...
# 70| 0: [ExplicitDelegateCreation] delegate creation of type D
# 70| 0: [LocalVariableAccess] access to local variable cd7
# 70| 1: [ExplicitDelegateCreation] delegate creation of type D
# 70| 0: [LocalVariableAccess] access to local variable cd6
# 70| 1: [LocalVariableAccess] access to local variable cd7
# 72| 10: [ExprStmt] ...;
# 72| 0: [DelegateCall] delegate call
# 72| -1: [LocalVariableAccess] access to local variable cd1
@@ -156,8 +156,8 @@ delegates.cs:
# 72| 0: [IntLiteral] 40
# 73| 11: [LocalVariableDeclStmt] ... ...;
# 73| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 73| 0: [IntLiteral] 0
# 73| 1: [LocalVariableAccess] access to local variable x
# 73| 0: [LocalVariableAccess] access to local variable x
# 73| 1: [IntLiteral] 0
# 74| 12: [ExprStmt] ...;
# 74| 0: [DelegateCall] delegate call
# 74| -1: [LocalVariableAccess] access to local variable cd7
@@ -166,25 +166,25 @@ delegates.cs:
# 74| 1: [LocalVariableAccess] access to local variable x
# 76| 13: [LocalVariableDeclStmt] ... ...;
# 76| 0: [LocalVariableDeclAndInitExpr] Predicate<Int32> pi = ...
# 76| 0: [ExplicitDelegateCreation] delegate creation of type Predicate<Int32>
# 76| 0: [LocalVariableAccess] access to local variable pi
# 76| 1: [ExplicitDelegateCreation] delegate creation of type Predicate<Int32>
# 76| 0: [MethodAccess] access to method F
# 76| -1: [TypeAccess] access to type X
# 76| 1: [LocalVariableAccess] access to local variable pi
# 77| 14: [LocalVariableDeclStmt] ... ...;
# 77| 0: [LocalVariableDeclAndInitExpr] Predicate<String> ps = ...
# 77| 0: [ImplicitDelegateCreation] delegate creation of type Predicate<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
# 77| -1: [TypeAccess] access to type X
# 77| 1: [LocalVariableAccess] access to local variable ps
# 79| 15: [LocalVariableDeclStmt] ... ...;
# 79| 0: [LocalVariableDeclAndInitExpr] Boolean b = ...
# 79| 0: [BitwiseAndExpr] ... & ...
# 79| 0: [LocalVariableAccess] access to local variable b
# 79| 1: [BitwiseAndExpr] ... & ...
# 79| 0: [DelegateCall] delegate call
# 79| -1: [LocalVariableAccess] access to local variable pi
# 79| 0: [IntLiteral] 3
# 79| 1: [DelegateCall] delegate call
# 79| -1: [LocalVariableAccess] access to local variable ps
# 79| 0: [StringLiteral] ""
# 79| 1: [LocalVariableAccess] access to local variable b
# 81| 16: [LocalVariableDeclStmt] ... ...;
# 81| 0: [LocalVariableDeclExpr] ContextCallback d

View File

@@ -10,27 +10,27 @@ dynamic.cs:
# 9| 4: [BlockStmt] {...}
# 10| 0: [LocalVariableDeclStmt] ... ...;
# 10| 0: [LocalVariableDeclAndInitExpr] DynamicTest dt = ...
# 10| 0: [ObjectCreation] object creation of type DynamicTest
# 10| 0: [LocalVariableAccess] access to local variable dt
# 10| 1: [ObjectCreation] object creation of type DynamicTest
# 10| 0: [IntLiteral] 0
# 10| 1: [LocalVariableAccess] access to local variable dt
# 11| 1: [LocalVariableDeclStmt] ... ...;
# 11| 0: [LocalVariableDeclAndInitExpr] Int32[] array = ...
# 11| 0: [ArrayCreation] array creation of type Int32[]
# 11| 0: [LocalVariableAccess] access to local variable array
# 11| 1: [ArrayCreation] array creation of type Int32[]
# 11| -1: [ArrayInitializer] { ..., ... }
# 11| 0: [IntLiteral] 42
# 11| 1: [LocalVariableAccess] access to local variable array
# 12| 2: [LocalVariableDeclStmt] ... ...;
# 12| 0: [LocalVariableDeclAndInitExpr] Action<Int32> action = ...
# 12| 0: [LambdaExpr] (...) => ...
# 12| 0: [LocalVariableAccess] access to local variable action
# 12| 1: [LambdaExpr] (...) => ...
#-----| 2: (Parameters)
# 12| 0: [Parameter] x
# 12| 4: [BlockStmt] {...}
# 12| 1: [LocalVariableAccess] access to local variable action
# 13| 3: [LocalVariableDeclStmt] ... ...;
# 13| 0: [LocalVariableDeclAndInitExpr] dynamic d = ...
# 13| 0: [CastExpr] (...) ...
# 13| 0: [LocalVariableAccess] access to local variable d
# 13| 1: [CastExpr] (...) ...
# 13| 0: [IntLiteral] 0
# 13| 1: [LocalVariableAccess] access to local variable d
# 16| 4: [ExprStmt] ...;
# 16| 0: [DynamicObjectCreation] dynamic object creation of type DynamicTest
# 16| 0: [LocalVariableAccess] access to local variable d
@@ -38,9 +38,9 @@ dynamic.cs:
# 17| 0: [DynamicObjectCreation] dynamic object creation of type DynamicTest
# 17| -1: [ObjectInitializer] { ..., ... }
# 17| 0: [MemberInitializer] ... = ...
# 17| 0: [CastExpr] (...) ...
# 17| 0: [FieldAccess] access to field Field
# 17| 1: [CastExpr] (...) ...
# 17| 0: [LocalVariableAccess] access to local variable d
# 17| 1: [FieldAccess] access to field Field
# 17| 0: [LocalVariableAccess] access to local variable d
# 18| 6: [ExprStmt] ...;
# 18| 0: [DynamicObjectCreation] dynamic object creation of type KeyValuePair<String,dynamic>
@@ -57,9 +57,9 @@ dynamic.cs:
# 23| 0: [ObjectCreation] object creation of type DynamicTest
# 23| -1: [ObjectInitializer] { ..., ... }
# 23| 0: [MemberInitializer] ... = ...
# 23| 0: [CastExpr] (...) ...
# 23| 0: [FieldAccess] access to field Field
# 23| 1: [CastExpr] (...) ...
# 23| 0: [LocalVariableAccess] access to local variable d
# 23| 1: [FieldAccess] access to field Field
# 23| 0: [IntLiteral] 0
# 26| 10: [ExprStmt] ...;
# 26| 0: [DynamicMethodCall] dynamic call to method Bar
@@ -77,39 +77,39 @@ dynamic.cs:
# 31| 0: [IntLiteral] 0
# 34| 14: [ExprStmt] ...;
# 34| 0: [AssignExpr] ... = ...
# 34| 0: [CastExpr] (...) ...
# 34| 0: [LocalVariableAccess] access to local variable d
# 34| 1: [CastExpr] (...) ...
# 34| 0: [IntLiteral] 0
# 34| 1: [LocalVariableAccess] access to local variable d
# 35| 15: [ExprStmt] ...;
# 35| 0: [AssignExpr] ... = ...
# 35| 0: [DynamicOperatorCall] dynamic call to operator -
# 35| 0: [LocalVariableAccess] access to local variable d
# 35| 1: [DynamicOperatorCall] dynamic call to operator -
# 35| 0: [LocalVariableAccess] access to local variable d
# 35| 1: [LocalVariableAccess] access to local variable d
# 36| 16: [ExprStmt] ...;
# 36| 0: [AssignExpr] ... = ...
# 36| 0: [DynamicOperatorCall] dynamic call to operator +
# 36| 0: [LocalVariableAccess] access to local variable d
# 36| 1: [DynamicOperatorCall] dynamic call to operator +
# 36| 0: [LocalVariableAccess] access to local variable d
# 36| 1: [LocalVariableAccess] access to local variable d
# 36| 1: [LocalVariableAccess] access to local variable d
# 37| 17: [ExprStmt] ...;
# 37| 0: [AssignAddExpr] ... += ...
# 37| 0: [LocalVariableAccess] access to local variable d
# 37| 1: [LocalVariableAccess] access to local variable d
# 40| 18: [LocalVariableDeclStmt] ... ...;
# 40| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 40| 0: [IntLiteral] 0
# 40| 1: [LocalVariableAccess] access to local variable i
# 40| 0: [LocalVariableAccess] access to local variable i
# 40| 1: [IntLiteral] 0
# 41| 19: [ExprStmt] ...;
# 41| 0: [AssignExpr] ... = ...
# 41| 0: [UnaryMinusExpr] -...
# 41| 0: [LocalVariableAccess] access to local variable i
# 41| 1: [UnaryMinusExpr] -...
# 41| 0: [LocalVariableAccess] access to local variable i
# 41| 1: [LocalVariableAccess] access to local variable i
# 42| 20: [ExprStmt] ...;
# 42| 0: [AssignExpr] ... = ...
# 42| 0: [AddExpr] ... + ...
# 42| 0: [LocalVariableAccess] access to local variable i
# 42| 1: [AddExpr] ... + ...
# 42| 0: [LocalVariableAccess] access to local variable i
# 42| 1: [LocalVariableAccess] access to local variable i
# 42| 1: [LocalVariableAccess] access to local variable i
# 43| 21: [ExprStmt] ...;
# 43| 0: [AssignAddExpr] ... += ...
# 43| 0: [LocalVariableAccess] access to local variable i
@@ -125,9 +125,9 @@ dynamic.cs:
# 50| 0: [LocalVariableAccess] access to local variable i
# 53| 25: [ExprStmt] ...;
# 53| 0: [AssignExpr] ... = ...
# 53| 0: [IntLiteral] 0
# 53| 1: [DynamicMemberAccess] dynamic access to member Field
# 53| 0: [DynamicMemberAccess] dynamic access to member Field
# 53| -1: [LocalVariableAccess] access to local variable d
# 53| 1: [IntLiteral] 0
# 54| 26: [ExprStmt] ...;
# 54| 0: [AssignExpr] ... = ...
# 54| 0: [DynamicMemberAccess] dynamic access to member Prop
@@ -136,9 +136,9 @@ dynamic.cs:
# 54| -1: [LocalVariableAccess] access to local variable d
# 57| 27: [ExprStmt] ...;
# 57| 0: [AssignExpr] ... = ...
# 57| 0: [IntLiteral] 0
# 57| 1: [FieldAccess] access to field Field
# 57| 0: [FieldAccess] access to field Field
# 57| -1: [LocalVariableAccess] access to local variable dt
# 57| 1: [IntLiteral] 0
# 58| 28: [ExprStmt] ...;
# 58| 0: [AssignExpr] ... = ...
# 58| 0: [PropertyCall] access to property Prop
@@ -147,8 +147,8 @@ dynamic.cs:
# 58| -1: [LocalVariableAccess] access to local variable dt
# 61| 29: [ExprStmt] ...;
# 61| 0: [AssignExpr] ... = ...
# 61| 0: [LocalVariableAccess] access to local variable array
# 61| 1: [LocalVariableAccess] access to local variable d
# 61| 0: [LocalVariableAccess] access to local variable d
# 61| 1: [LocalVariableAccess] access to local variable array
# 62| 30: [ExprStmt] ...;
# 62| 0: [AssignExpr] ... = ...
# 62| 0: [DynamicElementAccess] dynamic access to element
@@ -159,55 +159,55 @@ dynamic.cs:
# 62| 0: [IntLiteral] 0
# 63| 31: [ExprStmt] ...;
# 63| 0: [AssignExpr] ... = ...
# 63| 0: [DynamicElementAccess] dynamic access to element
# 63| 0: [LocalVariableAccess] access to local variable d
# 63| 1: [DynamicElementAccess] dynamic access to element
# 63| -1: [LocalVariableAccess] access to local variable d
# 63| 0: [IntLiteral] 0
# 63| 1: [LocalVariableAccess] access to local variable d
# 66| 32: [ExprStmt] ...;
# 66| 0: [AssignExpr] ... = ...
# 66| 0: [CastExpr] (...) ...
# 66| 0: [LocalVariableAccess] access to local variable d
# 66| 1: [CastExpr] (...) ...
# 66| 0: [IntLiteral] 0
# 66| 1: [LocalVariableAccess] access to local variable d
# 67| 33: [ExprStmt] ...;
# 67| 0: [AssignExpr] ... = ...
# 67| 0: [CastExpr] (...) ...
# 67| 0: [IndexerCall] access to indexer
# 67| -1: [LocalVariableAccess] access to local variable dt
# 67| 0: [IntLiteral] 0
# 67| 1: [CastExpr] (...) ...
# 67| 0: [IndexerCall] access to indexer
# 67| -1: [LocalVariableAccess] access to local variable dt
# 67| 0: [LocalVariableAccess] access to local variable d
# 67| 1: [IndexerCall] access to indexer
# 67| -1: [LocalVariableAccess] access to local variable dt
# 67| 0: [IntLiteral] 0
# 68| 34: [ExprStmt] ...;
# 68| 0: [AssignExpr] ... = ...
# 68| 0: [CastExpr] (...) ...
# 68| 0: [LocalVariableAccess] access to local variable d
# 68| 1: [CastExpr] (...) ...
# 68| 0: [IndexerCall] access to indexer
# 68| -1: [LocalVariableAccess] access to local variable dt
# 68| 0: [IntLiteral] 0
# 68| 1: [LocalVariableAccess] access to local variable d
# 69| 35: [ExprStmt] ...;
# 69| 0: [AssignExpr] ... = ...
# 69| 0: [ArrayAccess] access to array element
# 69| -1: [LocalVariableAccess] access to local variable array
# 69| 0: [CastExpr] (...) ...
# 69| 0: [LocalVariableAccess] access to local variable d
# 69| 0: [IntLiteral] 0
# 69| 1: [ArrayAccess] access to array element
# 69| -1: [LocalVariableAccess] access to local variable array
# 69| 0: [IntLiteral] 0
# 69| 0: [CastExpr] (...) ...
# 69| 0: [LocalVariableAccess] access to local variable d
# 70| 36: [ExprStmt] ...;
# 70| 0: [AssignExpr] ... = ...
# 70| 0: [CastExpr] (...) ...
# 70| 0: [LocalVariableAccess] access to local variable d
# 70| 1: [CastExpr] (...) ...
# 70| 0: [ArrayAccess] access to array element
# 70| -1: [LocalVariableAccess] access to local variable array
# 70| 0: [IntLiteral] 0
# 70| 1: [LocalVariableAccess] access to local variable d
# 73| 37: [ExprStmt] ...;
# 73| 0: [DelegateCall] delegate call
# 73| -1: [LocalVariableAccess] access to local variable action
# 73| 0: [IntLiteral] 3
# 74| 38: [ExprStmt] ...;
# 74| 0: [AssignExpr] ... = ...
# 74| 0: [LocalVariableAccess] access to local variable action
# 74| 1: [LocalVariableAccess] access to local variable d
# 74| 0: [LocalVariableAccess] access to local variable d
# 74| 1: [LocalVariableAccess] access to local variable action
# 75| 39: [ExprStmt] ...;
# 75| 0: [DelegateCall] delegate call
# 75| -1: [LocalVariableAccess] access to local variable d

View File

@@ -12,34 +12,34 @@ enums.cs:
# 25| 4: [Enum] ValueColor
# 28| 5: [Field] OneRed
# 28| 1: [AssignExpr] ... = ...
# 28| 0: [CastExpr] (...) ...
# 28| 0: [MemberConstantAccess] access to constant OneRed
# 28| 1: [CastExpr] (...) ...
# 28| 0: [IntLiteral] 1
# 28| 1: [MemberConstantAccess] access to constant OneRed
# 29| 6: [Field] TwoGreen
# 29| 1: [AssignExpr] ... = ...
# 29| 0: [CastExpr] (...) ...
# 29| 0: [MemberConstantAccess] access to constant TwoGreen
# 29| 1: [CastExpr] (...) ...
# 29| 0: [IntLiteral] 2
# 29| 1: [MemberConstantAccess] access to constant TwoGreen
# 30| 7: [Field] FourBlue
# 30| 1: [AssignExpr] ... = ...
# 30| 0: [CastExpr] (...) ...
# 30| 0: [MemberConstantAccess] access to constant FourBlue
# 30| 1: [CastExpr] (...) ...
# 30| 0: [IntLiteral] 4
# 30| 1: [MemberConstantAccess] access to constant FourBlue
# 34| 5: [Enum] SparseColor
# 37| 5: [Field] Red
# 38| 6: [Field] Green
# 38| 1: [AssignExpr] ... = ...
# 38| 0: [IntLiteral] 10
# 38| 1: [MemberConstantAccess] access to constant Green
# 38| 0: [MemberConstantAccess] access to constant Green
# 38| 1: [IntLiteral] 10
# 39| 7: [Field] Blue
# 40| 8: [Field] AnotherBlue
# 40| 1: [AssignExpr] ... = ...
# 40| 0: [AddExpr] ... + ...
# 40| 0: [MemberConstantAccess] access to constant AnotherBlue
# 40| 1: [AddExpr] ... + ...
# 40| 0: [CastExpr] (...) ...
# 40| 0: [MemberConstantAccess] access to constant Blue
# 40| 1: [CastExpr] (...) ...
# 40| 0: [MemberConstantAccess] access to constant Red
# 40| 1: [MemberConstantAccess] access to constant AnotherBlue
# 44| 6: [Class] Test
# 47| 5: [Method] Main
# 48| 4: [BlockStmt] {...}

View File

@@ -29,8 +29,8 @@ events.cs:
# 22| 4: [BlockStmt] {...}
# 23| 0: [ExprStmt] ...;
# 23| 0: [AssignExpr] ... = ...
# 23| 0: [NullLiteral] null
# 23| 1: [EventAccess,EventCall] access to event Click
# 23| 0: [EventAccess,EventCall] access to event Click
# 23| 1: [NullLiteral] null
# 27| 3: [Class] LoginDialog
# 30| 4: [Field] OkButton
# 31| 5: [Field] CancelButton
@@ -38,24 +38,24 @@ events.cs:
# 34| 4: [BlockStmt] {...}
# 35| 0: [ExprStmt] ...;
# 35| 0: [AssignExpr] ... = ...
# 35| 0: [ObjectCreation] object creation of type Button
# 35| 1: [FieldAccess] access to field OkButton
# 35| 0: [FieldAccess] access to field OkButton
# 35| 1: [ObjectCreation] object creation of type Button
# 36| 1: [ExprStmt] ...;
# 36| 0: [AddEventExpr] ... += ...
# 36| 0: [ExplicitDelegateCreation] delegate creation of type EventHandler
# 36| 0: [MethodAccess] access to method OkButtonClick
# 36| 1: [EventAccess,EventCall] access to event Click
# 36| 0: [EventAccess,EventCall] access to event Click
# 36| -1: [FieldAccess] access to field OkButton
# 36| 1: [ExplicitDelegateCreation] delegate creation of type EventHandler
# 36| 0: [MethodAccess] access to method OkButtonClick
# 37| 2: [ExprStmt] ...;
# 37| 0: [AssignExpr] ... = ...
# 37| 0: [ObjectCreation] object creation of type Button
# 37| 1: [FieldAccess] access to field CancelButton
# 37| 0: [FieldAccess] access to field CancelButton
# 37| 1: [ObjectCreation] object creation of type Button
# 38| 3: [ExprStmt] ...;
# 38| 0: [RemoveEventExpr] ... -= ...
# 38| 0: [ExplicitDelegateCreation] delegate creation of type EventHandler
# 38| 0: [MethodAccess] access to method CancelButtonClick
# 38| 1: [EventAccess,EventCall] access to event Click
# 38| 0: [EventAccess,EventCall] access to event Click
# 38| -1: [FieldAccess] access to field CancelButton
# 38| 1: [ExplicitDelegateCreation] delegate creation of type EventHandler
# 38| 0: [MethodAccess] access to method CancelButtonClick
# 41| 7: [Method] OkButtonClick
#-----| 2: (Parameters)
# 41| 0: [Parameter] sender
@@ -69,12 +69,12 @@ events.cs:
# 51| 4: [Class] Control
# 54| 6: [Field] mouseDownEventKey
# 54| 1: [AssignExpr] ... = ...
# 54| 0: [ObjectCreation] object creation of type Object
# 54| 1: [FieldAccess] access to field mouseDownEventKey
# 54| 0: [FieldAccess] access to field mouseDownEventKey
# 54| 1: [ObjectCreation] object creation of type Object
# 55| 7: [Field] mouseUpEventKey
# 55| 1: [AssignExpr] ... = ...
# 55| 0: [ObjectCreation] object creation of type Object
# 55| 1: [FieldAccess] access to field mouseUpEventKey
# 55| 0: [FieldAccess] access to field mouseUpEventKey
# 55| 1: [ObjectCreation] object creation of type Object
# 58| 8: [Method] GetEventHandler
#-----| 2: (Parameters)
# 58| 0: [Parameter] key
@@ -133,11 +133,11 @@ events.cs:
# 83| 0: [LocalVariableDeclExpr] EventHandler handler
# 84| 1: [ExprStmt] ...;
# 84| 0: [AssignExpr] ... = ...
# 84| 0: [CastExpr] (...) ...
# 84| 0: [LocalVariableAccess] access to local variable handler
# 84| 1: [CastExpr] (...) ...
# 84| 0: [MethodCall] call to method GetEventHandler
# 84| 0: [FieldAccess] access to field mouseUpEventKey
# 84| 1: [TypeAccess] access to type EventHandler
# 84| 1: [LocalVariableAccess] access to local variable handler
# 85| 2: [IfStmt] if (...) ...
# 85| 0: [OperatorCall] call to operator !=
# 85| 0: [LocalVariableAccess] access to local variable handler

View File

@@ -63,8 +63,8 @@ exceptions.cs:
# 76| 0: [EmptyStmt] ;
# 77| 1: [LocalVariableDeclStmt] ... ...;
# 77| 0: [LocalVariableDeclAndInitExpr] Class1 v = ...
# 77| 0: [ObjectCreation] object creation of type Class1
# 77| 1: [LocalVariableAccess] access to local variable v
# 77| 0: [LocalVariableAccess] access to local variable v
# 77| 1: [ObjectCreation] object creation of type Class1
# 79| 1: [SpecificCatchClause] catch (...) {...}
# 79| 0: [LocalVariableDeclExpr] NullReferenceException ex
# 80| 1: [BlockStmt] {...}
@@ -92,10 +92,10 @@ exceptions.cs:
# 105| 0: [EmptyStmt] ;
# 106| 1: [LocalVariableDeclStmt] ... ...;
# 106| 0: [LocalVariableDeclAndInitExpr] Int32 v = ...
# 106| 0: [AddExpr] ... + ...
# 106| 0: [LocalVariableAccess] access to local variable v
# 106| 1: [AddExpr] ... + ...
# 106| 0: [IntLiteral] 1
# 106| 1: [IntLiteral] 2
# 106| 1: [LocalVariableAccess] access to local variable v
# 108| 1: [SpecificCatchClause] catch (...) {...}
# 108| 0: [LocalVariableDeclExpr] NullReferenceException ex
# 109| 1: [BlockStmt] {...}
@@ -123,10 +123,10 @@ exceptions.cs:
# 134| 0: [EmptyStmt] ;
# 135| 1: [LocalVariableDeclStmt] ... ...;
# 135| 0: [LocalVariableDeclAndInitExpr] Int32 v = ...
# 135| 0: [SubExpr] ... - ...
# 135| 0: [LocalVariableAccess] access to local variable v
# 135| 1: [SubExpr] ... - ...
# 135| 0: [IntLiteral] 1
# 135| 1: [IntLiteral] 2
# 135| 1: [LocalVariableAccess] access to local variable v
# 137| 1: [SpecificCatchClause] catch (...) {...}
# 137| 0: [LocalVariableDeclExpr] NullReferenceException ex
# 138| 1: [BlockStmt] {...}
@@ -154,10 +154,10 @@ exceptions.cs:
# 163| 0: [EmptyStmt] ;
# 164| 1: [LocalVariableDeclStmt] ... ...;
# 164| 0: [LocalVariableDeclAndInitExpr] Int32 v = ...
# 164| 0: [MulExpr] ... * ...
# 164| 0: [LocalVariableAccess] access to local variable v
# 164| 1: [MulExpr] ... * ...
# 164| 0: [IntLiteral] 1
# 164| 1: [IntLiteral] 2
# 164| 1: [LocalVariableAccess] access to local variable v
# 166| 1: [SpecificCatchClause] catch (...) {...}
# 166| 0: [LocalVariableDeclExpr] NullReferenceException ex
# 167| 1: [BlockStmt] {...}
@@ -185,8 +185,8 @@ exceptions.cs:
# 192| 0: [EmptyStmt] ;
# 193| 1: [LocalVariableDeclStmt] ... ...;
# 193| 0: [LocalVariableDeclAndInitExpr] String v = ...
# 193| 0: [StringLiteral] ""
# 193| 1: [LocalVariableAccess] access to local variable v
# 193| 0: [LocalVariableAccess] access to local variable v
# 193| 1: [StringLiteral] ""
# 195| 1: [SpecificCatchClause] catch (...) {...}
# 195| 0: [LocalVariableDeclExpr] NullReferenceException ex
# 196| 1: [BlockStmt] {...}
@@ -213,15 +213,15 @@ exceptions.cs:
# 220| 0: [BlockStmt] {...}
# 221| 0: [LocalVariableDeclStmt] ... ...;
# 221| 0: [LocalVariableDeclAndInitExpr] String s = ...
# 221| 0: [StringLiteral] ""
# 221| 1: [LocalVariableAccess] access to local variable s
# 221| 0: [LocalVariableAccess] access to local variable s
# 221| 1: [StringLiteral] ""
# 222| 1: [EmptyStmt] ;
# 223| 2: [LocalVariableDeclStmt] ... ...;
# 223| 0: [LocalVariableDeclAndInitExpr] String v = ...
# 223| 0: [AddExpr] ... + ...
# 223| 0: [LocalVariableAccess] access to local variable v
# 223| 1: [AddExpr] ... + ...
# 223| 0: [LocalVariableAccess] access to local variable s
# 223| 1: [LocalVariableAccess] access to local variable s
# 223| 1: [LocalVariableAccess] access to local variable v
# 225| 1: [SpecificCatchClause] catch (...) {...}
# 225| 0: [LocalVariableDeclExpr] NullReferenceException ex
# 226| 1: [BlockStmt] {...}
@@ -249,10 +249,10 @@ exceptions.cs:
# 251| 0: [EmptyStmt] ;
# 252| 1: [LocalVariableDeclStmt] ... ...;
# 252| 0: [LocalVariableDeclAndInitExpr] Int32 v = ...
# 252| 0: [DivExpr] ... / ...
# 252| 0: [LocalVariableAccess] access to local variable v
# 252| 1: [DivExpr] ... / ...
# 252| 0: [IntLiteral] 1
# 252| 1: [IntLiteral] 2
# 252| 1: [LocalVariableAccess] access to local variable v
# 254| 1: [SpecificCatchClause] catch (...) {...}
# 254| 0: [LocalVariableDeclExpr] NullReferenceException ex
# 255| 1: [BlockStmt] {...}
@@ -280,10 +280,10 @@ exceptions.cs:
# 280| 0: [EmptyStmt] ;
# 281| 1: [LocalVariableDeclStmt] ... ...;
# 281| 0: [LocalVariableDeclAndInitExpr] Int32 v = ...
# 281| 0: [RemExpr] ... % ...
# 281| 0: [LocalVariableAccess] access to local variable v
# 281| 1: [RemExpr] ... % ...
# 281| 0: [IntLiteral] 1
# 281| 1: [IntLiteral] 2
# 281| 1: [LocalVariableAccess] access to local variable v
# 283| 1: [SpecificCatchClause] catch (...) {...}
# 283| 0: [LocalVariableDeclExpr] NullReferenceException ex
# 284| 1: [BlockStmt] {...}
@@ -311,9 +311,9 @@ exceptions.cs:
# 309| 0: [EmptyStmt] ;
# 310| 1: [LocalVariableDeclStmt] ... ...;
# 310| 0: [LocalVariableDeclAndInitExpr] Int32 v = ...
# 310| 0: [FieldAccess] access to field p
# 310| 0: [LocalVariableAccess] access to local variable v
# 310| 1: [FieldAccess] access to field p
# 310| -1: [ThisAccess] this access
# 310| 1: [LocalVariableAccess] access to local variable v
# 312| 1: [SpecificCatchClause] catch (...) {...}
# 312| 0: [LocalVariableDeclExpr] NullReferenceException ex
# 313| 1: [BlockStmt] {...}
@@ -341,10 +341,10 @@ exceptions.cs:
# 338| 0: [EmptyStmt] ;
# 339| 1: [LocalVariableDeclStmt] ... ...;
# 339| 0: [LocalVariableDeclAndInitExpr] Int16 v = ...
# 339| 0: [CastExpr] (...) ...
# 339| 0: [LocalVariableAccess] access to local variable v
# 339| 1: [CastExpr] (...) ...
# 339| 0: [IntLiteral] 1
# 339| 1: [TypeAccess] access to type Int16
# 339| 1: [LocalVariableAccess] access to local variable v
# 341| 1: [SpecificCatchClause] catch (...) {...}
# 341| 0: [LocalVariableDeclExpr] NullReferenceException ex
# 342| 1: [BlockStmt] {...}
@@ -371,8 +371,8 @@ exceptions.cs:
# 366| 0: [BlockStmt] {...}
# 367| 0: [LocalVariableDeclStmt] ... ...;
# 367| 0: [LocalVariableDeclAndInitExpr] DivideByZeroException e = ...
# 367| 0: [ObjectCreation] object creation of type DivideByZeroException
# 367| 1: [LocalVariableAccess] access to local variable e
# 367| 0: [LocalVariableAccess] access to local variable e
# 367| 1: [ObjectCreation] object creation of type DivideByZeroException
# 368| 1: [EmptyStmt] ;
# 369| 2: [ThrowStmt] throw ...;
# 369| 0: [LocalVariableAccess] access to local variable e
@@ -402,8 +402,8 @@ exceptions.cs:
# 396| 0: [BlockStmt] {...}
# 397| 0: [LocalVariableDeclStmt] ... ...;
# 397| 0: [LocalVariableDeclAndInitExpr] Int32 a = ...
# 397| 0: [IntLiteral] 1
# 397| 1: [LocalVariableAccess] access to local variable a
# 397| 0: [LocalVariableAccess] access to local variable a
# 397| 1: [IntLiteral] 1
# 398| 1: [EmptyStmt] ;
# 399| 2: [ExprStmt] ...;
# 399| 0: [PreIncrExpr] ++...
@@ -451,15 +451,15 @@ exceptions.cs:
# 449| 0: [BlockStmt] {...}
# 450| 0: [LocalVariableDeclStmt] ... ...;
# 450| 0: [LocalVariableDeclAndInitExpr] Object o = ...
# 450| 0: [NullLiteral] null
# 450| 1: [LocalVariableAccess] access to local variable o
# 450| 0: [LocalVariableAccess] access to local variable o
# 450| 1: [NullLiteral] null
# 451| 1: [EmptyStmt] ;
# 452| 2: [LocalVariableDeclStmt] ... ...;
# 452| 0: [LocalVariableDeclAndInitExpr] Class1 p = ...
# 452| 0: [CastExpr] (...) ...
# 452| 0: [LocalVariableAccess] access to local variable p
# 452| 1: [CastExpr] (...) ...
# 452| 0: [LocalVariableAccess] access to local variable o
# 452| 1: [TypeAccess] access to type Class1
# 452| 1: [LocalVariableAccess] access to local variable p
# 454| 1: [SpecificCatchClause] catch (...) {...}
# 454| 0: [LocalVariableDeclExpr] InvalidCastException ex
# 455| 1: [BlockStmt] {...}
@@ -477,10 +477,10 @@ exceptions.cs:
# 468| 0: [EmptyStmt] ;
# 469| 1: [LocalVariableDeclStmt] ... ...;
# 469| 0: [LocalVariableDeclAndInitExpr] Int32 v = ...
# 469| 0: [DivExpr] ... / ...
# 469| 0: [LocalVariableAccess] access to local variable v
# 469| 1: [DivExpr] ... / ...
# 469| 0: [IntLiteral] 1
# 469| 1: [ParameterAccess] access to parameter i
# 469| 1: [LocalVariableAccess] access to local variable v
# 471| 1: [SpecificCatchClause] catch (...) {...}
# 471| 0: [LocalVariableDeclExpr] NullReferenceException ex
# 472| 1: [BlockStmt] {...}

File diff suppressed because it is too large Load Diff

View File

@@ -3,30 +3,30 @@ fields.cs:
# 7| 1: [Class] A
# 10| 6: [Field] X
# 10| 1: [AssignExpr] ... = ...
# 10| 0: [IntLiteral] 1
# 10| 1: [FieldAccess] access to field X
# 10| 0: [FieldAccess] access to field X
# 10| 1: [IntLiteral] 1
# 10| 7: [Field] Y
# 10| 8: [Field] Z
# 10| 1: [AssignExpr] ... = ...
# 10| 0: [IntLiteral] 100
# 10| 1: [FieldAccess] access to field Z
# 10| 0: [FieldAccess] access to field Z
# 10| 1: [IntLiteral] 100
# 13| 2: [Class] B
# 15| 6: [Field] X
# 15| 1: [AssignExpr] ... = ...
# 15| 0: [IntLiteral] 1
# 15| 1: [FieldAccess] access to field X
# 15| 0: [FieldAccess] access to field X
# 15| 1: [IntLiteral] 1
# 16| 7: [Field] Y
# 17| 8: [Field] Z
# 17| 1: [AssignExpr] ... = ...
# 17| 0: [IntLiteral] 100
# 17| 1: [FieldAccess] access to field Z
# 17| 0: [FieldAccess] access to field Z
# 17| 1: [IntLiteral] 100
# 20| 3: [Class] C<>
#-----| 1: (Type parameters)
# 20| 0: [TypeParameter] V
# 23| 5: [Field] count
# 23| 1: [AssignExpr] ... = ...
# 23| 0: [IntLiteral] 0
# 23| 1: [FieldAccess] access to field count
# 23| 0: [FieldAccess] access to field count
# 23| 1: [IntLiteral] 0
# 25| 6: [InstanceConstructor] C
# 25| 4: [BlockStmt] {...}
# 25| 0: [ExprStmt] ...;
@@ -41,29 +41,29 @@ fields.cs:
# 34| 6: [Field] finished
# 35| 7: [Field] x
# 35| 1: [AssignExpr] ... = ...
# 35| 0: [MethodCall] call to method Sqrt
# 35| 0: [FieldAccess] access to field x
# 35| 1: [MethodCall] call to method Sqrt
# 35| -1: [TypeAccess] access to type Math
# 35| 0: [DoubleLiteral] 2
# 35| 1: [FieldAccess] access to field x
# 36| 8: [Field] i
# 36| 1: [AssignExpr] ... = ...
# 36| 0: [IntLiteral] 100
# 36| 1: [FieldAccess] access to field i
# 36| 0: [FieldAccess] access to field i
# 36| 1: [IntLiteral] 100
# 37| 9: [Field] s
# 37| 1: [AssignExpr] ... = ...
# 37| 0: [StringLiteral] "Hello"
# 37| 1: [FieldAccess] access to field s
# 37| 0: [FieldAccess] access to field s
# 37| 1: [StringLiteral] "Hello"
# 39| 10: [Method] Main
# 40| 4: [BlockStmt] {...}
# 41| 0: [LocalVariableDeclStmt] ... ...;
# 41| 0: [LocalVariableDeclAndInitExpr] Decimal d = ...
# 41| 0: [MemberConstantAccess] access to constant MaxValue
# 41| 0: [LocalVariableAccess] access to local variable d
# 41| 1: [MemberConstantAccess] access to constant MaxValue
# 41| -1: [TypeAccess] access to type Decimal
# 41| 1: [LocalVariableAccess] access to local variable d
# 42| 1: [LocalVariableDeclStmt] ... ...;
# 42| 0: [LocalVariableDeclAndInitExpr] C<Int32> x1 = ...
# 42| 0: [ObjectCreation] object creation of type C<Int32>
# 42| 1: [LocalVariableAccess] access to local variable x1
# 42| 0: [LocalVariableAccess] access to local variable x1
# 42| 1: [ObjectCreation] object creation of type C<Int32>
# 43| 2: [ExprStmt] ...;
# 43| 0: [MethodCall] call to method WriteLine
# 43| -1: [TypeAccess] access to type Console
@@ -71,8 +71,8 @@ fields.cs:
# 43| -1: [TypeAccess] access to type C<Int32>
# 44| 3: [LocalVariableDeclStmt] ... ...;
# 44| 0: [LocalVariableDeclAndInitExpr] C<Double> x2 = ...
# 44| 0: [ObjectCreation] object creation of type C<Double>
# 44| 1: [LocalVariableAccess] access to local variable x2
# 44| 0: [LocalVariableAccess] access to local variable x2
# 44| 1: [ObjectCreation] object creation of type C<Double>
# 45| 4: [ExprStmt] ...;
# 45| 0: [MethodCall] call to method WriteLine
# 45| -1: [TypeAccess] access to type Console
@@ -81,24 +81,24 @@ fields.cs:
# 50| 5: [Class] Color
# 53| 5: [Field] Black
# 53| 1: [AssignExpr] ... = ...
# 53| 0: [ObjectCreation] object creation of type Color
# 53| 0: [FieldAccess] access to field Black
# 53| 1: [ObjectCreation] object creation of type Color
# 53| 0: [CastExpr] (...) ...
# 53| 0: [IntLiteral] 0
# 53| 1: [CastExpr] (...) ...
# 53| 0: [IntLiteral] 0
# 53| 2: [CastExpr] (...) ...
# 53| 0: [IntLiteral] 0
# 53| 1: [FieldAccess] access to field Black
# 54| 6: [Field] White
# 54| 1: [AssignExpr] ... = ...
# 54| 0: [ObjectCreation] object creation of type Color
# 54| 0: [FieldAccess] access to field White
# 54| 1: [ObjectCreation] object creation of type Color
# 54| 0: [CastExpr] (...) ...
# 54| 0: [IntLiteral] 255
# 54| 1: [CastExpr] (...) ...
# 54| 0: [IntLiteral] 255
# 54| 2: [CastExpr] (...) ...
# 54| 0: [IntLiteral] 255
# 54| 1: [FieldAccess] access to field White
# 56| 7: [InstanceConstructor] Color
#-----| 2: (Parameters)
# 56| 0: [Parameter] r
@@ -108,69 +108,69 @@ fields.cs:
# 60| 6: [Class] TestBindings
# 63| 6: [Field] a
# 63| 1: [AssignExpr] ... = ...
# 63| 0: [AddExpr] ... + ...
# 63| 0: [FieldAccess] access to field a
# 63| 1: [AddExpr] ... + ...
# 63| 0: [FieldAccess] access to field b
# 63| 1: [IntLiteral] 1
# 63| 1: [FieldAccess] access to field a
# 64| 7: [Field] b
# 64| 1: [AssignExpr] ... = ...
# 64| 0: [AddExpr] ... + ...
# 64| 0: [FieldAccess] access to field b
# 64| 1: [AddExpr] ... + ...
# 64| 0: [FieldAccess] access to field a
# 64| 1: [IntLiteral] 1
# 64| 1: [FieldAccess] access to field b
# 70| [NamespaceDeclaration] namespace ... { ... }
# 72| 1: [Class] A
# 74| 5: [Field] X
# 74| 1: [AssignExpr] ... = ...
# 74| 0: [AddExpr] ... + ...
# 74| 0: [MemberConstantAccess] access to constant X
# 74| 1: [AddExpr] ... + ...
# 74| 0: [MemberConstantAccess] access to constant Z
# 74| -1: [TypeAccess] access to type B
# 74| 1: [IntLiteral] 1
# 74| 1: [MemberConstantAccess] access to constant X
# 75| 6: [Field] Y
# 75| 1: [AssignExpr] ... = ...
# 75| 0: [IntLiteral] 10
# 75| 1: [MemberConstantAccess] access to constant Y
# 75| 0: [MemberConstantAccess] access to constant Y
# 75| 1: [IntLiteral] 10
# 78| 2: [Class] B
# 80| 5: [Field] Z
# 80| 1: [AssignExpr] ... = ...
# 80| 0: [AddExpr] ... + ...
# 80| 0: [MemberConstantAccess] access to constant Z
# 80| 1: [AddExpr] ... + ...
# 80| 0: [MemberConstantAccess] access to constant Y
# 80| -1: [TypeAccess] access to type A
# 80| 1: [IntLiteral] 1
# 80| 1: [MemberConstantAccess] access to constant Z
# 83| 3: [Class] C
# 85| 4: [Field] Foo
# 85| 1: [AssignExpr] ... = ...
# 85| 0: [IntLiteral] 1
# 85| 1: [MemberConstantAccess] access to constant Foo
# 85| 0: [MemberConstantAccess] access to constant Foo
# 85| 1: [IntLiteral] 1
# 86| 5: [Field] x
# 87| 6: [InstanceConstructor] C
# 88| 4: [BlockStmt] {...}
# 89| 0: [ExprStmt] ...;
# 89| 0: [AssignExpr] ... = ...
# 89| 0: [CastExpr] (...) ...
# 89| 0: [FieldAccess] access to field x
# 89| 1: [CastExpr] (...) ...
# 89| 0: [MemberConstantAccess] access to constant Foo
# 89| 1: [FieldAccess] access to field x
# 90| 1: [LocalVariableDeclStmt] ... ...;
# 90| 0: [LocalVariableDeclAndInitExpr] dynamic dyn = ...
# 90| 0: [CastExpr] (...) ...
# 90| 0: [LocalVariableAccess] access to local variable dyn
# 90| 1: [CastExpr] (...) ...
# 90| 0: [MemberConstantAccess] access to constant Foo
# 90| 1: [LocalVariableAccess] access to local variable dyn
# 91| 2: [LocalVariableDeclStmt] ... ...;
# 91| 0: [LocalVariableDeclAndInitExpr] D d = ...
# 91| 0: [OperatorCall] call to operator implicit conversion
# 91| 0: [LocalVariableAccess] access to local variable d
# 91| 1: [OperatorCall] call to operator implicit conversion
# 91| 0: [MemberConstantAccess] access to constant Foo
# 91| 1: [LocalVariableAccess] access to local variable d
# 92| 3: [LocalVariableDeclStmt] ... ...;
# 92| 0: [LocalVariableDeclAndInitExpr] C c = ...
# 92| 0: [ObjectCreation] object creation of type C
# 92| 0: [LocalVariableAccess] access to local variable c
# 92| 1: [ObjectCreation] object creation of type C
# 92| -1: [ObjectInitializer] { ..., ... }
# 92| 0: [MemberInitializer] ... = ...
# 92| 0: [CastExpr] (...) ...
# 92| 0: [FieldAccess] access to field x
# 92| 1: [CastExpr] (...) ...
# 92| 0: [MemberConstantAccess] access to constant Foo
# 92| 1: [FieldAccess] access to field x
# 92| 1: [LocalVariableAccess] access to local variable c
# 96| 4: [Class] D
# 98| 4: [InstanceConstructor] D
#-----| 2: (Parameters)

View File

@@ -61,8 +61,8 @@ Nesting.cs:
# 25| 4: [BlockStmt] {...}
# 26| 0: [LocalVariableDeclStmt] ... ...;
# 26| 0: [LocalVariableDeclAndInitExpr] A<Int32> a1 = ...
# 26| 0: [ObjectCreation] object creation of type A<Int32>
# 26| 1: [LocalVariableAccess] access to local variable a1
# 26| 0: [LocalVariableAccess] access to local variable a1
# 26| 1: [ObjectCreation] object creation of type A<Int32>
# 27| 1: [ExprStmt] ...;
# 27| 0: [MethodCall] call to method MA1
# 27| -1: [LocalVariableAccess] access to local variable a1
@@ -74,8 +74,8 @@ Nesting.cs:
# 28| 1: [StringLiteral] ""
# 30| 3: [LocalVariableDeclStmt] ... ...;
# 30| 0: [LocalVariableDeclAndInitExpr] A<String> a2 = ...
# 30| 0: [ObjectCreation] object creation of type A<String>
# 30| 1: [LocalVariableAccess] access to local variable a2
# 30| 0: [LocalVariableAccess] access to local variable a2
# 30| 1: [ObjectCreation] object creation of type A<String>
# 31| 4: [ExprStmt] ...;
# 31| 0: [MethodCall] call to method MA1
# 31| -1: [LocalVariableAccess] access to local variable a2
@@ -87,8 +87,8 @@ Nesting.cs:
# 32| 1: [IntLiteral] 0
# 34| 6: [LocalVariableDeclStmt] ... ...;
# 34| 0: [LocalVariableDeclAndInitExpr] B<String> b1 = ...
# 34| 0: [ObjectCreation] object creation of type B<String>
# 34| 1: [LocalVariableAccess] access to local variable b1
# 34| 0: [LocalVariableAccess] access to local variable b1
# 34| 1: [ObjectCreation] object creation of type B<String>
# 35| 7: [ExprStmt] ...;
# 35| 0: [MethodCall] call to method MB1
# 35| -1: [LocalVariableAccess] access to local variable b1
@@ -102,8 +102,8 @@ Nesting.cs:
# 36| 2: [BoolLiteral] false
# 38| 9: [LocalVariableDeclStmt] ... ...;
# 38| 0: [LocalVariableDeclAndInitExpr] B<Int32> b2 = ...
# 38| 0: [ObjectCreation] object creation of type B<Int32>
# 38| 1: [LocalVariableAccess] access to local variable b2
# 38| 0: [LocalVariableAccess] access to local variable b2
# 38| 1: [ObjectCreation] object creation of type B<Int32>
# 39| 10: [ExprStmt] ...;
# 39| 0: [MethodCall] call to method MB1
# 39| -1: [LocalVariableAccess] access to local variable b2
@@ -117,8 +117,8 @@ Nesting.cs:
# 40| 2: [BoolLiteral] false
# 42| 12: [LocalVariableDeclStmt] ... ...;
# 42| 0: [LocalVariableDeclAndInitExpr] C c1 = ...
# 42| 0: [ObjectCreation] object creation of type C
# 42| 1: [LocalVariableAccess] access to local variable c1
# 42| 0: [LocalVariableAccess] access to local variable c1
# 42| 1: [ObjectCreation] object creation of type C
# 43| 13: [ExprStmt] ...;
# 43| 0: [MethodCall] call to method MC1
# 43| -1: [LocalVariableAccess] access to local variable c1
@@ -130,8 +130,8 @@ Nesting.cs:
# 44| 1: [BoolLiteral] false
# 46| 15: [LocalVariableDeclStmt] ... ...;
# 46| 0: [LocalVariableDeclAndInitExpr] C c2 = ...
# 46| 0: [ObjectCreation] object creation of type C
# 46| 1: [LocalVariableAccess] access to local variable c2
# 46| 0: [LocalVariableAccess] access to local variable c2
# 46| 1: [ObjectCreation] object creation of type C
# 47| 16: [ExprStmt] ...;
# 47| 0: [MethodCall] call to method MC1
# 47| -1: [LocalVariableAccess] access to local variable c2
@@ -143,8 +143,8 @@ Nesting.cs:
# 48| 1: [BoolLiteral] false
# 50| 18: [LocalVariableDeclStmt] ... ...;
# 50| 0: [LocalVariableDeclAndInitExpr] D<Boolean> d1 = ...
# 50| 0: [ObjectCreation] object creation of type D<Boolean>
# 50| 1: [LocalVariableAccess] access to local variable d1
# 50| 0: [LocalVariableAccess] access to local variable d1
# 50| 1: [ObjectCreation] object creation of type D<Boolean>
# 51| 19: [ExprStmt] ...;
# 51| 0: [MethodCall] call to method MD1
# 51| -1: [LocalVariableAccess] access to local variable d1
@@ -158,8 +158,8 @@ Nesting.cs:
# 52| 2: [StringLiteral] ""
# 54| 21: [LocalVariableDeclStmt] ... ...;
# 54| 0: [LocalVariableDeclAndInitExpr] D<Decimal> d2 = ...
# 54| 0: [ObjectCreation] object creation of type D<Decimal>
# 54| 1: [LocalVariableAccess] access to local variable d2
# 54| 0: [LocalVariableAccess] access to local variable d2
# 54| 1: [ObjectCreation] object creation of type D<Decimal>
# 55| 22: [ExprStmt] ...;
# 55| 0: [MethodCall] call to method MD1
# 55| -1: [LocalVariableAccess] access to local variable d2
@@ -223,8 +223,8 @@ generics.cs:
# 35| 4: [BlockStmt] {...}
# 35| 0: [ExprStmt] ...;
# 35| 0: [AssignExpr] ... = ...
# 35| 0: [ParameterAccess] access to parameter value
# 35| 1: [FieldAccess] access to field name
# 35| 0: [FieldAccess] access to field name
# 35| 1: [ParameterAccess] access to parameter value
# 37| 11: [Event] myEvent
# 37| 3: [AddEventAccessor] add_myEvent
#-----| 2: (Parameters)
@@ -259,18 +259,18 @@ generics.cs:
# 60| 0: [TypeParameter] T
# 63| 5: [Field] NumRows
# 63| 1: [AssignExpr] ... = ...
# 63| 0: [IntLiteral] 26
# 63| 1: [MemberConstantAccess] access to constant NumRows
# 63| 0: [MemberConstantAccess] access to constant NumRows
# 63| 1: [IntLiteral] 26
# 64| 6: [Field] NumCols
# 64| 1: [AssignExpr] ... = ...
# 64| 0: [IntLiteral] 10
# 64| 1: [MemberConstantAccess] access to constant NumCols
# 64| 0: [MemberConstantAccess] access to constant NumCols
# 64| 1: [IntLiteral] 10
# 66| 7: [Field] cells
# 66| 1: [AssignExpr] ... = ...
# 66| 0: [ArrayCreation] array creation of type T[,]
# 66| 0: [FieldAccess] access to field cells
# 66| 1: [ArrayCreation] array creation of type T[,]
# 66| 0: [MemberConstantAccess] access to constant NumRows
# 66| 1: [MemberConstantAccess] access to constant NumCols
# 66| 1: [FieldAccess] access to field cells
# 68| 8: [Indexer] Item
#-----| 1: (Parameters)
# 68| 0: [Parameter] i
@@ -291,10 +291,10 @@ generics.cs:
# 76| 4: [BlockStmt] {...}
# 77| 0: [ExprStmt] ...;
# 77| 0: [AssignExpr] ... = ...
# 77| 0: [MethodCall] call to method ToUpper
# 77| 0: [ParameterAccess] access to parameter c
# 77| 1: [MethodCall] call to method ToUpper
# 77| -1: [TypeAccess] access to type Char
# 77| 0: [ParameterAccess] access to parameter c
# 77| 1: [ParameterAccess] access to parameter c
# 78| 1: [IfStmt] if (...) ...
# 78| 0: [LogicalOrExpr] ... || ...
# 78| 0: [LTExpr] ... < ...
@@ -338,10 +338,10 @@ generics.cs:
# 89| 4: [BlockStmt] {...}
# 90| 0: [ExprStmt] ...;
# 90| 0: [AssignExpr] ... = ...
# 90| 0: [MethodCall] call to method ToUpper
# 90| 0: [ParameterAccess] access to parameter c
# 90| 1: [MethodCall] call to method ToUpper
# 90| -1: [TypeAccess] access to type Char
# 90| 0: [ParameterAccess] access to parameter c
# 90| 1: [ParameterAccess] access to parameter c
# 91| 1: [IfStmt] if (...) ...
# 91| 0: [LogicalOrExpr] ... || ...
# 91| 0: [LTExpr] ... < ...
@@ -370,8 +370,7 @@ generics.cs:
# 97| 0: [ObjectCreation] object creation of type IndexOutOfRangeException
# 99| 3: [ExprStmt] ...;
# 99| 0: [AssignExpr] ... = ...
# 99| 0: [ParameterAccess] access to parameter value
# 99| 1: [ArrayAccess] access to array element
# 99| 0: [ArrayAccess] access to array element
# 99| -1: [FieldAccess] access to field cells
# 99| 0: [SubExpr] ... - ...
# 99| 0: [CastExpr] (...) ...
@@ -379,18 +378,19 @@ generics.cs:
# 99| 1: [CastExpr] (...) ...
# 99| 0: [CharLiteral] A
# 99| 1: [ParameterAccess] access to parameter col
# 99| 1: [ParameterAccess] access to parameter value
# 105| 7: [Class] Test
# 108| 5: [Method] Main
# 109| 4: [BlockStmt] {...}
# 110| 0: [LocalVariableDeclStmt] ... ...;
# 110| 0: [LocalVariableDeclAndInitExpr] B<String> bs = ...
# 110| 0: [ObjectCreation] object creation of type B<String>
# 110| 1: [LocalVariableAccess] access to local variable bs
# 110| 0: [LocalVariableAccess] access to local variable bs
# 110| 1: [ObjectCreation] object creation of type B<String>
# 111| 1: [ExprStmt] ...;
# 111| 0: [AssignExpr] ... = ...
# 111| 0: [ObjectCreation] object creation of type A<String>
# 111| 1: [FieldAccess] access to field at
# 111| 0: [FieldAccess] access to field at
# 111| -1: [LocalVariableAccess] access to local variable bs
# 111| 1: [ObjectCreation] object creation of type A<String>
# 112| 2: [ExprStmt] ...;
# 112| 0: [MethodCall] call to method foo
# 112| -1: [LocalVariableAccess] access to local variable bs
@@ -404,35 +404,35 @@ generics.cs:
# 115| -1: [TypeAccess] access to type B<Object>
# 117| 5: [ExprStmt] ...;
# 117| 0: [AssignExpr] ... = ...
# 117| 0: [StringLiteral] ""
# 117| 1: [PropertyCall] access to property Name
# 117| 0: [PropertyCall] access to property Name
# 117| -1: [LocalVariableAccess] access to local variable bs
# 117| 1: [StringLiteral] ""
# 118| 6: [ExprStmt] ...;
# 118| 0: [AddEventExpr] ... += ...
# 118| 0: [ExplicitDelegateCreation] delegate creation of type GenericDelegate<String>
# 118| 0: [MethodAccess] access to method f
# 118| 1: [EventAccess,EventCall] access to event myEvent
# 118| 0: [EventAccess,EventCall] access to event myEvent
# 118| -1: [LocalVariableAccess] access to local variable bs
# 118| 1: [ExplicitDelegateCreation] delegate creation of type GenericDelegate<String>
# 118| 0: [MethodAccess] access to method f
# 119| 7: [ExprStmt] ...;
# 119| 0: [OperatorCall] call to operator ++
# 119| 0: [LocalVariableAccess] access to local variable bs
# 121| 8: [LocalVariableDeclStmt] ... ...;
# 121| 0: [LocalVariableDeclAndInitExpr] Grid<Int32> g = ...
# 121| 0: [ObjectCreation] object creation of type Grid<Int32>
# 121| 1: [LocalVariableAccess] access to local variable g
# 121| 0: [LocalVariableAccess] access to local variable g
# 121| 1: [ObjectCreation] object creation of type Grid<Int32>
# 122| 9: [LocalVariableDeclStmt] ... ...;
# 122| 0: [LocalVariableDeclAndInitExpr] Int32 j = ...
# 122| 0: [IndexerCall] access to indexer
# 122| 0: [LocalVariableAccess] access to local variable j
# 122| 1: [IndexerCall] access to indexer
# 122| -1: [LocalVariableAccess] access to local variable g
# 122| 0: [CharLiteral] e
# 122| 1: [IntLiteral] 1
# 122| 1: [LocalVariableAccess] access to local variable j
# 124| 10: [ExprStmt] ...;
# 124| 0: [AssignExpr] ... = ...
# 124| 0: [CastExpr] (...) ...
# 124| 0: [IntLiteral] 3
# 124| 1: [FieldAccess] access to field t
# 124| 0: [FieldAccess] access to field t
# 124| -1: [ObjectCreation] object creation of type Inner<String>
# 124| 1: [CastExpr] (...) ...
# 124| 0: [IntLiteral] 3
# 126| 11: [ExprStmt] ...;
# 126| 0: [MethodCall] call to method bar
# 126| -1: [ObjectCreation] object creation of type A<String>

View File

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

View File

@@ -15,7 +15,8 @@ indexers.cs:
# 17| 0: [ObjectCreation] object creation of type ArgumentException
# 18| 1: [ExprStmt] ...;
# 18| 0: [AssignExpr] ... = ...
# 18| 0: [ArrayCreation] array creation of type Int32[]
# 18| 0: [FieldAccess] access to field bits
# 18| 1: [ArrayCreation] array creation of type Int32[]
# 18| 0: [AddExpr] ... + ...
# 18| 0: [RShiftExpr] ... >> ...
# 18| 0: [SubExpr] ... - ...
@@ -23,12 +24,11 @@ indexers.cs:
# 18| 1: [IntLiteral] 1
# 18| 1: [IntLiteral] 5
# 18| 1: [IntLiteral] 1
# 18| 1: [FieldAccess] access to field bits
# 19| 2: [ExprStmt] ...;
# 19| 0: [AssignExpr] ... = ...
# 19| 0: [ParameterAccess] access to parameter length
# 19| 1: [FieldAccess] access to field length
# 19| 0: [FieldAccess] access to field length
# 19| -1: [ThisAccess] this access
# 19| 1: [ParameterAccess] access to parameter length
# 22| 7: [Property] Length
# 22| 3: [Getter] get_Length
# 22| 4: [BlockStmt] {...}
@@ -85,26 +85,26 @@ indexers.cs:
# 41| 1: [BlockStmt] {...}
# 42| 0: [ExprStmt] ...;
# 42| 0: [AssignOrExpr] ... |= ...
# 42| 0: [LShiftExpr] ... << ...
# 42| 0: [IntLiteral] 1
# 42| 1: [ParameterAccess] access to parameter index
# 42| 1: [ArrayAccess] access to array element
# 42| 0: [ArrayAccess] access to array element
# 42| -1: [FieldAccess] access to field bits
# 42| 0: [RShiftExpr] ... >> ...
# 42| 0: [ParameterAccess] access to parameter index
# 42| 1: [IntLiteral] 5
# 42| 1: [LShiftExpr] ... << ...
# 42| 0: [IntLiteral] 1
# 42| 1: [ParameterAccess] access to parameter index
# 45| 2: [BlockStmt] {...}
# 46| 0: [ExprStmt] ...;
# 46| 0: [AssignAndExpr] ... &= ...
# 46| 0: [ComplementExpr] ~...
# 46| 0: [LShiftExpr] ... << ...
# 46| 0: [IntLiteral] 1
# 46| 1: [ParameterAccess] access to parameter index
# 46| 1: [ArrayAccess] access to array element
# 46| 0: [ArrayAccess] access to array element
# 46| -1: [FieldAccess] access to field bits
# 46| 0: [RShiftExpr] ... >> ...
# 46| 0: [ParameterAccess] access to parameter index
# 46| 1: [IntLiteral] 5
# 46| 1: [ComplementExpr] ~...
# 46| 0: [LShiftExpr] ... << ...
# 46| 0: [IntLiteral] 1
# 46| 1: [ParameterAccess] access to parameter index
# 53| 2: [Class] CountPrimes
# 56| 5: [Method] Count
#-----| 2: (Parameters)
@@ -112,19 +112,19 @@ indexers.cs:
# 57| 4: [BlockStmt] {...}
# 58| 0: [LocalVariableDeclStmt] ... ...;
# 58| 0: [LocalVariableDeclAndInitExpr] BitArray flags = ...
# 58| 0: [ObjectCreation] object creation of type BitArray
# 58| 0: [LocalVariableAccess] access to local variable flags
# 58| 1: [ObjectCreation] object creation of type BitArray
# 58| 0: [AddExpr] ... + ...
# 58| 0: [ParameterAccess] access to parameter max
# 58| 1: [IntLiteral] 1
# 58| 1: [LocalVariableAccess] access to local variable flags
# 59| 1: [LocalVariableDeclStmt] ... ...;
# 59| 0: [LocalVariableDeclAndInitExpr] Int32 count = ...
# 59| 0: [IntLiteral] 1
# 59| 1: [LocalVariableAccess] access to local variable count
# 59| 0: [LocalVariableAccess] access to local variable count
# 59| 1: [IntLiteral] 1
# 60| 2: [ForStmt] for (...;...;...) ...
# 60| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 60| 0: [IntLiteral] 2
# 60| 1: [LocalVariableAccess] access to local variable i
# 60| 0: [LocalVariableAccess] access to local variable i
# 60| 1: [IntLiteral] 2
# 60| 0: [LEExpr] ... <= ...
# 60| 0: [LocalVariableAccess] access to local variable i
# 60| 1: [ParameterAccess] access to parameter max
@@ -139,22 +139,22 @@ indexers.cs:
# 63| 1: [BlockStmt] {...}
# 64| 0: [ForStmt] for (...;...;...) ...
# 64| -1: [LocalVariableDeclAndInitExpr] Int32 j = ...
# 64| 0: [MulExpr] ... * ...
# 64| 0: [LocalVariableAccess] access to local variable j
# 64| 1: [MulExpr] ... * ...
# 64| 0: [LocalVariableAccess] access to local variable i
# 64| 1: [IntLiteral] 2
# 64| 1: [LocalVariableAccess] access to local variable j
# 64| 0: [LEExpr] ... <= ...
# 64| 0: [LocalVariableAccess] access to local variable j
# 64| 1: [ParameterAccess] access to parameter max
# 64| 1: [AssignAddExpr] ... += ...
# 64| 0: [LocalVariableAccess] access to local variable i
# 64| 1: [LocalVariableAccess] access to local variable j
# 64| 0: [LocalVariableAccess] access to local variable j
# 64| 1: [LocalVariableAccess] access to local variable i
# 65| 2: [ExprStmt] ...;
# 65| 0: [AssignExpr] ... = ...
# 65| 0: [BoolLiteral] true
# 65| 1: [IndexerCall] access to indexer
# 65| 0: [IndexerCall] access to indexer
# 65| -1: [LocalVariableAccess] access to local variable flags
# 65| 0: [LocalVariableAccess] access to local variable j
# 65| 1: [BoolLiteral] true
# 66| 1: [ExprStmt] ...;
# 66| 0: [PostIncrExpr] ...++
# 66| 0: [LocalVariableAccess] access to local variable count
@@ -166,17 +166,17 @@ indexers.cs:
# 73| 4: [BlockStmt] {...}
# 74| 0: [LocalVariableDeclStmt] ... ...;
# 74| 0: [LocalVariableDeclAndInitExpr] Int32 max = ...
# 74| 0: [MethodCall] call to method Parse
# 74| 0: [LocalVariableAccess] access to local variable max
# 74| 1: [MethodCall] call to method Parse
# 74| -1: [TypeAccess] access to type Int32
# 74| 0: [ArrayAccess] access to array element
# 74| -1: [ParameterAccess] access to parameter args
# 74| 0: [IntLiteral] 0
# 74| 1: [LocalVariableAccess] access to local variable max
# 75| 1: [LocalVariableDeclStmt] ... ...;
# 75| 0: [LocalVariableDeclAndInitExpr] Int32 count = ...
# 75| 0: [MethodCall] call to method Count
# 75| 0: [LocalVariableAccess] access to local variable count
# 75| 1: [MethodCall] call to method Count
# 75| 0: [LocalVariableAccess] access to local variable max
# 75| 1: [LocalVariableAccess] access to local variable count
# 76| 2: [ExprStmt] ...;
# 76| 0: [MethodCall] call to method WriteLine
# 76| -1: [TypeAccess] access to type Console
@@ -188,18 +188,18 @@ indexers.cs:
# 81| 3: [Class] Grid
# 84| 5: [Field] NumRows
# 84| 1: [AssignExpr] ... = ...
# 84| 0: [IntLiteral] 26
# 84| 1: [MemberConstantAccess] access to constant NumRows
# 84| 0: [MemberConstantAccess] access to constant NumRows
# 84| 1: [IntLiteral] 26
# 85| 6: [Field] NumCols
# 85| 1: [AssignExpr] ... = ...
# 85| 0: [IntLiteral] 10
# 85| 1: [MemberConstantAccess] access to constant NumCols
# 85| 0: [MemberConstantAccess] access to constant NumCols
# 85| 1: [IntLiteral] 10
# 87| 7: [Field] cells
# 87| 1: [AssignExpr] ... = ...
# 87| 0: [ArrayCreation] array creation of type Int32[,]
# 87| 0: [FieldAccess] access to field cells
# 87| 1: [ArrayCreation] array creation of type Int32[,]
# 87| 0: [MemberConstantAccess] access to constant NumRows
# 87| 1: [MemberConstantAccess] access to constant NumCols
# 87| 1: [FieldAccess] access to field cells
# 89| 8: [Indexer] Item
#-----| 1: (Parameters)
# 89| 0: [Parameter] c
@@ -211,10 +211,10 @@ indexers.cs:
# 92| 4: [BlockStmt] {...}
# 93| 0: [ExprStmt] ...;
# 93| 0: [AssignExpr] ... = ...
# 93| 0: [MethodCall] call to method ToUpper
# 93| 0: [ParameterAccess] access to parameter c
# 93| 1: [MethodCall] call to method ToUpper
# 93| -1: [TypeAccess] access to type Char
# 93| 0: [ParameterAccess] access to parameter c
# 93| 1: [ParameterAccess] access to parameter c
# 94| 1: [IfStmt] if (...) ...
# 94| 0: [LogicalOrExpr] ... || ...
# 94| 0: [LTExpr] ... < ...
@@ -258,10 +258,10 @@ indexers.cs:
# 105| 4: [BlockStmt] {...}
# 106| 0: [ExprStmt] ...;
# 106| 0: [AssignExpr] ... = ...
# 106| 0: [MethodCall] call to method ToUpper
# 106| 0: [ParameterAccess] access to parameter c
# 106| 1: [MethodCall] call to method ToUpper
# 106| -1: [TypeAccess] access to type Char
# 106| 0: [ParameterAccess] access to parameter c
# 106| 1: [ParameterAccess] access to parameter c
# 107| 1: [IfStmt] if (...) ...
# 107| 0: [LogicalOrExpr] ... || ...
# 107| 0: [LTExpr] ... < ...
@@ -290,8 +290,7 @@ indexers.cs:
# 113| 0: [ObjectCreation] object creation of type IndexOutOfRangeException
# 115| 3: [ExprStmt] ...;
# 115| 0: [AssignExpr] ... = ...
# 115| 0: [ParameterAccess] access to parameter value
# 115| 1: [ArrayAccess] access to array element
# 115| 0: [ArrayAccess] access to array element
# 115| -1: [FieldAccess] access to field cells
# 115| 0: [SubExpr] ... - ...
# 115| 0: [CastExpr] (...) ...
@@ -299,6 +298,7 @@ indexers.cs:
# 115| 1: [CastExpr] (...) ...
# 115| 0: [CharLiteral] A
# 115| 1: [ParameterAccess] access to parameter col
# 115| 1: [ParameterAccess] access to parameter value
# 121| 4: [Class] DuplicateIndexerSignatures
# 123| 5: [Indexer] Item
#-----| 1: (Parameters)

View File

@@ -36,14 +36,14 @@ initializers.cs:
# 21| 0: [ObjectCreation] object creation of type S1
# 21| -1: [ObjectInitializer] { ..., ... }
# 21| 0: [MemberInitializer] ... = ...
# 21| 0: [IntLiteral] 1
# 21| 1: [FieldAccess] access to field P1
# 21| 0: [FieldAccess] access to field P1
# 21| 1: [IntLiteral] 1
# 21| 1: [MemberInitializer] ... = ...
# 21| 0: [IntLiteral] 2
# 21| 1: [PropertyCall] access to property P2
# 21| 0: [PropertyCall] access to property P2
# 21| 1: [IntLiteral] 2
# 21| 2: [MemberInitializer] ... = ...
# 21| 0: [IntLiteral] 3
# 21| 1: [PropertyCall] access to property P3
# 21| 0: [PropertyCall] access to property P3
# 21| 1: [IntLiteral] 3
# 22| 1: [ExprStmt] ...;
# 22| 0: [ObjectCreation] object creation of type S2
# 22| -1: [CollectionInitializer] { ..., ... }

View File

@@ -4,7 +4,8 @@ queries.cs:
# 8| 4: [BlockStmt] {...}
# 9| 0: [LocalVariableDeclStmt] ... ...;
# 9| 0: [LocalVariableDeclAndInitExpr] IList<Int32> list1 = ...
# 9| 0: [ObjectCreation] object creation of type List<Int32>
# 9| 0: [LocalVariableAccess] access to local variable list1
# 9| 1: [ObjectCreation] object creation of type List<Int32>
# 9| -1: [CollectionInitializer] { ..., ... }
# 9| 0: [ElementInitializer] call to method Add
# 9| 0: [IntLiteral] 1
@@ -12,24 +13,24 @@ queries.cs:
# 9| 0: [IntLiteral] 2
# 9| 2: [ElementInitializer] call to method Add
# 9| 0: [IntLiteral] 3
# 9| 1: [LocalVariableAccess] access to local variable list1
# 10| 1: [LocalVariableDeclStmt] ... ...;
# 10| 0: [LocalVariableDeclAndInitExpr] IList<IList<Int32>> list2 = ...
# 10| 0: [ObjectCreation] object creation of type List<IList<Int32>>
# 10| 0: [LocalVariableAccess] access to local variable list2
# 10| 1: [ObjectCreation] object creation of type List<IList<Int32>>
# 10| -1: [CollectionInitializer] { ..., ... }
# 10| 0: [ElementInitializer] call to method Add
# 10| 0: [LocalVariableAccess] access to local variable list1
# 10| 1: [ElementInitializer] call to method Add
# 10| 0: [LocalVariableAccess] access to local variable list1
# 10| 1: [LocalVariableAccess] access to local variable list2
# 12| 2: [LocalVariableDeclStmt] ... ...;
# 12| 0: [LocalVariableDeclAndInitExpr] IEnumerable<Int32> list3 = ...
# 16| 0: [MethodCall] call to method Select
# 12| 0: [LocalVariableAccess] access to local variable list3
# 16| 1: [MethodCall] call to method Select
# 15| 0: [MethodCall] call to method OrderBy
# 14| 0: [MethodCall] call to method Where
# 13| 0: [LocalVariableDeclAndInitExpr] Int32 a = ...
# 13| 0: [LocalVariableAccess] access to local variable list1
# 13| 1: [LocalVariableAccess] access to local variable a
# 13| 0: [LocalVariableAccess] access to local variable a
# 13| 1: [LocalVariableAccess] access to local variable list1
# 14| 1: [LogicalOrExpr] ... || ...
# 14| 0: [EQExpr] ... == ...
# 14| 0: [LocalVariableAccess] access to local variable a
@@ -41,10 +42,10 @@ queries.cs:
# 16| 1: [AddExpr] ... + ...
# 16| 0: [LocalVariableAccess] access to local variable a
# 16| 1: [IntLiteral] 1
# 12| 1: [LocalVariableAccess] access to local variable list3
# 18| 3: [LocalVariableDeclStmt] ... ...;
# 18| 0: [LocalVariableDeclAndInitExpr] IEnumerable<Int32> list4 = ...
# 18| 0: [MethodCall] call to method Select
# 18| 0: [LocalVariableAccess] access to local variable list4
# 18| 1: [MethodCall] call to method Select
# 18| -1: [MethodCall] call to method OrderBy
# 18| -1: [MethodCall] call to method Where
# 18| -1: [LocalVariableAccess] access to local variable list1
@@ -68,54 +69,54 @@ queries.cs:
# 21| 4: [AddExpr] ... + ...
# 21| 0: [ParameterAccess] access to parameter a
# 21| 1: [IntLiteral] 1
# 18| 1: [LocalVariableAccess] access to local variable list4
# 23| 4: [LocalVariableDeclStmt] ... ...;
# 23| 0: [LocalVariableDeclAndInitExpr] IEnumerable<Int32> list5 = ...
# 28| 0: [MethodCall] call to method
# 23| 0: [LocalVariableAccess] access to local variable list5
# 28| 1: [MethodCall] call to method
# 27| 0: [MethodCall] call to method Join
# 26| 0: [MethodCall] call to method Select
# 25| 0: [MethodCall] call to method SelectMany
# 24| 0: [LocalVariableDeclAndInitExpr] IList<Int32> a = ...
# 24| 0: [LocalVariableAccess] access to local variable list2
# 24| 1: [LocalVariableAccess] access to local variable a
# 24| 0: [LocalVariableAccess] access to local variable a
# 24| 1: [LocalVariableAccess] access to local variable list2
# 25| 1: [LocalVariableDeclAndInitExpr] IList<Int32> b = ...
# 25| 0: [LocalVariableAccess] access to local variable a
# 25| 1: [LocalVariableAccess] access to local variable b
# 25| 0: [LocalVariableAccess] access to local variable b
# 25| 1: [LocalVariableAccess] access to local variable a
# 25| 2: [LocalVariableAccess] access to local variable a
# 26| 1: [LocalVariableDeclAndInitExpr] Int32 next = ...
# 26| 0: [AddExpr] ... + ...
# 26| 0: [LocalVariableAccess] access to local variable next
# 26| 1: [AddExpr] ... + ...
# 26| 0: [LocalVariableAccess] access to local variable b
# 26| 1: [IntLiteral] 1
# 26| 1: [LocalVariableAccess] access to local variable next
# 26| 2: [AddExpr] ... + ...
# 26| 0: [LocalVariableAccess] access to local variable b
# 26| 1: [IntLiteral] 1
# 27| 1: [LocalVariableDeclAndInitExpr] IList<Int32> c = ...
# 27| 0: [LocalVariableAccess] access to local variable list1
# 27| 1: [LocalVariableAccess] access to local variable c
# 27| 0: [LocalVariableAccess] access to local variable c
# 27| 1: [LocalVariableAccess] access to local variable list1
# 27| 2: [LocalVariableAccess] access to local variable list1
# 27| 3: [LocalVariableAccess] access to local variable next
# 27| 4: [LocalVariableAccess] access to local variable c
# 28| 1: [IntLiteral] 1
# 23| 1: [LocalVariableAccess] access to local variable list5
# 30| 5: [LocalVariableDeclStmt] ... ...;
# 30| 0: [LocalVariableDeclAndInitExpr] IEnumerable<IGrouping<Int32,Int32>> list6 = ...
# 35| 0: [MethodCall] call to method GroupBy
# 30| 0: [LocalVariableAccess] access to local variable list6
# 35| 1: [MethodCall] call to method GroupBy
# 34| 0: [MethodCall] call to method OrderByDescending
# 33| 0: [MethodCall] call to method Select
# 32| 0: [MethodCall] call to method SelectMany
# 31| 0: [LocalVariableDeclAndInitExpr] IList<Int32> a = ...
# 31| 0: [LocalVariableAccess] access to local variable list2
# 31| 1: [LocalVariableAccess] access to local variable a
# 31| 0: [LocalVariableAccess] access to local variable a
# 31| 1: [LocalVariableAccess] access to local variable list2
# 32| 1: [LocalVariableDeclAndInitExpr] IList<Int32> b = ...
# 32| 0: [LocalVariableAccess] access to local variable a
# 32| 1: [LocalVariableAccess] access to local variable b
# 32| 0: [LocalVariableAccess] access to local variable b
# 32| 1: [LocalVariableAccess] access to local variable a
# 32| 2: [LocalVariableAccess] access to local variable a
# 33| 1: [LocalVariableDeclAndInitExpr] Int32 next = ...
# 33| 0: [AddExpr] ... + ...
# 33| 0: [LocalVariableAccess] access to local variable next
# 33| 1: [AddExpr] ... + ...
# 33| 0: [LocalVariableAccess] access to local variable b
# 33| 1: [IntLiteral] 1
# 33| 1: [LocalVariableAccess] access to local variable next
# 33| 2: [AddExpr] ... + ...
# 33| 0: [LocalVariableAccess] access to local variable b
# 33| 1: [IntLiteral] 1
@@ -124,61 +125,60 @@ queries.cs:
# 34| 1: [IntLiteral] 2
# 35| 1: [LocalVariableAccess] access to local variable b
# 35| 2: [LocalVariableAccess] access to local variable next
# 30| 1: [LocalVariableAccess] access to local variable list6
# 37| 6: [LocalVariableDeclStmt] ... ...;
# 37| 0: [LocalVariableDeclAndInitExpr] B list7 = ...
# 37| 0: [ObjectCreation] object creation of type B
# 37| 1: [LocalVariableAccess] access to local variable list7
# 37| 0: [LocalVariableAccess] access to local variable list7
# 37| 1: [ObjectCreation] object creation of type B
# 39| 7: [LocalVariableDeclStmt] ... ...;
# 39| 0: [LocalVariableDeclAndInitExpr] IEnumerable<Object> list8 = ...
# 41| 0: [MethodCall] call to method Select
# 39| 0: [LocalVariableAccess] access to local variable list8
# 41| 1: [MethodCall] call to method Select
# 40| 0: [LocalVariableDeclAndInitExpr] Object a = ...
# 40| 0: [LocalVariableAccess] access to local variable list7
# 40| 1: [LocalVariableAccess] access to local variable a
# 40| 0: [LocalVariableAccess] access to local variable a
# 40| 1: [LocalVariableAccess] access to local variable list7
# 41| 1: [LocalVariableAccess] access to local variable a
# 39| 1: [LocalVariableAccess] access to local variable list8
# 43| 8: [LocalVariableDeclStmt] ... ...;
# 43| 0: [LocalVariableDeclAndInitExpr] C list9 = ...
# 43| 0: [ObjectCreation] object creation of type C
# 43| 1: [LocalVariableAccess] access to local variable list9
# 43| 0: [LocalVariableAccess] access to local variable list9
# 43| 1: [ObjectCreation] object creation of type C
# 45| 9: [LocalVariableDeclStmt] ... ...;
# 45| 0: [LocalVariableDeclAndInitExpr] IEnumerable<Int32> list10 = ...
# 47| 0: [MethodCall] call to method Select
# 45| 0: [LocalVariableAccess] access to local variable list10
# 47| 1: [MethodCall] call to method Select
# 46| 0: [LocalVariableDeclAndInitExpr] Int32 a = ...
# 46| 0: [LocalVariableAccess] access to local variable list9
# 46| 1: [LocalVariableAccess] access to local variable a
# 46| 0: [LocalVariableAccess] access to local variable a
# 46| 1: [LocalVariableAccess] access to local variable list9
# 47| 1: [LocalVariableAccess] access to local variable a
# 45| 1: [LocalVariableAccess] access to local variable list10
# 49| 10: [LocalVariableDeclStmt] ... ...;
# 49| 0: [LocalVariableDeclAndInitExpr] IEnumerable<String> list11 = ...
# 51| 0: [MethodCall] call to method Select
# 49| 0: [LocalVariableAccess] access to local variable list11
# 51| 1: [MethodCall] call to method Select
# 50| 0: [LocalVariableDeclAndInitExpr] String a = ...
# 50| 0: [LocalVariableAccess] access to local variable list7
# 50| 1: [LocalVariableAccess] access to local variable a
# 50| 0: [LocalVariableAccess] access to local variable a
# 50| 1: [LocalVariableAccess] access to local variable list7
# 51| 1: [LocalVariableAccess] access to local variable a
# 49| 1: [LocalVariableAccess] access to local variable list11
# 53| 11: [LocalVariableDeclStmt] ... ...;
# 53| 0: [LocalVariableDeclAndInitExpr] IEnumerable<(Int32,IEnumerable<IList<Int32>>)> list12 = ...
# 56| 0: [MethodCall] call to method
# 53| 0: [LocalVariableAccess] access to local variable list12
# 56| 1: [MethodCall] call to method
# 55| 0: [MethodCall] call to method GroupJoin
# 54| 0: [LocalVariableDeclAndInitExpr] Int32 a = ...
# 54| 0: [LocalVariableAccess] access to local variable list1
# 54| 1: [LocalVariableAccess] access to local variable a
# 54| 0: [LocalVariableAccess] access to local variable a
# 54| 1: [LocalVariableAccess] access to local variable list1
# 55| 1: [LocalVariableDeclAndInitExpr] IList<IList<Int32>> c = ...
# 55| 0: [LocalVariableAccess] access to local variable list2
# 55| 1: [LocalVariableAccess] access to local variable c
# 55| 0: [LocalVariableAccess] access to local variable c
# 55| 1: [LocalVariableAccess] access to local variable list2
# 55| 2: [LocalVariableAccess] access to local variable list2
# 55| 3: [LocalVariableAccess] access to local variable a
# 55| 4: [IndexerCall] access to indexer
# 55| -1: [LocalVariableAccess] access to local variable c
# 55| 0: [IntLiteral] 0
# 55| 5: [LocalVariableDeclAndInitExpr] IList<IList<Int32>> d = ...
# 55| 0: [LocalVariableAccess] access to local variable list2
# 55| 1: [LocalVariableAccess] access to local variable d
# 55| 0: [LocalVariableAccess] access to local variable d
# 55| 1: [LocalVariableAccess] access to local variable list2
# 56| 1: [TupleExpr] (..., ...)
# 56| 0: [LocalVariableAccess] access to local variable a
# 56| 1: [LocalVariableAccess] access to local variable d
# 53| 1: [LocalVariableAccess] access to local variable list12
# 59| 6: [Class] A
#-----| 3: (Base types)
#-----| 1: [Interface] IEnumerable

View File

@@ -8,25 +8,25 @@ methods.cs:
# 10| 4: [BlockStmt] {...}
# 11| 0: [LocalVariableDeclStmt] ... ...;
# 11| 0: [LocalVariableDeclAndInitExpr] Int32 temp = ...
# 11| 0: [ParameterAccess] access to parameter x
# 11| 1: [LocalVariableAccess] access to local variable temp
# 11| 0: [LocalVariableAccess] access to local variable temp
# 11| 1: [ParameterAccess] access to parameter x
# 12| 1: [ExprStmt] ...;
# 12| 0: [AssignExpr] ... = ...
# 12| 0: [ParameterAccess] access to parameter y
# 12| 1: [ParameterAccess] access to parameter x
# 12| 0: [ParameterAccess] access to parameter x
# 12| 1: [ParameterAccess] access to parameter y
# 13| 2: [ExprStmt] ...;
# 13| 0: [AssignExpr] ... = ...
# 13| 0: [LocalVariableAccess] access to local variable temp
# 13| 1: [ParameterAccess] access to parameter y
# 13| 0: [ParameterAccess] access to parameter y
# 13| 1: [LocalVariableAccess] access to local variable temp
# 16| 6: [Method] Main
# 17| 4: [BlockStmt] {...}
# 18| 0: [LocalVariableDeclStmt] ... ...;
# 18| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 18| 0: [IntLiteral] 1
# 18| 1: [LocalVariableAccess] access to local variable i
# 18| 0: [LocalVariableAccess] access to local variable i
# 18| 1: [IntLiteral] 1
# 18| 1: [LocalVariableDeclAndInitExpr] Int32 j = ...
# 18| 0: [IntLiteral] 2
# 18| 1: [LocalVariableAccess] access to local variable j
# 18| 0: [LocalVariableAccess] access to local variable j
# 18| 1: [IntLiteral] 2
# 19| 1: [ExprStmt] ...;
# 19| 0: [MethodCall] call to method Swap
# 19| 0: [LocalVariableAccess] access to local variable i
@@ -57,16 +57,16 @@ methods.cs:
# 29| 4: [BlockStmt] {...}
# 30| 0: [ExprStmt] ...;
# 30| 0: [AssignExpr] ... = ...
# 30| 0: [DivExpr] ... / ...
# 30| 0: [ParameterAccess] access to parameter result
# 30| 1: [DivExpr] ... / ...
# 30| 0: [ParameterAccess] access to parameter x
# 30| 1: [ParameterAccess] access to parameter y
# 30| 1: [ParameterAccess] access to parameter result
# 31| 1: [ExprStmt] ...;
# 31| 0: [AssignExpr] ... = ...
# 31| 0: [RemExpr] ... % ...
# 31| 0: [ParameterAccess] access to parameter remainder
# 31| 1: [RemExpr] ... % ...
# 31| 0: [ParameterAccess] access to parameter x
# 31| 1: [ParameterAccess] access to parameter y
# 31| 1: [ParameterAccess] access to parameter remainder
# 34| 6: [Method] Main
# 35| 4: [BlockStmt] {...}
# 36| 0: [LocalVariableDeclStmt] ... ...;
@@ -224,9 +224,9 @@ methods.cs:
# 112| 0: [ObjectCreation] object creation of type ArgumentException
# 113| 1: [LocalVariableDeclStmt] ... ...;
# 113| 0: [LocalVariableDeclAndInitExpr] T[] result = ...
# 113| 0: [ArrayCreation] array creation of type T[]
# 113| 0: [LocalVariableAccess] access to local variable result
# 113| 1: [ArrayCreation] array creation of type T[]
# 113| 0: [ParameterAccess] access to parameter count
# 113| 1: [LocalVariableAccess] access to local variable result
# 114| 2: [ExprStmt] ...;
# 114| 0: [MethodCall] call to method Copy
# 114| -1: [TypeAccess] access to type Array
@@ -245,13 +245,13 @@ methods.cs:
# 125| 4: [BlockStmt] {...}
# 126| 0: [LocalVariableDeclStmt] ... ...;
# 126| 0: [LocalVariableDeclAndInitExpr] String[] strings = ...
# 126| 0: [ArrayCreation] array creation of type String[]
# 126| 0: [LocalVariableAccess] access to local variable strings
# 126| 1: [ArrayCreation] array creation of type String[]
# 126| -1: [ArrayInitializer] { ..., ... }
# 126| 0: [StringLiteral] "1"
# 126| 1: [StringLiteral] "22"
# 126| 2: [StringLiteral] "333"
# 126| 3: [StringLiteral] "4444"
# 126| 1: [LocalVariableAccess] access to local variable strings
# 127| 1: [ForeachStmt] foreach (... ... in ...) ...
# 127| 0: [LocalVariableDeclExpr] String s
# 127| 1: [MethodCall] call to method Slice

View File

@@ -21,8 +21,8 @@ nestedtypes.cs:
# 33| 4: [BlockStmt] {...}
# 34| 0: [LocalVariableDeclStmt] ... ...;
# 34| 0: [LocalVariableDeclAndInitExpr] Derived d = ...
# 34| 0: [ObjectCreation] object creation of type Derived
# 34| 1: [LocalVariableAccess] access to local variable d
# 34| 0: [LocalVariableAccess] access to local variable d
# 34| 1: [ObjectCreation] object creation of type Derived
# 35| 1: [ExprStmt] ...;
# 35| 0: [MethodCall] call to method F
# 35| -1: [LocalVariableAccess] access to local variable d
@@ -31,8 +31,8 @@ nestedtypes.cs:
# 46| 4: [BlockStmt] {...}
# 47| 0: [LocalVariableDeclStmt] ... ...;
# 47| 0: [LocalVariableDeclAndInitExpr] Nested n = ...
# 47| 0: [ObjectCreation] object creation of type Nested
# 47| 1: [LocalVariableAccess] access to local variable n
# 47| 0: [LocalVariableAccess] access to local variable n
# 47| 1: [ObjectCreation] object creation of type Nested
# 48| 1: [ExprStmt] ...;
# 48| 0: [MethodCall] call to method G
# 48| -1: [LocalVariableAccess] access to local variable n
@@ -65,9 +65,9 @@ nestedtypes.cs:
# 68| 1: [StringLiteral] "abc"
# 69| 2: [LocalVariableDeclStmt] ... ...;
# 69| 0: [LocalVariableDeclAndInitExpr] Type type = ...
# 69| 0: [TypeofExpr] typeof(...)
# 69| 0: [LocalVariableAccess] access to local variable type
# 69| 1: [TypeofExpr] typeof(...)
# 69| 0: [TypeAccess] access to type Inner<>
# 69| 1: [LocalVariableAccess] access to local variable type
# 74| 5: [Class] Outer2<>
#-----| 1: (Type parameters)
# 74| 0: [TypeParameter] T

View File

@@ -30,14 +30,14 @@ operators.cs:
# 17| 4: [BlockStmt] {...}
# 18| 0: [LocalVariableDeclStmt] ... ...;
# 18| 0: [LocalVariableDeclAndInitExpr] IntVector temp = ...
# 18| 0: [ObjectCreation] object creation of type IntVector
# 18| 0: [LocalVariableAccess] access to local variable temp
# 18| 1: [ObjectCreation] object creation of type IntVector
# 18| 0: [PropertyCall] access to property Length
# 18| -1: [ParameterAccess] access to parameter iv
# 18| 1: [LocalVariableAccess] access to local variable temp
# 19| 1: [ForStmt] for (...;...;...) ...
# 19| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 19| 0: [IntLiteral] 0
# 19| 1: [LocalVariableAccess] access to local variable i
# 19| 0: [LocalVariableAccess] access to local variable i
# 19| 1: [IntLiteral] 0
# 19| 0: [LTExpr] ... < ...
# 19| 0: [LocalVariableAccess] access to local variable i
# 19| 1: [PropertyCall] access to property Length
@@ -46,14 +46,14 @@ operators.cs:
# 19| 0: [LocalVariableAccess] access to local variable i
# 20| 2: [ExprStmt] ...;
# 20| 0: [AssignExpr] ... = ...
# 20| 0: [AddExpr] ... + ...
# 20| 0: [IndexerCall] access to indexer
# 20| -1: [LocalVariableAccess] access to local variable temp
# 20| 0: [LocalVariableAccess] access to local variable i
# 20| 1: [AddExpr] ... + ...
# 20| 0: [IndexerCall] access to indexer
# 20| -1: [ParameterAccess] access to parameter iv
# 20| 0: [LocalVariableAccess] access to local variable i
# 20| 1: [IntLiteral] 1
# 20| 1: [IndexerCall] access to indexer
# 20| -1: [LocalVariableAccess] access to local variable temp
# 20| 0: [LocalVariableAccess] access to local variable i
# 21| 2: [ReturnStmt] return ...;
# 21| 0: [LocalVariableAccess] access to local variable temp
# 26| 2: [Class] TestUnaryOperator
@@ -61,21 +61,21 @@ operators.cs:
# 30| 4: [BlockStmt] {...}
# 31| 0: [LocalVariableDeclStmt] ... ...;
# 31| 0: [LocalVariableDeclAndInitExpr] IntVector iv1 = ...
# 31| 0: [ObjectCreation] object creation of type IntVector
# 31| 0: [LocalVariableAccess] access to local variable iv1
# 31| 1: [ObjectCreation] object creation of type IntVector
# 31| 0: [IntLiteral] 4
# 31| 1: [LocalVariableAccess] access to local variable iv1
# 32| 1: [LocalVariableDeclStmt] ... ...;
# 32| 0: [LocalVariableDeclExpr] IntVector iv2
# 33| 2: [ExprStmt] ...;
# 33| 0: [AssignExpr] ... = ...
# 33| 0: [OperatorCall] call to operator ++
# 33| 0: [LocalVariableAccess] access to local variable iv2
# 33| 1: [OperatorCall] call to operator ++
# 33| 0: [LocalVariableAccess] access to local variable iv1
# 33| 1: [LocalVariableAccess] access to local variable iv2
# 34| 3: [ExprStmt] ...;
# 34| 0: [AssignExpr] ... = ...
# 34| 0: [OperatorCall] call to operator ++
# 34| 0: [LocalVariableAccess] access to local variable iv2
# 34| 1: [OperatorCall] call to operator ++
# 34| 0: [LocalVariableAccess] access to local variable iv1
# 34| 1: [LocalVariableAccess] access to local variable iv2
# 39| 3: [Struct] Digit
# 42| 5: [Field] value
# 44| 6: [InstanceConstructor] Digit
@@ -96,9 +96,9 @@ operators.cs:
# 47| 0: [ObjectCreation] object creation of type ArgumentException
# 48| 1: [ExprStmt] ...;
# 48| 0: [AssignExpr] ... = ...
# 48| 0: [ParameterAccess] access to parameter value
# 48| 1: [FieldAccess] access to field value
# 48| 0: [FieldAccess] access to field value
# 48| -1: [ThisAccess] this access
# 48| 1: [ParameterAccess] access to parameter value
# 51| 7: [ImplicitConversionOperator] implicit conversion
#-----| 2: (Parameters)
# 51| 0: [Parameter] d
@@ -118,12 +118,12 @@ operators.cs:
# 67| 4: [BlockStmt] {...}
# 68| 0: [LocalVariableDeclStmt] ... ...;
# 68| 0: [LocalVariableDeclAndInitExpr] Digit d = ...
# 68| 0: [OperatorCall] call to operator explicit conversion
# 68| 0: [LocalVariableAccess] access to local variable d
# 68| 1: [OperatorCall] call to operator explicit conversion
# 68| 0: [CastExpr] (...) ...
# 68| 0: [IntLiteral] 8
# 68| 1: [LocalVariableAccess] access to local variable d
# 69| 1: [LocalVariableDeclStmt] ... ...;
# 69| 0: [LocalVariableDeclAndInitExpr] Byte b = ...
# 69| 0: [OperatorCall] call to operator implicit conversion
# 69| 0: [LocalVariableAccess] access to local variable b
# 69| 1: [OperatorCall] call to operator implicit conversion
# 69| 0: [LocalVariableAccess] access to local variable d
# 69| 1: [LocalVariableAccess] access to local variable b

View File

@@ -18,24 +18,24 @@ properties.cs:
# 20| 1: [BlockStmt] {...}
# 21| 0: [ExprStmt] ...;
# 21| 0: [AssignExpr] ... = ...
# 21| 0: [ParameterAccess] access to parameter value
# 21| 1: [FieldAccess] access to field caption
# 21| 0: [FieldAccess] access to field caption
# 21| 1: [ParameterAccess] access to parameter value
# 26| 7: [Method] Paint
# 27| 4: [BlockStmt] {...}
# 28| 0: [LocalVariableDeclStmt] ... ...;
# 28| 0: [LocalVariableDeclAndInitExpr] Button okButton = ...
# 28| 0: [ObjectCreation] object creation of type Button
# 28| 1: [LocalVariableAccess] access to local variable okButton
# 28| 0: [LocalVariableAccess] access to local variable okButton
# 28| 1: [ObjectCreation] object creation of type Button
# 29| 1: [ExprStmt] ...;
# 29| 0: [AssignExpr] ... = ...
# 29| 0: [StringLiteral] "OK"
# 29| 1: [PropertyCall] access to property Caption
# 29| 0: [PropertyCall] access to property Caption
# 29| -1: [LocalVariableAccess] access to local variable okButton
# 29| 1: [StringLiteral] "OK"
# 30| 2: [LocalVariableDeclStmt] ... ...;
# 30| 0: [LocalVariableDeclAndInitExpr] String s = ...
# 30| 0: [PropertyCall] access to property Caption
# 30| 0: [LocalVariableAccess] access to local variable s
# 30| 1: [PropertyCall] access to property Caption
# 30| -1: [LocalVariableAccess] access to local variable okButton
# 30| 1: [LocalVariableAccess] access to local variable s
# 34| 2: [Class] Counter
# 37| 5: [Field] next
# 39| 6: [Property] Next
@@ -73,12 +73,12 @@ properties.cs:
# 60| 4: [BlockStmt] {...}
# 61| 0: [ExprStmt] ...;
# 61| 0: [AssignExpr] ... = ...
# 61| 0: [ParameterAccess] access to parameter x
# 61| 1: [PropertyCall] access to property X
# 61| 0: [PropertyCall] access to property X
# 61| 1: [ParameterAccess] access to parameter x
# 62| 1: [ExprStmt] ...;
# 62| 0: [AssignExpr] ... = ...
# 62| 0: [ParameterAccess] access to parameter y
# 62| 1: [PropertyCall] access to property Y
# 62| 0: [PropertyCall] access to property Y
# 62| 1: [ParameterAccess] access to parameter y
# 67| 5: [Class] A
# 69| 5: [Field] y
# 70| 6: [Property] X
@@ -97,8 +97,8 @@ properties.cs:
# 74| 4: [BlockStmt] {...}
# 74| 0: [ExprStmt] ...;
# 74| 0: [AssignExpr] ... = ...
# 74| 0: [ParameterAccess] access to parameter value
# 74| 1: [FieldAccess] access to field y
# 74| 0: [FieldAccess] access to field y
# 74| 1: [ParameterAccess] access to parameter value
# 76| 8: [Property] Z
# 76| 3: [Getter] get_Z
# 76| 4: [Setter] set_Z
@@ -123,14 +123,14 @@ properties.cs:
# 83| 4: [BlockStmt] {...}
# 83| 0: [ExprStmt] ...;
# 83| 0: [AssignExpr] ... = ...
# 83| 0: [ConditionalExpr] ... ? ... : ...
# 83| 0: [PropertyCall] access to property Y
# 83| -1: [BaseAccess] base access
# 83| 1: [ConditionalExpr] ... ? ... : ...
# 83| 0: [LTExpr] ... < ...
# 83| 0: [ParameterAccess] access to parameter value
# 83| 1: [IntLiteral] 0
# 83| 1: [IntLiteral] 0
# 83| 2: [ParameterAccess] access to parameter value
# 83| 1: [PropertyCall] access to property Y
# 83| -1: [BaseAccess] base access
# 84| 8: [Property] Z
# 86| 3: [Getter] get_Z
# 86| 4: [BlockStmt] {...}
@@ -142,8 +142,8 @@ properties.cs:
# 87| 4: [BlockStmt] {...}
# 87| 0: [ExprStmt] ...;
# 87| 0: [AssignExpr] ... = ...
# 87| 0: [ParameterAccess] access to parameter value
# 87| 1: [FieldAccess] access to field z
# 87| 0: [FieldAccess] access to field z
# 87| 1: [ParameterAccess] access to parameter value
# 91| 7: [Class] Test
# 93| 5: [Property] Init
# 93| 3: [Setter] set_Init
@@ -154,12 +154,12 @@ properties.cs:
# 95| 4: [BlockStmt] {...}
# 96| 0: [LocalVariableDeclStmt] ... ...;
# 96| 0: [LocalVariableDeclAndInitExpr] List<Double> ds = ...
# 96| 0: [ObjectCreation] object creation of type List<Double>
# 96| 1: [LocalVariableAccess] access to local variable ds
# 96| 0: [LocalVariableAccess] access to local variable ds
# 96| 1: [ObjectCreation] object creation of type List<Double>
# 97| 1: [LocalVariableDeclStmt] ... ...;
# 97| 0: [LocalVariableDeclAndInitExpr] List<Object> os = ...
# 97| 0: [ObjectCreation] object creation of type List<Object>
# 97| 1: [LocalVariableAccess] access to local variable os
# 97| 0: [LocalVariableAccess] access to local variable os
# 97| 1: [ObjectCreation] object creation of type List<Object>
# 98| 2: [IfStmt] if (...) ...
# 98| 0: [EQExpr] ... == ...
# 98| 0: [PropertyCall] access to property Count

View File

@@ -4,38 +4,38 @@ fixed.cs:
# 6| 4: [BlockStmt] {...}
# 7| 0: [LocalVariableDeclStmt] ... ...;
# 7| 0: [LocalVariableDeclAndInitExpr] Byte[] buffer = ...
# 7| 0: [ArrayCreation] array creation of type Byte[]
# 7| 0: [LocalVariableAccess] access to local variable buffer
# 7| 1: [ArrayCreation] array creation of type Byte[]
# 7| 0: [IntLiteral] 10
# 7| 1: [LocalVariableAccess] access to local variable buffer
# 9| 1: [FixedStmt] fixed(...) { ... }
# 9| -1: [LocalVariableDeclAndInitExpr] Byte* pinned_buffer = ...
# 9| 0: [AddressOfExpr] &...
# 9| 0: [LocalVariableAccess] access to local variable pinned_buffer
# 9| 1: [AddressOfExpr] &...
# 9| 0: [ArrayAccess] access to array element
# 9| -1: [LocalVariableAccess] access to local variable buffer
# 9| 0: [IntLiteral] 0
# 9| 1: [LocalVariableAccess] access to local variable pinned_buffer
# 10| 0: [BlockStmt] {...}
# 11| 0: [LocalVariableDeclStmt] ... ...;
# 11| 0: [LocalVariableDeclAndInitExpr] Byte* t = ...
# 11| 0: [LocalVariableAccess] access to local variable pinned_buffer
# 11| 1: [LocalVariableAccess] access to local variable t
# 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| 0: [AddressOfExpr] &...
# 15| 0: [LocalVariableAccess] access to local variable pinned_buffer
# 15| 1: [AddressOfExpr] &...
# 15| 0: [ArrayAccess] access to array element
# 15| -1: [LocalVariableAccess] access to local variable buffer
# 15| 0: [IntLiteral] 0
# 15| 1: [LocalVariableAccess] access to local variable pinned_buffer
# 16| 0: [BlockStmt] {...}
# 19| 3: [FixedStmt] fixed(...) { ... }
# 19| -1: [LocalVariableDeclAndInitExpr] Byte* pinned_buffer = ...
# 19| 0: [AddressOfExpr] &...
# 19| 0: [LocalVariableAccess] access to local variable pinned_buffer
# 19| 1: [AddressOfExpr] &...
# 19| 0: [ArrayAccess] access to array element
# 19| -1: [LocalVariableAccess] access to local variable buffer
# 19| 0: [IntLiteral] 0
# 19| 1: [LocalVariableAccess] access to local variable pinned_buffer
# 19| 0: [EmptyStmt] ;
statements.cs:
# 5| [NamespaceDeclaration] namespace ... { ... }
@@ -51,8 +51,8 @@ statements.cs:
# 24| 4: [BlockStmt] {...}
# 25| 0: [LocalVariableDeclStmt] ... ...;
# 25| 0: [LocalVariableDeclAndInitExpr] Class c = ...
# 25| 0: [ObjectCreation] object creation of type Class
# 25| 1: [LocalVariableAccess] access to local variable c
# 25| 0: [LocalVariableAccess] access to local variable c
# 25| 1: [ObjectCreation] object creation of type Class
# 26| 1: [EmptyStmt] ;
# 26| 2: [EmptyStmt] ;
# 26| 3: [EmptyStmt] ;
@@ -65,15 +65,15 @@ statements.cs:
# 32| 0: [LocalVariableDeclExpr] Int32 a
# 33| 1: [LocalVariableDeclStmt] ... ...;
# 33| 0: [LocalVariableDeclAndInitExpr] Int32 b = ...
# 33| 0: [IntLiteral] 2
# 33| 1: [LocalVariableAccess] access to local variable b
# 33| 0: [LocalVariableAccess] access to local variable b
# 33| 1: [IntLiteral] 2
# 33| 1: [LocalVariableDeclAndInitExpr] Int32 c = ...
# 33| 0: [IntLiteral] 3
# 33| 1: [LocalVariableAccess] access to local variable c
# 33| 0: [LocalVariableAccess] access to local variable c
# 33| 1: [IntLiteral] 3
# 34| 2: [ExprStmt] ...;
# 34| 0: [AssignExpr] ... = ...
# 34| 0: [IntLiteral] 1
# 34| 1: [LocalVariableAccess] access to local variable a
# 34| 0: [LocalVariableAccess] access to local variable a
# 34| 1: [IntLiteral] 1
# 35| 3: [ExprStmt] ...;
# 35| 0: [MethodCall] call to method WriteLine
# 35| -1: [TypeAccess] access to type Console
@@ -84,24 +84,24 @@ statements.cs:
# 35| 1: [LocalVariableAccess] access to local variable c
# 36| 4: [LocalVariableDeclStmt] ... ...;
# 36| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 36| 0: [IntLiteral] 45
# 36| 1: [LocalVariableAccess] access to local variable x
# 36| 0: [LocalVariableAccess] access to local variable x
# 36| 1: [IntLiteral] 45
# 37| 5: [LocalVariableDeclStmt] ... ...;
# 37| 0: [LocalVariableDeclAndInitExpr] String y = ...
# 37| 0: [StringLiteral] "test"
# 37| 1: [LocalVariableAccess] access to local variable y
# 37| 0: [LocalVariableAccess] access to local variable y
# 37| 1: [StringLiteral] "test"
# 40| 8: [Method] MainLocalConstDecl
# 41| 4: [BlockStmt] {...}
# 42| 0: [LocalConstantDeclStmt] const ... ...;
# 42| 0: [LocalVariableDeclAndInitExpr] Single pi = ...
# 42| 0: [FloatLiteral] 3.1415927
# 42| 1: [LocalVariableAccess] access to local variable pi
# 42| 0: [LocalVariableAccess] access to local variable pi
# 42| 1: [FloatLiteral] 3.1415927
# 43| 1: [LocalConstantDeclStmt] const ... ...;
# 43| 0: [LocalVariableDeclAndInitExpr] Int32 r = ...
# 43| 0: [AddExpr] ... + ...
# 43| 0: [LocalVariableAccess] access to local variable r
# 43| 1: [AddExpr] ... + ...
# 43| 0: [IntLiteral] 5
# 43| 1: [IntLiteral] 20
# 43| 1: [LocalVariableAccess] access to local variable r
# 44| 2: [ExprStmt] ...;
# 44| 0: [MethodCall] call to method WriteLine
# 44| -1: [TypeAccess] access to type Console
@@ -118,8 +118,8 @@ statements.cs:
# 49| 0: [LocalVariableDeclExpr] Int32 i
# 50| 1: [ExprStmt] ...;
# 50| 0: [AssignExpr] ... = ...
# 50| 0: [IntLiteral] 123
# 50| 1: [LocalVariableAccess] access to local variable i
# 50| 0: [LocalVariableAccess] access to local variable i
# 50| 1: [IntLiteral] 123
# 51| 2: [ExprStmt] ...;
# 51| 0: [MethodCall] call to method WriteLine
# 51| -1: [TypeAccess] access to type Console
@@ -156,9 +156,9 @@ statements.cs:
# 70| 4: [BlockStmt] {...}
# 71| 0: [LocalVariableDeclStmt] ... ...;
# 71| 0: [LocalVariableDeclAndInitExpr] Int32 n = ...
# 71| 0: [PropertyCall] access to property Length
# 71| 0: [LocalVariableAccess] access to local variable n
# 71| 1: [PropertyCall] access to property Length
# 71| -1: [ParameterAccess] access to parameter args
# 71| 1: [LocalVariableAccess] access to local variable n
# 72| 1: [SwitchStmt] switch (...) {...}
# 72| 0: [LocalVariableAccess] access to local variable n
# 74| 0: [ConstCase] case ...:
@@ -231,8 +231,8 @@ statements.cs:
# 112| 4: [BlockStmt] {...}
# 113| 0: [LocalVariableDeclStmt] ... ...;
# 113| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 113| 0: [IntLiteral] 0
# 113| 1: [LocalVariableAccess] access to local variable i
# 113| 0: [LocalVariableAccess] access to local variable i
# 113| 1: [IntLiteral] 0
# 114| 1: [WhileStmt] while (...) ...
# 114| 0: [LTExpr] ... < ...
# 114| 0: [LocalVariableAccess] access to local variable i
@@ -259,9 +259,9 @@ statements.cs:
# 125| 1: [BlockStmt] {...}
# 126| 0: [ExprStmt] ...;
# 126| 0: [AssignExpr] ... = ...
# 126| 0: [MethodCall] call to method ReadLine
# 126| 0: [LocalVariableAccess] access to local variable s
# 126| 1: [MethodCall] call to method ReadLine
# 126| -1: [TypeAccess] access to type Console
# 126| 1: [LocalVariableAccess] access to local variable s
# 127| 1: [IfStmt] if (...) ...
# 127| 0: [NEExpr] ... != ...
# 127| 0: [LocalVariableAccess] access to local variable s
@@ -276,8 +276,8 @@ statements.cs:
# 132| 4: [BlockStmt] {...}
# 133| 0: [ForStmt] for (...;...;...) ...
# 133| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 133| 0: [IntLiteral] 0
# 133| 1: [LocalVariableAccess] access to local variable i
# 133| 0: [LocalVariableAccess] access to local variable i
# 133| 1: [IntLiteral] 0
# 133| 0: [LTExpr] ... < ...
# 133| 0: [LocalVariableAccess] access to local variable i
# 133| 1: [PropertyCall] access to property Length
@@ -310,9 +310,9 @@ statements.cs:
# 151| 1: [BlockStmt] {...}
# 152| 0: [LocalVariableDeclStmt] ... ...;
# 152| 0: [LocalVariableDeclAndInitExpr] String s = ...
# 152| 0: [MethodCall] call to method ReadLine
# 152| 0: [LocalVariableAccess] access to local variable s
# 152| 1: [MethodCall] call to method ReadLine
# 152| -1: [TypeAccess] access to type Console
# 152| 1: [LocalVariableAccess] access to local variable s
# 153| 1: [IfStmt] if (...) ...
# 153| 0: [EQExpr] ... == ...
# 153| 0: [LocalVariableAccess] access to local variable s
@@ -328,8 +328,8 @@ statements.cs:
# 159| 4: [BlockStmt] {...}
# 160| 0: [ForStmt] for (...;...;...) ...
# 160| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 160| 0: [IntLiteral] 0
# 160| 1: [LocalVariableAccess] access to local variable i
# 160| 0: [LocalVariableAccess] access to local variable i
# 160| 1: [IntLiteral] 0
# 160| 0: [LTExpr] ... < ...
# 160| 0: [LocalVariableAccess] access to local variable i
# 160| 1: [PropertyCall] access to property Length
@@ -356,8 +356,8 @@ statements.cs:
# 168| 4: [BlockStmt] {...}
# 169| 0: [LocalVariableDeclStmt] ... ...;
# 169| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 169| 0: [IntLiteral] 0
# 169| 1: [LocalVariableAccess] access to local variable i
# 169| 0: [LocalVariableAccess] access to local variable i
# 169| 1: [IntLiteral] 0
# 170| 1: [GotoLabelStmt] goto ...;
# 171| 2: [LabelStmt] loop:
# 171| 3: [ExprStmt] ...;
@@ -399,8 +399,8 @@ statements.cs:
# 186| 4: [BlockStmt] {...}
# 187| 0: [ForStmt] for (...;...;...) ...
# 187| -1: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 187| 0: [ParameterAccess] access to parameter from
# 187| 1: [LocalVariableAccess] access to local variable i
# 187| 0: [LocalVariableAccess] access to local variable i
# 187| 1: [ParameterAccess] access to parameter from
# 187| 0: [LTExpr] ... < ...
# 187| 0: [LocalVariableAccess] access to local variable i
# 187| 1: [ParameterAccess] access to parameter to
@@ -461,20 +461,20 @@ statements.cs:
# 212| 0: [StringLiteral] "Two numbers required"
# 214| 1: [LocalVariableDeclStmt] ... ...;
# 214| 0: [LocalVariableDeclAndInitExpr] Double x = ...
# 214| 0: [MethodCall] call to method Parse
# 214| 0: [LocalVariableAccess] access to local variable x
# 214| 1: [MethodCall] call to method Parse
# 214| -1: [TypeAccess] access to type Double
# 214| 0: [ArrayAccess] access to array element
# 214| -1: [ParameterAccess] access to parameter args
# 214| 0: [IntLiteral] 0
# 214| 1: [LocalVariableAccess] access to local variable x
# 215| 2: [LocalVariableDeclStmt] ... ...;
# 215| 0: [LocalVariableDeclAndInitExpr] Double y = ...
# 215| 0: [MethodCall] call to method Parse
# 215| 0: [LocalVariableAccess] access to local variable y
# 215| 1: [MethodCall] call to method Parse
# 215| -1: [TypeAccess] access to type Double
# 215| 0: [ArrayAccess] access to array element
# 215| -1: [ParameterAccess] access to parameter args
# 215| 0: [IntLiteral] 1
# 215| 1: [LocalVariableAccess] access to local variable y
# 216| 3: [ExprStmt] ...;
# 216| 0: [MethodCall] call to method WriteLine
# 216| -1: [TypeAccess] access to type Console
@@ -499,9 +499,9 @@ statements.cs:
# 233| 4: [BlockStmt] {...}
# 234| 0: [LocalVariableDeclStmt] ... ...;
# 234| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 234| 0: [MemberConstantAccess] access to constant MaxValue
# 234| 0: [LocalVariableAccess] access to local variable i
# 234| 1: [MemberConstantAccess] access to constant MaxValue
# 234| -1: [TypeAccess] access to type Int32
# 234| 1: [LocalVariableAccess] access to local variable i
# 235| 1: [CheckedStmt] checked {...}
# 236| 0: [BlockStmt] {...}
# 237| 0: [ExprStmt] ...;
@@ -537,16 +537,16 @@ statements.cs:
# 254| 0: [StringLiteral] "Insufficient funds"
# 256| 1: [ExprStmt] ...;
# 256| 0: [AssignSubExpr] ... -= ...
# 256| 0: [ParameterAccess] access to parameter amount
# 256| 1: [FieldAccess] access to field balance
# 256| 0: [FieldAccess] access to field balance
# 256| 1: [ParameterAccess] access to parameter amount
# 261| 28: [Method] MainUsing
# 262| 4: [BlockStmt] {...}
# 263| 0: [UsingBlockStmt] using (...) {...}
# 263| -1: [LocalVariableDeclAndInitExpr] TextWriter w = ...
# 263| 0: [MethodCall] call to method CreateText
# 263| 0: [LocalVariableAccess] access to local variable w
# 263| 1: [MethodCall] call to method CreateText
# 263| -1: [TypeAccess] access to type File
# 263| 0: [StringLiteral] "test.txt"
# 263| 1: [LocalVariableAccess] access to local variable w
# 264| 1: [BlockStmt] {...}
# 265| 0: [ExprStmt] ...;
# 265| 0: [MethodCall] call to method WriteLine
@@ -571,9 +571,9 @@ statements.cs:
# 277| 1: [LabelStmt] Label:
# 278| 2: [LocalVariableDeclStmt] ... ...;
# 278| 0: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 278| 0: [IntLiteral] 23
# 278| 1: [LocalVariableAccess] access to local variable x
# 278| 0: [LocalVariableAccess] access to local variable x
# 278| 1: [IntLiteral] 23
# 279| 3: [ExprStmt] ...;
# 279| 0: [AssignExpr] ... = ...
# 279| 0: [IntLiteral] 9
# 279| 1: [LocalVariableAccess] access to local variable x
# 279| 0: [LocalVariableAccess] access to local variable x
# 279| 1: [IntLiteral] 9

View File

@@ -7,77 +7,77 @@ unsafe.cs:
# 6| 4: [BlockStmt] {...}
# 7| 0: [LocalVariableDeclStmt] ... ...;
# 7| 0: [LocalVariableDeclAndInitExpr] Int32 i = ...
# 7| 0: [IntLiteral] 42
# 7| 1: [LocalVariableAccess] access to local variable i
# 7| 0: [LocalVariableAccess] access to local variable i
# 7| 1: [IntLiteral] 42
# 8| 1: [LocalVariableDeclStmt] ... ...;
# 8| 0: [LocalVariableDeclAndInitExpr] Int32[] ia = ...
# 8| 0: [ArrayCreation] array creation of type Int32[]
# 8| 0: [LocalVariableAccess] access to local variable ia
# 8| 1: [ArrayCreation] array creation of type Int32[]
# 8| 0: [IntLiteral] 2
# 8| 1: [LocalVariableAccess] access to local variable ia
# 9| 2: [ExprStmt] ...;
# 9| 0: [AssignExpr] ... = ...
# 9| 0: [IntLiteral] 0
# 9| 1: [ArrayAccess] access to array element
# 9| 0: [ArrayAccess] access to array element
# 9| -1: [LocalVariableAccess] access to local variable ia
# 9| 0: [IntLiteral] 0
# 9| 1: [IntLiteral] 0
# 10| 3: [ExprStmt] ...;
# 10| 0: [AssignExpr] ... = ...
# 10| 0: [IntLiteral] 1
# 10| 1: [ArrayAccess] access to array element
# 10| 0: [ArrayAccess] access to array element
# 10| -1: [LocalVariableAccess] access to local variable ia
# 10| 0: [IntLiteral] 1
# 10| 1: [IntLiteral] 1
# 11| 4: [LocalVariableDeclStmt] ... ...;
# 11| 0: [LocalVariableDeclAndInitExpr] Int32* ip = ...
# 11| 0: [AddressOfExpr] &...
# 11| 0: [LocalVariableAccess] access to local variable ip
# 11| 1: [AddressOfExpr] &...
# 11| 0: [LocalVariableAccess] access to local variable i
# 11| 1: [LocalVariableAccess] access to local variable ip
# 12| 5: [ExprStmt] ...;
# 12| 0: [AssignExpr] ... = ...
# 12| 0: [AddExpr] ... + ...
# 12| 0: [LocalVariableAccess] access to local variable ip
# 12| 1: [AddExpr] ... + ...
# 12| 0: [LocalVariableAccess] access to local variable ip
# 12| 1: [IntLiteral] 1
# 12| 1: [LocalVariableAccess] access to local variable ip
# 13| 6: [ExprStmt] ...;
# 13| 0: [AssignExpr] ... = ...
# 13| 0: [AddExpr] ... + ...
# 13| 0: [LocalVariableAccess] access to local variable ip
# 13| 1: [AddExpr] ... + ...
# 13| 0: [PointerIndirectionExpr] *...
# 13| 0: [LocalVariableAccess] access to local variable ip
# 13| 1: [LocalVariableAccess] access to local variable ip
# 13| 1: [LocalVariableAccess] access to local variable ip
# 14| 7: [ExprStmt] ...;
# 14| 0: [AssignExpr] ... = ...
# 14| 0: [AddExpr] ... + ...
# 14| 0: [LocalVariableAccess] access to local variable ip
# 14| 1: [AddExpr] ... + ...
# 14| 0: [PointerIndirectionExpr] *...
# 14| 0: [LocalVariableAccess] access to local variable ip
# 14| 1: [AddressOfExpr] &...
# 14| 0: [LocalVariableAccess] access to local variable i
# 14| 1: [LocalVariableAccess] access to local variable ip
# 15| 8: [LocalVariableDeclStmt] ... ...;
# 15| 0: [LocalVariableDeclAndInitExpr] Int32* ip42 = ...
# 15| 0: [AddressOfExpr] &...
# 15| 0: [LocalVariableAccess] access to local variable ip42
# 15| 1: [AddressOfExpr] &...
# 15| 0: [LocalVariableAccess] access to local variable i
# 15| 1: [LocalVariableAccess] access to local variable ip42
# 16| 9: [ExprStmt] ...;
# 16| 0: [PostIncrExpr] ...++
# 16| 0: [LocalVariableAccess] access to local variable ip
# 17| 10: [ExprStmt] ...;
# 17| 0: [AssignExpr] ... = ...
# 17| 0: [SubExpr] ... - ...
# 17| 0: [LocalVariableAccess] access to local variable ip
# 17| 1: [SubExpr] ... - ...
# 17| 0: [LocalVariableAccess] access to local variable ip
# 17| 1: [IntLiteral] 1
# 17| 1: [LocalVariableAccess] access to local variable ip
# 18| 11: [ExprStmt] ...;
# 18| 0: [AssignExpr] ... = ...
# 18| 0: [SizeofExpr] sizeof(..)
# 18| 0: [TypeAccess] access to type Char*
# 18| 1: [PointerIndirectionExpr] *...
# 18| 0: [PointerIndirectionExpr] *...
# 18| 0: [LocalVariableAccess] access to local variable ip42
# 18| 1: [SizeofExpr] sizeof(..)
# 18| 0: [TypeAccess] access to type Char*
# 19| 12: [LocalVariableDeclStmt] ... ...;
# 19| 0: [LocalVariableDeclAndInitExpr] Int64 distance = ...
# 19| 0: [SubExpr] ... - ...
# 19| 0: [LocalVariableAccess] access to local variable distance
# 19| 1: [SubExpr] ... - ...
# 19| 0: [LocalVariableAccess] access to local variable ip
# 19| 1: [LocalVariableAccess] access to local variable ip42
# 19| 1: [LocalVariableAccess] access to local variable distance
# 22| 6: [Method] f
#-----| 2: (Parameters)
# 22| 0: [Parameter] p
@@ -104,13 +104,13 @@ unsafe.cs:
# 35| 0: [BlockStmt] {...}
# 36| 0: [LocalVariableDeclStmt] ... ...;
# 36| 0: [LocalVariableDeclAndInitExpr] Int32[] data = ...
# 36| 0: [ArrayCreation] array creation of type Int32[]
# 36| 0: [LocalVariableAccess] access to local variable data
# 36| 1: [ArrayCreation] array creation of type Int32[]
# 36| 0: [IntLiteral] 10
# 36| 1: [LocalVariableAccess] access to local variable data
# 37| 1: [FixedStmt] fixed(...) { ... }
# 37| -1: [LocalVariableDeclAndInitExpr] Int32* p = ...
# 37| 0: [CastExpr] (...) ...
# 37| 0: [LocalVariableAccess] access to local variable p
# 37| 1: [CastExpr] (...) ...
# 37| 0: [LocalVariableAccess] access to local variable data
# 37| 1: [LocalVariableAccess] access to local variable p
# 38| 0: [BlockStmt] {...}
# 44| 2: [Class] SafeClass