timing-summary-table ( -- html )

Vocabulary

spider.report

Inputs

None

Outputs

html

an object

Definition

USING: namespaces xml.data xml.syntax.private ;

IN: spider.report

: timing-summary-table ( -- html )
    mean-time get median-time get time-std get 3 nenum T{
    xml-chunk
        { seq
            V{
                ""
                T{ tag
                    { name ~name~ }
                    { attrs ~attrs~ }
                    { children ~vector~ }
                }
                ""
            }
        }
    } interpolate-xml ;