Member predicate DataFlow :: ClassNode :: getAnInstanceMemberAccess

Gets a property read that accesses the property name on an instance of this class.

Concretely, this holds when the base is an instance of this class or a subclass thereof.


                            
                                
                                    PropRead
                                
                                 
                            
                            
                                getAnInstanceMemberAccess
                            
                            
                                (
                                
                                    
                                        string
                                    
                                     
                                    name
                                
                                , 
                                
                                    
                                        TypeTracker
                                    
                                     
                                    t
                                
                                )