@@ -659,7 +659,7 @@ module API {
659
659
private import Impl
660
660
661
661
/** A label for a member, for example a constant. */
662
- class LabelMember extends ApiLabel {
662
+ class LabelMember extends ApiLabel , MkLabelMember {
663
663
private string member ;
664
664
665
665
LabelMember ( ) { this = MkLabelMember ( member ) }
@@ -671,14 +671,12 @@ module API {
671
671
}
672
672
673
673
/** A label for a member with an unknown name. */
674
- class LabelUnknownMember extends ApiLabel {
675
- LabelUnknownMember ( ) { this = MkLabelUnknownMember ( ) }
676
-
674
+ class LabelUnknownMember extends ApiLabel , MkLabelUnknownMember {
677
675
override string toString ( ) { result = "getUnknownMember()" }
678
676
}
679
677
680
678
/** A label for a method. */
681
- class LabelMethod extends ApiLabel {
679
+ class LabelMethod extends ApiLabel , MkLabelMethod {
682
680
private string method ;
683
681
684
682
LabelMethod ( ) { this = MkLabelMethod ( method ) }
@@ -690,21 +688,17 @@ module API {
690
688
}
691
689
692
690
/** A label for the return value of a method. */
693
- class LabelReturn extends ApiLabel {
694
- LabelReturn ( ) { this = MkLabelReturn ( ) }
695
-
691
+ class LabelReturn extends ApiLabel , MkLabelReturn {
696
692
override string toString ( ) { result = "getReturn()" }
697
693
}
698
694
699
695
/** A label for the subclass relationship. */
700
- class LabelSubclass extends ApiLabel {
701
- LabelSubclass ( ) { this = MkLabelSubclass ( ) }
702
-
696
+ class LabelSubclass extends ApiLabel , MkLabelSubclass {
703
697
override string toString ( ) { result = "getASubclass()" }
704
698
}
705
699
706
700
/** A label for a keyword parameter. */
707
- class LabelKeywordParameter extends ApiLabel {
701
+ class LabelKeywordParameter extends ApiLabel , MkLabelKeywordParameter {
708
702
private string name ;
709
703
710
704
LabelKeywordParameter ( ) { this = MkLabelKeywordParameter ( name ) }
@@ -716,7 +710,7 @@ module API {
716
710
}
717
711
718
712
/** A label for a parameter. */
719
- class LabelParameter extends ApiLabel {
713
+ class LabelParameter extends ApiLabel , MkLabelParameter {
720
714
private int n ;
721
715
722
716
LabelParameter ( ) { this = MkLabelParameter ( n ) }
@@ -728,14 +722,12 @@ module API {
728
722
}
729
723
730
724
/** A label for a block parameter. */
731
- class LabelBlockParameter extends ApiLabel {
732
- LabelBlockParameter ( ) { this = MkLabelBlockParameter ( ) }
733
-
725
+ class LabelBlockParameter extends ApiLabel , MkLabelBlockParameter {
734
726
override string toString ( ) { result = "getBlock()" }
735
727
}
736
728
737
729
/** A label from the root node to a custom entry point. */
738
- class LabelEntryPoint extends ApiLabel {
730
+ class LabelEntryPoint extends ApiLabel , MkLabelEntryPoint {
739
731
private API:: EntryPoint name ;
740
732
741
733
LabelEntryPoint ( ) { this = MkLabelEntryPoint ( name ) }
0 commit comments