debug_test.go 27 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398
  1. /*
  2. * ECAL
  3. *
  4. * Copyright 2020 Matthias Ladkau. All rights reserved.
  5. *
  6. * This Source Code Form is subject to the terms of the MIT
  7. * License, If a copy of the MIT License was not distributed with this
  8. * file, You can obtain one at https://opensource.org/licenses/MIT.
  9. */
  10. package interpreter
  11. import (
  12. "encoding/json"
  13. "fmt"
  14. "strconv"
  15. "strings"
  16. "sync"
  17. "testing"
  18. "time"
  19. "devt.de/krotik/common/errorutil"
  20. "devt.de/krotik/ecal/scope"
  21. "devt.de/krotik/ecal/util"
  22. )
  23. func TestSimpleDebugging(t *testing.T) {
  24. var err error
  25. defer func() {
  26. testDebugger = nil
  27. }()
  28. testDebugger = NewECALDebugger(nil)
  29. if _, err = testDebugger.HandleInput("break ECALEvalTest:3"); err != nil {
  30. t.Error("Unexpected result:", err)
  31. return
  32. }
  33. if _, err = testDebugger.HandleInput("break ECALEvalTest:4"); err != nil {
  34. t.Error("Unexpected result:", err)
  35. return
  36. }
  37. if _, err = testDebugger.HandleInput("disablebreak ECALEvalTest:4"); err != nil {
  38. t.Error("Unexpected result:", err)
  39. return
  40. }
  41. wg := &sync.WaitGroup{}
  42. wg.Add(1)
  43. go func() {
  44. _, err = UnitTestEval(`
  45. log("test1")
  46. log("test2")
  47. log("test3")
  48. `, nil)
  49. if err != nil {
  50. t.Error(err)
  51. }
  52. wg.Done()
  53. }()
  54. tid := waitForThreadSuspension(t)
  55. out, err := testDebugger.HandleInput(fmt.Sprintf("status"))
  56. outBytes, _ := json.MarshalIndent(out, "", " ")
  57. outString := string(outBytes)
  58. if err != nil || outString != `{
  59. "breakonstart": false,
  60. "breakpoints": {
  61. "ECALEvalTest:3": true,
  62. "ECALEvalTest:4": false
  63. },
  64. "sources": [
  65. "ECALEvalTest"
  66. ],
  67. "threads": {
  68. "1": {
  69. "callStack": [],
  70. "threadRunning": false
  71. }
  72. }
  73. }` {
  74. t.Error("Unexpected result:", outString, err)
  75. return
  76. }
  77. out, err = testDebugger.HandleInput(fmt.Sprintf("describe %v", tid))
  78. outBytes, _ = json.MarshalIndent(out, "", " ")
  79. outString = string(outBytes)
  80. if err != nil || outString != `{
  81. "callStack": [],
  82. "callStackNode": [],
  83. "callStackVsSnapshot": [],
  84. "callStackVsSnapshotGlobal": [],
  85. "code": "log(\"test2\")",
  86. "node": {
  87. "allowescapes": false,
  88. "children": [
  89. {
  90. "children": [
  91. {
  92. "allowescapes": true,
  93. "id": 5,
  94. "identifier": false,
  95. "line": 3,
  96. "linepos": 5,
  97. "name": "string",
  98. "pos": 18,
  99. "source": "ECALEvalTest",
  100. "value": "test2"
  101. }
  102. ],
  103. "name": "funccall"
  104. }
  105. ],
  106. "id": 7,
  107. "identifier": true,
  108. "line": 3,
  109. "linepos": 1,
  110. "name": "identifier",
  111. "pos": 14,
  112. "source": "ECALEvalTest",
  113. "value": "log"
  114. },
  115. "threadRunning": false,
  116. "vs": {},
  117. "vsGlobal": {}
  118. }` {
  119. t.Error("Unexpected result:", outString, err)
  120. return
  121. }
  122. // Continue until the end
  123. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v Resume", tid)); err != nil {
  124. t.Error("Unexpected result:", err)
  125. return
  126. }
  127. wg.Wait()
  128. if err != nil || testlogger.String() != `
  129. test1
  130. test2
  131. test3`[1:] {
  132. t.Error("Unexpected result:", testlogger.String(), err)
  133. return
  134. }
  135. if _, err = testDebugger.HandleInput("rmbreak ECALEvalTest:4"); err != nil {
  136. t.Error("Unexpected result:", err)
  137. return
  138. }
  139. out, err = testDebugger.HandleInput(fmt.Sprintf("status"))
  140. outBytes, _ = json.MarshalIndent(out, "", " ")
  141. outString = string(outBytes)
  142. if err != nil || outString != `{
  143. "breakonstart": false,
  144. "breakpoints": {
  145. "ECALEvalTest:3": true
  146. },
  147. "sources": [
  148. "ECALEvalTest"
  149. ],
  150. "threads": {
  151. "1": {
  152. "callStack": []
  153. }
  154. }
  155. }` {
  156. t.Error("Unexpected result:", outString, err)
  157. return
  158. }
  159. if _, err = testDebugger.HandleInput("break ECALEvalTest:4"); err != nil {
  160. t.Error("Unexpected result:", err)
  161. return
  162. }
  163. if _, err = testDebugger.HandleInput("rmbreak ECALEvalTest"); err != nil {
  164. t.Error("Unexpected result:", err)
  165. return
  166. }
  167. out, err = testDebugger.HandleInput(fmt.Sprintf("status"))
  168. outBytes, _ = json.MarshalIndent(out, "", " ")
  169. outString = string(outBytes)
  170. if err != nil || outString != `{
  171. "breakonstart": false,
  172. "breakpoints": {},
  173. "sources": [
  174. "ECALEvalTest"
  175. ],
  176. "threads": {
  177. "1": {
  178. "callStack": []
  179. }
  180. }
  181. }` {
  182. t.Error("Unexpected result:", outString, err)
  183. return
  184. }
  185. }
  186. func TestConcurrentDebugging(t *testing.T) {
  187. var err error
  188. defer func() {
  189. testDebugger = nil
  190. }()
  191. testDebugger = NewECALDebugger(nil)
  192. if _, err = testDebugger.HandleInput("break ECALEvalTest:5"); err != nil {
  193. t.Error("Unexpected result:", err)
  194. return
  195. }
  196. wg := &sync.WaitGroup{}
  197. wg.Add(2)
  198. erp := NewECALRuntimeProvider("ECALTestRuntime", nil, nil)
  199. vs := scope.NewScope(scope.GlobalScope)
  200. go func() {
  201. _, err = UnitTestEvalWithRuntimeProvider(`
  202. a := 1
  203. b := 1
  204. func test1() {
  205. log("test3")
  206. b := a + 1
  207. }
  208. log("test1")
  209. log("test2")
  210. test1()
  211. log("test4")
  212. `, vs, erp)
  213. if err != nil {
  214. t.Error(err)
  215. }
  216. wg.Done()
  217. }()
  218. go func() {
  219. _, err = UnitTestEvalWithRuntimeProvider(`
  220. a := 1
  221. c := 1
  222. func test2() {
  223. log("test3")
  224. c := a + 1
  225. }
  226. log("test1")
  227. log("test2")
  228. test2()
  229. log("test4")
  230. `, vs, erp)
  231. if err != nil {
  232. t.Error(err)
  233. }
  234. wg.Done()
  235. }()
  236. waitForAllThreadSuspension(t)
  237. out, err := testDebugger.HandleInput(fmt.Sprintf("status"))
  238. outBytes, _ := json.MarshalIndent(out, "", " ")
  239. outString := string(outBytes)
  240. if err != nil || (outString != `{
  241. "breakonstart": false,
  242. "breakpoints": {
  243. "ECALEvalTest:5": true
  244. },
  245. "sources": [
  246. "ECALEvalTest"
  247. ],
  248. "threads": {
  249. "1": {
  250. "callStack": [
  251. "test1() (ECALEvalTest:10)"
  252. ],
  253. "threadRunning": false
  254. },
  255. "2": {
  256. "callStack": [
  257. "test2() (ECALEvalTest:10)"
  258. ],
  259. "threadRunning": false
  260. }
  261. }
  262. }` && outString != `{
  263. "breakonstart": false,
  264. "breakpoints": {
  265. "ECALEvalTest:5": true
  266. },
  267. "sources": [
  268. "ECALEvalTest"
  269. ],
  270. "threads": {
  271. "1": {
  272. "callStack": [
  273. "test2() (ECALEvalTest:10)"
  274. ],
  275. "threadRunning": false
  276. },
  277. "2": {
  278. "callStack": [
  279. "test1() (ECALEvalTest:10)"
  280. ],
  281. "threadRunning": false
  282. }
  283. }
  284. }`) {
  285. t.Error("Unexpected result:", outString, err)
  286. return
  287. }
  288. // Continue until the end
  289. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont 1 Resume")); err != nil {
  290. t.Error("Unexpected result:", err)
  291. return
  292. }
  293. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont 2 Resume")); err != nil {
  294. t.Error("Unexpected result:", err)
  295. return
  296. }
  297. wg.Wait()
  298. if vs.String() != `GlobalScope {
  299. a (float64) : 1
  300. b (float64) : 2
  301. c (float64) : 2
  302. test1 (*interpreter.function) : ecal.function: test1 (Line 4, Pos 1)
  303. test2 (*interpreter.function) : ecal.function: test2 (Line 4, Pos 1)
  304. }` {
  305. t.Error("Unexpected result:", vs)
  306. return
  307. }
  308. }
  309. func waitForThreadSuspension(t *testing.T) uint64 {
  310. var tid uint64
  311. for i := 0; i < 100; i += 1 {
  312. state, err := testDebugger.HandleInput("status")
  313. errorutil.AssertOk(err)
  314. threads := state.(map[string]interface{})["threads"].(map[string]map[string]interface{})
  315. if len(threads) > 0 {
  316. for threadId, status := range threads {
  317. if r, ok := status["threadRunning"]; ok && !r.(bool) {
  318. threadIdNum, _ := strconv.ParseInt(threadId, 10, 0)
  319. tid = uint64(threadIdNum)
  320. return tid
  321. }
  322. }
  323. }
  324. time.Sleep(1 * time.Millisecond)
  325. }
  326. panic("No suspended thread")
  327. }
  328. func waitForAllThreadSuspension(t *testing.T) uint64 {
  329. var tid uint64
  330. for i := 0; i < 100; i += 1 {
  331. state, err := testDebugger.HandleInput("status")
  332. errorutil.AssertOk(err)
  333. threads := state.(map[string]interface{})["threads"].(map[string]map[string]interface{})
  334. if len(threads) > 0 {
  335. allSuspended := true
  336. for _, status := range threads {
  337. if r, ok := status["threadRunning"]; ok && !r.(bool) {
  338. allSuspended = false
  339. break
  340. }
  341. }
  342. if allSuspended {
  343. break
  344. }
  345. }
  346. time.Sleep(1 * time.Millisecond)
  347. }
  348. return tid
  349. }
  350. func TestStepDebugging(t *testing.T) {
  351. var err error
  352. defer func() {
  353. testDebugger = nil
  354. }()
  355. testDebugger = NewECALDebugger(nil)
  356. code := `
  357. log("start")
  358. func fa(x) {
  359. a := 1
  360. log("a enter")
  361. fb(x)
  362. log("a exit")
  363. }
  364. func fb(x) {
  365. b := 2
  366. log("b enter")
  367. fc()
  368. fc(fc())
  369. log("b exit")
  370. }
  371. func fc() {
  372. c := 3
  373. log("c enter")
  374. log("c exit")
  375. }
  376. fa(1)
  377. func e() {
  378. log("e()")
  379. }
  380. func d() {
  381. e()
  382. }
  383. d(d())
  384. log("finish")
  385. `
  386. if _, err = testDebugger.HandleInput("break ECALEvalTest:10"); err != nil {
  387. t.Error("Unexpected result:", err)
  388. return
  389. }
  390. if _, err = testDebugger.HandleInput("breakonstart true"); err != nil {
  391. t.Error("Unexpected result:", err)
  392. return
  393. }
  394. wg := &sync.WaitGroup{}
  395. wg.Add(1)
  396. go func() {
  397. _, err = UnitTestEval(code, nil)
  398. if err != nil {
  399. t.Error(err)
  400. }
  401. wg.Done()
  402. }()
  403. tid := waitForThreadSuspension(t)
  404. if state := getDebuggerState(tid, t); state != `{
  405. "breakpoints": {
  406. "ECALEvalTest:10": true
  407. },
  408. "code": "log(\"start\")",
  409. "threads": {
  410. "1": {
  411. "callStack": [],
  412. "threadRunning": false
  413. }
  414. },
  415. "vs": {}
  416. }` {
  417. t.Error("Unexpected state:", state)
  418. return
  419. }
  420. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v resume", tid)); err != nil {
  421. t.Error("Unexpected result:", err)
  422. return
  423. }
  424. tid = waitForThreadSuspension(t)
  425. if state := getDebuggerState(tid, t); state != `{
  426. "breakpoints": {
  427. "ECALEvalTest:10": true
  428. },
  429. "code": "b := 2",
  430. "threads": {
  431. "1": {
  432. "callStack": [
  433. "fa(1) (ECALEvalTest:21)",
  434. "fb(x) (ECALEvalTest:6)"
  435. ],
  436. "threadRunning": false
  437. }
  438. },
  439. "vs": {
  440. "x": 1
  441. }
  442. }` {
  443. t.Error("Unexpected state:", state)
  444. return
  445. }
  446. // Step in without a function
  447. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v stepin", tid)); err != nil {
  448. t.Error("Unexpected result:", err)
  449. return
  450. }
  451. tid = waitForThreadSuspension(t)
  452. if state := getDebuggerState(tid, t); state != `{
  453. "breakpoints": {
  454. "ECALEvalTest:10": true
  455. },
  456. "code": "log(\"b enter\")",
  457. "threads": {
  458. "1": {
  459. "callStack": [
  460. "fa(1) (ECALEvalTest:21)",
  461. "fb(x) (ECALEvalTest:6)"
  462. ],
  463. "threadRunning": false
  464. }
  465. },
  466. "vs": {
  467. "b": 2,
  468. "x": 1
  469. }
  470. }` {
  471. t.Error("Unexpected state:", state)
  472. return
  473. }
  474. // Normal step over
  475. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v stepover", tid)); err != nil {
  476. t.Error("Unexpected result:", err)
  477. return
  478. }
  479. tid = waitForThreadSuspension(t)
  480. if state := getDebuggerState(tid, t); state != `{
  481. "breakpoints": {
  482. "ECALEvalTest:10": true
  483. },
  484. "code": "fc()",
  485. "threads": {
  486. "1": {
  487. "callStack": [
  488. "fa(1) (ECALEvalTest:21)",
  489. "fb(x) (ECALEvalTest:6)"
  490. ],
  491. "threadRunning": false
  492. }
  493. },
  494. "vs": {
  495. "b": 2,
  496. "x": 1
  497. }
  498. }` {
  499. t.Error("Unexpected state:", state)
  500. return
  501. }
  502. // Normal step in
  503. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v stepin", tid)); err != nil {
  504. t.Error("Unexpected result:", err)
  505. return
  506. }
  507. tid = waitForThreadSuspension(t)
  508. if state := getDebuggerState(tid, t); state != `{
  509. "breakpoints": {
  510. "ECALEvalTest:10": true
  511. },
  512. "code": "c := 3",
  513. "threads": {
  514. "1": {
  515. "callStack": [
  516. "fa(1) (ECALEvalTest:21)",
  517. "fb(x) (ECALEvalTest:6)",
  518. "fc() (ECALEvalTest:12)"
  519. ],
  520. "threadRunning": false
  521. }
  522. },
  523. "vs": {}
  524. }` {
  525. t.Error("Unexpected state:", state)
  526. return
  527. }
  528. // Normal step out
  529. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v stepout", tid)); err != nil {
  530. t.Error("Unexpected result:", err)
  531. return
  532. }
  533. tid = waitForThreadSuspension(t)
  534. if state := getDebuggerState(tid, t); state != `{
  535. "breakpoints": {
  536. "ECALEvalTest:10": true
  537. },
  538. "code": "fc(fc())",
  539. "threads": {
  540. "1": {
  541. "callStack": [
  542. "fa(1) (ECALEvalTest:21)",
  543. "fb(x) (ECALEvalTest:6)"
  544. ],
  545. "threadRunning": false
  546. }
  547. },
  548. "vs": {
  549. "b": 2,
  550. "x": 1
  551. }
  552. }` {
  553. t.Error("Unexpected state:", state)
  554. return
  555. }
  556. // Step in and step out - we should end up on the same line as before
  557. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v stepin", tid)); err != nil {
  558. t.Error("Unexpected result:", err)
  559. return
  560. }
  561. tid = waitForThreadSuspension(t)
  562. if state := getDebuggerState(tid, t); state != `{
  563. "breakpoints": {
  564. "ECALEvalTest:10": true
  565. },
  566. "code": "c := 3",
  567. "threads": {
  568. "1": {
  569. "callStack": [
  570. "fa(1) (ECALEvalTest:21)",
  571. "fb(x) (ECALEvalTest:6)",
  572. "fc() (ECALEvalTest:13)"
  573. ],
  574. "threadRunning": false
  575. }
  576. },
  577. "vs": {}
  578. }` {
  579. t.Error("Unexpected state:", state)
  580. return
  581. }
  582. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v stepout", tid)); err != nil {
  583. t.Error("Unexpected result:", err)
  584. return
  585. }
  586. tid = waitForThreadSuspension(t)
  587. if state := getDebuggerState(tid, t); state != `{
  588. "breakpoints": {
  589. "ECALEvalTest:10": true
  590. },
  591. "code": "fc(fc())",
  592. "threads": {
  593. "1": {
  594. "callStack": [
  595. "fa(1) (ECALEvalTest:21)",
  596. "fb(x) (ECALEvalTest:6)"
  597. ],
  598. "threadRunning": false
  599. }
  600. },
  601. "vs": {
  602. "b": 2,
  603. "x": 1
  604. }
  605. }` {
  606. t.Error("Unexpected state:", state)
  607. return
  608. }
  609. // Normal step out
  610. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v stepout", tid)); err != nil {
  611. t.Error("Unexpected result:", err)
  612. return
  613. }
  614. tid = waitForThreadSuspension(t)
  615. if state := getDebuggerState(tid, t); state != `{
  616. "breakpoints": {
  617. "ECALEvalTest:10": true
  618. },
  619. "code": "log(\"a exit\")",
  620. "threads": {
  621. "1": {
  622. "callStack": [
  623. "fa(1) (ECALEvalTest:21)"
  624. ],
  625. "threadRunning": false
  626. }
  627. },
  628. "vs": {
  629. "a": 1,
  630. "x": 1
  631. }
  632. }` {
  633. t.Error("Unexpected state:", state)
  634. return
  635. }
  636. // Set a new breakpoint
  637. if _, err = testDebugger.HandleInput("break ECALEvalTest:28"); err != nil {
  638. t.Error("Unexpected result:", err)
  639. return
  640. }
  641. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v Resume", tid)); err != nil {
  642. t.Error("Unexpected result:", err)
  643. return
  644. }
  645. tid = waitForThreadSuspension(t)
  646. if state := getDebuggerState(tid, t); state != `{
  647. "breakpoints": {
  648. "ECALEvalTest:10": true,
  649. "ECALEvalTest:28": true
  650. },
  651. "code": "d(d())",
  652. "threads": {
  653. "1": {
  654. "callStack": [],
  655. "threadRunning": false
  656. }
  657. },
  658. "vs": {
  659. "d": "ecal.function: d (Line 25, Pos 1)",
  660. "e": "ecal.function: e (Line 22, Pos 1)",
  661. "fa": "ecal.function: fa (Line 3, Pos 1)",
  662. "fb": "ecal.function: fb (Line 9, Pos 1)",
  663. "fc": "ecal.function: fc (Line 16, Pos 1)"
  664. }
  665. }` {
  666. t.Error("Unexpected state:", state)
  667. return
  668. }
  669. // Normal step over
  670. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v stepover", tid)); err != nil {
  671. t.Error("Unexpected result:", err)
  672. return
  673. }
  674. tid = waitForThreadSuspension(t)
  675. if state := getDebuggerState(tid, t); state != `{
  676. "breakpoints": {
  677. "ECALEvalTest:10": true,
  678. "ECALEvalTest:28": true
  679. },
  680. "code": "d(d())",
  681. "threads": {
  682. "1": {
  683. "callStack": [],
  684. "threadRunning": false
  685. }
  686. },
  687. "vs": {
  688. "d": "ecal.function: d (Line 25, Pos 1)",
  689. "e": "ecal.function: e (Line 22, Pos 1)",
  690. "fa": "ecal.function: fa (Line 3, Pos 1)",
  691. "fb": "ecal.function: fb (Line 9, Pos 1)",
  692. "fc": "ecal.function: fc (Line 16, Pos 1)"
  693. }
  694. }` {
  695. t.Error("Unexpected state:", state)
  696. return
  697. }
  698. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v stepover", tid)); err != nil {
  699. t.Error("Unexpected result:", err)
  700. return
  701. }
  702. tid = waitForThreadSuspension(t)
  703. if state := getDebuggerState(tid, t); state != `{
  704. "breakpoints": {
  705. "ECALEvalTest:10": true,
  706. "ECALEvalTest:28": true
  707. },
  708. "code": "log(\"finish\")",
  709. "threads": {
  710. "1": {
  711. "callStack": [],
  712. "threadRunning": false
  713. }
  714. },
  715. "vs": {
  716. "d": "ecal.function: d (Line 25, Pos 1)",
  717. "e": "ecal.function: e (Line 22, Pos 1)",
  718. "fa": "ecal.function: fa (Line 3, Pos 1)",
  719. "fb": "ecal.function: fb (Line 9, Pos 1)",
  720. "fc": "ecal.function: fc (Line 16, Pos 1)"
  721. }
  722. }` {
  723. t.Error("Unexpected state:", state)
  724. return
  725. }
  726. // Continue until the end
  727. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v Resume", tid)); err != nil {
  728. t.Error("Unexpected result:", err)
  729. return
  730. }
  731. wg.Wait()
  732. if err != nil || testlogger.String() != `
  733. start
  734. a enter
  735. b enter
  736. c enter
  737. c exit
  738. c enter
  739. c exit
  740. c enter
  741. c exit
  742. b exit
  743. a exit
  744. e()
  745. e()
  746. finish`[1:] {
  747. t.Error("Unexpected result:", testlogger.String(), err)
  748. return
  749. }
  750. }
  751. func TestStepDebuggingWithImport(t *testing.T) {
  752. var err error
  753. defer func() {
  754. testDebugger = nil
  755. }()
  756. testDebugger = NewECALDebugger(nil)
  757. il := &util.MemoryImportLocator{Files: make(map[string]string)}
  758. il.Files["foo/bar"] = `
  759. func myfunc(n) {
  760. if (n <= 1) {
  761. return n
  762. }
  763. n := n + 1
  764. return n
  765. }
  766. `
  767. code := `
  768. a := 1
  769. import "foo/bar" as foobar
  770. log("start")
  771. a := foobar.myfunc(a)
  772. log("finish: ", a)
  773. `
  774. if _, err = testDebugger.HandleInput("break ECALEvalTest:4"); err != nil {
  775. t.Error("Unexpected result:", err)
  776. return
  777. }
  778. if _, err = testDebugger.HandleInput("break foo/bar:4"); err != nil {
  779. t.Error("Unexpected result:", err)
  780. return
  781. }
  782. wg := &sync.WaitGroup{}
  783. wg.Add(1)
  784. go func() {
  785. _, err = UnitTestEvalAndASTAndImport(code, nil, "", il)
  786. if err != nil {
  787. t.Error(err)
  788. }
  789. wg.Done()
  790. }()
  791. tid := waitForThreadSuspension(t)
  792. if state := getDebuggerState(tid, t); state != `{
  793. "breakpoints": {
  794. "ECALEvalTest:4": true,
  795. "foo/bar:4": true
  796. },
  797. "code": "log(\"start\")",
  798. "threads": {
  799. "1": {
  800. "callStack": [],
  801. "threadRunning": false
  802. }
  803. },
  804. "vs": {
  805. "a": 1,
  806. "foobar": {
  807. "myfunc": "ecal.function: myfunc (Line 2, Pos 1)"
  808. }
  809. }
  810. }` {
  811. t.Error("Unexpected state:", state)
  812. return
  813. }
  814. // Resume execution
  815. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v resume", tid)); err != nil {
  816. t.Error("Unexpected result:", err)
  817. return
  818. }
  819. tid = waitForThreadSuspension(t)
  820. if state := getDebuggerState(tid, t); state != `{
  821. "breakpoints": {
  822. "ECALEvalTest:4": true,
  823. "foo/bar:4": true
  824. },
  825. "code": "return n",
  826. "threads": {
  827. "1": {
  828. "callStack": [
  829. "myfunc(a) (ECALEvalTest:5)"
  830. ],
  831. "threadRunning": false
  832. }
  833. },
  834. "vs": {
  835. "n": 1
  836. }
  837. }` {
  838. t.Error("Unexpected state:", state)
  839. return
  840. }
  841. // Continue until the end
  842. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v Resume", tid)); err != nil {
  843. t.Error("Unexpected result:", err)
  844. return
  845. }
  846. wg.Wait()
  847. if err != nil || testlogger.String() != `
  848. start
  849. finish: 1`[1:] {
  850. t.Error("Unexpected result:", testlogger.String(), err)
  851. return
  852. }
  853. }
  854. func getDebuggerState(tid uint64, t *testing.T) string {
  855. out, err := testDebugger.HandleInput(fmt.Sprintf("status"))
  856. if err != nil {
  857. t.Error(err)
  858. return ""
  859. }
  860. outMap := out.(map[string]interface{})
  861. out, err = testDebugger.HandleInput(fmt.Sprintf("describe %v", tid))
  862. if err != nil {
  863. t.Error(err)
  864. return ""
  865. }
  866. outMap2 := out.(map[string]interface{})
  867. outMap["vs"] = outMap2["vs"]
  868. outMap["code"] = outMap2["code"]
  869. delete(outMap, "breakonstart")
  870. delete(outMap, "sources")
  871. outBytes, _ := json.MarshalIndent(outMap, "", " ")
  872. return string(outBytes)
  873. }
  874. func TestInjectAndExtractDebugging(t *testing.T) {
  875. var err error
  876. defer func() {
  877. testDebugger = nil
  878. }()
  879. vs := scope.NewScope(scope.GlobalScope)
  880. testDebugger = NewECALDebugger(vs)
  881. if _, err = testDebugger.HandleInput("break ECALEvalTest:5"); err != nil {
  882. t.Error("Unexpected result:", err)
  883. return
  884. }
  885. wg := &sync.WaitGroup{}
  886. wg.Add(1)
  887. go func() {
  888. _, err = UnitTestEval(`
  889. b := 49
  890. func myfunc() {
  891. a := 56
  892. log("test2 a=", a)
  893. }
  894. log("test1")
  895. myfunc()
  896. log("test3 b=", b)
  897. `, vs)
  898. if err != nil {
  899. t.Error(err)
  900. }
  901. wg.Done()
  902. }()
  903. tid := waitForThreadSuspension(t)
  904. out, err := testDebugger.HandleInput(fmt.Sprintf("status"))
  905. outBytes, _ := json.MarshalIndent(out, "", " ")
  906. outString := string(outBytes)
  907. if err != nil || outString != `{
  908. "breakonstart": false,
  909. "breakpoints": {
  910. "ECALEvalTest:5": true
  911. },
  912. "sources": [
  913. "ECALEvalTest"
  914. ],
  915. "threads": {
  916. "1": {
  917. "callStack": [
  918. "myfunc() (ECALEvalTest:8)"
  919. ],
  920. "threadRunning": false
  921. }
  922. }
  923. }` {
  924. t.Error("Unexpected result:", outString, err)
  925. return
  926. }
  927. out, err = testDebugger.HandleInput(fmt.Sprintf("describe %v", tid))
  928. outBytes, _ = json.MarshalIndent(out, "", " ")
  929. outString = string(outBytes)
  930. if err != nil || outString != `{
  931. "callStack": [
  932. "myfunc() (ECALEvalTest:8)"
  933. ],
  934. "callStackNode": [
  935. {
  936. "allowescapes": false,
  937. "children": [
  938. {
  939. "name": "funccall"
  940. }
  941. ],
  942. "id": 7,
  943. "identifier": true,
  944. "line": 8,
  945. "linepos": 1,
  946. "name": "identifier",
  947. "pos": 69,
  948. "source": "ECALEvalTest",
  949. "value": "myfunc"
  950. }
  951. ],
  952. "callStackVsSnapshot": [
  953. {
  954. "b": 49,
  955. "myfunc": "ecal.function: myfunc (Line 3, Pos 1)"
  956. }
  957. ],
  958. "callStackVsSnapshotGlobal": [
  959. {
  960. "b": 49,
  961. "myfunc": "ecal.function: myfunc (Line 3, Pos 1)"
  962. }
  963. ],
  964. "code": "log(\"test2 a=\", a)",
  965. "node": {
  966. "allowescapes": false,
  967. "children": [
  968. {
  969. "children": [
  970. {
  971. "allowescapes": true,
  972. "id": 5,
  973. "identifier": false,
  974. "line": 5,
  975. "linepos": 6,
  976. "name": "string",
  977. "pos": 39,
  978. "source": "ECALEvalTest",
  979. "value": "test2 a="
  980. },
  981. {
  982. "allowescapes": false,
  983. "id": 7,
  984. "identifier": true,
  985. "line": 5,
  986. "linepos": 18,
  987. "name": "identifier",
  988. "pos": 51,
  989. "source": "ECALEvalTest",
  990. "value": "a"
  991. }
  992. ],
  993. "name": "funccall"
  994. }
  995. ],
  996. "id": 7,
  997. "identifier": true,
  998. "line": 5,
  999. "linepos": 2,
  1000. "name": "identifier",
  1001. "pos": 35,
  1002. "source": "ECALEvalTest",
  1003. "value": "log"
  1004. },
  1005. "threadRunning": false,
  1006. "vs": {
  1007. "a": 56
  1008. },
  1009. "vsGlobal": {
  1010. "b": 49,
  1011. "myfunc": "ecal.function: myfunc (Line 3, Pos 1)"
  1012. }
  1013. }` {
  1014. t.Error("Unexpected result:", outString, err)
  1015. return
  1016. }
  1017. if _, err := testDebugger.HandleInput(fmt.Sprintf("extract %v a foo", tid)); err != nil {
  1018. t.Error("Unexpected result:", err)
  1019. return
  1020. }
  1021. if _, err := testDebugger.HandleInput(fmt.Sprintf("inject %v a x := b + 1; x", tid)); err != nil {
  1022. t.Error("Unexpected result:", err)
  1023. return
  1024. }
  1025. // Continue until the end
  1026. if _, err := testDebugger.HandleInput(fmt.Sprintf("cont %v Resume", tid)); err != nil {
  1027. t.Error("Unexpected result:", err)
  1028. return
  1029. }
  1030. wg.Wait()
  1031. if vs.String() != `
  1032. GlobalScope {
  1033. b (float64) : 49
  1034. foo (float64) : 56
  1035. myfunc (*interpreter.function) : ecal.function: myfunc (Line 3, Pos 1)
  1036. }`[1:] {
  1037. t.Error("Unexpected result:", vs.String(), err)
  1038. return
  1039. }
  1040. if testlogger.String() != `
  1041. test1
  1042. test2 a=50
  1043. test3 b=49`[1:] {
  1044. t.Error("Unexpected result:", testlogger.String(), err)
  1045. return
  1046. }
  1047. }
  1048. func TestSimpleStacktrace(t *testing.T) {
  1049. res, err := UnitTestEval(`
  1050. func a() {
  1051. b()
  1052. }
  1053. func b() {
  1054. c()
  1055. }
  1056. func c() {
  1057. raise("testerror")
  1058. }
  1059. a()
  1060. `, nil)
  1061. if err == nil {
  1062. t.Error("Unexpected result: ", res, err)
  1063. return
  1064. }
  1065. ss := err.(util.TraceableRuntimeError)
  1066. if out := fmt.Sprintf("%v\n %v", err.Error(), strings.Join(ss.GetTraceString(), "\n ")); out != `
  1067. ECAL error in ECALTestRuntime: testerror () (Line:9 Pos:2)
  1068. raise("testerror") (ECALEvalTest:9)
  1069. c() (ECALEvalTest:6)
  1070. b() (ECALEvalTest:3)
  1071. a() (ECALEvalTest:11)`[1:] {
  1072. t.Error("Unexpected output:", out)
  1073. return
  1074. }
  1075. }
  1076. func TestDebugDocstrings(t *testing.T) {
  1077. for k, v := range DebugCommandsMap {
  1078. if res := v.DocString(); res == "" {
  1079. t.Error("Docstring missing for ", k)
  1080. return
  1081. }
  1082. }
  1083. }
  1084. func TestDebuggingErrorInput(t *testing.T) {
  1085. var err error
  1086. defer func() {
  1087. testDebugger = nil
  1088. }()
  1089. vs := scope.NewScope(scope.GlobalScope)
  1090. testDebugger = NewECALDebugger(vs)
  1091. if _, err = testDebugger.HandleInput("uuu"); err == nil ||
  1092. err.Error() != `Unknown command: uuu` {
  1093. t.Error("Unexpected result:", err)
  1094. return
  1095. }
  1096. if _, err = testDebugger.HandleInput("break"); err == nil ||
  1097. err.Error() != `Need a break target (<source>:<line>) as first parameter` {
  1098. t.Error("Unexpected result:", err)
  1099. return
  1100. }
  1101. if _, err = testDebugger.HandleInput("break foo"); err == nil ||
  1102. err.Error() != `Invalid break target - should be <source>:<line>` {
  1103. t.Error("Unexpected result:", err)
  1104. return
  1105. }
  1106. if _, err = testDebugger.HandleInput("rmbreak"); err == nil ||
  1107. err.Error() != `Need a break target (<source>[:<line>]) as first parameter` {
  1108. t.Error("Unexpected result:", err)
  1109. return
  1110. }
  1111. if _, err = testDebugger.HandleInput("disablebreak"); err == nil ||
  1112. err.Error() != `Need a break target (<source>:<line>) as first parameter` {
  1113. t.Error("Unexpected result:", err)
  1114. return
  1115. }
  1116. if _, err = testDebugger.HandleInput("disablebreak foo"); err == nil ||
  1117. err.Error() != `Invalid break target - should be <source>:<line>` {
  1118. t.Error("Unexpected result:", err)
  1119. return
  1120. }
  1121. if _, err = testDebugger.HandleInput("break ECALEvalTest:3"); err != nil {
  1122. t.Error("Unexpected result:", err)
  1123. return
  1124. }
  1125. wg := &sync.WaitGroup{}
  1126. wg.Add(1)
  1127. go func() {
  1128. _, err = UnitTestEval(`
  1129. a:=1
  1130. log("test1")
  1131. log("test2")
  1132. log("test3")
  1133. `, vs)
  1134. if err != nil {
  1135. t.Error(err)
  1136. }
  1137. wg.Done()
  1138. }()
  1139. tid := waitForThreadSuspension(t)
  1140. out, err := testDebugger.HandleInput(fmt.Sprintf("status"))
  1141. outBytes, _ := json.MarshalIndent(out, "", " ")
  1142. outString := string(outBytes)
  1143. if err != nil || outString != `{
  1144. "breakonstart": false,
  1145. "breakpoints": {
  1146. "ECALEvalTest:3": true
  1147. },
  1148. "sources": [
  1149. "ECALEvalTest"
  1150. ],
  1151. "threads": {
  1152. "1": {
  1153. "callStack": [],
  1154. "threadRunning": false
  1155. }
  1156. }
  1157. }` {
  1158. t.Error("Unexpected result:", outString, err)
  1159. return
  1160. }
  1161. if _, err = testDebugger.HandleInput("cont foo"); err == nil ||
  1162. err.Error() != `Need a thread ID and a command Resume, StepIn, StepOver or StepOut` {
  1163. t.Error("Unexpected result:", err)
  1164. return
  1165. }
  1166. if _, err = testDebugger.HandleInput("cont foo bar"); err == nil ||
  1167. err.Error() != `Parameter 1 should be a number` {
  1168. t.Error("Unexpected result:", err)
  1169. return
  1170. }
  1171. if _, err = testDebugger.HandleInput("cont 99 bar"); err == nil ||
  1172. err.Error() != `Invalid command bar - must be resume, stepin, stepover or stepout` {
  1173. t.Error("Unexpected result:", err)
  1174. return
  1175. }
  1176. if _, err = testDebugger.HandleInput("describe"); err == nil ||
  1177. err.Error() != `Need a thread ID` {
  1178. t.Error("Unexpected result:", err)
  1179. return
  1180. }
  1181. if _, err = testDebugger.HandleInput(fmt.Sprintf("extract %v foo", tid)); err == nil ||
  1182. err.Error() != `Need a thread ID, a variable name and a destination variable name` {
  1183. t.Error("Unexpected result:", err)
  1184. return
  1185. }
  1186. if _, err = testDebugger.HandleInput(fmt.Sprintf("extract %v _foo foo", tid)); err == nil ||
  1187. err.Error() != `Variable names may only contain [a-zA-Z] and [a-zA-Z0-9] from the second character` {
  1188. t.Error("Unexpected result:", err)
  1189. return
  1190. }
  1191. if _, err = testDebugger.HandleInput(fmt.Sprintf("extract %v foo foo", tid)); err == nil ||
  1192. err.Error() != `No such value foo` {
  1193. t.Error("Unexpected result:", err)
  1194. return
  1195. }
  1196. if _, err = testDebugger.HandleInput(fmt.Sprintf("inject %v", tid)); err == nil ||
  1197. err.Error() != `Need a thread ID, a variable name and an expression` {
  1198. t.Error("Unexpected result:", err)
  1199. return
  1200. }
  1201. testDebugger.(*ecalDebugger).globalScope = nil
  1202. if _, err = testDebugger.HandleInput(fmt.Sprintf("extract %v foo foo", tid)); err == nil ||
  1203. err.Error() != `Cannot access global scope` {
  1204. t.Error("Unexpected result:", err)
  1205. return
  1206. }
  1207. if _, err = testDebugger.HandleInput(fmt.Sprintf("inject %v foo foo", tid)); err == nil ||
  1208. err.Error() != `Cannot access global scope` {
  1209. t.Error("Unexpected result:", err)
  1210. return
  1211. }
  1212. }