@@ -1322,7 +1322,7 @@ module API {
1322
1322
MkLabelEntryPoint ( API:: EntryPoint e )
1323
1323
1324
1324
/** A label for an entry-point. */
1325
- class LabelEntryPoint extends ApiLabel {
1325
+ class LabelEntryPoint extends ApiLabel , MkLabelEntryPoint {
1326
1326
API:: EntryPoint e ;
1327
1327
1328
1328
LabelEntryPoint ( ) { this = MkLabelEntryPoint ( e ) }
@@ -1334,28 +1334,22 @@ module API {
1334
1334
}
1335
1335
1336
1336
/** A label that gets a promised value. */
1337
- class LabelPromised extends ApiLabel {
1338
- LabelPromised ( ) { this = MkLabelPromised ( ) }
1339
-
1337
+ class LabelPromised extends ApiLabel , MkLabelPromised {
1340
1338
override string toString ( ) { result = "promised" }
1341
1339
}
1342
1340
1343
1341
/** A label that gets a rejected promise. */
1344
- class LabelPromisedError extends ApiLabel {
1345
- LabelPromisedError ( ) { this = MkLabelPromisedError ( ) }
1346
-
1342
+ class LabelPromisedError extends ApiLabel , MkLabelPromisedError {
1347
1343
override string toString ( ) { result = "promisedError" }
1348
1344
}
1349
1345
1350
1346
/** A label that gets the return value of a function. */
1351
- class LabelReturn extends ApiLabel {
1352
- LabelReturn ( ) { this = MkLabelReturn ( ) }
1353
-
1347
+ class LabelReturn extends ApiLabel , MkLabelReturn {
1354
1348
override string toString ( ) { result = "return" }
1355
1349
}
1356
1350
1357
1351
/** A label for a module. */
1358
- class LabelModule extends ApiLabel {
1352
+ class LabelModule extends ApiLabel , MkLabelModule {
1359
1353
string mod ;
1360
1354
1361
1355
LabelModule ( ) { this = MkLabelModule ( mod ) }
@@ -1367,14 +1361,12 @@ module API {
1367
1361
}
1368
1362
1369
1363
/** A label that gets an instance from a `new` call. */
1370
- class LabelInstance extends ApiLabel {
1371
- LabelInstance ( ) { this = MkLabelInstance ( ) }
1372
-
1364
+ class LabelInstance extends ApiLabel , MkLabelInstance {
1373
1365
override string toString ( ) { result = "instance" }
1374
1366
}
1375
1367
1376
1368
/** A label for the member named `prop`. */
1377
- class LabelMember extends ApiLabel {
1369
+ class LabelMember extends ApiLabel , MkLabelMember {
1378
1370
string prop ;
1379
1371
1380
1372
LabelMember ( ) { this = MkLabelMember ( prop ) }
@@ -1386,14 +1378,14 @@ module API {
1386
1378
}
1387
1379
1388
1380
/** A label for a member with an unknown name. */
1389
- class LabelUnknownMember extends ApiLabel {
1381
+ class LabelUnknownMember extends ApiLabel , MkLabelUnknownMember {
1390
1382
LabelUnknownMember ( ) { this = MkLabelUnknownMember ( ) }
1391
1383
1392
1384
override string toString ( ) { result = "member *" }
1393
1385
}
1394
1386
1395
1387
/** A label for parameter `i`. */
1396
- class LabelParameter extends ApiLabel {
1388
+ class LabelParameter extends ApiLabel , MkLabelParameter {
1397
1389
int i ;
1398
1390
1399
1391
LabelParameter ( ) { this = MkLabelParameter ( i ) }
0 commit comments