stateful-check.command-utils — org.clojars.czan/stateful-check 0.4.4

args-gen clj

(args-gen command state)

Generate the arguments for a command, taking into account whether or not the command declares a :args function.

check-postcondition clj

(check-postcondition command prev-state next-state args result)

Check the postcondition for a command, taking into account whether or not the command declares a :postcondition function. Returns nil if the postcondition passes, otherwise returns a map with a :message key describing the failure. If the postcondition made any clojure.test assertions, events of type :fail and :error are added to the result under the :events key.

check-precondition clj

(check-precondition command state args)

Check the precondition for a command, taking into account whether or not the command declares a :precondition function.

check-requires clj

(check-requires command state)

Check the requirements for a command to be generated at all, taking into account whether or not the command declares a :requires function.

make-next-state clj

(make-next-state command state args result)

Make the next state for a command, taking into account whether or not the command declares a :next-state function.

to-generator clj

(to-generator value)

Convert a value into a generator, recursively. This means:

• generator? -> the value
• sequential? -> gen/tuple with each sub-value already processed
• map? -> gen/hash-map with each value (not keys) already processed
• otherwise -> gen/return the value