nullableGetValue

Coverity Documentation

Version
latest

Matches expressions that reference nullable values.

This pattern only matches nodes of type expression.

Properties

nullableGetValue produces a record that contains the following property:

Name Type Description
from expression The expression that resulted in a nullable

Inherits properties from:

Example

The following CodeXM pattern matches when references of nullables result from a division:


CXM code follows
    pattern nullableFromDivision {
        nullableGetValue {
            .from == binaryOperator {
                .operator == `/`
            }
        }
    };