public void print (StringBuilder str)
Prints the given trigger into a string for the developer.
This is meant for debugging and logging.
The form of the representation may change at any time and is not guaranteed to stay identical.
a `GString` to print into