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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
|
# Copyright (C) 2001-2006 Tresys Technology, LLC
# see file 'COPYING' for use and warranty information
# TCL/TK GUI for SE Linux policy analysis
# Requires tcl and tk 8.4+, with BWidgets 1.7+
namespace eval Apol_Widget {
variable vars
}
# Creates a widget that lets the user select an MLS range and a range
# search type (exact, subset, superset). If the second argument is
# not "" then add a checkbutton that enables/disables the entire
# widget.
proc Apol_Widget::makeRangeSelector {path rangeMatchText {enableText "MLS Range"} args} {
variable vars
array unset vars $path:*
set vars($path:range) {{{} {}}}
set vars($path:range_rendered) {}
set vars($path:search_type) "exact"
set f [frame $path]
set range_frame [frame $f.range]
set range2_frame [frame $f.range2]
pack $range_frame $range2_frame -side left -expand 0 -anchor nw
if {$enableText != {}} {
set vars($path:enable) 0
set range_cb [checkbutton $range_frame.enable -text $enableText \
-variable Apol_Widget::vars($path:enable)]
pack $range_cb -side top -expand 0 -anchor nw
trace add variable Apol_Widget::vars($path:enable) write [list Apol_Widget::_toggle_range_selector $path $range_cb]
}
set range_display [eval Entry $range_frame.display -textvariable Apol_Widget::vars($path:range_rendered) -width 20 -editable 0 $args]
set range_button [button $range_frame.button -text "Select Range..." -state disabled -command [list Apol_Widget::_show_mls_range_dialog $path]]
trace add variable Apol_Widget::vars($path:range) write [list Apol_Widget::_update_range_display $path]
pack $range_display -side top -expand 1 -fill x -anchor nw
pack $range_button -side top -expand 0 -anchor ne
if {$enableText != {}} {
pack configure $range_display -padx 4
pack configure $range_button -padx 4
}
# range search type
set range_label [label $range2_frame.label -text "Range Matching:" \
-state disabled]
set range_exact [radiobutton $range2_frame.exact -text "Exact Matches" \
-state disabled \
-value exact -variable Apol_Widget::vars($path:search_type)]
set range_subset [radiobutton $range2_frame.subset -text "$rangeMatchText Containing Range" \
-state disabled \
-value subset -variable Apol_Widget::vars($path:search_type)]
set range_superset [radiobutton $range2_frame.superset -text "$rangeMatchText Within Range" \
-state disabled \
-value superset -variable Apol_Widget::vars($path:search_type)]
pack $range_label $range_exact $range_subset $range_superset \
-side top -expand 0 -anchor nw
return $f
}
proc Apol_Widget::setRangeSelectorState {path newState} {
if {$newState == 0 || $newState == "disabled"} {
set new_state disabled
} else {
set new_state normal
}
foreach w {display button} {
$path.range.$w configure -state $new_state
}
foreach w {label exact subset superset} {
$path.range2.$w configure -state $new_state
}
}
proc Apol_Widget::setRangeSelectorCompleteState {path newState} {
if {$newState == 0 || $newState == "disabled"} {
set new_state disabled
} else {
set new_state normal
}
catch {$path.range.enable configure -state $new_state}
}
proc Apol_Widget::clearRangeSelector {path} {
set Apol_Widget::vars($path:range) {{{} {}}}
set Apol_Widget::vars($path:search_type) exact
catch {set Apol_Widget::vars($path:enable) 0}
}
proc Apol_Widget::getRangeSelectorState {path} {
return $Apol_Widget::vars($path:enable)
}
# returns a 2-uple containing the range value and the search type
proc Apol_Widget::getRangeSelectorValue {path} {
variable vars
if {[llength $vars($path:range)] == 1} {
set range [list [lindex $vars($path:range) 0] [lindex $vars($path:range) 0]]
} else {
set range $vars($path:range)
}
list $range $vars($path:search_type)
}
########## private functions below ##########
proc Apol_Widget::_toggle_range_selector {path cb name1 name2 op} {
if {$Apol_Widget::vars($path:enable)} {
Apol_Widget::setRangeSelectorState $path normal
} else {
Apol_Widget::setRangeSelectorState $path disabled
}
}
proc Apol_Widget::_show_mls_range_dialog {path} {
set Apol_Widget::vars($path:range) [Apol_Range_Dialog::getRange $Apol_Widget::vars($path:range)]
# the trace on this variable will trigger [_update_range_display] to execute
}
proc Apol_Widget::_update_range_display {path name1 name2 op} {
variable vars
set display $path.range.display
set low_level [lindex $vars($path:range) 0]
if {[llength $vars($path:range)] == 1} {
set high_level $low_level
} else {
set high_level [lindex $vars($path:range) 1]
}
if {$low_level == {{} {}} && $high_level == {{} {}}} {
set vars($path:range_rendered) {}
$display configure -helptext {}
} else {
set low_level [apol_RenderLevel $low_level]
set high_level [apol_RenderLevel $high_level]
if {$low_level == "" || $high_level == ""} {
set vars($path:range_rendered) "<invalid MLS range>"
} else {
if {$low_level == $high_level} {
set vars($path:range_rendered) $low_level
} else {
set vars($path:range_rendered) "$low_level - $high_level"
}
}
$display configure -helptext $vars($path:range_rendered)
}
}
|
