Skip to content

Commit e7a1363

Browse files
danogdanog
committed
Finalize
1 parent 5582124 commit e7a1363

9 files changed

Lines changed: 311 additions & 100 deletions

File tree

‎schemas‎

Submodule schemas updated 40 files

‎src/TL_file_ref_map_schema.json‎

Lines changed: 110 additions & 44 deletions
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@
2525
"type": "Vector t"
2626
},
2727
{
28-
"id": "679692403",
28+
"id": "1923715664",
2929
"predicate": "fileReferenceMap",
3030
"params": [
3131
{
@@ -41,26 +41,26 @@
4141
"type": "string"
4242
},
4343
{
44-
"name": "locations",
45-
"type": "Vector<Location>"
44+
"name": "traversers_incoming",
45+
"type": "Vector<TraverserIncoming>"
4646
},
4747
{
48-
"name": "sources",
49-
"type": "Vector<Source>"
48+
"name": "traversers_outgoing",
49+
"type": "Vector<TraverserOutgoing>"
5050
},
5151
{
52-
"name": "skipped",
53-
"type": "Vector<SkippedSource>"
52+
"name": "refresh_actions",
53+
"type": "Vector<RefreshAction>"
5454
},
5555
{
56-
"name": "actions",
57-
"type": "Vector<Action>"
56+
"name": "skipped_incoming_sources",
57+
"type": "Vector<SkippedSource>"
5858
}
5959
],
6060
"type": "FileReferenceMap"
6161
},
6262
{
63-
"id": "-1861181580",
63+
"id": "1645615975",
6464
"predicate": "traverseParam",
6565
"params": [
6666
{
@@ -78,77 +78,82 @@
7878
{
7979
"name": "is_vector",
8080
"type": "flags.1?true"
81+
},
82+
{
83+
"name": "type",
84+
"type": "string"
8185
}
8286
],
8387
"type": "TraverseParam"
8488
},
8589
{
86-
"id": "-612602635",
87-
"predicate": "traverseConstructor",
90+
"id": "1850540214",
91+
"predicate": "traverseIncomingConstructor",
8892
"params": [
8993
{
90-
"name": "predicate",
94+
"name": "type",
9195
"type": "string"
9296
},
93-
{
94-
"name": "params",
95-
"type": "Vector<TraverseParam>"
96-
}
97-
],
98-
"type": "TraversePart"
99-
},
100-
{
101-
"id": "-1816492855",
102-
"predicate": "traverseMethod",
103-
"params": [
10497
{
10598
"name": "predicate",
10699
"type": "string"
107100
},
108101
{
109102
"name": "params",
110103
"type": "Vector<TraverseParam>"
104+
},
105+
{
106+
"name": "push_sources",
107+
"type": "Vector<Source>"
108+
},
109+
{
110+
"name": "is_needed_parent",
111+
"type": "Bool"
111112
}
112113
],
113-
"type": "TraversePart"
114+
"type": "TraverserIncoming"
114115
},
115116
{
116-
"id": "-1637001781",
117-
"predicate": "locationIncoming",
117+
"id": "-1798547003",
118+
"predicate": "traverseCommitSourceLocation",
118119
"params": [
119120
{
120-
"name": "predicate",
121+
"name": "type",
121122
"type": "string"
122123
},
123124
{
124-
"name": "stored_constructor",
125+
"name": "predicate",
125126
"type": "string"
126127
},
127128
{
128-
"name": "traverse",
129-
"type": "Vector<TraversePart>"
129+
"name": "push_sources",
130+
"type": "Vector<Source>"
131+
},
132+
{
133+
"name": "stored_constructor",
134+
"type": "string"
130135
}
131136
],
132-
"type": "Location"
137+
"type": "TraverserIncoming"
133138
},
134139
{
135-
"id": "1406298894",
136-
"predicate": "locationOutgoing",
140+
"id": "-39194058",
141+
"predicate": "traverseMethodResult",
137142
"params": [
138143
{
139-
"name": "predicate",
144+
"name": "name",
140145
"type": "string"
141146
},
142147
{
143-
"name": "stored_constructor",
144-
"type": "string"
148+
"name": "push_sources",
149+
"type": "Vector<Source>"
145150
},
146151
{
147-
"name": "traverse",
148-
"type": "Vector<TraversePart>"
152+
"name": "is_needed_parent",
153+
"type": "Bool"
149154
}
150155
],
151-
"type": "Location"
156+
"type": "TraverserIncoming"
152157
},
153158
{
154159
"id": "-584595818",
@@ -189,6 +194,59 @@
189194
],
190195
"type": "Source"
191196
},
197+
{
198+
"id": "1069875821",
199+
"predicate": "traverseOutgoingConstructor",
200+
"params": [
201+
{
202+
"name": "type",
203+
"type": "string"
204+
},
205+
{
206+
"name": "predicate",
207+
"type": "string"
208+
},
209+
{
210+
"name": "params",
211+
"type": "Vector<TraverseParam>"
212+
}
213+
],
214+
"type": "TraverserOutgoing"
215+
},
216+
{
217+
"id": "-1840974405",
218+
"predicate": "traverseMethodCall",
219+
"params": [
220+
{
221+
"name": "name",
222+
"type": "string"
223+
},
224+
{
225+
"name": "params",
226+
"type": "Vector<TraverseParam>"
227+
}
228+
],
229+
"type": "TraverserOutgoing"
230+
},
231+
{
232+
"id": "53213533",
233+
"predicate": "traverseSwapLocation",
234+
"params": [
235+
{
236+
"name": "type",
237+
"type": "string"
238+
},
239+
{
240+
"name": "predicate",
241+
"type": "string"
242+
},
243+
{
244+
"name": "stored_constructor",
245+
"type": "string"
246+
}
247+
],
248+
"type": "TraverserOutgoing"
249+
},
192250
{
193251
"id": "492031253",
194252
"predicate": "skippedSource",
@@ -213,8 +271,8 @@
213271
"type": "SkippedSource"
214272
},
215273
{
216-
"id": "-1791364080",
217-
"predicate": "action",
274+
"id": "-723429751",
275+
"predicate": "refreshAction",
218276
"params": [
219277
{
220278
"name": "stored_constructor",
@@ -225,7 +283,7 @@
225283
"type": "ActionOp"
226284
}
227285
],
228-
"type": "Action"
286+
"type": "RefreshAction"
229287
},
230288
{
231289
"id": "-1395010097",
@@ -257,9 +315,13 @@
257315
"type": "ParamFlag"
258316
},
259317
{
260-
"id": "-1916338362",
318+
"id": "429985727",
261319
"predicate": "pathPart",
262320
"params": [
321+
{
322+
"name": "type",
323+
"type": "string"
324+
},
263325
{
264326
"name": "constructor",
265327
"type": "string"
@@ -268,6 +330,10 @@
268330
"name": "param",
269331
"type": "string"
270332
},
333+
{
334+
"name": "param_type",
335+
"type": "string"
336+
},
271337
{
272338
"name": "flag",
273339
"type": "ParamFlag"

‎src/TL_file_ref_map_schema.tl‎

Lines changed: 10 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -5,37 +5,35 @@ true#3fedd339 = True;
55
vector#1cb5c415 {t:Type} # [ t ] = Vector t;
66

77
// Root
8-
fileReferenceMap#a71aa6f0 layer:int db_schema:string db_schema_json:string locations:Vector<Location> traversers_incoming:Vector<TraverserIncoming> traversers_outgoing:Vector<TraverserOutgoing> actions:Vector<Action> skipped_sources:Vector<SkippedSource> = FileReferenceMap;
9-
10-
// Locations
11-
locationIncoming#e8a166a4 type:string constructor:string stored_constructor:string = Location;
12-
locationOutgoing#ccb239d6 type:string constructor:string stored_constructor:string = Location;
8+
fileReferenceMap#72a99250 layer:int db_schema:string db_schema_json:string traversers_incoming:Vector<TraverserIncoming> traversers_outgoing:Vector<TraverserOutgoing> refresh_actions:Vector<RefreshAction> skipped_incoming_sources:Vector<SkippedSource> = FileReferenceMap;
139

1410
// Traversers (incoming)
15-
traverseParam#133c1e85 flags:# type:string name:string is_flag:flags.0?true is_vector:flags.1?true = TraverseParam;
11+
traverseParam#62161b67 flags:# name:string is_flag:flags.0?true is_vector:flags.1?true type:string = TraverseParam;
1612

17-
traverseIncomingConstructor#ffd2e3b7 type:string constructor:string params:Vector<TraverseParam> push_sources:Vector<Source> is_needed_parent:Bool = TraverserIncoming;
13+
traverseIncomingConstructor#6e4d00b6 type:string predicate:string params:Vector<TraverseParam> push_sources:Vector<Source> is_needed_parent:Bool = TraverserIncoming;
14+
traverseCommitSourceLocation#94cc59c5 type:string predicate:string push_sources:Vector<Source> stored_constructor:string = TraverserIncoming;
1815
traverseMethodResult#fda9f236 name:string push_sources:Vector<Source> is_needed_parent:Bool = TraverserIncoming;
1916

20-
source#0c779a18 flags:# constructor:string is_constructor:flags.0?true stored_constructor:string stored_params:Vector<FieldExtractor> skipped_flags:Vector<string> needs_parent:flags.3?string parent_is_constructor:flags.4?true = Source;
17+
source#dd27c696 flags:# predicate:string is_constructor:flags.0?true stored_constructor:string stored_params:Vector<FieldExtractor> skipped_flags:Vector<string> needs_parent:flags.3?string parent_is_constructor:flags.4?true = Source;
2118

2219
// Traversers (outgoing)
23-
traverseOutgoingConstructor#d8743ec6 type:string constructor:string params:Vector<TraverseParam> = TraverserOutgoing;
20+
traverseOutgoingConstructor#3fc5026d type:string predicate:string params:Vector<TraverseParam> = TraverserOutgoing;
2421
traverseMethodCall#9244f5bb name:string params:Vector<TraverseParam> = TraverserOutgoing;
22+
traverseSwapLocation#032bf95d type:string predicate:string stored_constructor:string = TraverserOutgoing;
2523

2624
// Skipped sources
27-
skippedSource#47a7a386 flags:# constructor:string is_constructor:flags.0?true why:string = SkippedSource;
25+
skippedSource#1d53cd15 flags:# predicate:string is_constructor:flags.0?true why:string = SkippedSource;
2826

2927
// Refresh actions
30-
action#9539f410 stored_constructor:string action:ActionOp = Action;
28+
refreshAction#d4e15689 stored_constructor:string action:ActionOp = RefreshAction;
3129

3230
// Field extraction path
3331
paramNotFlag#acd9d5cf = ParamFlag;
3432
paramIsFlagAbortIfEmpty#f8fe9fee = ParamFlag;
3533
paramIsFlagFallback#202b77a1 fallback:TypedOp = ParamFlag;
3634
paramIsFlagPassthrough#1dc6e17d = ParamFlag;
3735

38-
pathPart#5a9e1dc4 type:string constructor:string param:string flag:ParamFlag = PathPart;
36+
pathPart#19a10fbf type:string constructor:string param:string param_type:string flag:ParamFlag = PathPart;
3937

4038
path#0c3586a2 parts:Vector<PathPart> = Path;
4139
pathParent#58f13684 parts:Vector<PathPart> = Path;

‎src/file_ref_map.dat‎

22.8 KB
Binary file not shown.

‎src/file_ref_map.json‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)