react-dsl-editor 0.2.3 → 0.3.2

package/dist/index.d.ts

@@ -2,85 +2,124 @@ import { CSSProperties } from 'react';
 import { JSX } from 'react/jsx-runtime';
 import { TextareaHTMLAttributes } from 'react';
 
-export declare function alternative<T extends string>(type?: T, ...seq: Parse<T>[]): Parse<T>;
+export declare function alternative<T extends string>(...seq: GrammarNode<T>[]): GrammarNode<T>;
 
-export declare function appendOffset<T>(error: ParserError<T>, offset: number): ParserError<T>;
+export declare function asException<T extends string>(error: ParserError<T>): ParsingError;
 
-export declare function appendOffsets<T>(errors: ParserError<T>[], offsets: number): ParserError<T>[];
-
-export declare interface ASTNode<T extends string> {
-    type: T;
+export declare interface CSTNode<T extends string> {
     text: string;
-    children?: ASTNode<T>[];
-    errors: ParserError<T>[];
     offset: number;
+    end: number;
+    grammar: GrammarNode<T>;
+    children?: CSTNode<T>[];
+    recoverableError: boolean;
+}
+
+export declare type CSTOf<T> = CSTNode<_NodeTypes<T>>;
+
+export declare interface DSL<T extends string> {
+    cst: CSTNode<T>;
+    terminals: CSTNode<T>[];
+    result: ParserSuccess<T>;
+    strictResult: ParserSuccess<T> | undefined;
+    errors: DSLError[];
 }
 
-export declare function DslEditor<T extends string>({ code, onChange, onParsed, grammar, wrap, suggestions: clientSuggestions, className, styles, ...textareaProps }: {
+export declare function DslEditor<T extends string>({ code, onChange, onParsed, grammar, wrap, suggestions: clientSuggestions, className, syntaxColors, ...textareaProps }: {
     code: string;
     onChange: (text: string) => void;
-    onParsed?: (ast: ParserResult<T>) => void;
-    grammar: Parse<T>;
+    onParsed?: (dsl: DSL<T>) => void;
+    grammar: GrammarNode<T>;
     wrap?: boolean;
     className?: string;
-    styles?: Partial<Record<T | 'error', CSSProperties>>;
-    suggestions?: (type: T | 'error') => string[] | undefined;
+    suggestions?: (node: CSTNode<T>) => string[] | undefined;
+    syntaxColors?: SyntaxColorsProvider;
 } & Omit<TextareaHTMLAttributes<HTMLTextAreaElement>, 'wrap' | 'onChange'>): JSX.Element;
 
-export declare function isParserError<T extends string>(result: ParserResult<T>): boolean;
+export declare interface DSLError {
+    message: string;
+    start: number;
+    end: number;
+}
 
-export declare function isParserSuccess<T extends string>(result: ParserResult<T>): boolean;
+export declare class DSLParser<T extends string> {
+    private readonly grammar;
+    constructor(grammar: GrammarNode<T>);
+    parse(input: string): DSL<T>;
+}
 
-export declare type NodeTypes<T> = _NodeTypes<T> | 'error';
+export declare const eof: GrammarNode;
 
-declare type _NodeTypes<T> = T extends Parse<infer U> ? U : never;
+export declare function error<T extends string>(param: Omit<ParserError<T>, 'offset'>): {
+    offset: number;
+    grammar: GrammarNode<T>;
+    got: string;
+    expected: string[];
+};
 
-export declare function optional<T extends string>(subparser: Parse<T>): Parse<T>;
+export declare interface GrammarNode<T extends string = never> {
+    type: T;
+    suggestions(): string[];
+    parse(text: string, context: ParserContext): ParserResult<T>;
+    children: GrammarNode<T>[];
+    meta?: Record<string, unknown>;
+}
 
-export declare const optionalWhitespace: Parse<"optionalWhitespace">;
+export declare function isParserError<T extends string>(result: ParserResult<T>): result is ParserError<T>;
 
-export declare type Parse<T extends string> = (text: string) => ParserResult<T>;
+export declare function isParserSuccess<T extends string>(result: ParserResult<T>): result is ParserSuccess<T>;
 
-export declare class Parser<T extends string> {
-    private readonly parser;
-    constructor(parser: Parse<T>);
-    parse(input: string): ASTNode<T>;
+export declare function named<T extends string, K extends string>(name: T, child: GrammarNode<K>): GrammarNode<T | K>;
+
+export declare type NodeTypes<T> = _NodeTypes<T> | 'error';
+
+declare type _NodeTypes<T> = T extends GrammarNode<infer U> ? U : never;
+
+export declare function optional<T extends string>(child: GrammarNode<T>): GrammarNode<T>;
+
+export declare interface ParserContext {
+    faultTolerant: boolean;
+    faultCorrection<T extends string>(parse: ParserResult<T>, grammar: GrammarNode<T>): ParserResult<T>;
 }
 
-export declare interface ParserError<T> {
-    offset: number;
-    expected: string | RegExp;
+export declare interface ParserError<T extends string = never> {
+    grammar: GrammarNode<T>;
     got: string;
-    type: T;
+    expected: string[];
+    offset: number;
 }
 
-export declare interface ParserResult<T extends string> {
-    type: T;
+export declare type ParserResult<T extends string = never> = ParserSuccess<T> | ParserError<T>;
+
+export declare interface ParserSuccess<T extends string = never> {
     text: string;
-    children?: ParserResult<T>[];
-    errors: ParserError<T>[];
+    grammar: GrammarNode<T>;
+    children: ParserSuccess<T>[];
+    recoverableError?: boolean;
 }
 
 export declare class ParsingError extends Error {
     constructor(msg: string);
 }
 
-export declare function pattern(regex: string): Parse<'pattern'>;
+export declare function pattern(regex: RegExp): GrammarNode<never>;
+
+export declare const rational: GrammarNode<never>;
 
-export declare function pattern<T extends string>(regex: string, type: T): Parse<T>;
+export declare function repeat<T extends string>(child: GrammarNode<T>, min?: number, max?: number): GrammarNode<T>;
 
-export declare const rational: Parse<"rational">;
+export declare function seq<T extends string>(...nodes: GrammarNode<T>[]): GrammarNode<T>;
 
-export declare function repeat<T extends string>(type: T | undefined, parser: Parse<T>, min?: number, max?: number): Parse<T>;
+export declare function sequence<T extends string>(...nodes: GrammarNode<T>[]): GrammarNode<T>;
 
-export declare function seq<T extends string>(type?: T, ...p: Parse<T>[]): Parse<T | 'optionalWhitespace'>;
+export declare function success<T extends string>(param: ParserSuccess<T>): ParserSuccess<T>;
 
-export declare function sequence<T extends string>(type?: T, ...seq: Parse<T>[]): Parse<T>;
+declare type SyntaxColorsProvider = (node: CSTNode<string>) => CSSProperties | undefined;
 
-export declare function term<T extends string>(str: T): Parse<T>;
+export declare function term(str: string): GrammarNode<never>;
 
-export declare function term<T extends string>(str: string, type: T): Parse<T>;
+export declare function visit<T extends string, V = string>(parserResult: ParserSuccess<T>, type: T[], extractor?: (node: ParserSuccess<T>) => V): V[];
 
-export declare const ws: Parse<"space" | "ws">;
+export declare const ws: GrammarNode<never>;
 
 export { }