Member predicate DereferenceableExpr :: getANullCheck

Gets an expression that tests whether this expression is null.

If the returned expression has abstract value v, then this expression is guaranteed to be null if isNull is true, and non-null if isNull is false.

For example, if the expression x != null evaluates to true then the expression x is guaranteed to be non-null.


                            
                                
                                    Expr
                                
                                 
                            
                            
                                getANullCheck
                            
                            
                                (
                                
                                    
                                        AbstractValue
                                    
                                     
                                    v
                                
                                , 
                                
                                    
                                        boolean
                                    
                                     
                                    isNull
                                
                                )