1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
# -*- tcl -*-
# -- $Id: writer_null.tcl,v 1.1 2005/09/28 04:51:22 andreas_kupries Exp $ ---
#
# PAGE plugin - writer - NULL ~ /dev/null the output
#
# ### ### ### ######### ######### #########
## Imported API
# -----------------+--
# page_wdata | Access to processed input stream.
# -----------------+--
# page_info | Reporting to the user.
# page_warning |
# page_error |
# -----------------+--
# page_log_error | Reporting of internals.
# page_log_warning |
# page_log_info |
# -----------------+--
# ### ### ### ######### ######### #########
## Exported API
# -----------------+--
# page_wfeature | Query for special plugin features page might wish to use.
# page_wtime | Activate collection of timing statistics.
# page_wgettime | Return the collected timing statistics.
# page_wlabel | User readable label for the plugin.
# page_whelp | Doctools help text for plugin.
# page_woptions | Options understood by plugin.
# page_wconfigure | Option (re)configuration.
# page_wrun | Generate output from data per plugin configuration and hardwiring.
# -----------------+--
# ### ### ### ######### ######### #########
## Requisites
global usec
global timed
set timed 0
# ### ### ### ######### ######### #########
## Implementation of exported API
proc page_wlabel {} {
return /dev/null
}
proc page_wfeature {key} {
return [string eq $key timeable]
}
proc page_wtime {} {
global timed
set timed 1
return
}
proc page_wgettime {} {
global usec
return $usec
}
proc page_whelp {} {
return {}
}
proc page_woptions {} {
return {}
}
proc page_wconfigure {option value} {
return -code error "Cannot set value of unknown option \"$option\""
}
proc page_wrun {chan data} {
global timed usec
if {$timed} {
set usec [lindex [time {
page_log_info "writer/null/run/"
page_log_info "writer/null/run/ok"
}] 0] ; #{}
} else {
page_log_info "writer/null/run/"
page_log_info "writer/null/run/ok"
}
return
}
# ### ### ### ######### ######### #########
## Internal helper code.
# ### ### ### ######### ######### #########
## Initialization
package provide page::writer::null 0.1
|
