annotate .cms/lib/codemirror/mode/dylan/index.html @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 <!doctype html>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 <title>CodeMirror: Dylan mode</title>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 <meta charset="utf-8"/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 <link rel=stylesheet href="../../doc/docs.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 <link rel="stylesheet" href="../../lib/codemirror.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <script src="../../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src="../../addon/edit/matchbrackets.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <script src="../../addon/comment/continuecomment.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <script src="../../addon/comment/comment.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <script src="dylan.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 <style>.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 <li><a class=active href="#">Dylan</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <h2>Dylan mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 <div><textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 Module: locators-internals
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 Synopsis: Abstract modeling of locations
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 Author: Andy Armstrong
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 Copyright: Original Code is Copyright (c) 1995-2004 Functional Objects, Inc.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 All rights reserved.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 License: See License.txt in this distribution for details.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 Warranty: Distributed WITHOUT WARRANTY OF ANY KIND
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 define open generic locator-server
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 (locator :: <locator>) => (server :: false-or(<server-locator>));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 define open generic locator-host
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 (locator :: <locator>) => (host :: false-or(<string>));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 define open generic locator-volume
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 (locator :: <locator>) => (volume :: false-or(<string>));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 define open generic locator-directory
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 (locator :: <locator>) => (directory :: false-or(<directory-locator>));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 define open generic locator-relative?
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 (locator :: <locator>) => (relative? :: <boolean>);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 define open generic locator-path
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 (locator :: <locator>) => (path :: <sequence>);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 define open generic locator-base
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 (locator :: <locator>) => (base :: false-or(<string>));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 define open generic locator-extension
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 (locator :: <locator>) => (extension :: false-or(<string>));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 /// Locator classes
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 define open abstract class <directory-locator> (<physical-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 end class <directory-locator>;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 define open abstract class <file-locator> (<physical-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 end class <file-locator>;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 define method as
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 (class == <directory-locator>, string :: <string>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 => (locator :: <directory-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 as(<native-directory-locator>, string)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 end method as;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 define method make
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 (class == <directory-locator>,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 #key server :: false-or(<server-locator>) = #f,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 path :: <sequence> = #[],
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 relative? :: <boolean> = #f,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 name :: false-or(<string>) = #f)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 => (locator :: <directory-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 make(<native-directory-locator>,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 server: server,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 path: path,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 relative?: relative?,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 name: name)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 end method make;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 define method as
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 (class == <file-locator>, string :: <string>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 => (locator :: <file-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 as(<native-file-locator>, string)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 end method as;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 define method make
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 (class == <file-locator>,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 #key directory :: false-or(<directory-locator>) = #f,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 base :: false-or(<string>) = #f,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 extension :: false-or(<string>) = #f,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 name :: false-or(<string>) = #f)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 => (locator :: <file-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 make(<native-file-locator>,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 directory: directory,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 base: base,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 extension: extension,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 name: name)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 end method make;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 /// Locator coercion
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 //---*** andrewa: This caching scheme doesn't work yet, so disable it.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 define constant $cache-locators? = #f;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 define constant $cache-locator-strings? = #f;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 define constant $locator-to-string-cache = make(<object-table>, weak: #"key");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 define constant $string-to-locator-cache = make(<string-table>, weak: #"value");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 define open generic locator-as-string
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 (class :: subclass(<string>), locator :: <locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 => (string :: <string>);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 define open generic string-as-locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 (class :: subclass(<locator>), string :: <string>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 => (locator :: <locator>);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 define sealed sideways method as
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 (class :: subclass(<string>), locator :: <locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 => (string :: <string>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 let string = element($locator-to-string-cache, locator, default: #f);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 if (string)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 as(class, string)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 let string = locator-as-string(class, locator);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 if ($cache-locator-strings?)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 element($locator-to-string-cache, locator) := string;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 string
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 end method as;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 define sealed sideways method as
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 (class :: subclass(<locator>), string :: <string>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 => (locator :: <locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 let locator = element($string-to-locator-cache, string, default: #f);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 if (instance?(locator, class))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 let locator = string-as-locator(class, string);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 if ($cache-locators?)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 element($string-to-locator-cache, string) := locator;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 end method as;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 /// Locator conditions
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 define class <locator-error> (<format-string-condition>, <error>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 end class <locator-error>;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160 define function locator-error
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161 (format-string :: <string>, #rest format-arguments)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 error(make(<locator-error>,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 format-string: format-string,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 format-arguments: format-arguments))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 end function locator-error;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 /// Useful locator protocols
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 define open generic locator-test
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 (locator :: <directory-locator>) => (test :: <function>);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172 define method locator-test
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 (locator :: <directory-locator>) => (test :: <function>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174 \=
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175 end method locator-test;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177 define open generic locator-might-have-links?
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 (locator :: <directory-locator>) => (links? :: <boolean>);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180 define method locator-might-have-links?
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181 (locator :: <directory-locator>) => (links? :: singleton(#f))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182 #f
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183 end method locator-might-have-links?;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
185 define method locator-relative?
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
186 (locator :: <file-locator>) => (relative? :: <boolean>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
187 let directory = locator.locator-directory;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
188 ~directory | directory.locator-relative?
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
189 end method locator-relative?;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
190
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
191 define method current-directory-locator?
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
192 (locator :: <directory-locator>) => (current-directory? :: <boolean>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
193 locator.locator-relative?
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
194 & locator.locator-path = #[#"self"]
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
195 end method current-directory-locator?;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
196
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
197 define method locator-directory
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
198 (locator :: <directory-locator>) => (parent :: false-or(<directory-locator>))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
199 let path = locator.locator-path;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
200 unless (empty?(path))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
201 make(object-class(locator),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
202 server: locator.locator-server,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
203 path: copy-sequence(path, end: path.size - 1),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
204 relative?: locator.locator-relative?)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
205 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
206 end method locator-directory;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
207
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
208 /// Simplify locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
209
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
210 define open generic simplify-locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
211 (locator :: <physical-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
212 => (simplified-locator :: <physical-locator>);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
213
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
214 define method simplify-locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
215 (locator :: <directory-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
216 => (simplified-locator :: <directory-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
217 let path = locator.locator-path;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
218 let relative? = locator.locator-relative?;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
219 let resolve-parent? = ~locator.locator-might-have-links?;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
220 let simplified-path
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
221 = simplify-path(path,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
222 resolve-parent?: resolve-parent?,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
223 relative?: relative?);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
224 if (path ~= simplified-path)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
225 make(object-class(locator),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
226 server: locator.locator-server,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
227 path: simplified-path,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
228 relative?: locator.locator-relative?)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
229 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
230 locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
231 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
232 end method simplify-locator;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
233
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
234 define method simplify-locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
235 (locator :: <file-locator>) => (simplified-locator :: <file-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
236 let directory = locator.locator-directory;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
237 let simplified-directory = directory & simplify-locator(directory);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
238 if (directory ~= simplified-directory)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
239 make(object-class(locator),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
240 directory: simplified-directory,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
241 base: locator.locator-base,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
242 extension: locator.locator-extension)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
243 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
244 locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
245 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
246 end method simplify-locator;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
247
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
248 /// Subdirectory locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
249
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
250 define open generic subdirectory-locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
251 (locator :: <directory-locator>, #rest sub-path)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
252 => (subdirectory :: <directory-locator>);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
253
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
254 define method subdirectory-locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
255 (locator :: <directory-locator>, #rest sub-path)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
256 => (subdirectory :: <directory-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
257 let old-path = locator.locator-path;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
258 let new-path = concatenate-as(<simple-object-vector>, old-path, sub-path);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
259 make(object-class(locator),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
260 server: locator.locator-server,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
261 path: new-path,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
262 relative?: locator.locator-relative?)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
263 end method subdirectory-locator;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
264
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
265 /// Relative locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
266
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
267 define open generic relative-locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
268 (locator :: <physical-locator>, from-locator :: <physical-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
269 => (relative-locator :: <physical-locator>);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
270
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
271 define method relative-locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
272 (locator :: <directory-locator>, from-locator :: <directory-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
273 => (relative-locator :: <directory-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
274 let path = locator.locator-path;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
275 let from-path = from-locator.locator-path;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
276 case
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
277 ~locator.locator-relative? & from-locator.locator-relative? =>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
278 locator-error
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
279 ("Cannot find relative path of absolute locator %= from relative locator %=",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
280 locator, from-locator);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
281 locator.locator-server ~= from-locator.locator-server =>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
282 locator;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
283 path = from-path =>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
284 make(object-class(locator),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
285 path: vector(#"self"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
286 relative?: #t);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
287 otherwise =>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
288 make(object-class(locator),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
289 path: relative-path(path, from-path, test: locator.locator-test),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
290 relative?: #t);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
291 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
292 end method relative-locator;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
293
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
294 define method relative-locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
295 (locator :: <file-locator>, from-directory :: <directory-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
296 => (relative-locator :: <file-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
297 let directory = locator.locator-directory;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
298 let relative-directory = directory & relative-locator(directory, from-directory);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
299 if (relative-directory ~= directory)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
300 simplify-locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
301 (make(object-class(locator),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
302 directory: relative-directory,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
303 base: locator.locator-base,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
304 extension: locator.locator-extension))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
305 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
306 locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
307 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
308 end method relative-locator;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
309
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
310 define method relative-locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
311 (locator :: <physical-locator>, from-locator :: <file-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
312 => (relative-locator :: <physical-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
313 let from-directory = from-locator.locator-directory;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
314 case
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
315 from-directory =>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
316 relative-locator(locator, from-directory);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
317 ~locator.locator-relative? =>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
318 locator-error
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
319 ("Cannot find relative path of absolute locator %= from relative locator %=",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
320 locator, from-locator);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
321 otherwise =>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
322 locator;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
323 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
324 end method relative-locator;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
325
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
326 /// Merge locators
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
327
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
328 define open generic merge-locators
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
329 (locator :: <physical-locator>, from-locator :: <physical-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
330 => (merged-locator :: <physical-locator>);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
331
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
332 /// Merge locators
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
333
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
334 define method merge-locators
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
335 (locator :: <directory-locator>, from-locator :: <directory-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
336 => (merged-locator :: <directory-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
337 if (locator.locator-relative?)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
338 let path = concatenate(from-locator.locator-path, locator.locator-path);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
339 simplify-locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
340 (make(object-class(locator),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
341 server: from-locator.locator-server,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
342 path: path,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
343 relative?: from-locator.locator-relative?))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
344 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
345 locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
346 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
347 end method merge-locators;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
348
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
349 define method merge-locators
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
350 (locator :: <file-locator>, from-locator :: <directory-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
351 => (merged-locator :: <file-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
352 let directory = locator.locator-directory;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
353 let merged-directory
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
354 = if (directory)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
355 merge-locators(directory, from-locator)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
356 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
357 simplify-locator(from-locator)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
358 end;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
359 if (merged-directory ~= directory)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
360 make(object-class(locator),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
361 directory: merged-directory,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
362 base: locator.locator-base,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
363 extension: locator.locator-extension)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
364 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
365 locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
366 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
367 end method merge-locators;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
368
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
369 define method merge-locators
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
370 (locator :: <physical-locator>, from-locator :: <file-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
371 => (merged-locator :: <physical-locator>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
372 let from-directory = from-locator.locator-directory;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
373 if (from-directory)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
374 merge-locators(locator, from-directory)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
375 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
376 locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
377 end
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
378 end method merge-locators;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
379
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
380 /// Locator protocols
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
381
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
382 define sideways method supports-open-locator?
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
383 (locator :: <file-locator>) => (openable? :: <boolean>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
384 ~locator.locator-relative?
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
385 end method supports-open-locator?;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
386
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
387 define sideways method open-locator
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
388 (locator :: <file-locator>, #rest keywords, #key, #all-keys)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
389 => (stream :: <stream>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
390 apply(open-file-stream, locator, keywords)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
391 end method open-locator;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
392 </textarea></div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
393
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
394 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
395 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
396 mode: "text/x-dylan",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
397 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
398 matchBrackets: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
399 continueComments: "Enter",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
400 extraKeys: {"Ctrl-Q": "toggleComment"},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
401 tabMode: "indent",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
402 indentUnit: 2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
403 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
404 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
405
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
406 <p><strong>MIME types defined:</strong> <code>text/x-dylan</code>.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
407 </article>