time-banner. ( -- )

Vocabulary

tools.time

Inputs

None

Outputs

None

Definition

USING: io ;

IN: tools.time

: time-banner. ( -- )
    "Additional information was collected." print
    "dispatch-stats.  - Print method dispatch statistics" print
    "gc-events.       - Print all garbage collection events"
    print
    "gc-stats.        - Print breakdown of different garbage colle..."
    print
    "gc-summary.      - Print aggregate garbage collection statistics"
    print flush ;