no_web.dart 5.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152
  1. // ignore_for_file: non_constant_identifier_names, prefer_typing_uninitialized_variables, constant_identifier_names, no_leading_underscores_for_local_identifiers
  2. import 'dart:convert' as cvt;
  3. import 'dart:ffi' as ffi;
  4. import 'dart:io';
  5. import 'package:ffi/ffi.dart';
  6. import '_ffi.dart';
  7. import 'common.dart';
  8. class _Bindings {
  9. static ffi.DynamicLibrary _load() {
  10. String _libName = "pocketpy";
  11. if (Platform.isIOS) {
  12. return ffi.DynamicLibrary.process();
  13. }
  14. if (Platform.isAndroid || Platform.isLinux) {
  15. return ffi.DynamicLibrary.open('lib$_libName.so');
  16. }
  17. if (Platform.isWindows) {
  18. return ffi.DynamicLibrary.open('$_libName.dll');
  19. }
  20. throw UnsupportedError('Unknown platform: ${Platform.operatingSystem}');
  21. }
  22. static final _lib = _load();
  23. static final pkpy_delete = _lib.lookupFunction<
  24. ffi.Void Function(ffi.Pointer p),
  25. void Function(ffi.Pointer p)>("pkpy_delete");
  26. static final pkpy_setup_callbacks = _lib.lookupFunction<
  27. ffi.Void Function(ffi.Pointer _f_int, ffi.Pointer _f_float,
  28. ffi.Pointer _f_bool, ffi.Pointer _f_str, ffi.Pointer _f_None),
  29. void Function(
  30. ffi.Pointer _f_int,
  31. ffi.Pointer _f_float,
  32. ffi.Pointer _f_bool,
  33. ffi.Pointer _f_str,
  34. ffi.Pointer _f_None)>("pkpy_setup_callbacks");
  35. static final pkpy_new_repl = _lib.lookupFunction<
  36. ffi.Pointer Function(ffi.Pointer vm),
  37. ffi.Pointer Function(ffi.Pointer vm)>("pkpy_new_repl");
  38. static final pkpy_repl_input = _lib.lookupFunction<
  39. ffi.Bool Function(ffi.Pointer r, ffi.Pointer<Utf8> line),
  40. bool Function(ffi.Pointer r, ffi.Pointer<Utf8> line)>("pkpy_repl_input");
  41. static final pkpy_new_vm = _lib.lookupFunction<
  42. ffi.Pointer Function(ffi.Bool use_stdio),
  43. ffi.Pointer Function(bool use_stdio)>("pkpy_new_vm");
  44. static final pkpy_vm_add_module = _lib.lookupFunction<
  45. ffi.Void Function(
  46. ffi.Pointer vm, ffi.Pointer<Utf8> name, ffi.Pointer<Utf8> source),
  47. void Function(ffi.Pointer vm, ffi.Pointer<Utf8> name,
  48. ffi.Pointer<Utf8> source)>("pkpy_vm_add_module");
  49. static final pkpy_vm_bind = _lib.lookupFunction<
  50. ffi.Pointer<Utf8> Function(ffi.Pointer vm, ffi.Pointer<Utf8> mod,
  51. ffi.Pointer<Utf8> name, ffi.Int32 ret_code),
  52. ffi.Pointer<Utf8> Function(ffi.Pointer vm, ffi.Pointer<Utf8> mod,
  53. ffi.Pointer<Utf8> name, int ret_code)>("pkpy_vm_bind");
  54. static final pkpy_vm_eval = _lib.lookupFunction<
  55. ffi.Pointer<Utf8> Function(ffi.Pointer vm, ffi.Pointer<Utf8> source),
  56. ffi.Pointer<Utf8> Function(
  57. ffi.Pointer vm, ffi.Pointer<Utf8> source)>("pkpy_vm_eval");
  58. static final pkpy_vm_exec = _lib.lookupFunction<
  59. ffi.Void Function(ffi.Pointer vm, ffi.Pointer<Utf8> source),
  60. void Function(ffi.Pointer vm, ffi.Pointer<Utf8> source)>("pkpy_vm_exec");
  61. static final pkpy_vm_get_global = _lib.lookupFunction<
  62. ffi.Pointer<Utf8> Function(ffi.Pointer vm, ffi.Pointer<Utf8> name),
  63. ffi.Pointer<Utf8> Function(
  64. ffi.Pointer vm, ffi.Pointer<Utf8> name)>("pkpy_vm_get_global");
  65. static final pkpy_vm_read_output = _lib.lookupFunction<
  66. ffi.Pointer<Utf8> Function(ffi.Pointer vm),
  67. ffi.Pointer<Utf8> Function(ffi.Pointer vm)>("pkpy_vm_read_output");
  68. }
  69. class VM {
  70. late final pointer = _Bindings.pkpy_new_vm(false);
  71. static bool _firstNew = true;
  72. VM() {
  73. if (!_firstNew) return;
  74. _firstNew = false;
  75. _Bindings.pkpy_setup_callbacks(
  76. f_int(), f_float(), f_bool(), f_str(), f_None());
  77. }
  78. void dispose() {
  79. _Bindings.pkpy_delete(pointer);
  80. }
  81. PyOutput read_output() {
  82. var _o = _Bindings.pkpy_vm_read_output(pointer);
  83. String _j = _o.toDartString();
  84. var ret = PyOutput.fromJson(cvt.jsonDecode(_j));
  85. _Bindings.pkpy_delete(_o);
  86. return ret;
  87. }
  88. /// Add a source module into a virtual machine.
  89. void add_module(String name, String source) {
  90. _Bindings.pkpy_vm_add_module(
  91. pointer, StrWrapper(name).p, StrWrapper(source).p);
  92. }
  93. /// Evaluate an expression. Return `__repr__` of the result. If there is any error, return `nullptr`.
  94. String? eval(String source) {
  95. var ret = _Bindings.pkpy_vm_eval(pointer, StrWrapper(source).p);
  96. if (ret == ffi.nullptr) return null;
  97. String s = ret.toDartString();
  98. _Bindings.pkpy_delete(ret);
  99. return s;
  100. }
  101. /// Run a given source on a virtual machine.
  102. void exec(String source) {
  103. _Bindings.pkpy_vm_exec(pointer, StrWrapper(source).p);
  104. }
  105. /// Get a global variable of a virtual machine. Return `__repr__` of the result. If the variable is not found, return `nullptr`.
  106. String? get_global(String name) {
  107. var ret = _Bindings.pkpy_vm_get_global(pointer, StrWrapper(name).p);
  108. if (ret == ffi.nullptr) return null;
  109. String s = ret.toDartString();
  110. _Bindings.pkpy_delete(ret);
  111. return s;
  112. }
  113. void bind<T>(String mod, String name, Function f) {
  114. ffi.Pointer<Utf8> p = _Bindings.pkpy_vm_bind(
  115. pointer, StrWrapper(mod).p, StrWrapper(name).p, t_code<T>());
  116. if (p == ffi.nullptr) throw Exception("vm.bind() failed");
  117. String s = p.toDartString();
  118. _Bindings.pkpy_delete(p);
  119. register(s, f);
  120. }
  121. }
  122. class REPL {
  123. late final dynamic pointer;
  124. REPL(VM vm) {
  125. pointer = _Bindings.pkpy_new_repl(vm.pointer);
  126. }
  127. void dispose() {
  128. _Bindings.pkpy_delete(pointer);
  129. }
  130. /// Input a source line to an interactive console. Return true if need more lines.
  131. bool input(String line) {
  132. var ret = _Bindings.pkpy_repl_input(pointer, StrWrapper(line).p);
  133. return ret;
  134. }
  135. }