getHelp method

String getHelp()

Implementation

String getHelp() {
  final namePtr = name.toNativeUtf8();
  try {
    final result = _c._z3.probe_get_descr(namePtr.cast());
    return result.cast<Utf8>().toDartString();
  } finally {
    malloc.free(namePtr);
  }
}