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.