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
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
|
<TeXmacs|1.0.4.2>
<style|tmdoc>
<\body>
<tmdoc-title|Mathematische und angepasste Eingabe>
Das <TeXmacs> Meta-Format ermglicht, dass Anwendungen strukturierten Text
wie z.B. mathematische Formeln an <TeXmacs> bergeben knnen. Ganz
entsprechend knnen Sie allgemeine <TeXmacs>-Inhalte als Eingabe an
Anwendungen schicken. Vorgabemig wird nur der Textinhalt an die Anwendung
in Form einer Zeichenkette geschickt. Dabei werden alle ASCII-Zeichen im
Bereich 0 - 31 ignoriert, auer <verbatim|'\\t'> und <verbatim|'\\n'>, die
als Leerstellen interpretiert werden. Es gibt zwei Methoden, um die Art und
Weise, wie die Eingabe an die Anwendung geschickt wird, zu beeinflussen.
Die Konfigurations-Option
<\scheme-fragment>
(:serializer ,<em|routine>)
</scheme-fragment>
spezifiziert eine <with|font-shape|small-caps|Scheme>-Funktion um
<TeXmacs>-Bume in eine Zeichenkette als Eingabe fr die Anwendung
umzuformen. Eine solche Umformung hat Vorrang vor der voreingestellten
Methode. Auf diese Weise knnen zum Beispiel mehrzeilige Eingaben in
besonderer Weise behandelt werden oder <TeXmacs>-Bume transformiert
werden.
Die <verbatim|:serialize> Option ist sehr mchtig. Sie ist aber auch eine
sehr abstrakte Weise der Anpassung von Eingaben in eine Anwendung. Man ist
gezwungen, eine komplette Eingabe-Transformations-Funktion zu schreiben.
Hufig will der Anwender aber nur kleinere Anpassungen durchfhren, z.B.
zwei-dimensionale mathematische Eingabe etwa der Form I
<no-break><with|mode|math|<frac|a|b>> umformen in die gebruchlichere Form
<verbatim|((a)/(b))>. Deshalb gibt es noch einen zweiten Weg. Man benutzt
den Befehl
<\scheme-fragment>
\ (plugin-input-converters <em|myplugin>
\ \ \ <em|rules>)
</scheme-fragment>
Dieser Befehl legt Eingabe--Konvertierungsregeln in Bezug auf
<verbatim|<em|myplugin>> fr \ \Rmathematische Eingabe'' fest. Dafr hat
<TeXmacs> bereits vernnftig erscheinende Vorgaben. Die Regeln haben ein
von zwei mglichen Formen:
<\description>
<item*|Transformationsregel fr Bltter>
Mit den beiden Zeichenketten <verbatim|<em|symbol>> und
<verbatim|<em|conversion>> besagt die Regel
<\scheme-fragment>
(<verbatim|<em|symbol>> <verbatim|<em|conversion>>)
</scheme-fragment>
dass das <TeXmacs> Symbol <verbatim|<em|symbol>> durch die Zeichenkette
<verbatim|<em|conversion>> ersetzt werden soll.
<item*|Transformationsregeln fr Tags>
Mit einen Symbol <verbatim|<em|tag>> und einer <value|scheme>-Funktion
<verbatim|<em|routine>>, besagt die Regel
<\scheme-fragment>
(<em|tag> <em|routine>)
</scheme-fragment>
dass <verbatim|<em|routine>> anstelle von <verbatim|<em|tag>> zu benutzen
ist. Diese <value|scheme>-Funktion sollte eine Zeichenkette an die
Standard-Ausgabe schicken. Die <value|scheme>-Funktion
<scheme-code|plugin-input> kann zur rekursiven Transformation der
Argumente des Tag benutzt werden.
</description>
<paragraph*|Das <verbatim|input> plugin>
Das Beispiel <verbatim|input> demonstriert, wie man mathematische Eingabe
anpasst und verwendet. Es besteht aus den folgenden Dateien:
<\verbatim>
\ \ \ \ <example-plugin-link|input/Makefile>
\ \ \ \ <example-plugin-link|input/packages/session/input.ts>
\ \ \ \ <example-plugin-link|input/progs/init-input.scm>
\ \ \ \ <example-plugin-link|input/progs/input-input.scm>
\ \ \ \ <example-plugin-link|input/src/input.cpp>
</verbatim>
Der <value|scheme>-Code zur Konfiguration in der Datei
<verbatim|init-input.scm> ist der folgende
<\scheme-fragment>
(plugin-configure input
\ \ (:require (url-exists-in-path? "input.bin"))
\ \ (:initialize (input-initialize))
\ \ (:launch "input.bin")
\ \ (:session "Input"))
</scheme-fragment>
Hier ist <verbatim|input-initialize> eine Initialisierungs-Routine, die auf
einfache Weise neue Konversions-Routinen einfhrt.
<\scheme-fragment>
(define (input-initialize)
\ \ (import-from (texmacs plugin plugin-convert))
\ \ (lazy-input-converter (input-input) input))
</scheme-fragment>
Mit anderen Worten, das Modul <verbatim|input-input.scm> wird nur dann
geladen, wenn wir explizit verlangen, dass eine Konversion durchgefhrt
werden soll. Die Konversionsregeln in <verbatim|input-input.scm> lauten so
<\scheme-fragment>
(plugin-input-converters input
\ \ (frac input-input-frac)
\ \ (special input-input-special)
\ \ ("\<less\>vee\<gtr\>" "\|\|")
\ \ ("\<less\>wedge\<gtr\>" "&&"))
</scheme-fragment>
Das fhrt dazu, dass <with|mode|math|\<vee\>> und
<with|mode|math|\<wedge\>> zu <verbatim|\|\|> und <verbatim|&&>
umgeschrieben werden. Brche <with|mode|math|<frac|a|b>> werden zu
<verbatim|((a):(b))> mit
<\scheme-fragment>
(define (input-input-frac t)
\ \ (display "((")
\ \ (plugin-input (car t))
\ \ (display "):(")
\ \ (plugin-input (cadr t))
\ \ (display "))"))
</scheme-fragment>
In den zustzlichen Stil <verbatim|input.ts> definieren wir ein
zustzliches Makro <markup|special>:
<\tm-fragment>
<with|preamble|true|<inactive|<assign|special|<macro|body|<block|<tformat|<cwith|1|1|1|1|cell-background|pastel
green>|<table|<row|<cell|<arg|body>>>>>>>>>>
</tm-fragment>
Dieser Tag wird mit der speziellen Konversionsregel umgeschrieben
<\scheme-fragment>
(define (input-input-special t)
\ \ (display "[[[SPECIAL:")
\ \ (plugin-input (car t))
\ \ (display "]]]"))
</scheme-fragment>
Der folgende <value|cpp> Code in <verbatim|input.cpp>\
<\cpp-fragment>
cout \<less\>\<less\> DATA_BEGIN \<less\>\<less\> "verbatim:";
cout \<less\>\<less\> DATA_BEGIN \<less\>\<less\>
"command:(session-use-math-input #t)"
\ \ \ \ \ \<less\>\<less\> DATA_END;
cout \<less\>\<less\> "Convert mathematical input into plain text";
cout \<less\>\<less\> DATA_END;
fflush (stdout);
</cpp-fragment>
versetzt die Sitzung automatisch in den mathematischen Eingabe-Modus und
gibt den Begrungstext aus. In der Hauptschleife begngen wir uns damit,
die Eingabe als Ausgabe zurckzuschicken:
<\cpp-fragment>
char buffer[100];
cin.getline (buffer, 100, '\\n');
cout \<less\>\<less\> DATA_BEGIN \<less\>\<less\> "verbatim:";
cout \<less\>\<less\> buffer;
cout \<less\>\<less\> DATA_END;
fflush (stdout);
</cpp-fragment>
<tmdoc-copyright|1998--2002|Joris van der Hoeven>
<tmdoc-license|Permission is granted to copy, distribute and/or modify this
document under the terms of the GNU Free Documentation License, Version 1.1
or any later version published by the Free Software Foundation; with no
Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
Texts. A copy of the license is included in the section entitled "GNU Free
Documentation License".>
</body>
<\initial>
<\collection>
<associate|language|german>
</collection>
</initial>
|
