|
@@ -85,11 +85,16 @@ class CodeBox {
|
|
*/
|
|
*/
|
|
this.datetime = null;
|
|
this.datetime = null;
|
|
/**
|
|
/**
|
|
- * Should the code box be printed?
|
|
|
|
|
|
+ * Assorted debug options
|
|
*
|
|
*
|
|
- * @type {boolean}
|
|
|
|
|
|
+ * @type {object}
|
|
*/
|
|
*/
|
|
- this.print = false;
|
|
|
|
|
|
+ this.debug= {
|
|
|
|
+ print: {
|
|
|
|
+ codeBox: false,
|
|
|
|
+ stacks: false,
|
|
|
|
+ }
|
|
|
|
+ };
|
|
|
|
|
|
this.codeBoxDOM = document.getElementById(codeBoxID);
|
|
this.codeBoxDOM = document.getElementById(codeBoxID);
|
|
if(!this.codeBoxDOM) {
|
|
if(!this.codeBoxDOM) {
|
|
@@ -452,7 +457,7 @@ class CodeBox {
|
|
}
|
|
}
|
|
|
|
|
|
Swim() {
|
|
Swim() {
|
|
- if(this.print) { this.PrintCodeBox(); }
|
|
|
|
|
|
+ if(this.debug.print.codeBox) { this.PrintCodeBox(); }
|
|
|
|
|
|
const instruction = this.box[this.pointer.Y][this.pointer.X];
|
|
const instruction = this.box[this.pointer.Y][this.pointer.X];
|
|
this.datetime = new Date();
|
|
this.datetime = new Date();
|