instacheck.core — kanaka/instacheck 0.6.1

apply-grammar-updates clj

clj-prefix clj

(clj-prefix nsname)

ebnf->gen clj

(ebnf->gen ebnf)

(ebnf->gen ctx ebnf)

Takes an EBNF grammar, parser, file, or text string and returns a test.check generator. If the start is specified then this the name of the rule to use as the starting rule of the grmmar. If start is not specified then the first rule in the grammar file is used as the starting rule.

filter-alts clj

grammar->generator-obj clj

(grammar->generator-obj {:keys [start] :as ctx} grammar)

Return a a new generator object based on the context and instacheck grammar object.

grammar->ns clj

(grammar->ns ctx grammar)

parse clj

(parse parser text & [location])

Use parser to parse text. On success returns the parsed AST. On error, throws an ex-info object with a friendly error location string and a info map containing the :failure (instaparse Failure object), :text (the original text), and :location (optional location parameter).

parse-grammar-comments clj

parse-weights clj

(parse-weights parser text-objs)

Use parser to parse a sequence of text description objects {:text text :location location}. Returns a weights map with the weights set to the number of times that path in the grammar was followed/used across all the texts from text-objs.

parse-weights-from-files clj

(parse-weights-from-files parser files)

Wrapper around parse-weights that marshals the text objects from a list of file paths.

run-check clj

(run-check opts gen-to-check check-fn report-fn)

Run quick-check against a generator (gen-to-check) using a check function (check-fn) and reporter functon (report-fn). Execution options (opts) supported are :iterations (default: 10), :max-size (default: 200), and :seed.

update-generator-obj clj

(update-generator-obj obj & {:keys [weights start]})

Return a new generator object with runtime properties adjusted (those that don't require eval of the function source again). Only weights and start rule are supported currently.