On this page:
10.3.1 Interfaces
lint-status/  c
lint-status-more-urgent?
lint-status<%>
get-lint-status
directory-frame<%>
open-additional
call-in-directory-context
refresh-directory!
get-dir-frame/  false<%>
get-dir-frame/  false
dir-frame/  false/  c
tei-document-frame<%>
get-path
get-old-modify-seconds
proto-frame<%>
show
error-proto-frame%
10.3.1.1 Document Frame Components
10.3.1.2 Menu Bars
10.3.2 More
10.3.3 Utility Library
10.3.4 Application Icons
0.5.91

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

interface

directory-frame<%> : interface?

  implements: frame%
The interface of directory frames.

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

A contract for optional directory frames.

method

(send a-tei-document-frame get-path)  path-string?

method

(send a-tei-document-frame get-old-modify-seconds)  real?

method

(send a-proto-frame show show?)  any

  show? : any/c

class

error-proto-frame% : class?

  superclass: object%

  extends: proto-frame<%>
(class/c (init [path path-string?] [dir-frame dir-frame/false/c] [val (or/c exn:fail? string?)]))

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.)