[next][previous][up][top][index]
search for:

ggPush -- convert a push command to engine communication format

ggPush h -- provides a string which when sent to the engine will cause it to push the object h onto the engine's stack.

This command is intended for internal use only.

Warning: in an expression of the form ggPush f() where f is a function that returns an object with a handle, there is no pointer to the object retained in the string provided, so the garbage collector may cause the object and its handle to be freed before the arrival of the command! The solution is to store the result in a local variable until the command has been sent.

Ways to use ggPush :

  • ggPush List
  • ggPush Handle
  • ggPush HashTable
  • ggPush QQ
  • ggPush RR
  • ggPush String
  • ggPush ZZ

  • [next][previous][up][top][index]
    search for: