simpleStatement

Coverity Documentation

Version
latest

Matches individual execution statements.

The term simple derives from the fact that the these statements do not involve control flow. Simple statements include assignments, function calls, and ordinary expressions. They do not include variableDeclaration code.

This pattern only matches nodes of type statement.

Properties

simpleStatement produces a record that contains the following property:

Name Type Description
expression expression The expression, such as a function call or an assignment

Inherits properties from:

Example

The following CodeXM pattern matches a simple statement that is a function call:


CXM code follows
    pattern simpleStatementFunctionCall {
        simpleStatement {
            .expression == functionCall
        }
    };