get_string_contents method

void get_string_contents(
  1. Z3_context c,
  2. Z3_ast s,
  3. int length,
  4. Pointer<UnsignedInt> contents,
)

\brief Retrieve the unescaped string constant stored in \c s.

\pre Z3_is_string(c, s)

\pre length contains the number of characters in s

def_API('Z3_get_string_contents', VOID, (_in(CONTEXT), _in(AST), _in(UINT), _out_array(2, UINT)))

Implementation

void get_string_contents(
  Z3_context c,
  Z3_ast s,
  int length,
  ffi.Pointer<ffi.UnsignedInt> contents,
) {
  return _get_string_contents(
    c,
    s,
    length,
    contents,
  );
}