parse method

List<AST> parse(
  1. String str
)

Parses the given string and returns its assertions.

Implementation

List<AST> parse(String str) {
  final strPtr = str.toNativeUtf8();
  try {
    final result = _c._z3.parser_context_from_string(
      _pc,
      strPtr.cast(),
    );
    return _c._unpackAstVector(result);
  } finally {
    malloc.free(strPtr);
  }
}