(element)
| 947 | } |
| 948 | |
| 949 | function readInstrText(element) { |
| 950 | currentInstrText.push(element.text()); |
| 951 | return emptyResult(); |
| 952 | } |
| 953 | |
| 954 | function noteReferenceReader(noteType) { |
| 955 | return function(element) { |
nothing calls this directly
no test coverage detected