@dodona/papyros 3.0.2 → 4.0.0-beta.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (233) hide show
  1. package/README.md +133 -72
  2. package/dist/Components.d.ts +4 -0
  3. package/dist/Components.js +5 -0
  4. package/dist/Components.js.map +1 -0
  5. package/dist/Papyros.d.ts +18 -127
  6. package/dist/Papyros.js +39 -211
  7. package/dist/Papyros.js.map +1 -1
  8. package/dist/{Backend.d.ts → backend/Backend.d.ts} +3 -12
  9. package/dist/{Backend.js → backend/Backend.js} +4 -17
  10. package/dist/backend/Backend.js.map +1 -0
  11. package/dist/{workers → backend/workers}/javascript/JavaScriptWorker.js +1 -1
  12. package/dist/backend/workers/javascript/JavaScriptWorker.js.map +1 -0
  13. package/dist/backend/workers/javascript/worker.js.map +1 -0
  14. package/dist/{workers → backend/workers}/python/PythonWorker.d.ts +2 -2
  15. package/dist/{workers → backend/workers}/python/PythonWorker.js +2 -2
  16. package/dist/backend/workers/python/PythonWorker.js.map +1 -0
  17. package/dist/backend/workers/python/python_package.tar.gz.load_by_url +0 -0
  18. package/dist/backend/workers/python/worker.js.map +1 -0
  19. package/dist/communication/BackendEvent.js.map +1 -0
  20. package/dist/{BackendEventQueue.d.ts → communication/BackendEventQueue.d.ts} +1 -36
  21. package/dist/{BackendEventQueue.js → communication/BackendEventQueue.js} +2 -45
  22. package/dist/communication/BackendEventQueue.js.map +1 -0
  23. package/dist/{BackendManager.d.ts → communication/BackendManager.d.ts} +2 -2
  24. package/dist/{BackendManager.js → communication/BackendManager.js} +4 -4
  25. package/dist/communication/BackendManager.js.map +1 -0
  26. package/dist/communication/InputServiceWorker.js +37 -0
  27. package/dist/communication/InputServiceWorker.js.map +1 -0
  28. package/dist/communication/InputWorker.js.map +1 -0
  29. package/dist/frontend/components/CodeRunner.d.ts +9 -0
  30. package/dist/frontend/components/CodeRunner.js +60 -0
  31. package/dist/frontend/components/CodeRunner.js.map +1 -0
  32. package/dist/frontend/components/Debugger.d.ts +7 -0
  33. package/dist/frontend/components/Debugger.js +62 -0
  34. package/dist/frontend/components/Debugger.js.map +1 -0
  35. package/dist/frontend/components/Input.d.ts +17 -0
  36. package/dist/frontend/components/Input.js +73 -0
  37. package/dist/frontend/components/Input.js.map +1 -0
  38. package/dist/frontend/components/Output.d.ts +14 -0
  39. package/dist/frontend/components/Output.js +154 -0
  40. package/dist/frontend/components/Output.js.map +1 -0
  41. package/dist/frontend/components/PapyrosElement.d.ts +8 -0
  42. package/dist/frontend/components/PapyrosElement.js +24 -0
  43. package/dist/frontend/components/PapyrosElement.js.map +1 -0
  44. package/dist/frontend/components/app/App.d.ts +24 -0
  45. package/dist/frontend/components/app/App.js +204 -0
  46. package/dist/frontend/components/app/App.js.map +1 -0
  47. package/dist/frontend/components/app/ExamplePicker.d.ts +7 -0
  48. package/dist/frontend/components/app/ExamplePicker.js +35 -0
  49. package/dist/frontend/components/app/ExamplePicker.js.map +1 -0
  50. package/dist/frontend/components/app/LanguagePicker.d.ts +7 -0
  51. package/dist/frontend/components/app/LanguagePicker.js +35 -0
  52. package/dist/frontend/components/app/LanguagePicker.js.map +1 -0
  53. package/dist/frontend/components/app/ProgrammingLanguagePicker.d.ts +7 -0
  54. package/dist/frontend/components/app/ProgrammingLanguagePicker.js +39 -0
  55. package/dist/frontend/components/app/ProgrammingLanguagePicker.js.map +1 -0
  56. package/dist/frontend/components/app/examples/JavaScriptExamples.js.map +1 -0
  57. package/dist/frontend/components/app/examples/PythonExamples.js.map +1 -0
  58. package/dist/frontend/components/app/themes/ThemePicker.d.ts +11 -0
  59. package/dist/frontend/components/app/themes/ThemePicker.js +47 -0
  60. package/dist/frontend/components/app/themes/ThemePicker.js.map +1 -0
  61. package/dist/frontend/components/app/themes/ThemedButton.d.ts +9 -0
  62. package/dist/frontend/components/app/themes/ThemedButton.js +43 -0
  63. package/dist/frontend/components/app/themes/ThemedButton.js.map +1 -0
  64. package/dist/frontend/components/code_mirror/BatchInputEditor.d.ts +8 -0
  65. package/dist/frontend/components/code_mirror/BatchInputEditor.js +54 -0
  66. package/dist/frontend/components/code_mirror/BatchInputEditor.js.map +1 -0
  67. package/dist/frontend/components/code_mirror/CodeEditor.d.ts +24 -0
  68. package/dist/frontend/components/code_mirror/CodeEditor.js +206 -0
  69. package/dist/frontend/components/code_mirror/CodeEditor.js.map +1 -0
  70. package/dist/frontend/components/code_mirror/CodeMirrorEditor.d.ts +20 -0
  71. package/dist/frontend/components/code_mirror/CodeMirrorEditor.js +99 -0
  72. package/dist/frontend/components/code_mirror/CodeMirrorEditor.js.map +1 -0
  73. package/dist/frontend/components/code_mirror/Extensions.d.ts +15 -0
  74. package/dist/frontend/components/code_mirror/Extensions.js +169 -0
  75. package/dist/frontend/components/code_mirror/Extensions.js.map +1 -0
  76. package/dist/frontend/components/code_mirror/MaterialTheme.d.ts +5 -0
  77. package/dist/frontend/components/code_mirror/MaterialTheme.js +109 -0
  78. package/dist/frontend/components/code_mirror/MaterialTheme.js.map +1 -0
  79. package/dist/frontend/components/code_runner/ButtonLint.d.ts +9 -0
  80. package/dist/frontend/components/code_runner/ButtonLint.js +76 -0
  81. package/dist/frontend/components/code_runner/ButtonLint.js.map +1 -0
  82. package/dist/frontend/components/code_runner/Code.d.ts +7 -0
  83. package/dist/frontend/components/code_runner/Code.js +46 -0
  84. package/dist/frontend/components/code_runner/Code.js.map +1 -0
  85. package/dist/frontend/components/code_runner/RunState.d.ts +7 -0
  86. package/dist/frontend/components/code_runner/RunState.js +41 -0
  87. package/dist/frontend/components/code_runner/RunState.js.map +1 -0
  88. package/dist/frontend/components/input/BatchInput.d.ts +19 -0
  89. package/dist/frontend/components/input/BatchInput.js +92 -0
  90. package/dist/frontend/components/input/BatchInput.js.map +1 -0
  91. package/dist/frontend/components/input/InteractiveInput.d.ts +13 -0
  92. package/dist/frontend/components/input/InteractiveInput.js +73 -0
  93. package/dist/frontend/components/input/InteractiveInput.js.map +1 -0
  94. package/dist/frontend/state/Constants.d.ts +38 -0
  95. package/dist/frontend/state/Constants.js +108 -0
  96. package/dist/frontend/state/Constants.js.map +1 -0
  97. package/dist/frontend/state/Debugger.d.ts +23 -0
  98. package/dist/frontend/state/Debugger.js +80 -0
  99. package/dist/frontend/state/Debugger.js.map +1 -0
  100. package/dist/frontend/state/Examples.d.ts +11 -0
  101. package/dist/frontend/state/Examples.js +36 -0
  102. package/dist/frontend/state/Examples.js.map +1 -0
  103. package/dist/frontend/state/I18n.d.ts +16 -0
  104. package/dist/frontend/state/I18n.js +75 -0
  105. package/dist/frontend/state/I18n.js.map +1 -0
  106. package/dist/frontend/state/InputOutput.d.ts +55 -0
  107. package/dist/frontend/state/InputOutput.js +93 -0
  108. package/dist/frontend/state/InputOutput.js.map +1 -0
  109. package/dist/frontend/state/Runner.d.ts +118 -0
  110. package/dist/frontend/state/Runner.js +334 -0
  111. package/dist/frontend/state/Runner.js.map +1 -0
  112. package/dist/frontend/state/Test.d.ts +11 -0
  113. package/dist/frontend/state/Test.js +59 -0
  114. package/dist/frontend/state/Test.js.map +1 -0
  115. package/dist/frontend/state/Translations.d.ts +178 -0
  116. package/dist/frontend/state/Translations.js +188 -0
  117. package/dist/frontend/state/Translations.js.map +1 -0
  118. package/dist/frontend/state/themes/blue-dark.d.ts +2 -0
  119. package/dist/frontend/state/themes/blue-dark.js +55 -0
  120. package/dist/frontend/state/themes/blue-dark.js.map +1 -0
  121. package/dist/frontend/state/themes/blue-light.d.ts +2 -0
  122. package/dist/frontend/state/themes/blue-light.js +55 -0
  123. package/dist/frontend/state/themes/blue-light.js.map +1 -0
  124. package/dist/frontend/state/themes/green-dark.d.ts +2 -0
  125. package/dist/frontend/state/themes/green-dark.js +55 -0
  126. package/dist/frontend/state/themes/green-dark.js.map +1 -0
  127. package/dist/frontend/state/themes/green-light.d.ts +2 -0
  128. package/dist/frontend/state/themes/green-light.js +55 -0
  129. package/dist/frontend/state/themes/green-light.js.map +1 -0
  130. package/dist/frontend/state/themes/red-dark.d.ts +2 -0
  131. package/dist/frontend/state/themes/red-dark.js +55 -0
  132. package/dist/frontend/state/themes/red-dark.js.map +1 -0
  133. package/dist/frontend/state/themes/red-light.d.ts +2 -0
  134. package/dist/frontend/state/themes/red-light.js +55 -0
  135. package/dist/frontend/state/themes/red-light.js.map +1 -0
  136. package/dist/util/Util.d.ts +1 -4
  137. package/dist/util/Util.js +7 -8
  138. package/dist/util/Util.js.map +1 -1
  139. package/package.json +13 -21
  140. package/dist/App.d.ts +0 -1
  141. package/dist/App.js +0 -76
  142. package/dist/App.js.map +0 -1
  143. package/dist/Backend.js.map +0 -1
  144. package/dist/BackendEvent.js.map +0 -1
  145. package/dist/BackendEventQueue.js.map +0 -1
  146. package/dist/BackendManager.js.map +0 -1
  147. package/dist/CodeRunner.d.ts +0 -188
  148. package/dist/CodeRunner.js +0 -548
  149. package/dist/CodeRunner.js.map +0 -1
  150. package/dist/Constants.d.ts +0 -31
  151. package/dist/Constants.js +0 -36
  152. package/dist/Constants.js.map +0 -1
  153. package/dist/Debugger.d.ts +0 -18
  154. package/dist/Debugger.js +0 -86
  155. package/dist/Debugger.js.map +0 -1
  156. package/dist/InputManager.d.ts +0 -38
  157. package/dist/InputManager.js +0 -101
  158. package/dist/InputManager.js.map +0 -1
  159. package/dist/InputServiceWorker.js.map +0 -1
  160. package/dist/Library.d.ts +0 -12
  161. package/dist/Library.js +0 -9
  162. package/dist/Library.js.map +0 -1
  163. package/dist/OutputManager.d.ts +0 -90
  164. package/dist/OutputManager.js +0 -172
  165. package/dist/OutputManager.js.map +0 -1
  166. package/dist/Papyros.css +0 -657
  167. package/dist/Translations.d.ts +0 -180
  168. package/dist/Translations.js +0 -191
  169. package/dist/Translations.js.map +0 -1
  170. package/dist/editor/BatchInputEditor.d.ts +0 -41
  171. package/dist/editor/BatchInputEditor.js +0 -80
  172. package/dist/editor/BatchInputEditor.js.map +0 -1
  173. package/dist/editor/CodeEditor.d.ts +0 -81
  174. package/dist/editor/CodeEditor.js +0 -213
  175. package/dist/editor/CodeEditor.js.map +0 -1
  176. package/dist/editor/CodeMirrorEditor.d.ts +0 -133
  177. package/dist/editor/CodeMirrorEditor.js +0 -169
  178. package/dist/editor/CodeMirrorEditor.js.map +0 -1
  179. package/dist/editor/DarkTheme.d.ts +0 -1
  180. package/dist/editor/DarkTheme.js +0 -72
  181. package/dist/editor/DarkTheme.js.map +0 -1
  182. package/dist/editor/DebugExtension.d.ts +0 -11
  183. package/dist/editor/DebugExtension.js +0 -70
  184. package/dist/editor/DebugExtension.js.map +0 -1
  185. package/dist/editor/Gutters.d.ts +0 -109
  186. package/dist/editor/Gutters.js +0 -201
  187. package/dist/editor/Gutters.js.map +0 -1
  188. package/dist/editor/LineEffectExtension.d.ts +0 -13
  189. package/dist/editor/LineEffectExtension.js +0 -48
  190. package/dist/editor/LineEffectExtension.js.map +0 -1
  191. package/dist/editor/TestCodeExtension.d.ts +0 -21
  192. package/dist/editor/TestCodeExtension.js +0 -134
  193. package/dist/editor/TestCodeExtension.js.map +0 -1
  194. package/dist/examples/Examples.d.ts +0 -6
  195. package/dist/examples/Examples.js +0 -23
  196. package/dist/examples/Examples.js.map +0 -1
  197. package/dist/examples/JavaScriptExamples.js.map +0 -1
  198. package/dist/examples/PythonExamples.js.map +0 -1
  199. package/dist/input/BatchInputHandler.d.ts +0 -55
  200. package/dist/input/BatchInputHandler.js +0 -131
  201. package/dist/input/BatchInputHandler.js.map +0 -1
  202. package/dist/input/InteractiveInputHandler.d.ts +0 -27
  203. package/dist/input/InteractiveInputHandler.js +0 -89
  204. package/dist/input/InteractiveInputHandler.js.map +0 -1
  205. package/dist/input/UserInputHandler.d.ts +0 -68
  206. package/dist/input/UserInputHandler.js +0 -39
  207. package/dist/input/UserInputHandler.js.map +0 -1
  208. package/dist/util/HTMLShapes.d.ts +0 -15
  209. package/dist/util/HTMLShapes.js +0 -25
  210. package/dist/util/HTMLShapes.js.map +0 -1
  211. package/dist/util/Rendering.d.ts +0 -120
  212. package/dist/util/Rendering.js +0 -142
  213. package/dist/util/Rendering.js.map +0 -1
  214. package/dist/workers/input/InputWorker.js.map +0 -1
  215. package/dist/workers/javascript/JavaScriptWorker.js.map +0 -1
  216. package/dist/workers/javascript/worker.js.map +0 -1
  217. package/dist/workers/python/PythonWorker.js.map +0 -1
  218. package/dist/workers/python/python_package.tar.gz.load_by_url +0 -0
  219. package/dist/workers/python/worker.js.map +0 -1
  220. /package/dist/{workers → backend/workers}/javascript/JavaScriptWorker.d.ts +0 -0
  221. /package/dist/{workers → backend/workers}/javascript/worker.d.ts +0 -0
  222. /package/dist/{workers → backend/workers}/javascript/worker.js +0 -0
  223. /package/dist/{workers → backend/workers}/python/worker.d.ts +0 -0
  224. /package/dist/{workers → backend/workers}/python/worker.js +0 -0
  225. /package/dist/{BackendEvent.d.ts → communication/BackendEvent.d.ts} +0 -0
  226. /package/dist/{BackendEvent.js → communication/BackendEvent.js} +0 -0
  227. /package/dist/{InputServiceWorker.d.ts → communication/InputServiceWorker.d.ts} +0 -0
  228. /package/dist/{workers/input → communication}/InputWorker.d.ts +0 -0
  229. /package/dist/{workers/input → communication}/InputWorker.js +0 -0
  230. /package/dist/{examples → frontend/components/app/examples}/JavaScriptExamples.d.ts +0 -0
  231. /package/dist/{examples → frontend/components/app/examples}/JavaScriptExamples.js +0 -0
  232. /package/dist/{examples → frontend/components/app/examples}/PythonExamples.d.ts +0 -0
  233. /package/dist/{examples → frontend/components/app/examples}/PythonExamples.js +0 -0
