Variables

To make KAST rules more understandable and effective, you can use variables. Before a variable is used, it should be assigned a value:

[ $<varname> := <expression> ]

Here 'expression' can be any expression described in Conditions: 'or' or 'not' condition, arithmetic expression, KAST subpattern, function call, or attribute reference. Once defined, variables can be used in conditions and other variable definitions, for example:

//ExprBinary[@Op=OP_PLUS]

           [$size1:=getTypeSize(Expr1::*)]
           [$size2:=getTypeSize(Expr2::*)]
           [$size1!=$size2]