clojush.interpreter

eval-push

(eval-push state)(eval-push state print-steps)(eval-push state print-steps trace)(eval-push state print-steps trace save-state-sequence)

Executes the contents of the exec stack, aborting prematurely if execution limits are exceeded. The resulting push state will map :termination to :normal if termination was normal, or :abnormal otherwise.

execute-instruction

(execute-instruction instruction state)

Executes a single Push instruction.

run-push

(run-push code state)(run-push code state print-steps)(run-push code state print-steps trace)(run-push code state print-steps trace save-state-sequence)

The top level of the push interpreter; calls eval-push between appropriate code/exec pushing/popping. The resulting push state will map :termination to :normal if termination was normal, or :abnormal otherwise.

saved-state-sequence