Handbook
Glossary
add-coverage ( object -- )
Coverage tool
Next:
remove-coverage ( object -- )
Vocabulary
tools
.
coverage
Inputs
object
an
object
Outputs
None
Word description
Recompiles a vocabulary with the coverage annotation. Note that the annotation tool is still disabled until you call
coverage-on
.
Definition
IN:
tools.coverage
GENERIC:
add-coverage
( object -- )
Methods
USING:
strings
tools.coverage
;
M:
string
add-coverage
[
add-coverage
]
each-word
;
USING:
assocs
kernel
sequences
tools.annotations
tools.coverage
words
;
M:
word
add-coverage
H{
}
clone
[
"coverage"
set-word-prop
]
2keep
'[
\
coverage-state
new
[
_
set-at
]
2keep
'[
_
flag-covered
]
prepend
]
deep-annotate
;