writer_tree.tcl
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038
00039 package require page::gen::tree::text
00040 package require struct::tree ;
00041
00042 global usec
00043 global timed
00044 timed = 0
00045
00046
00047
00048
00049 ret page_wlabel () {
00050 return {Tree Dump}
00051 }
00052
00053 ret page_wfeature (type key) {
00054 return [string eq $key timeable]
00055 }
00056
00057 ret page_wtime () {
00058 global timed
00059 set timed 1
00060 return
00061 }
00062
00063 ret page_wgettime () {
00064 global usec
00065 return $usec
00066 }
00067 ret page_whelp () {
00068 return {}
00069 }
00070
00071 ret page_woptions () {
00072 return {}
00073 }
00074
00075 ret page_wconfigure (type option , type value) {
00076 return -code error "Cannot set value of unknown option \"$option\""
00077 }
00078
00079 ret page_wrun (type chan , type data) {
00080 global timed usec
00081 page_log_info "writer/tree/run/"
00082
00083 if {$timed} {
00084 set usec [lindex [time {
00085 ::struct::tree ::tree deserialize $data
00086 page::gen::tree::text ::tree $chan
00087 }] 0] ; #{}
00088 } else {
00089 ::struct::tree ::tree deserialize $data
00090 page::gen::tree::text ::tree $chan
00091 }
00092
00093 page_log_info "writer/tree/run/ok"
00094
00095 ::tree destroy
00096 return
00097 }
00098
00099
00100
00101
00102
00103
00104
00105 package provide page::writer::tree 0.1
00106