@@ -180,20 +180,11 @@ module API {
180
180
bindingset [ result ]
181
181
Node getMember ( string m ) { result = this .getASuccessor ( Label:: member ( m ) ) }
182
182
183
- /**
184
- * Gets a node representing a member of this API component where the name of the member is
185
- * not known statically.
186
- */
187
- Node getUnknownMember ( ) { result = this .getASuccessor ( Label:: unknownMember ( ) ) }
188
-
189
183
/**
190
184
* Gets a node representing a member of this API component where the name of the member may
191
185
* or may not be known statically.
192
186
*/
193
- Node getAMember ( ) {
194
- result = this .getASuccessor ( Label:: member ( _) ) or
195
- result = this .getUnknownMember ( )
196
- }
187
+ Node getAMember ( ) { result = this .getASuccessor ( Label:: member ( _) ) }
197
188
198
189
/**
199
190
* Gets a node representing an instance of this API component, that is, an object whose
@@ -718,10 +709,6 @@ module API {
718
709
or
719
710
succ = MkMethodAccessNode ( entry .getACall ( ) )
720
711
)
721
- or
722
- // to get rid of an incompatible types error in `getUnknownMember`
723
- lbl = Label:: unknownMember ( ) and
724
- none ( )
725
712
}
726
713
727
714
/**
@@ -737,7 +724,6 @@ module API {
737
724
cached
738
725
newtype TLabel =
739
726
MkLabelMember ( string member ) { member = any ( ConstantReadAccess a ) .getName ( ) } or
740
- MkLabelUnknownMember ( ) or
741
727
MkLabelMethod ( string m ) { m = any ( DataFlow:: CallNode c ) .getMethodName ( ) } or
742
728
MkLabelReturn ( ) or
743
729
MkLabelSubclass ( ) or
@@ -780,11 +766,6 @@ module API {
780
766
override string toString ( ) { result = "getMember(\"" + member + "\")" }
781
767
}
782
768
783
- /** A label for a member with an unknown name. */
784
- class LabelUnknownMember extends ApiLabel , MkLabelUnknownMember {
785
- override string toString ( ) { result = "getUnknownMember()" }
786
- }
787
-
788
769
/** A label for a method. */
789
770
class LabelMethod extends ApiLabel , MkLabelMethod {
790
771
private string method ;
@@ -852,9 +833,6 @@ module API {
852
833
/** Gets the `member` edge label for member `m`. */
853
834
LabelMember member ( string m ) { result .getMember ( ) = m }
854
835
855
- /** Gets the `member` edge label for the unknown member. */
856
- LabelUnknownMember unknownMember ( ) { any ( ) }
857
-
858
836
/** Gets the `method` edge label. */
859
837
LabelMethod method ( string m ) { result .getMethod ( ) = m }
860
838
0 commit comments