10.3 “TEI Lint” Implementation
| (require ricoeur/tei/tools/tei-lint/tei-lint) | |
| package: ricoeur-tei-utils | |
This section will contain details on the implementation of TEI Lint.
10.3.1 Interfaces
| (require ricoeur/tei/tools/tei-lint/lint/toolkit) | |
| package: ricoeur-tei-utils | |
value
lint-status/c : flat-contract? = (or/c 'error 'warning 'ok)
procedure
(lint-status-more-urgent? a b) → any/c
a : lint-status/c b : lint-status/c
|
method
(send a-lint-status get-lint-status) → lint-status/c
| ||
|
method
(send a-directory-frame open-additional) → any
method
(send a-directory-frame call-in-directory-context thunk) → any
thunk : (-> any)
method
(send a-directory-frame refresh-directory!) → any
|
method
(send a-get-dir-frame/false get-dir-frame/false)
→ dir-frame/false/c
value
= (or/c #f (is-a?/c directory-frame<%>))
| ||||||
|
method
(send a-tei-document-frame get-path) → path-string?
method
(send a-tei-document-frame get-old-modify-seconds) → real?
| ||||
|
| ||
superclass: object% | ||
|
10.3.1.1 Document Frame Components
make-tei-document-proto-frame-class tei-document-proto-frame%/c document-frame-component?
[document-frame-component (-> (-> tei-document? (values lint-status/c initialize-proc/c)) document-frame-component?)] [document-frame-component/ok (-> (-> tei-document? initialize-proc/c) document-frame-component?)] [constant-document-frame-component (-> initialize-proc/c document-frame-component?)] [document-frame-component-append (-> document-frame-component? ... document-frame-component?)] [document-frame-component-run (-> document-frame-component? tei-document? (values lint-status/c initialize-proc/c))]
10.3.1.2 Menu Bars
[menu-bar:file% (class/c (init [dir-frame dir-frame/false/c]))] [menu-bar:file+edit% (class/c (init [dir-frame dir-frame/false/c]))]
10.3.2 More
paragraphs.rkt document.rkt file-snip.rkt directory-frame.rkt
10.3.3 Utility Library
| (require ricoeur/tei/tools/tei-lint/lib) | |
| package: ricoeur-tei-utils | |
Theoretically, this module should provide small utilities needed in multiple places that don’t have much to do with TEI Lint specifically. In fact, this module is disorganized and badly in need of maintenence.
10.3.4 Application Icons
| (require ricoeur/tei/tools/tei-lint/convert-icon) | |
| package: ricoeur-tei-utils | |
Running this module will rebuild the application icons. It need only be done if there is a change. The derived icon formats are checked into the Git repository because raco setup doesn’t provide a hook to build them programatically at the right time. (See the mailing list for more details.)