Updated refa version

Author: RunDevelopment

lib/rules/disjoint-alternatives.ts

@@ -23,7 +23,7 @@ export default {
 			function toNfa(alt: Alternative): ReadonlyNFA {
 				const result = parser.parseElement(alt, { lookarounds: "disable" });
 				const nfa = NFA.fromRegex(result.expression, { maxCharacter: result.maxCharacter });
-				nfa.removeEmptyWord();
+				nfa.withoutEmptyWord();
 				return nfa;
 			}
 
@@ -74,7 +74,7 @@ export default {
 						const altIndex = alternatives.indexOf(alt);
 						const beforeAlternatives = alternatives.slice(0, altIndex);
 
-						const intersection = NFA.intersect(total, nfa);
+						const intersection = NFA.fromIntersection(total, nfa);
 						const isSubset = nfaEquals(nfa, intersection);
 
 						// try to find the alternatives that are not disjoint with this one
@@ -98,10 +98,17 @@ export default {
 								message += " This alternative contains a capturing group so be careful when removing.";
 							}
 						} else {
+							let sharedLanguageMsg;
+							try {
+								sharedLanguageMsg = ` The shared language is ${toRegExpString(intersection)}.`;
+							} catch (e) {
+								// the regex of the intersection might be too big in which case the implementation will
+								// throw an error
+								sharedLanguageMsg = "";
+							}
 							message = isSuperset
 								? `This alternative is a superset of ${causeMsg}.`
-								: `This alternative is not disjoint with ${causeMsg}.` +
-								  ` The shared language is ${toRegExpString(intersection)}.`;
+								: `This alternative is not disjoint with ${causeMsg}.${sharedLanguageMsg}`;
 						}
 
 						// whether this ambiguity might cause exponential backtracking

lib/util.ts

@@ -22,7 +22,7 @@ import {
 	RegExpLiteral,
 	AnyCharacterSet,
 } from "regexpp/ast";
-import { JS, DFA, CharSet, NFA, ReadonlyNFA, NFAOptions } from "refa";
+import { JS, DFA, CharSet, NFA, ReadonlyNFA } from "refa";
 
 export interface FirstChar {
 	/**
@@ -1505,9 +1505,9 @@ export function nfaEquals(a: ReadonlyNFA, b: ReadonlyNFA): boolean {
 		return false;
 	}
 
-	const aDfa = DFA.fromNFA(a);
+	const aDfa = DFA.fromFA(a);
 	aDfa.minimize();
-	const bDfa = DFA.fromNFA(b);
+	const bDfa = DFA.fromFA(b);
 	bDfa.minimize();
 
 	return aDfa.structurallyEqual(bDfa);
@@ -1520,7 +1520,7 @@ export function nfaIsSupersetOf(superset: ReadonlyNFA, subset: ReadonlyNFA): boo
 export function nfaIsSubsetOf(subset: ReadonlyNFA, superset: ReadonlyNFA): boolean {
 	return nfaIsSupersetOf(superset, subset);
 }
-export function nfaUnionAll(nfas: Iterable<ReadonlyNFA>, options: Readonly<NFAOptions>): NFA {
+export function nfaUnionAll(nfas: Iterable<ReadonlyNFA>, options: Readonly<NFA.Options>): NFA {
 	const total = NFA.empty(options);
 	for (const nfa of nfas) {
 		total.union(nfa);

package-lock.json

@@ -25,7 +25,7 @@
     "test": "mocha -r ts-node/register 'tests/**/*.ts'"
   },
   "dependencies": {
-    "refa": "0.4.1",
+    "refa": "^0.5.0",
     "regexpp": "^3.1.0"
   },
   "devDependencies": {