| Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision |
| tutorials:advanced:task_trees [2015/07/08 14:14] – [Changing parameters with plan transformation] mpomarlan | tutorials:advanced:task_trees [2015/07/09 11:32] – Updated ptr-cram-function lambda list handling. mpomarlan |
|---|
| (format T "Inside example-ptr.~%") | (format T "Inside example-ptr.~%") |
| (format T "Received arguments ~a~%" args) | (format T "Received arguments ~a~%" args) |
| (format T "PTR parameter is (~a)~%Will now fail, so as to trigger plan transformation.~%" (cpl-impl:get-ptr-parameter)) | (format T "PTR parameter is (~a)~%Will now fail, so as to trigger plan transformation.~%" P) |
| (cpl:fail 'cpl-impl:plan-failure)) | (cpl:fail 'cpl-impl:plan-failure)) |
| |
| (defun compatible-ptr (&rest args) | (defun compatible-ptr (P &rest args) |
| (format T "Inside compatible-ptr.~%") | (format T "Inside compatible-ptr.~%") |
| (format T "Received arguments ~a~%" args) | (format T "Received arguments ~a~%" args) |
| (format T "PTR parameter is (~a)~%Done!~%" (cpl-impl:get-ptr-parameter))) | (format T "PTR parameter is (~a)~%Done!~%" P)) |
| | |
| (cpl-impl:def-top-level-cram-function try-ptr () | (cpl-impl:def-top-level-cram-function try-ptr () |
| Of these, example-ptr is the "star" of the show. Notice that it's been defined with def-ptr-cram-function, and what that tells CRAM is that the first argument in the supplied lambda list (in this case, P) is supposed to be a "compile-time", or plan-transformation accessible, parameter. | Of these, example-ptr is the "star" of the show. Notice that it's been defined with def-ptr-cram-function, and what that tells CRAM is that the first argument in the supplied lambda list (in this case, P) is supposed to be a "compile-time", or plan-transformation accessible, parameter. |
| |
| ptr-cram-functions are a bit peculiar. The body of the ptr-cram-function doesn't actually know the P parameter exists! So if you tried to invoke P somewhere in example-ptr's body, you would get an undefined variable warning. The reason behind this design decision was to force a ptr-cram-function to have only one way to access its compile-time parameter, and that is | ptr-cram-functions are a bit peculiar. When you call them the first time they behave like regular cram functions, and take their parameters from the ones you supplied. When you call them again (meaning, when there's a node in the task tree corresponding to the plan location you're calling them from), they ignore the first parameter in the lambda list you supply them with and replace it with the ptr-parameter stored in the task tree node. ptr-cram-functions do all this automatically; you don't need to write anything different when using them. In the example above, the ptr-cram-function uses the P parameter as if it were a usual parameter. |
| |
| <code lisp> | To actually change the compile time parameter in a node, notice the extra &key parameter in replace-task-code: |
| (cpl-impl:get-ptr-parameter) | |
| </code> | |
| | |
| This function will return the most recent adjustment of the compile-time parameter, which may have been changed by plan transformation. If we could also access P as a regular function parameter, then we'd get the value with which it was called in the first version of the plan-- and not necessarily a value controlled through plan transformation, which defeats its purpose as a compile time parameter. cpl-impl:get-ptr-parameter should only be called inside a cram-function or ptr-cram-function. | |
| | |
| There's a further consequence of this peculiarity of ptr-cram-functions: it implies the lambda list of a compatible replacement function must be the cdr of the lambda list that the ptr-cram-function was defined with. In the example above we have | |
| | |
| <code lisp> | |
| (cpl-impl:def-ptr-cram-function example-ptr (P &rest args) ...) | |
| (defun compatible-ptr (&rest args) ...) | |
| </code> | |
| | |
| Finally, to actually change the compile time parameter in a node, notice the extra &key parameter in replace-task-code: | |
| |
| <code lisp> | <code lisp> |
| (cpl-impl:replace-task-code '(compatible-ptr args) #'compatible-ptr code-path :ptr-parameter "Another value") | (cpl-impl:replace-task-code '(compatible-ptr args) #'compatible-ptr code-path :ptr-parameter "Oranges") |
| </code> | </code> |
| |
