Member predicate SystemDiagnosticsContractAssertTrueMethod :: getAssertionFailure

Gets the failure type if the assertion fails for argument i, if any.


                            
                                
                                    AssertionFailure
                                
                                 
                            
                            
                                getAssertionFailure
                            
                            
                                (
                                
                                    
                                        int
                                    
                                     
                                    i
                                
                                )