@@ -0,0 +1,334 @@
1
+ var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
2
+ var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
3
+ if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
4
+ else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
5
+ return c > 3 && r && Object.defineProperty(target, key, r), r;
6
+ };
7
+ var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
8
+ function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
9
+ return new (P || (P = Promise))(function (resolve, reject) {
10
+ function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
11
+ function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
12
+ function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
13
+ step((generator = generator.apply(thisArg, _arguments || [])).next());
14
+ });
15
+ };
16
+ import { proxy } from "comlink";
17
+ import { RunMode } from "../../backend/Backend";
18
+ import { BackendEventType } from "../../communication/BackendEvent";
19
+ import { BackendManager } from "../../communication/BackendManager";
20
+ import { parseData } from "../../util/Util";
21
+ import { State, stateProperty } from "@dodona/lit-state";
22
+ import { ProgrammingLanguage } from "../../ProgrammingLanguage";
23
+ /**
24
+ * Enum representing the possible states while processing code
25
+ */
26
+ export var RunState;
27
+ (function (RunState) {
28
+ RunState["Loading"] = "loading";
29
+ RunState["Running"] = "running";
30
+ RunState["AwaitingInput"] = "awaiting_input";
31
+ RunState["Stopping"] = "stopping";
32
+ RunState["Ready"] = "ready";
33
+ })(RunState || (RunState = {}));
34
+ /**
35
+ * Helper component to manage and visualize the current RunState
36
+ */
37
+ export class Runner extends State {
38
+ get programmingLanguage() { return this._programmingLanguage; }
39
+ set programmingLanguage(value) {
40
+ if (this._programmingLanguage !== value) {
41
+ this._programmingLanguage = value;
42
+ this.launch();
43
+ }
44
+ }
45
+ get code() {
46
+ return this._code;
47
+ }
48
+ set code(value) {
49
+ if (this._code !== value) {
50
+ this._code = value;
51
+ this.updateRunModes();
52
+ }
53
+ }
54
+ /**
55
+ * Async getter for the linting diagnostics of the current code
56
+ */
57
+ lintSource() {
58
+ return __awaiter(this, void 0, void 0, function* () {
59
+ const backend = yield this.backend;
60
+ const proxy = backend.workerProxy;
61
+ if (!proxy) {
62
+ return [];
63
+ }
64
+ return yield proxy.lintCode(this.code);
65
+ });
66
+ }
67
+ constructor(papyros) {
68
+ super();
69
+ /**
70
+ * The currently used programming language
71
+ */
72
+ this._programmingLanguage = ProgrammingLanguage.Python;
73
+ /**
74
+ * Current state of the program
75
+ */
76
+ this.state = RunState.Ready;
77
+ /**
78
+ * An explanatory message about the current state
79
+ */
80
+ this.stateMessage = "";
81
+ /**
82
+ * Previous state to restore when loading is done
83
+ */
84
+ this.previousState = RunState.Ready;
85
+ /**
86
+ * Array of packages that are being installed
87
+ */
88
+ this.loadingPackages = [];
89
+ /**
90
+ * Time at which the setState call occurred
91
+ */
92
+ this.runStartTime = new Date().getTime();
93
+ /**
94
+ * The code we are working with
95
+ */
96
+ this._code = "";
97
+ /**
98
+ * available run modes for the current code
99
+ */
100
+ this.runModes = [RunMode.Debug];
101
+ this.papyros = papyros;
102
+ this.backend = Promise.resolve({});
103
+ BackendManager.subscribe(BackendEventType.Input, () => this.setState(RunState.AwaitingInput));
104
+ BackendManager.subscribe(BackendEventType.Loading, e => this.onLoad(e));
105
+ BackendManager.subscribe(BackendEventType.Start, e => this.onStart(e));
106
+ BackendManager.subscribe(BackendEventType.Stop, () => this.stop());
107
+ }
108
+ /**
109
+ * Stops the current run and resets the state of the program
110
+ * Regular and debug output is cleared
111
+ * @return {Promise<void>} Returns when the program has been reset
112
+ */
113
+ reset() {
114
+ return __awaiter(this, void 0, void 0, function* () {
115
+ if (![RunState.Ready, RunState.Loading].includes(this.state)) {
116
+ yield this.stop();
117
+ }
118
+ this.papyros.debugger.active = false;
119
+ });
120
+ }
121
+ /**
122
+ * Start the backend to enable running code
123
+ */
124
+ launch() {
125
+ return __awaiter(this, void 0, void 0, function* () {
126
+ this.setState(RunState.Loading);
127
+ const backend = BackendManager.getBackend(this.programmingLanguage);
128
+ // Use a Promise to immediately enable running while downloading
129
+ // eslint-disable-next-line no-async-promise-executor
130
+ this.backend = new Promise((resolve) => __awaiter(this, void 0, void 0, function* () {
131
+ const workerProxy = backend.workerProxy;
132
+ // Allow passing messages between worker and main thread
133
+ yield workerProxy.launch(proxy((e) => BackendManager.publish(e)));
134
+ this.updateRunModes();
135
+ return resolve(backend);
136
+ }));
137
+ this.setState(RunState.Ready);
138
+ });
139
+ }
140
+ /**
141
+ * Execute the code in the editor
142
+ * @param {RunMode} mode The mode to run with
143
+ * @return {Promise<void>} Promise of running the code
144
+ */
145
+ start(mode) {
146
+ return __awaiter(this, void 0, void 0, function* () {
147
+ this.papyros.debugger.active = mode === RunMode.Debug;
148
+ // Setup pre-run
149
+ this.setState(RunState.Loading);
150
+ // Ensure we go back to Loading after finishing any remaining installs
151
+ this.previousState = RunState.Loading;
152
+ BackendManager.publish({
153
+ type: BackendEventType.Start,
154
+ data: "StartClicked", contentType: "text/plain"
155
+ });
156
+ let interrupted = false;
157
+ let terminated = false;
158
+ const backend = yield this.backend;
159
+ this.runStartTime = new Date().getTime();
160
+ try {
161
+ yield backend.call(backend.workerProxy.runCode, this.code, mode);
162
+ }
163
+ catch (error) {
164
+ if (error.type === "InterruptError") {
165
+ // Error signaling forceful interrupt
166
+ interrupted = true;
167
+ terminated = true;
168
+ }
169
+ else {
170
+ this.papyros.io.logError(error);
171
+ BackendManager.publish({
172
+ type: BackendEventType.End,
173
+ data: "RunError", contentType: "text/plain"
174
+ });
175
+ }
176
+ }
177
+ finally {
178
+ if (this.state === RunState.Stopping) {
179
+ // Was interrupted, End message already published
180
+ interrupted = true;
181
+ }
182
+ if (terminated) {
183
+ yield this.launch();
184
+ }
185
+ this.setState(RunState.Ready, this.papyros.i18n.t(interrupted ? "Papyros.interrupted" : "Papyros.finished", { time: (new Date().getTime() - this.runStartTime) / 1000 }));
186
+ }
187
+ });
188
+ }
189
+ /**
190
+ * Interrupt the currently running code
191
+ * @return {Promise<void>} Returns when the code has been interrupted
192
+ */
193
+ stop() {
194
+ return __awaiter(this, void 0, void 0, function* () {
195
+ this.setState(RunState.Stopping);
196
+ BackendManager.publish({
197
+ type: BackendEventType.End,
198
+ data: "User cancelled run", contentType: "text/plain"
199
+ });
200
+ const backend = yield this.backend;
201
+ yield backend.interrupt();
202
+ const startTime = new Date().getTime();
203
+ while (this.state === RunState.Stopping && (new Date().getTime() - startTime) < 5000) {
204
+ yield new Promise(resolve => setTimeout(resolve, 100));
205
+ }
206
+ if (this.state === RunState.Stopping) {
207
+ console.warn("Deadlock while stopping, restarting backend");
208
+ yield this.launch();
209
+ this.setState(RunState.Ready, this.papyros.i18n.t("Papyros.interrupted", { time: (new Date().getTime() - this.runStartTime) / 1000 }));
210
+ }
211
+ });
212
+ }
213
+ provideInput(input) {
214
+ return __awaiter(this, void 0, void 0, function* () {
215
+ const backend = yield this.backend;
216
+ yield backend.writeMessage(input);
217
+ this.setState(RunState.Running);
218
+ });
219
+ }
220
+ provideFiles(inlinedFiles, hrefFiles) {
221
+ return __awaiter(this, void 0, void 0, function* () {
222
+ const fileNames = [...Object.keys(inlinedFiles), ...Object.keys(hrefFiles)];
223
+ if (fileNames.length === 0) {
224
+ return;
225
+ }
226
+ BackendManager.publish({ type: BackendEventType.Loading, data: JSON.stringify({
227
+ modules: fileNames,
228
+ status: "loading"
229
+ }) });
230
+ const backend = yield this.backend;
231
+ yield backend.workerProxy.provideFiles(inlinedFiles, hrefFiles);
232
+ });
233
+ }
234
+ /**
235
+ * Show the current state of the program to the user
236
+ * @param {RunState} state The current state of the run
237
+ * @param {string} message Optional message to indicate the state
238
+ */
239
+ setState(state, message) {
240
+ this.stateMessage = message || this.papyros.i18n.t(`Papyros.states.${state}`);
241
+ if (state !== this.state) {
242
+ this.previousState = this.state;
243
+ this.state = state;
244
+ }
245
+ }
246
+ /**
247
+ * Callback to handle loading events
248
+ * @param {BackendEvent} e The loading event
249
+ */
250
+ onLoad(e) {
251
+ const loadingData = parseData(e.data, e.contentType);
252
+ if (loadingData.status === "loading") {
253
+ loadingData.modules.forEach(m => {
254
+ if (!this.loadingPackages.includes(m)) {
255
+ this.loadingPackages.push(m);
256
+ }
257
+ });
258
+ }
259
+ else if (loadingData.status === "loaded") {
260
+ loadingData.modules.forEach(m => {
261
+ const index = this.loadingPackages.indexOf(m);
262
+ if (index !== -1) {
263
+ this.loadingPackages.splice(index, 1);
264
+ }
265
+ });
266
+ }
267
+ else { // failed
268
+ // If it is a true module, an Exception will be raised when running
269
+ // So this does not need to be handled here, as it is often an incomplete package-name
270
+ // that causes micropip to not find the correct wheel
271
+ this.loadingPackages = [];
272
+ }
273
+ if (this.loadingPackages.length > 0) {
274
+ const packageMessage = this.papyros.i18n.t("Papyros.loading", {
275
+ // limit amount of package names shown
276
+ packages: this.loadingPackages.slice(0, 3).join(", ")
277
+ });
278
+ this.setState(RunState.Loading, packageMessage);
279
+ }
280
+ else {
281
+ this.setState(this.previousState);
282
+ }
283
+ }
284
+ onStart(e) {
285
+ if (this.state !== RunState.Loading) {
286
+ // we probably already finished running, this is just a late event so ignore it
287
+ return;
288
+ }
289
+ const startData = parseData(e.data, e.contentType);
290
+ if (startData.includes("RunCode")) {
291
+ this.runStartTime = new Date().getTime();
292
+ this.setState(RunState.Running);
293
+ }
294
+ }
295
+ updateRunModes() {
296
+ this.backend.then((backend) => __awaiter(this, void 0, void 0, function* () {
297
+ const proxy = yield backend.workerProxy;
298
+ if (proxy) {
299
+ this.runModes = yield proxy.runModes(this.code);
300
+ }
301
+ }));
302
+ }
303
+ }
304
+ __decorate([
305
+ stateProperty
306
+ ], Runner.prototype, "_programmingLanguage", void 0);
307
+ __decorate([
308
+ stateProperty
309
+ ], Runner.prototype, "programmingLanguage", null);
310
+ __decorate([
311
+ stateProperty
312
+ ], Runner.prototype, "backend", void 0);
313
+ __decorate([
314
+ stateProperty
315
+ ], Runner.prototype, "state", void 0);
316
+ __decorate([
317
+ stateProperty
318
+ ], Runner.prototype, "stateMessage", void 0);
319
+ __decorate([
320
+ stateProperty
321
+ ], Runner.prototype, "loadingPackages", void 0);
322
+ __decorate([
323
+ stateProperty
324
+ ], Runner.prototype, "runStartTime", void 0);
325
+ __decorate([
326
+ stateProperty
327
+ ], Runner.prototype, "_code", void 0);
328
+ __decorate([
329
+ stateProperty
330
+ ], Runner.prototype, "code", null);
331
+ __decorate([
332
+ stateProperty
333
+ ], Runner.prototype, "runModes", void 0);
334
+ //# sourceMappingURL=Runner.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Runner.js","sourceRoot":"","sources":["../../../src/frontend/state/Runner.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAEhC,OAAO,EAAW,OAAO,EAAoB,MAAM,uBAAuB,CAAC;AAC3E,OAAO,EAAgB,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAGhE;;GAEG;AACH,MAAM,CAAN,IAAY,QAMX;AAND,WAAY,QAAQ;IAChB,+BAAmB,CAAA;IACnB,+BAAmB,CAAA;IACnB,4CAAgC,CAAA;IAChC,iCAAqB,CAAA;IACrB,2BAAe,CAAA;AACnB,CAAC,EANW,QAAQ,KAAR,QAAQ,QAMnB;AAiBD;;GAEG;AACH,MAAM,OAAO,MAAO,SAAQ,KAAK;IAO7B,IAAW,mBAAmB,KAAyB,OAAO,IAAI,CAAC,oBAAoB,CAAA,CAAA,CAAC;IACxF,IAAW,mBAAmB,CAAC,KAA0B;QACrD,IAAI,IAAI,CAAC,oBAAoB,KAAK,KAAK,EAAE,CAAC;YACtC,IAAI,CAAC,oBAAoB,GAAG,KAAK,CAAC;YAClC,IAAI,CAAC,MAAM,EAAE,CAAC;QAClB,CAAC;IACL,CAAC;IAqCD,IAAW,IAAI;QACX,OAAO,IAAI,CAAC,KAAK,CAAC;IACtB,CAAC;IAED,IAAW,IAAI,CAAC,KAAa;QACzB,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;YACnB,IAAI,CAAC,cAAc,EAAE,CAAC;QAC1B,CAAC;IACL,CAAC;IAED;;OAEG;IACU,UAAU;;YACnB,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC;YACnC,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC;YAElC,IAAG,CAAC,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,CAAC;YACd,CAAC;YACD,OAAO,MAAM,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,CAAC;KAAA;IAaD,YAAY,OAAgB;QACxB,KAAK,EAAE,CAAC;QArFZ;;WAEG;QAEK,yBAAoB,GAAwB,mBAAmB,CAAC,MAAM,CAAC;QAc/E;;WAEG;QAEI,UAAK,GAAa,QAAQ,CAAC,KAAK,CAAC;QACxC;;WAEG;QAEI,iBAAY,GAAW,EAAE,CAAC;QACjC;;WAEG;QACK,kBAAa,GAAa,QAAQ,CAAC,KAAK,CAAC;QACjD;;WAEG;QAEI,oBAAe,GAAkB,EAAE,CAAC;QAC3C;;WAEG;QAEI,iBAAY,GAAW,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QACnD;;WAEG;QAEI,UAAK,GAAW,EAAE,CAAC;QA2B1B;;WAEG;QAEI,aAAQ,GAAmB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAS9C,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,EAAyB,CAAC,CAAC;QAE1D,cAAc,CAAC,SAAS,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;QAC9F,cAAc,CAAC,SAAS,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,cAAc,CAAC,SAAS,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,cAAc,CAAC,SAAS,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACvE,CAAC;IAED;;;;OAIG;IACU,KAAK;;YACd,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3D,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;YACtB,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC;QACzC,CAAC;KAAA;IAED;;OAEG;IACU,MAAM;;YACf,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAChC,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YACpE,gEAAgE;YAChE,qDAAqD;YACrD,IAAI,CAAC,OAAO,GAAG,IAAI,OAAO,CAAC,CAAM,OAAO,EAAC,EAAE;gBACvC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;gBACxC,wDAAwD;gBACxD,MAAM,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAe,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChF,IAAI,CAAC,cAAc,EAAE,CAAC;gBACtB,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC;YAC5B,CAAC,CAAA,CAAC,CAAC;YACH,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC;KAAA;IAED;;;;OAIG;IACU,KAAK,CAAC,IAAc;;YAC7B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,KAAK,CAAC;YAEtD,gBAAgB;YAChB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAChC,sEAAsE;YACtE,IAAI,CAAC,aAAa,GAAG,QAAQ,CAAC,OAAO,CAAC;YACtC,cAAc,CAAC,OAAO,CAAC;gBACnB,IAAI,EAAE,gBAAgB,CAAC,KAAK;gBAC5B,IAAI,EAAE,cAAc,EAAE,WAAW,EAAE,YAAY;aAClD,CAAC,CAAC;YACH,IAAI,WAAW,GAAG,KAAK,CAAC;YACxB,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC;YACnC,IAAI,CAAC,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YACzC,IAAI,CAAC;gBACD,MAAM,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACrE,CAAC;YAAC,OAAO,KAAU,EAAE,CAAC;gBAClB,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBAClC,qCAAqC;oBACrC,WAAW,GAAG,IAAI,CAAC;oBACnB,UAAU,GAAG,IAAI,CAAC;gBACtB,CAAC;qBAAM,CAAC;oBACJ,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;oBAChC,cAAc,CAAC,OAAO,CAAC;wBACnB,IAAI,EAAE,gBAAgB,CAAC,GAAG;wBAC1B,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY;qBAC9C,CAAC,CAAC;gBACP,CAAC;YACL,CAAC;oBAAS,CAAC;gBACP,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;oBACnC,iDAAiD;oBACjD,WAAW,GAAG,IAAI,CAAC;gBACvB,CAAC;gBACD,IAAI,UAAU,EAAE,CAAC;oBACb,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;gBACxB,CAAC;gBACD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAC7C,WAAW,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,kBAAkB,EACxD,EAAE,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;YACtE,CAAC;QACL,CAAC;KAAA;IAED;;;OAGG;IACU,IAAI;;YACb,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACjC,cAAc,CAAC,OAAO,CAAC;gBACnB,IAAI,EAAE,gBAAgB,CAAC,GAAG;gBAC1B,IAAI,EAAE,oBAAoB,EAAE,WAAW,EAAE,YAAY;aACxD,CAAC,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC;YACnC,MAAM,OAAO,CAAC,SAAS,EAAE,CAAC;YAE1B,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YACvC,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,QAAQ,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,SAAS,CAAC,GAAG,IAAI,EAAE,CAAC;gBACnF,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3D,CAAC;YACD,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACnC,OAAO,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;gBAC5D,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;gBACpB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;YAC3I,CAAC;QACL,CAAC;KAAA;IAEY,YAAY,CAAC,KAAa;;YACnC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC;YACnC,MAAM,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpC,CAAC;KAAA;IAEY,YAAY,CAAC,YAAoC,EAAE,SAAiC;;YAC7F,MAAM,SAAS,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAC5E,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO;YACX,CAAC;YACD,cAAc,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;oBAC1E,OAAO,EAAE,SAAS;oBAClB,MAAM,EAAE,SAAS;iBACpB,CAAC,EAAE,CAAC,CAAC;YAEN,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC;YACnC,MAAM,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QACpE,CAAC;KAAA;IAGD;;;;OAIG;IACI,QAAQ,CAAC,KAAe,EAAE,OAAgB;QAC7C,IAAI,CAAC,YAAY,GAAG,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,KAAK,EAAE,CAAC,CAAC;QAC9E,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC;YAChC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACvB,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,MAAM,CAAC,CAAe;QAC1B,MAAM,WAAW,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,CAAgB,CAAC;QACpE,IAAI,WAAW,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACnC,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBAC5B,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACjC,CAAC;YACL,CAAC,CAAC,CAAC;QACP,CAAC;aAAM,IAAI,WAAW,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACzC,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC9C,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;oBACf,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBAC1C,CAAC;YACL,CAAC,CAAC,CAAC;QACP,CAAC;aAAM,CAAC,CAAC,SAAS;YACd,mEAAmE;YACnE,sFAAsF;YACtF,qDAAqD;YACrD,IAAI,CAAC,eAAe,GAAG,EAAE,CAAC;QAC9B,CAAC;QACD,IAAI,IAAI,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,EAAE;gBAC1D,sCAAsC;gBACtC,QAAQ,EAAE,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;aACxD,CAAC,CAAC;YACH,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACpD,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACtC,CAAC;IACL,CAAC;IAEO,OAAO,CAAC,CAAe;QAC3B,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC;YAClC,+EAA+E;YAC/E,OAAO;QACX,CAAC;QAED,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,CAAW,CAAC;QAC7D,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAChC,IAAI,CAAC,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YACzC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpC,CAAC;IACL,CAAC;IAEO,cAAc;QAClB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAM,OAAO,EAAC,EAAE;YAC9B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC;YAExC,IAAG,KAAK,EAAE,CAAC;gBACP,IAAI,CAAC,QAAQ,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpD,CAAC;QACL,CAAC,CAAA,CAAC,CAAA;IACN,CAAC;CACJ;AA9RW;IADP,aAAa;oDACiE;AAE/E;IADC,aAAa;iDAC0E;AAWjF;IADN,aAAa;uCAC+B;AAKtC;IADN,aAAa;qCAC0B;AAKjC;IADN,aAAa;4CACmB;AAS1B;IADN,aAAa;+CAC6B;AAKpC;IADN,aAAa;4CACqC;AAK5C;IADN,aAAa;qCACY;AAG1B;IADC,aAAa;kCAGb;AA0BM;IADN,aAAa;wCACoC"}
@@ -0,0 +1,11 @@
1
+ import { State } from "@dodona/lit-state";
2
+ import { Papyros } from "../../Papyros";
3
+ export declare class Test extends State {
4
+ papyros: Papyros;
5
+ testLineCount: number | undefined;
6
+ set testCode(value: string | undefined);
7
+ get testfreeCode(): string;
8
+ editTestCode(): void;
9
+ get testLines(): number[] | undefined;
10
+ constructor(papyros: Papyros);
11
+ }
@@ -0,0 +1,59 @@
1
+ var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
2
+ var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
3
+ if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
4
+ else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
5
+ return c > 3 && r && Object.defineProperty(target, key, r), r;
6
+ };
7
+ import { State, stateProperty } from "@dodona/lit-state";
8
+ export class Test extends State {
9
+ set testCode(value) {
10
+ if (this.testLineCount !== undefined) {
11
+ const freedCode = this.testfreeCode;
12
+ this.testLineCount = undefined;
13
+ this.papyros.runner.code = freedCode;
14
+ }
15
+ if (value) {
16
+ this.testLineCount = value.split("\n").length;
17
+ this.papyros.runner.code += "\n\n" + value;
18
+ }
19
+ else {
20
+ this.testLineCount = undefined;
21
+ }
22
+ }
23
+ get testfreeCode() {
24
+ if (this.testLineCount !== undefined) {
25
+ return this.papyros.runner.code.split("\n").slice(0, -this.testLineCount).join("\n");
26
+ }
27
+ return this.papyros.runner.code;
28
+ }
29
+ editTestCode() {
30
+ if (this.testLineCount !== undefined) {
31
+ this.testLineCount = undefined;
32
+ }
33
+ }
34
+ get testLines() {
35
+ const codeLines = this.papyros.runner.code.split("\n").length;
36
+ if (this.testLineCount !== undefined && this.testLineCount <= codeLines) {
37
+ return Array.from({ length: this.testLineCount }, (_, i) => i + (codeLines - this.testLineCount) + 1);
38
+ }
39
+ return undefined;
40
+ }
41
+ constructor(papyros) {
42
+ super();
43
+ this.testLineCount = undefined;
44
+ this.papyros = papyros;
45
+ }
46
+ }
47
+ __decorate([
48
+ stateProperty
49
+ ], Test.prototype, "testLineCount", void 0);
50
+ __decorate([
51
+ stateProperty
52
+ ], Test.prototype, "testCode", null);
53
+ __decorate([
54
+ stateProperty
55
+ ], Test.prototype, "testfreeCode", null);
56
+ __decorate([
57
+ stateProperty
58
+ ], Test.prototype, "testLines", null);
59
+ //# sourceMappingURL=Test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Test.js","sourceRoot":"","sources":["../../../src/frontend/state/Test.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGzD,MAAM,OAAO,IAAK,SAAQ,KAAK;IAM3B,IAAI,QAAQ,CAAC,KAAyB;QAClC,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC;YACpC,IAAI,CAAC,aAAa,GAAG,SAAS,CAAC;YAC/B,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,GAAG,SAAS,CAAC;QACzC,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACR,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;YAC9C,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,GAAG,KAAK,CAAC;QAC/C,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,aAAa,GAAG,SAAS,CAAC;QACnC,CAAC;IACL,CAAC;IAED,IAAI,YAAY;QACZ,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzF,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;IACpC,CAAC;IACM,YAAY;QACf,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACnC,IAAI,CAAC,aAAa,GAAG,SAAS,CAAC;QACnC,CAAC;IACL,CAAC;IAED,IAAW,SAAS;QAChB,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;QAC9D,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,IAAI,SAAS,EAAE,CAAC;YACtE,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,GAAG,IAAI,CAAC,aAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3G,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,YAAY,OAAgB;QACxB,KAAK,EAAE,CAAC;QArCL,kBAAa,GAAuB,SAAS,CAAC;QAsCjD,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IAC3B,CAAC;CACJ;AAxCU;IADN,aAAa;2CACuC;AAErD;IADC,aAAa;oCAab;AAED;IADC,aAAa;wCAMb;AAOD;IADC,aAAa;qCAOb"}
@@ -0,0 +1,178 @@
1
+ export declare const ENGLISH_TRANSLATION: {
2
+ Papyros: {
3
+ Papyros: string;
4
+ code: string;
5
+ code_placeholder: string;
6
+ input: string;
7
+ input_placeholder: {
8
+ interactive: string;
9
+ batch: string;
10
+ };
11
+ input_disabled: string;
12
+ output: string;
13
+ output_placeholder: string;
14
+ debug_placeholder: string;
15
+ stop: string;
16
+ finished: string;
17
+ interrupted: string;
18
+ states: {
19
+ running: string;
20
+ stopping: string;
21
+ loading: string;
22
+ awaiting_input: string;
23
+ ready: string;
24
+ };
25
+ programming_language: string;
26
+ programming_languages: {
27
+ Python: string;
28
+ JavaScript: string;
29
+ };
30
+ locales: {
31
+ en: string;
32
+ nl: string;
33
+ };
34
+ switch_input_mode_to: {
35
+ interactive: string;
36
+ batch: string;
37
+ };
38
+ enter: string;
39
+ examples: string;
40
+ dark_mode: string;
41
+ output_overflow: string;
42
+ output_overflow_download: string;
43
+ no_output: string;
44
+ service_worker_error: string;
45
+ launch_error: string;
46
+ loading: string;
47
+ run_modes: {
48
+ doctest: string;
49
+ debug: string;
50
+ run: string;
51
+ };
52
+ used_input: string;
53
+ used_input_with_prompt: string;
54
+ debugger: {
55
+ title: string;
56
+ text_1: string;
57
+ text_2: string;
58
+ };
59
+ editor: {
60
+ test_code: {
61
+ description: string;
62
+ edit: string;
63
+ remove: string;
64
+ };
65
+ };
66
+ debug: {
67
+ stop: string;
68
+ };
69
+ };
70
+ CodeMirror: {
71
+ "Go to line": string;
72
+ go: string;
73
+ Find: string;
74
+ Replace: string;
75
+ next: string;
76
+ previous: string;
77
+ all: string;
78
+ "match case": string;
79
+ replace: string;
80
+ "replace all": string;
81
+ close: string;
82
+ };
83
+ };
84
+ export declare const DUTCH_TRANSLATION: {
85
+ Papyros: {
86
+ Papyros: string;
87
+ code: string;
88
+ code_placeholder: string;
89
+ input: string;
90
+ input_placeholder: {
91
+ interactive: string;
92
+ batch: string;
93
+ };
94
+ input_disabled: string;
95
+ output: string;
96
+ output_placeholder: string;
97
+ debug_placeholder: string;
98
+ stop: string;
99
+ states: {
100
+ running: string;
101
+ stopping: string;
102
+ loading: string;
103
+ awaiting_input: string;
104
+ ready: string;
105
+ };
106
+ finished: string;
107
+ interrupted: string;
108
+ programming_language: string;
109
+ programming_languages: {
110
+ Python: string;
111
+ JavaScript: string;
112
+ };
113
+ locales: {
114
+ en: string;
115
+ nl: string;
116
+ };
117
+ switch_input_mode_to: {
118
+ interactive: string;
119
+ batch: string;
120
+ };
121
+ enter: string;
122
+ examples: string;
123
+ dark_mode: string;
124
+ output_overflow: string;
125
+ output_overflow_download: string;
126
+ no_output: string;
127
+ service_worker_error: string;
128
+ launch_error: string;
129
+ loading: string;
130
+ run_modes: {
131
+ doctest: string;
132
+ debug: string;
133
+ run: string;
134
+ };
135
+ used_input: string;
136
+ used_input_with_prompt: string;
137
+ debugger: {
138
+ title: string;
139
+ text_1: string;
140
+ text_2: string;
141
+ };
142
+ editor: {
143
+ test_code: {
144
+ description: string;
145
+ edit: string;
146
+ remove: string;
147
+ };
148
+ };
149
+ debug: {
150
+ stop: string;
151
+ };
152
+ };
153
+ CodeMirror: {
154
+ "Control character": string;
155
+ "Folded lines": string;
156
+ "Unfolded lines": string;
157
+ to: string;
158
+ "folded code": string;
159
+ unfold: string;
160
+ "Fold line": string;
161
+ "Unfold line": string;
162
+ "Go to line": string;
163
+ go: string;
164
+ Find: string;
165
+ Replace: string;
166
+ next: string;
167
+ previous: string;
168
+ all: string;
169
+ "match case": string;
170
+ replace: string;
171
+ "replace all": string;
172
+ close: string;
173
+ "current match": string;
174
+ "on line": string;
175
+ Diagnostics: string;
176
+ "No diagnostics": string;
177
+ };
178
+ };