widget_test.dart 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484
  1. // Dart 侧验证:把 Symja 通道 mock 掉,检查外壳、计算器按键、控制台命令、工具页。
  2. // 真机端到端验证另做(本构建机没有 KVM,跑不了模拟器)。
  3. import 'package:flutter/material.dart';
  4. import 'package:flutter/services.dart';
  5. import 'package:flutter_test/flutter_test.dart';
  6. import 'package:cal/calculator_page.dart';
  7. import 'package:cal/console_page.dart';
  8. import 'package:cal/expr_editor.dart';
  9. import 'package:cal/main.dart';
  10. import 'package:cal/tools_page.dart';
  11. void main() {
  12. const symja = MethodChannel('com.nonvioce.cal/symja');
  13. const mcp = MethodChannel('com.nonvioce.cal/mcp');
  14. final calls = <MethodCall>[];
  15. setUp(() {
  16. calls.clear();
  17. TestDefaultBinaryMessengerBinding.instance.defaultBinaryMessenger
  18. .setMockMethodCallHandler(symja, (call) async {
  19. calls.add(call);
  20. switch (call.method) {
  21. case 'evaluate':
  22. final expr = call.arguments['expr'] as String;
  23. if (expr == 'boom') {
  24. return <String, dynamic>{'ok': false, 'error': '模拟的失败'};
  25. }
  26. return <String, dynamic>{
  27. 'ok': true,
  28. 'text': 'x^3/3',
  29. 'tex': r'\frac{{x}^{3}}{3}',
  30. 'ms': 12,
  31. };
  32. case 'variables':
  33. return <String, dynamic>{
  34. 'ok': true,
  35. 'vars': [
  36. {'name': 'a', 'value': '42'},
  37. ],
  38. };
  39. case 'exportSession':
  40. return <String, dynamic>{'ok': true, 'defs': ['a=42']};
  41. case 'importSession':
  42. return <String, dynamic>{'ok': true, 'applied': 1, 'failed': []};
  43. case 'clearVariable':
  44. case 'clearAll':
  45. return <String, dynamic>{'ok': true};
  46. case 'sample':
  47. return <String, dynamic>{
  48. 'ok': true,
  49. 'ys': [0.0, 1.0, 0.0],
  50. 'ms': 5,
  51. };
  52. case 'cancel':
  53. return null;
  54. default:
  55. return null;
  56. }
  57. });
  58. TestDefaultBinaryMessengerBinding.instance.defaultBinaryMessenger
  59. .setMockMethodCallHandler(mcp, (call) async {
  60. calls.add(call);
  61. switch (call.method) {
  62. case 'status':
  63. return <String, dynamic>{
  64. 'running': false,
  65. 'port': 8734,
  66. 'tools': ['evaluate', 'solve'],
  67. };
  68. default:
  69. return null;
  70. }
  71. });
  72. });
  73. tearDown(() {
  74. TestDefaultBinaryMessengerBinding.instance.defaultBinaryMessenger
  75. .setMockMethodCallHandler(symja, null);
  76. TestDefaultBinaryMessengerBinding.instance.defaultBinaryMessenger
  77. .setMockMethodCallHandler(mcp, null);
  78. });
  79. Future<void> pumpApp(WidgetTester tester) async {
  80. await tester.pumpWidget(const CalApp());
  81. await tester.pumpAndSettle();
  82. }
  83. Future<void> goTo(WidgetTester tester, String tab) async {
  84. await tester.tap(find.text(tab));
  85. await tester.pumpAndSettle();
  86. }
  87. /// IndexedStack 会让三个页面同时存在,所以查找必须限定在某一页里。
  88. Finder inPage(Type page, Finder matching) =>
  89. find.descendant(of: find.byType(page), matching: matching);
  90. Future<void> submit(WidgetTester tester, String text) async {
  91. await tester.enterText(inPage(ConsolePage, find.byType(TextField)), text);
  92. await tester.testTextInput.receiveAction(TextInputAction.done);
  93. await tester.pumpAndSettle();
  94. }
  95. /// 按计算器上的某个键。按键带 ValueKey,避免和编辑器里的字面量撞车。
  96. Future<void> press(WidgetTester tester, String label) async {
  97. await tester.tap(find.byKey(ValueKey('key-$label')));
  98. await tester.pumpAndSettle();
  99. }
  100. group('外壳', () {
  101. testWidgets('三个界面:计算器 / 工具 / 控制台', (tester) async {
  102. await pumpApp(tester);
  103. expect(find.text('计算器'), findsWidgets);
  104. expect(find.text('工具'), findsWidgets);
  105. expect(find.text('控制台'), findsWidgets);
  106. // 默认进计算器
  107. expect(find.byType(CalculatorPage), findsOneWidget);
  108. });
  109. });
  110. group('计算器(结构化输入)', () {
  111. testWidgets('按 ∫ 插出 Integrate 模板,并在显示区露出序列化结果', (tester) async {
  112. await pumpApp(tester);
  113. await press(tester, '∫');
  114. // 空槽序列化成 Null,用户一眼能看出还没填
  115. expect(find.text('Integrate[Null, x]'), findsOneWidget);
  116. });
  117. testWidgets('模板槽里能接着打字(光标落在第一个参数)', (tester) async {
  118. await pumpApp(tester);
  119. await press(tester, '∫');
  120. await press(tester, 'x');
  121. expect(find.text('Integrate[x, x]'), findsOneWidget);
  122. });
  123. testWidgets('^ 把左边的节点收成底,光标落到指数', (tester) async {
  124. await pumpApp(tester);
  125. await press(tester, 'x');
  126. await press(tester, '^');
  127. await press(tester, '2');
  128. expect(find.text('x^2'), findsOneWidget);
  129. });
  130. testWidgets('数字键并入同一个字面量', (tester) async {
  131. await pumpApp(tester);
  132. await press(tester, '4');
  133. await press(tester, '2');
  134. // 编辑器里的字面量 42 和下面那行序列化结果都是 '42',所以是 findsWidgets
  135. expect(find.text('42'), findsWidgets);
  136. });
  137. testWidgets('实时预览走 preview 标志,不污染 %', (tester) async {
  138. await pumpApp(tester);
  139. await press(tester, 'sin');
  140. await press(tester, 'x');
  141. // 等防抖
  142. await tester.pump(const Duration(milliseconds: 700));
  143. await tester.pumpAndSettle();
  144. // 按 sin 的那次也会触发预览(expr = Sin[Null]),所以取最后一次
  145. final c = calls.lastWhere((c) => c.method == 'evaluate');
  146. expect(c.arguments['preview'], true);
  147. expect(c.arguments['expr'], 'Sin[x]');
  148. });
  149. testWidgets('按 = 提交时把 preview 置 false(正式求值要更新 %)', (tester) async {
  150. await pumpApp(tester);
  151. await press(tester, 'sin');
  152. await press(tester, 'x');
  153. await press(tester, '=');
  154. final evals = calls.where((c) => c.method == 'evaluate').toList();
  155. final committed = evals.where((c) => c.arguments['preview'] == false);
  156. expect(committed, isNotEmpty);
  157. expect(committed.last.arguments['expr'], 'Sin[x]');
  158. });
  159. testWidgets('打完字光标仍在(回归:光标槽判定不能比槽内位置)', (tester) async {
  160. await pumpApp(tester);
  161. expect(find.byKey(const ValueKey('expr-caret')), findsOneWidget);
  162. await press(tester, 'x');
  163. // 以前这里会消失:offset 从 0 变成 1,而它错误地参与了对"槽"的相等判断
  164. expect(find.byKey(const ValueKey('expr-caret')), findsOneWidget);
  165. await press(tester, '2');
  166. expect(find.byKey(const ValueKey('expr-caret')), findsOneWidget);
  167. });
  168. testWidgets('点节点左半边能把光标放回最前面', (tester) async {
  169. await pumpApp(tester);
  170. await press(tester, 'x');
  171. await press(tester, '+');
  172. await press(tester, '1');
  173. expect(find.text('x+1'), findsOneWidget);
  174. // 点 x 的左半边 → 光标应当落到 x 前面
  175. final xRect = tester.getRect(
  176. find.descendant(of: find.byType(ExprEditor), matching: find.text('x')),
  177. );
  178. await tester.tapAt(Offset(xRect.left + 1, xRect.center.dy));
  179. await tester.pumpAndSettle();
  180. // 再打一个 2:插到最前面才是 2x+1;若光标落在 x 之后就成 x2+1
  181. await press(tester, '2');
  182. expect(find.text('2x+1'), findsOneWidget);
  183. });
  184. testWidgets('点节点右半边把光标放到它后面', (tester) async {
  185. await pumpApp(tester);
  186. await press(tester, 'x');
  187. await press(tester, '+');
  188. final xRect = tester.getRect(
  189. find.descendant(of: find.byType(ExprEditor), matching: find.text('x')),
  190. );
  191. await tester.tapAt(Offset(xRect.right - 1, xRect.center.dy));
  192. await tester.pumpAndSettle();
  193. await press(tester, '2');
  194. expect(find.text('x2+'), findsOneWidget);
  195. });
  196. testWidgets('默认精确:求值原样送出去', (tester) async {
  197. await pumpApp(tester);
  198. await press(tester, 'sin');
  199. await press(tester, 'x');
  200. await press(tester, '=');
  201. final committed = calls.where(
  202. (c) => c.method == 'evaluate' && c.arguments['preview'] == false);
  203. expect(committed.last.arguments['expr'], 'Sin[x]');
  204. });
  205. testWidgets('切到近似后,求值套上 N[...]', (tester) async {
  206. await pumpApp(tester);
  207. await press(tester, 'sin');
  208. await press(tester, 'x');
  209. await tester.tap(find.text('精确'));
  210. await tester.pumpAndSettle();
  211. expect(find.text('≈ 近似'), findsOneWidget);
  212. await press(tester, '=');
  213. final committed = calls.where(
  214. (c) => c.method == 'evaluate' && c.arguments['preview'] == false);
  215. expect(committed.last.arguments['expr'], 'N[Sin[x], 15]');
  216. });
  217. testWidgets('近似模式不碰赋值表达式(否则赋值会被变成求值)', (tester) async {
  218. await pumpApp(tester);
  219. // 先在计算器里打开近似
  220. await tester.tap(find.text('精确'));
  221. await tester.pumpAndSettle();
  222. // 到控制台提交一个赋值
  223. await goTo(tester, '控制台');
  224. await submit(tester, 'a = 1/3');
  225. final committed = calls.where(
  226. (c) => c.method == 'evaluate' && c.arguments['preview'] == false);
  227. expect(committed.last.arguments['expr'], 'a = 1/3');
  228. });
  229. testWidgets('CLR 清空', (tester) async {
  230. await pumpApp(tester);
  231. await press(tester, 'sin');
  232. expect(find.text('Sin[Null]'), findsOneWidget);
  233. await press(tester, 'CLR');
  234. expect(find.text('Null'), findsOneWidget);
  235. });
  236. });
  237. group('复制粘贴', () {
  238. /// 把系统通道的剪贴板换成内存版,并记录写入。
  239. ({List<String> copied, void Function(String?) feed}) mockClipboard(
  240. WidgetTester tester) {
  241. final copied = <String>[];
  242. String? available;
  243. TestDefaultBinaryMessengerBinding.instance.defaultBinaryMessenger
  244. .setMockMethodCallHandler(SystemChannels.platform, (call) async {
  245. switch (call.method) {
  246. case 'Clipboard.setData':
  247. final t = (call.arguments as Map)['text'] as String;
  248. copied.add(t);
  249. available = t; // 有写有读,跟真剪贴板一样
  250. return null;
  251. case 'Clipboard.getData':
  252. return available == null ? null : <String, dynamic>{'text': available};
  253. default:
  254. return null;
  255. }
  256. });
  257. addTearDown(() => TestDefaultBinaryMessengerBinding
  258. .instance.defaultBinaryMessenger
  259. .setMockMethodCallHandler(SystemChannels.platform, null));
  260. return (copied: copied, feed: (v) => available = v);
  261. }
  262. Future<void> pickMenu(WidgetTester tester, String item) async {
  263. await tester.tap(find.byIcon(Icons.more_vert));
  264. await tester.pumpAndSettle();
  265. await tester.tap(find.text(item));
  266. await tester.pumpAndSettle();
  267. }
  268. Finder inEditor(String text) => find.descendant(
  269. of: find.byType(ExprEditor), matching: find.text(text));
  270. testWidgets('长按选中一段 → 操作栏自动出现 → 剪切', (tester) async {
  271. final clip = mockClipboard(tester);
  272. await pumpApp(tester);
  273. for (final k in ['2', 'x', '+', '1']) {
  274. await press(tester, k);
  275. }
  276. await tester.longPress(inEditor('2'));
  277. await tester.pumpAndSettle();
  278. // 选中后操作栏自动出现
  279. expect(find.textContaining('已选中'), findsOneWidget);
  280. // 再点另一个节点 → 扩展选区
  281. await tester.tap(inEditor('1'));
  282. await tester.pumpAndSettle();
  283. expect(find.textContaining('已选中 2x+1'), findsOneWidget);
  284. await tester.tap(find.text('剪切'));
  285. await tester.pumpAndSettle();
  286. expect(clip.copied, ['2x+1']);
  287. expect(find.text('Null'), findsOneWidget); // 全剪掉了
  288. });
  289. testWidgets('剪切后粘到 Log 的括号里', (tester) async {
  290. final clip = mockClipboard(tester);
  291. await pumpApp(tester);
  292. for (final k in ['2', 'x', '+', '1']) {
  293. await press(tester, k);
  294. }
  295. await tester.longPress(inEditor('2'));
  296. await tester.pumpAndSettle();
  297. await tester.tap(inEditor('1'));
  298. await tester.pumpAndSettle();
  299. await tester.tap(find.text('剪切'));
  300. await tester.pumpAndSettle();
  301. // 建一个空的 Log,光标在参数槽里
  302. await press(tester, 'ln');
  303. expect(find.text('Log[Null]'), findsOneWidget);
  304. await pickMenu(tester, '从剪贴板粘贴');
  305. expect(find.text('Log[2x+1]'), findsWidgets);
  306. });
  307. testWidgets('点光标所在位置会弹出粘贴入口', (tester) async {
  308. final clip = mockClipboard(tester);
  309. clip.feed('7');
  310. await pumpApp(tester);
  311. await press(tester, 'x'); // 光标停在 x 之后
  312. // 点 x 的右半边 = 光标已经在的地方
  313. final r = tester.getRect(inEditor('x'));
  314. await tester.tapAt(Offset(r.right - 1, r.center.dy));
  315. await tester.pumpAndSettle();
  316. expect(find.text('粘贴到光标处'), findsOneWidget);
  317. await tester.tap(find.text('粘贴'));
  318. await tester.pumpAndSettle();
  319. expect(find.textContaining('已粘贴到光标处'), findsOneWidget);
  320. });
  321. testWidgets('复制表达式进剪贴板', (tester) async {
  322. final clip = mockClipboard(tester);
  323. await pumpApp(tester);
  324. await press(tester, 'x');
  325. await press(tester, '^');
  326. await press(tester, '2');
  327. await pickMenu(tester, '复制表达式');
  328. expect(clip.copied, ['x^2']);
  329. });
  330. testWidgets('粘贴一段 Symja 表达式,转成结构化输入', (tester) async {
  331. final clip = mockClipboard(tester);
  332. clip.feed('Integrate[x^2, x]');
  333. await pumpApp(tester);
  334. await pickMenu(tester, '从剪贴板粘贴');
  335. // 编辑器显示区和序列化行都会出现它
  336. expect(find.text('Integrate[x^2, x]'), findsWidgets);
  337. });
  338. testWidgets('粘贴解析不了的东西会明确报错,不会乱猜', (tester) async {
  339. final clip = mockClipboard(tester);
  340. clip.feed('x@y');
  341. await pumpApp(tester);
  342. await pickMenu(tester, '从剪贴板粘贴');
  343. expect(find.textContaining('没法转成按钮式输入'), findsOneWidget);
  344. });
  345. testWidgets('复制粘贴走一圈,结果一致', (tester) async {
  346. final clip = mockClipboard(tester);
  347. await pumpApp(tester);
  348. for (final k in ['2', 'x', '+', '1']) {
  349. await press(tester, k);
  350. }
  351. await pickMenu(tester, '复制表达式');
  352. expect(clip.copied.single, '2x+1');
  353. clip.feed(clip.copied.single);
  354. await pickMenu(tester, '清空');
  355. await pickMenu(tester, '从剪贴板粘贴');
  356. expect(find.text('2x+1'), findsWidgets);
  357. });
  358. });
  359. group('控制台', () {
  360. testWidgets('提交表达式会送到通道并渲染结果', (tester) async {
  361. await pumpApp(tester);
  362. await goTo(tester, '控制台');
  363. await submit(tester, 'Integrate[x^2, x]');
  364. final eval = calls.lastWhere((c) => c.method == 'evaluate');
  365. expect(eval.arguments['expr'], 'Integrate[x^2, x]');
  366. expect(eval.arguments['preview'], false);
  367. expect(find.text('x^3/3'), findsWidgets);
  368. });
  369. testWidgets('help 是本地命令,不求值', (tester) async {
  370. await pumpApp(tester);
  371. await goTo(tester, '控制台');
  372. await submit(tester, 'help');
  373. expect(calls.where((c) => c.method == 'evaluate' && c.arguments['preview'] == false),
  374. isEmpty);
  375. expect(find.textContaining('命令(小写'), findsOneWidget);
  376. });
  377. testWidgets('vars 命令列出变量', (tester) async {
  378. await pumpApp(tester);
  379. await goTo(tester, '控制台');
  380. await submit(tester, 'vars');
  381. expect(find.text('a = 42'), findsOneWidget);
  382. });
  383. testWidgets('失败时显示错误', (tester) async {
  384. await pumpApp(tester);
  385. await goTo(tester, '控制台');
  386. await submit(tester, 'boom');
  387. expect(find.text('模拟的失败'), findsOneWidget);
  388. });
  389. });
  390. group('工具页', () {
  391. testWidgets('列出插件,并能按名字过滤', (tester) async {
  392. await pumpApp(tester);
  393. await goTo(tester, '工具');
  394. // 网格是懒加载的,靠后的卡片在测试视口外,所以只断言前几个
  395. expect(find.text('错位相减法'), findsOneWidget);
  396. expect(find.text('二项分布'), findsOneWidget);
  397. await tester.enterText(inPage(ToolsPage, find.byType(TextField)), '回归');
  398. await tester.pumpAndSettle();
  399. expect(find.text('线性回归'), findsOneWidget);
  400. expect(find.text('二项分布'), findsNothing);
  401. });
  402. testWidgets('拼音首字母也能搜到', (tester) async {
  403. await pumpApp(tester);
  404. await goTo(tester, '工具');
  405. await tester.enterText(inPage(ToolsPage, find.byType(TextField)), 'xxhg');
  406. await tester.pumpAndSettle();
  407. expect(find.text('线性回归'), findsOneWidget);
  408. });
  409. });
  410. }