github/full_zk_regex
1
1
Fork 0
mirror of https://github.com/JernKunpittaya/full_zk_regex.git synced 2026-01-10 05:47:57 -05:00
Code Issues Packages Projects Releases Wiki Activity

enable \r, \x0b, \x0c

Browse Source
This commit is contained in:
JernKunpittaya
2023-05-07 20:31:40 -04:00
parent cf359bcc14
commit 435606cc97
2 changed files with 39 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -4,4 +4,4 @@
2. Return finalized dfa and tag version.
Limitation:
Cannot match regex with , \ \r \x0b \x0c yet
Cannot match regex with , \ yet

44
src/MainPage.js
View File

@@ -57,17 +57,32 @@ export const MainPage = () => {
function generateSegments(regex) {
const graph = simplifyGraph(
regex.replace(/\\n/g, "\n").replace(/\\t/g, "\t")
String.raw`${regex}`
.replace(/\\n/g, "\n")
.replace(/\\t/g, "\t")
.replace(/\\r/g, "\r")
.replace(/\\x0b/g, "\x0b")
.replace(/\\x0c/g, "\x0c")
);
return findSubstrings(graph, text);
}
function generateTaggedDFA(regex, submatches) {
const tagged_simp_graph = tagged_simplifyGraph(
regex.replace(/\\n/g, "\n").replace(/\\t/g, "\t"),
String.raw`${regex}`
.replace(/\\n/g, "\n")
.replace(/\\t/g, "\t")
.replace(/\\r/g, "\r")
.replace(/\\x0b/g, "\x0b")
.replace(/\\x0c/g, "\x0c"),
submatches
);
const matched_dfa = generateSegments(
regex.replace(/\\n/g, "\n").replace(/\\t/g, "\t")
String.raw`${regex}`
.replace(/\\n/g, "\n")
.replace(/\\t/g, "\t")
.replace(/\\r/g, "\r")
.replace(/\\x0b/g, "\x0b")
.replace(/\\x0c/g, "\x0c")
);
let tagged_dictionary = {};
for (const subs of matched_dfa[1]) {
@@ -99,7 +114,12 @@ export const MainPage = () => {
function handleGenerateDFA() {
// Generate graph parameters
const graph = simplifyGraph(
regex.replace(/\\n/g, "\n").replace(/\\t/g, "\t")
String.raw`${regex}`
.replace(/\\n/g, "\n")
.replace(/\\t/g, "\t")
.replace(/\\r/g, "\r")
.replace(/\\x0b/g, "\x0b")
.replace(/\\x0c/g, "\x0c")
);
setRawDFA(graph);
}
@@ -108,7 +128,14 @@ export const MainPage = () => {
// console.log("simppp: ", simplifyRegex(regex));
// console.log("simp22: ", simplifyRegex(regex.replace(/\\n/g, "\n")));
setSimpleRegex(
simplifyRegex(regex.replace(/\\n/g, "\n").replace(/\\t/g, "\t"))
simplifyRegex(
String.raw`${regex}`
.replace(/\\n/g, "\n")
.replace(/\\t/g, "\t")
.replace(/\\r/g, "\r")
.replace(/\\x0b/g, "\x0b")
.replace(/\\x0c/g, "\x0c")
)
);
}
@@ -178,7 +205,12 @@ export const MainPage = () => {
function handleGenerateCircom(event) {
event.preventDefault();
const tagged_simp_graph = tagged_simplifyGraph(
regex.replace(/\\n/g, "\n").replace(/\\t/g, "\t"),
String.raw`${regex}`
.replace(/\\n/g, "\n")
.replace(/\\t/g, "\t")
.replace(/\\r/g, "\r")
.replace(/\\x0b/g, "\x0b")
.replace(/\\x0c/g, "\x0c"),
submatchesArr
);
let final_graph = findMatchStateTagged(tagged_simp_graph);