https://github.com/springcomp/iregexp
I-Regexp checker
https://github.com/springcomp/iregexp
Last synced: 5 months ago
JSON representation
I-Regexp checker
- Host: GitHub
- URL: https://github.com/springcomp/iregexp
- Owner: springcomp
- License: mpl-2.0
- Created: 2023-03-31T08:38:43.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2025-07-22T15:35:27.000Z (11 months ago)
- Last Synced: 2026-01-26T22:11:44.731Z (5 months ago)
- Language: TypeScript
- Size: 111 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# I-Regexp Checker
IRegexpChecker is pushdown automaton that very quickly determines if a
regular expression using a specified interoperable subset is
syntactically correct.
It supports the [I-Regexp](https://ietf-wg-jsonpath.github.io/iregexp/draft-ietf-jsonpath-iregexp.html) specification.
## Building
```sh
npm install && npx jest --coverage
```
## Usage
```js
import iregexp from '@springcomp/iregexp';
const regex = second as string;
try{
iregexp.ensureExpression(regex);
}
catch (err) {
...
}
```
## Known limitations
This currently fails to check the following expressions as invalid:
- `` [z-a] ``: reversed range.
- `` a{9,3} ``:reversed min/max quantities.