cs_xform_expr_mode_decls.hpp File Reference

Go to the source code of this file.

Variables
static const xform_expr_mode	POST
	The expression should be evaluated using values of variables at the end of the transformation. More...
static const xform_expr_mode	POST_DEREFS_PRE
	The expression is evaluated as follows. More...
static const xform_expr_mode	POST_DEREFS_PRE_STRICT
	The expression is evaluated as specified for xform_expr_mode::POST_DEREFS_PRE. More...
static const xform_expr_mode	POST_STRICT
	The expression should be evaluated using values of variables at the end of the transformation. More...
static const xform_expr_mode	PRE
	The expression should be evaluated using values of variables at the beginning of the transformation. More...

Variable Documentation

POST

const xform_expr_mode POST

static

The expression should be evaluated using values of variables at the end of the transformation.

If the value of the expression is not modified in the transformation, the evaluated expression will be the same as it would have been with xform_expr_mode::PRE.

POST_DEREFS_PRE

const xform_expr_mode POST_DEREFS_PRE

static

The expression is evaluated as follows.

Let A be the memory location whose attribute x is used in the expression.

• Address A is computed using the values of variables at the beginning of the transformation.
• The expression is evaluated by taking the value of attribute x at address A at the end of the transformation.

If the value of the expression is not modified in the transformation, the evaluated expression will be the same as it would have been with xform_expr_mode::PRE.

POST_DEREFS_PRE_STRICT

const xform_expr_mode POST_DEREFS_PRE_STRICT

static

The expression is evaluated as specified for xform_expr_mode::POST_DEREFS_PRE.

If the value of the expression is not modified in the transformation, the query fails (as distinct from xform_expr_mode::POST_DEREFS_PRE, where the query proceeds).

POST_STRICT

const xform_expr_mode POST_STRICT

static

The expression should be evaluated using values of variables at the end of the transformation.

If the value of the expression is not modified in the transformation, the query fails (as distinct from xform_expr_mode::POST, where the query proceeds).

PRE

const xform_expr_mode PRE

static

The expression should be evaluated using values of variables at the beginning of the transformation.

This can be useful for reasoning about constraints imposed on the original values later in the path (implied by 'if' statements for example).

(C API only: This is the recommended setting for constant-valued xform_expr (ax+b)/c with a==0.)