realtostring/2—convert a real value to a string value
The realtostring/2 primitive converts a real value to a string value.
realtostring($REALVAL,$STRVAL)
$STRVAL=realtostring($REALVAL)
$STRVAL=realtostring($REALVAL)
realtostring/2 arguments
Argument | Mode | Type | Description |
---|---|---|---|
$REALVAL | Input | INTEGER | Specifies the real value to be converted to a string value |
$STRVAL | Output | STRING | The conversion result, returned as a string |
Use realtostring/2 to convert the real value specified in the $REALVAL argument to a string value returned in $STRVAL.
realtostring/2 example
$DEV = ( $AVERAGE_DURATION - real($E.duration) ) ^ 2;
$E.msg = concat(['Duration deviation=',realtostring($DEV)]);
$E.msg = concat(['Duration deviation=',realtostring($DEV)]);
Tip: For faster searching, add an asterisk to the end of your partial query. Example: cert*