-
Notifications
You must be signed in to change notification settings - Fork 66
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Extract the variable stack to a separate file and test it
Also this change add additional safety checks to the code generator and improves errors if they was violated
- Loading branch information
Showing
3 changed files
with
442 additions
and
75 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,179 @@ | ||
| "use strict"; | ||
|
|
||
| class Stack { | ||
| constructor(ruleName, varName, type) { | ||
| /** Last used variable in the stack. */ | ||
| this.sp = -1; | ||
| /** Maximum stack size. */ | ||
| this.maxSp = -1; | ||
| this.varName = varName; | ||
| this.ruleName = ruleName; | ||
| this.type = type; | ||
| } | ||
|
|
||
| /** | ||
| * Returns name of the variable at the index `i`. | ||
| * | ||
| * @param {number} i Index for which name must be generated | ||
| * @return {string} Generated name | ||
| * | ||
| * @throws {RangeError} If `i < 0` which means stack underflow (there a more `pop`'s than `push`'s) | ||
| */ | ||
| name(i) { | ||
| if (i < 0) { | ||
| throw new RangeError( | ||
| `Rule '${this.ruleName}': Var stack underflow: attempt to use a variable '${this.varName}<x>' at index ${i}` | ||
| ); | ||
| } | ||
|
|
||
| return this.varName + i; | ||
| } | ||
|
|
||
| /** | ||
| * Assigns `exprCode` to the new variable in the stack, returns generated code. | ||
| * As the result, the size of a stack increases on 1. | ||
| * | ||
| * @param {string} exprCode Any expression code that must be assigned to the new variable in the stack | ||
| * @return {string} Assignment code | ||
| */ | ||
| push(exprCode) { | ||
| const code = this.name(++this.sp) + " = " + exprCode + ";"; | ||
|
|
||
| if (this.sp > this.maxSp) { this.maxSp = this.sp; } | ||
|
|
||
| return code; | ||
| } | ||
|
|
||
| /** | ||
| * Returns name or `n` names of the variable(s) from the top of stack. | ||
| * | ||
| * @param {number} [n=1] Quantity of variables which need to be removed from a stack | ||
| * @return {string|string[]} Generated name(s). If `n > 1` than array has length of `n` | ||
| * | ||
| * @throws {RangeError} If stack underflow (there a more single `pop`'s than `push`'s) | ||
| */ | ||
| pop(n) { | ||
| if (n !== undefined) { | ||
| this.sp -= n; | ||
|
|
||
| return Array.from({ length: n }, (v, i) => this.name(this.sp + 1 + i)); | ||
| } | ||
|
|
||
| return this.name(this.sp--); | ||
| } | ||
|
|
||
| /** | ||
| * Returns name of the first free variable. The same as `index(0)`. | ||
| * | ||
| * @return {string} Generated name | ||
| * | ||
| * @throws {RangeError} If stack is empty (there was no `push`'s yet) | ||
| */ | ||
| top() { return this.name(this.sp); } | ||
|
|
||
| /** | ||
| * Returns name of the variable at index `i`. | ||
| * | ||
| * @param {number} [i] Index of the variable from top of the stack | ||
| * @return {string} Generated name | ||
| * | ||
| * @throws {RangeError} If `i < 0` or more than stack size | ||
| */ | ||
| index(i) { | ||
| if (i < 0) { | ||
| throw new RangeError( | ||
| `Rule '${this.ruleName}': Var stack overflow: attempt to get a variable at negative index ${i}` | ||
| ); | ||
| } | ||
|
|
||
| return this.name(this.sp - i); | ||
| } | ||
|
|
||
| /** | ||
| * Returns variable name that contains result (bottom of the stack). | ||
| * | ||
| * @return {string} Generated name | ||
| * | ||
| * @throws {RangeError} If stack is empty (there was no `push`'s yet) | ||
| */ | ||
| result() { | ||
| if (this.maxSp < 0) { | ||
| throw new RangeError( | ||
| `Rule '${this.ruleName}': Var stack is empty, can't get the result'` | ||
| ); | ||
| } | ||
|
|
||
| return this.name(0); | ||
| } | ||
|
|
||
| /** | ||
| * Returns defines of all used variables. | ||
| * | ||
| * @return {string} Generated define variable expression with type `this.type`. | ||
| * If stack is empty, returns empty string | ||
| */ | ||
| defines() { | ||
| if (this.maxSp < 0) { | ||
| return ""; | ||
| } | ||
|
|
||
| return this.type + " " + Array.from({ length: this.maxSp + 1 }, (v, i) => this.name(i)).join(", ") + ";"; | ||
| } | ||
|
|
||
| /** | ||
| * Checks that code in the `generateIf` and `generateElse` move the stack pointer in the same way. | ||
| * | ||
| * @param {number} pos Opcode number for error messages | ||
| * @param {function()} generateIf First function that works with this stack | ||
| * @param {function()} [generateElse] Second function that works with this stack | ||
| * @return {undefined} | ||
| * | ||
| * @throws {Error} If `generateElse` is defined and stack pointer moved differently in the | ||
| * `generateIf` and `generateElse` | ||
| */ | ||
| checkedIf(pos, generateIf, generateElse) { | ||
| const baseSp = this.sp; | ||
|
|
||
| generateIf(); | ||
|
|
||
| if (generateElse) { | ||
| const thenSp = this.sp; | ||
|
|
||
| this.sp = baseSp; | ||
| generateElse(); | ||
|
|
||
| if (thenSp !== this.sp) { | ||
| throw new Error( | ||
| "Rule '" + this.ruleName + "', position " + pos + ": " | ||
| + "Branches of a condition can't move the stack pointer differently " | ||
| + "(before: " + baseSp + ", after then: " + thenSp + ", after else: " + this.sp + ")." | ||
| ); | ||
| } | ||
| } | ||
| } | ||
|
|
||
| /** | ||
| * Checks that code in the `generateBody` do not move stack pointer. | ||
| * | ||
| * @param {number} pos Opcode number for error messages | ||
| * @param {function()} generateBody Function that works with this stack | ||
| * @return {undefined} | ||
| * | ||
| * @throws {Error} If `generateBody` move stack pointer (contains unbalanced `push` and `pop`'s) | ||
| */ | ||
| checkedLoop(pos, generateBody) { | ||
| const baseSp = this.sp; | ||
|
|
||
| generateBody(); | ||
|
|
||
| if (baseSp !== this.sp) { | ||
| throw new Error( | ||
| "Rule '" + this.ruleName + "', position " + pos + ": " | ||
| + "Body of a loop can't move the stack pointer " | ||
| + "(before: " + baseSp + ", after: " + this.sp + ")." | ||
| ); | ||
| } | ||
| } | ||
| } | ||
|
|
||
| module.exports = Stack; |
Oops, something went wrong.