eyereasonerjs/lib/eye.d.ts

A TypeScript wrapper for the EYE reasoner

/// <reference types="node" />
import { ChildProcessWithoutNullStreams } from 'child_process';
import { FileResult } from 'tmp-promise';
interface IEyeOptions {
    spawn: (command: string, args: string[]) => ChildProcessWithoutNullStreams;
}
export default class Eye {
    private readonly commentRegex;
    private readonly localIdentifierRegex;
    private readonly prefixDeclarationRegex;
    private readonly eyeSignatureRegex;
    private readonly errorRegex;
    private eyePath;
    private options;
    private spawn;
    constructor(options?: IEyeOptions);
    queryTmp(files: string[], query: string, flags?: string[]): Promise<FileResult>;
    queryFile(files: string[], query: string, path: string, flags?: string[]): Promise<string>;
    pass(files: string[], flags?: string[]): Promise<string>;
    query(files: string[], query: string, flags?: string[]): Promise<string>;
    clean(n3: string): string;
    private eyeFinished;
    private stopEye;
    private escapeForRegExp;
    private stringToTmp;
}
export {};