@@ -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
@@ -733,7 +724,6 @@ module API {
733
724
cached
734
725
newtype TLabel =
735
726
MkLabelMember ( string member ) { member = any ( ConstantReadAccess a ) .getName ( ) } or
736
- MkLabelUnknownMember ( ) or
737
727
MkLabelMethod ( string m ) { m = any ( DataFlow:: CallNode c ) .getMethodName ( ) } or
738
728
MkLabelReturn ( ) or
739
729
MkLabelSubclass ( ) or
@@ -776,11 +766,6 @@ module API {
776
766
override string toString ( ) { result = "getMember(\"" + member + "\")" }
777
767
}
778
768
779
- /** A label for a member with an unknown name. */
780
- class LabelUnknownMember extends ApiLabel , MkLabelUnknownMember {
781
- override string toString ( ) { result = "getUnknownMember()" }
782
- }
783
-
784
769
/** A label for a method. */
785
770
class LabelMethod extends ApiLabel , MkLabelMethod {
786
771
private string method ;
@@ -848,9 +833,6 @@ module API {
848
833
/** Gets the `member` edge label for member `m`. */
849
834
LabelMember member ( string m ) { result .getMember ( ) = m }
850
835
851
- /** Gets the `member` edge label for the unknown member. */
852
- LabelUnknownMember unknownMember ( ) { any ( ) }
853
-
854
836
/** Gets the `method` edge label. */
855
837
LabelMethod method ( string m ) { result .getMethod ( ) = m }
856
838
0 commit comments