clarity-pattern-parser 10.0.5 → 10.0.6

package/dist/patterns/Cursor.d.ts

@@ -2,18 +2,11 @@ import { Node } from "../ast/Node";
 import { Match } from "./CursorHistory";
 import { ParseError } from "./ParseError";
 import { Pattern } from "./Pattern";
-export declare class CyclicalParseError extends Error {
-    readonly patternId: string;
-    readonly patternName: string;
-    readonly cursorIndex: number;
-    constructor(patternId: string, patternName: string, cursorIndex: number);
-}
 export declare class Cursor {
     private _text;
     private _index;
     private _length;
     private _history;
-    private _stackTrace;
     get text(): string;
     get isOnFirst(): boolean;
     get isOnLast(): boolean;
@@ -45,8 +38,4 @@ export declare class Cursor {
     resolveError(): void;
     startRecording(): void;
     stopRecording(): void;
-    startParseWith(pattern: Pattern): void;
-    endParse(): void;
-    audit(): string[];
-    private _buildPatternContext;
 }

package/dist/patterns/CursorHistory.d.ts

@@ -1,10 +1,6 @@
 import { Node } from "../ast/Node";
 import { ParseError } from "./ParseError";
 import { Pattern } from "./Pattern";
-export interface Trace {
-    pattern: Pattern;
-    cursorIndex: number;
-}
 export interface Match {
     pattern: Pattern | null;
     node: Node | null;
@@ -18,7 +14,6 @@ export declare class CursorHistory {
     private _patterns;
     private _nodes;
     private _errors;
-    private _trace;
     get isRecording(): boolean;
     get rootMatch(): Match;
     get leafMatch(): Match;
@@ -28,11 +23,9 @@ export declare class CursorHistory {
     get error(): ParseError | null;
     get nodes(): Node[];
     get patterns(): Pattern[];
-    get trace(): Trace[];
     recordMatch(pattern: Pattern, node: Node): void;
     recordErrorAt(startIndex: number, endIndex: number, pattern: Pattern): void;
     startRecording(): void;
     stopRecording(): void;
     resolveError(): void;
-    pushStackTrace(trace: Trace): void;
 }

package/dist/patterns/Options.d.ts

@@ -22,6 +22,7 @@ export declare class Options implements Pattern {
     exec(text: string, record?: boolean): ParseResult;
     parse(cursor: Cursor): Node | null;
     private _tryToParse;
+    private _isBeyondRecursiveLimit;
     getTokens(): string[];
     getTokensAfter(_childReference: Pattern): string[];
     getNextTokens(): string[];

package/dist/patterns/Sequence.d.ts

@@ -24,6 +24,7 @@ export declare class Sequence implements Pattern {
     };
     parse(cursor: Cursor): Node | null;
     private tryToParse;
+    private _isBeyondRecursiveLimit;
     private getLastValidNode;
     private areRemainingPatternsOptional;
     private createNode;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "clarity-pattern-parser",
-  "version": "10.0.5",
+  "version": "10.0.6",
   "description": "Parsing Library for Typescript and Javascript.",
   "main": "./dist/index.js",
   "module": "./dist/index.esm.js",

package/src/patterns/Cursor.ts

@@ -1,27 +1,13 @@
 import { Node } from "../ast/Node";
-import { CursorHistory, Match, Trace } from "./CursorHistory";
+import { CursorHistory, Match } from "./CursorHistory";
 import { ParseError } from "./ParseError";
 import { Pattern } from "./Pattern";
 
-export class CyclicalParseError extends Error {
-  readonly patternId: string;
-  readonly patternName: string;
-  readonly cursorIndex: number;
-
-  constructor(patternId: string, patternName: string, cursorIndex: number) {
-    super("Cyclical Parse Error");
-    this.patternId = patternId;
-    this.patternName = patternName;
-    this.cursorIndex = cursorIndex;
-  }
-}
-
 export class Cursor {
   private _text: string;
   private _index: number;
   private _length: number;
   private _history: CursorHistory;
-  private _stackTrace: Trace[];
 
   get text(): string {
     return this._text;
@@ -92,7 +78,6 @@ export class Cursor {
     this._index = 0;
     this._length = [...text].length;
     this._history = new CursorHistory();
-    this._stackTrace = [];
   }
 
   hasNext(): boolean {
@@ -157,39 +142,4 @@ export class Cursor {
     this._history.stopRecording();
   }
 
-  startParseWith(pattern: Pattern) {
-    const trace = {
-      pattern,
-      cursorIndex: this.index
-    };
-
-    const hasCycle = this._stackTrace.filter(t => t.pattern.id === pattern.id && this.index === t.cursorIndex).length > 1;
-    if (hasCycle) {
-      throw new CyclicalParseError(pattern.id, pattern.name, this.index);
-    }
-
-    this._history.pushStackTrace(trace);
-    this._stackTrace.push(trace);
-  }
-
-  endParse() {
-    this._stackTrace.pop();
-  }
-
-  audit() {
-    return this._history.trace.map(t => {
-      const onChar = this.getChars(t.cursorIndex, t.cursorIndex);
-      const restChars = this.getChars(t.cursorIndex + 1, t.cursorIndex + 5);
-      const context = `{${t.cursorIndex}}[${onChar}]${restChars}`;
-      return `${this._buildPatternContext(t.pattern)}-->${context}`;
-    });
-  }
-
-  private _buildPatternContext(pattern: Pattern) {
-    if (pattern.parent != null) {
-      return `${pattern.parent.name}.${pattern.name}`;
-    }
-    return pattern.name;
-  }
-
 }

package/src/patterns/CursorHistory.ts

@@ -2,11 +2,6 @@ import { Node } from "../ast/Node";
 import { ParseError } from "./ParseError";
 import { Pattern } from "./Pattern";
 
-export interface Trace {
-  pattern: Pattern;
-  cursorIndex: number;
-}
-
 export interface Match {
   pattern: Pattern | null;
   node: Node | null;
@@ -21,7 +16,6 @@ export class CursorHistory {
   private _patterns: Pattern[] = [];
   private _nodes: Node[] = [];
   private _errors: ParseError[] = [];
-  private _trace: Trace[] = [];
 
   get isRecording(): boolean {
     return this._isRecording;
@@ -59,10 +53,6 @@ export class CursorHistory {
     return this._patterns;
   }
 
-  get trace(): Trace[] {
-    return this._trace;
-  }
-
   recordMatch(pattern: Pattern, node: Node): void {
     if (this._isRecording) {
       this._patterns.push(pattern);
@@ -131,10 +121,4 @@ export class CursorHistory {
     this._currentError = null;
   }
 
-  pushStackTrace(trace: Trace) {
-    if (this._isRecording) {
-      this._trace.push(trace);
-    }
-  }
-
 }

package/src/patterns/FiniteRepeat.ts

@@ -83,8 +83,6 @@ export class FiniteRepeat implements Pattern {
     }
 
     parse(cursor: Cursor): Node | null {
-        cursor.startParseWith(this);
-
         const startIndex = cursor.index;
         const nodes: Node[] = [];
         const modulo = this._hasDivider ? 2 : 1;
@@ -128,13 +126,11 @@ export class FiniteRepeat implements Pattern {
             const lastIndex = cursor.index;
             cursor.moveTo(startIndex);
             cursor.recordErrorAt(startIndex, lastIndex, this);
-            cursor.endParse();
             return null;
         }
 
         if (nodes.length === 0 && !cursor.hasError) {
             cursor.moveTo(startIndex);
-            cursor.endParse();
             return null;
         }
 
@@ -143,7 +139,6 @@ export class FiniteRepeat implements Pattern {
 
         cursor.resolveError();
         cursor.moveTo(lastIndex);
-        cursor.endParse();
 
         return new Node(this._type, this.name, firstIndex, lastIndex, nodes);
     }

package/src/patterns/InfiniteRepeat.ts

@@ -106,8 +106,6 @@ export class InfiniteRepeat implements Pattern {
   }
 
   parse(cursor: Cursor): Node | null {
-    cursor.startParseWith(this);
-
     this._firstIndex = cursor.index;
     this._nodes = [];
 
@@ -122,17 +120,14 @@ export class InfiniteRepeat implements Pattern {
         cursor.recordMatch(this, node);
       }
 
-      cursor.endParse();
       return node;
     }
 
     if (this._min > 0) {
-      cursor.endParse();
       return null;
     }
 
     cursor.resolveError();
-    cursor.endParse();
     return null;
   }
 

package/src/patterns/Literal.ts

@@ -82,8 +82,6 @@ export class Literal implements Pattern {
   }
 
   parse(cursor: Cursor): Node | null {
-    cursor.startParseWith(this);
-
     this._firstIndex = cursor.index;
     const passed = this._tryToParse(cursor);
 
@@ -92,12 +90,10 @@ export class Literal implements Pattern {
       const node = this._createNode();
       cursor.recordMatch(this, node);
 
-      cursor.endParse();
       return node;
     }
 
     cursor.recordErrorAt(this._firstIndex, this._endIndex, this);
-    cursor.endParse();
     return null;
   }
 

package/src/patterns/Not.ts

@@ -65,8 +65,6 @@ export class Not implements Pattern {
   }
 
   parse(cursor: Cursor): Node | null {
-    cursor.startParseWith(this);
-
     const firstIndex = cursor.index;
     this._children[0].parse(cursor);
 
@@ -79,7 +77,6 @@ export class Not implements Pattern {
       cursor.recordErrorAt(firstIndex, firstIndex, this);
     }
 
-    cursor.endParse();
     return null;
   }
 

package/src/patterns/Optional.ts

@@ -65,8 +65,6 @@ export class Optional implements Pattern {
   }
 
   parse(cursor: Cursor): Node | null {
-    cursor.startParseWith(this);
-
     const firstIndex = cursor.index;
     const node = this._children[0].parse(cursor);
 
@@ -74,10 +72,8 @@ export class Optional implements Pattern {
       cursor.resolveError();
       cursor.moveTo(firstIndex);
 
-      cursor.endParse();
       return null;
     } else {
-      cursor.endParse();
       return node;
     }
 

package/src/patterns/Options.test.ts

@@ -291,9 +291,8 @@ describe("Options", () => {
         result = expression.exec("John ? Jane : John");
         expect(result.ast?.toString()).toBe("John ? Jane : John");
 
-
-        result = expression.exec("John ? Jane : John ? Jane : John");
-        expect(result.ast?.toString()).toBe("John ? Jane : John ? Jane : John");
+        result = expression.exec("John ? John ? Jane : John ? Jane : John : John");
+        expect(result.ast?.toString()).toBe("John ? John ? Jane : John ? Jane : John : John");
     });
 
     test("Deeper Cyclical Error Recorvery", () => {

package/src/patterns/Options.ts

@@ -83,37 +83,35 @@ export class Options implements Pattern {
   }
 
   parse(cursor: Cursor): Node | null {
-    cursor.startParseWith(this);
-
     this._firstIndex = cursor.index;
-
     const node = this._tryToParse(cursor);
 
     if (node != null) {
       cursor.moveTo(node.lastIndex);
       cursor.resolveError();
 
-      cursor.endParse();
       return node;
     }
 
     cursor.recordErrorAt(this._firstIndex, this._firstIndex, this);
-    cursor.endParse();
     return null;
   }
 
+
+
   private _tryToParse(cursor: Cursor): Node | null {
+    if (this._isBeyondRecursiveLimit()){
+      cursor.recordErrorAt(cursor.index, cursor.index, this);
+      return null;
+    }
+
     const results: (Node | null)[] = [];
 
     for (const pattern of this._children) {
       cursor.moveTo(this._firstIndex);
       let result = null;
 
-      try {
-        result = pattern.parse(cursor);
-      } catch {
-        continue;
-      }
+      result = pattern.parse(cursor);
 
       if (this._isGreedy) {
         results.push(result);
@@ -132,6 +130,32 @@ export class Options implements Pattern {
     return nonNullResults[0] || null;
   }
 
+  private _isBeyondRecursiveLimit(){
+    let pattern: Pattern = this;
+    const matches: Pattern[] = [];
+
+    while(pattern.parent != null){
+      if (pattern.type !== "options"){
+        pattern = pattern.parent;
+        continue;
+      }
+
+      const optionsPattern = pattern as Options;
+
+      if (pattern.id === this.id && optionsPattern._firstIndex === this._firstIndex){
+         matches.push(pattern);
+         
+         if (matches.length > 2){
+            return true;
+         }
+      }
+
+      pattern = pattern.parent;
+    }
+
+    return false;
+  }
+
   getTokens(): string[] {
     const tokens: string[] = [];
 

package/src/patterns/Regex.ts

@@ -96,13 +96,10 @@ export class Regex implements Pattern {
   }
 
   parse(cursor: Cursor) {
-    cursor.startParseWith(this);
-
     this._firstIndex = cursor.index;
     this.resetState(cursor);
     this.tryToParse(cursor);
 
-    cursor.endParse();
     return this._node;
   }
 

package/src/patterns/Sequence.ts

@@ -83,11 +83,14 @@ export class Sequence implements Pattern {
   }
 
   parse(cursor: Cursor): Node | null {
-    cursor.startParseWith(this);
-
     this._firstIndex = cursor.index;
     this._nodes = [];
 
+    if (this._isBeyondRecursiveLimit()) {
+      cursor.recordErrorAt(cursor.index, cursor.index, this);
+      return null;
+    }
+
     const passed = this.tryToParse(cursor);
 
     if (passed) {
@@ -97,15 +100,15 @@ export class Sequence implements Pattern {
         cursor.recordMatch(this, node);
       }
 
-      cursor.endParse();
       return node;
     }
 
-    cursor.endParse();
     return null;
   }
 
   private tryToParse(cursor: Cursor): boolean {
+
+
     let passed = false;
 
     for (let i = 0; i < this._children.length; i++) {
@@ -166,6 +169,32 @@ export class Sequence implements Pattern {
     return passed;
   }
 
+  private _isBeyondRecursiveLimit() {
+    let pattern: Pattern = this;
+    const matches: Pattern[] = [];
+
+    while (pattern.parent != null) {
+      if (pattern.type !== "sequence") {
+        pattern = pattern.parent;
+        continue;
+      }
+
+      const sequencePattern = pattern as Sequence;
+
+      if (pattern.id === this.id && sequencePattern._firstIndex === this._firstIndex) {
+        matches.push(pattern);
+
+        if (matches.length > 1) {
+          return true;
+        }
+      }
+
+      pattern = pattern.parent;
+    }
+
+    return false;
+  }
+
   private getLastValidNode(): Node | null {
     const nodes = filterOutNull(this._nodes);