Member predicate AssertionMethod :: getACheck

Gets a call to the assertion method with checkedArg as argument.


                            
                                
                                    MethodAccess
                                
                                 
                            
                            
                                getACheck
                            
                            
                                (
                                
                                    
                                        Expr
                                    
                                     
                                    checkedArg
                                
                                )