Expose initial exec time to runInContext options (#314)

Author: thomastanck

package.json

@@ -1,6 +1,6 @@
 {
   "name": "js-slang",
-  "version": "0.2.3",
+  "version": "0.2.4",
   "description": "Javascript-based interpreter for slang, written in Typescript",
   "author": {
     "name": "Source Academy",

src/constants.ts

@@ -15,6 +15,5 @@ export const UNKNOWN_LOCATION: es.SourceLocation = {
 }
 export const JSSLANG_PROPERTIES = {
   maxExecTime: 1000,
-  originalMaxExecTime: 1000,
   factorToIncreaseBy: 10
 }

src/index.ts

@@ -31,12 +31,14 @@ export interface IOptions {
   scheduler: 'preemptive' | 'async'
   steps: number
   executionMethod: ExecutionMethod
+  originalMaxExecTime: number
 }
 
 const DEFAULT_OPTIONS: IOptions = {
   scheduler: 'async',
   steps: 1000,
-  executionMethod: 'auto'
+  executionMethod: 'auto',
+  originalMaxExecTime: 1000
 }
 
 // needed to work on browsers
@@ -162,7 +164,7 @@ export function runInContext(
     if (previousCode === code) {
       JSSLANG_PROPERTIES.maxExecTime *= JSSLANG_PROPERTIES.factorToIncreaseBy
     } else {
-      JSSLANG_PROPERTIES.maxExecTime = JSSLANG_PROPERTIES.originalMaxExecTime
+      JSSLANG_PROPERTIES.maxExecTime = theOptions.originalMaxExecTime
     }
     previousCode = code
     let transpiled