instacheck.core — kanaka/instacheck 0.6.2

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-defs-source clj

grammar->generator-func-source 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)

load-grammar clj

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

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.

save-weights clj

(save-weights path weights)

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.