opensim – Blame information for rev 1
?pathlinks?
Rev | Author | Line No. | Line |
---|---|---|---|
1 | eva | 1 | /* |
2 | * Copyright (C) 2007-2008, Jeff Thompson |
||
3 | * |
||
4 | * All rights reserved. |
||
5 | * |
||
6 | * Redistribution and use in source and binary forms, with or without |
||
7 | * modification, are permitted provided that the following conditions are met: |
||
8 | * |
||
9 | * * Redistributions of source code must retain the above copyright |
||
10 | * notice, this list of conditions and the following disclaimer. |
||
11 | * * Redistributions in binary form must reproduce the above copyright |
||
12 | * notice, this list of conditions and the following disclaimer in the |
||
13 | * documentation and/or other materials provided with the distribution. |
||
14 | * * Neither the name of the copyright holder nor the names of its contributors |
||
15 | * may be used to endorse or promote products derived from this software |
||
16 | * without specific prior written permission. |
||
17 | * |
||
18 | * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
||
19 | * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
||
20 | * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
||
21 | * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR |
||
22 | * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, |
||
23 | * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, |
||
24 | * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR |
||
25 | * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF |
||
26 | * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING |
||
27 | * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS |
||
28 | * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
||
29 | */ |
||
30 | |||
31 | using System; |
||
32 | using System.Collections.Generic; |
||
33 | |||
34 | // disable warning on l1, don't see how we can |
||
35 | // code this differently |
||
36 | #pragma warning disable 0168, 0219, 0162 |
||
37 | |||
38 | namespace OpenSim.Region.ScriptEngine.Shared.YieldProlog |
||
39 | { |
||
40 | public class Parser |
||
41 | { |
||
42 | public static IEnumerable<bool> read_term2(object Term, object Options) |
||
43 | { |
||
44 | Variable Answer = new Variable(); |
||
45 | Variable Variables = new Variable(); |
||
46 | foreach (bool l1 in read_termOptions(Options, Variables)) |
||
47 | { |
||
48 | foreach (bool l2 in portable_read3(Answer, Variables, new Variable())) |
||
49 | { |
||
50 | foreach (bool l3 in remove_pos(Answer, Term)) |
||
51 | yield return false; |
||
52 | } |
||
53 | } |
||
54 | } |
||
55 | |||
56 | public static IEnumerable<bool> read_term3(object Input, object Term, object Options) |
||
57 | { |
||
58 | Variable SaveInput = new Variable(); |
||
59 | Variable Answer = new Variable(); |
||
60 | Variable Variables = new Variable(); |
||
61 | foreach (bool l1 in read_termOptions(Options, Variables)) |
||
62 | { |
||
63 | foreach (bool l2 in YP.current_input(SaveInput)) |
||
64 | { |
||
65 | try |
||
66 | { |
||
67 | YP.see(Input); |
||
68 | foreach (bool l3 in portable_read3(Answer, Variables, new Variable())) |
||
69 | { |
||
70 | foreach (bool l4 in remove_pos(Answer, Term)) |
||
71 | yield return false; |
||
72 | } |
||
73 | } |
||
74 | finally |
||
75 | { |
||
76 | YP.see(SaveInput); |
||
77 | } |
||
78 | } |
||
79 | } |
||
80 | } |
||
81 | |||
82 | /// <summary> |
||
83 | /// For read_term, check if Options has variable_names(Variables). |
||
84 | /// Otherwise, ignore Options. |
||
85 | /// </summary> |
||
86 | /// <param name="Options"></param> |
||
87 | /// <param name="Variables"></param> |
||
88 | /// <returns></returns> |
||
89 | private static IEnumerable<bool> read_termOptions(object Options, object Variables) |
||
90 | { |
||
91 | Options = YP.getValue(Options); |
||
92 | if (Options is Variable) |
||
93 | throw new PrologException(Atom.a("instantiation_error"), "Options is an unbound variable"); |
||
94 | // First try to match Options = [variable_names(Variables)] |
||
95 | foreach (bool l1 in YP.unify(Options, ListPair.make(new Functor1("variable_names", Variables)))) |
||
96 | { |
||
97 | yield return false; |
||
98 | yield break; |
||
99 | } |
||
100 | // Default: Ignore Options. |
||
101 | yield return false; |
||
102 | } |
||
103 | |||
104 | public static IEnumerable<bool> read1(object Term) |
||
105 | { |
||
106 | return read_term2(Term, Atom.NIL); |
||
107 | } |
||
108 | |||
109 | public static IEnumerable<bool> read2(object Input, object Term) |
||
110 | { |
||
111 | return read_term3(Input, Term, Atom.NIL); |
||
112 | } |
||
113 | |||
114 | public static IEnumerable<bool> formatError(object Output, object Format, object Arguments) |
||
115 | { |
||
116 | // Debug: Simple implementation for now. |
||
117 | YP.write(Format); |
||
118 | YP.write(Arguments); |
||
119 | YP.nl(); |
||
120 | yield return false; |
||
121 | } |
||
122 | |||
123 | |||
124 | // Debug: Hand-modify this central predicate to do tail recursion. |
||
125 | public static IEnumerable<bool> read_tokens(object arg1, object arg2, object arg3) |
||
126 | { |
||
127 | bool repeat = true; |
||
128 | while (repeat) |
||
129 | { |
||
130 | repeat = false; |
||
131 | { |
||
132 | object C1 = arg1; |
||
133 | object Dict = arg2; |
||
134 | object Tokens = arg3; |
||
135 | Variable C2 = new Variable(); |
||
136 | if (YP.lessThanOrEqual(C1, new ListPair(32, Atom.NIL))) |
||
137 | { |
||
138 | if (YP.greaterThanOrEqual(C1, 0)) |
||
139 | { |
||
140 | foreach (bool l4 in YP.get_code(C2)) |
||
141 | { |
||
142 | #if false |
||
143 | foreach (bool l5 in read_tokens(C2, Dict, Tokens)) |
||
144 | { |
||
145 | yield return false; |
||
146 | } |
||
147 | #endif |
||
148 | arg1 = YP.getValue(C2); |
||
149 | arg2 = YP.getValue(Dict); |
||
150 | arg3 = YP.getValue(Tokens); |
||
151 | repeat = true; |
||
152 | } |
||
153 | } |
||
154 | goto cutIf1; |
||
155 | } |
||
156 | if (YP.greaterThanOrEqual(C1, new ListPair(97, Atom.NIL))) |
||
157 | { |
||
158 | if (YP.lessThanOrEqual(C1, new ListPair(122, Atom.NIL))) |
||
159 | { |
||
160 | foreach (bool l4 in read_identifier(C1, Dict, Tokens)) |
||
161 | { |
||
162 | yield return false; |
||
163 | } |
||
164 | goto cutIf2; |
||
165 | } |
||
166 | } |
||
167 | if (YP.greaterThanOrEqual(C1, new ListPair(65, Atom.NIL))) |
||
168 | { |
||
169 | if (YP.lessThanOrEqual(C1, new ListPair(90, Atom.NIL))) |
||
170 | { |
||
171 | foreach (bool l4 in read_variable(C1, Dict, Tokens)) |
||
172 | { |
||
173 | yield return false; |
||
174 | } |
||
175 | goto cutIf3; |
||
176 | } |
||
177 | } |
||
178 | if (YP.greaterThanOrEqual(C1, new ListPair(48, Atom.NIL))) |
||
179 | { |
||
180 | if (YP.lessThanOrEqual(C1, new ListPair(57, Atom.NIL))) |
||
181 | { |
||
182 | foreach (bool l4 in read_number(C1, Dict, Tokens)) |
||
183 | { |
||
184 | yield return false; |
||
185 | } |
||
186 | goto cutIf4; |
||
187 | } |
||
188 | } |
||
189 | if (YP.lessThan(C1, 127)) |
||
190 | { |
||
191 | foreach (bool l3 in read_special(C1, Dict, Tokens)) |
||
192 | { |
||
193 | yield return false; |
||
194 | } |
||
195 | goto cutIf5; |
||
196 | } |
||
197 | if (YP.lessThanOrEqual(C1, 160)) |
||
198 | { |
||
199 | foreach (bool l3 in YP.get_code(C2)) |
||
200 | { |
||
201 | #if false |
||
202 | foreach (bool l4 in read_tokens(C2, Dict, Tokens)) |
||
203 | { |
||
204 | yield return false; |
||
205 | } |
||
206 | #endif |
||
207 | arg1 = YP.getValue(C2); |
||
208 | arg2 = YP.getValue(Dict); |
||
209 | arg3 = YP.getValue(Tokens); |
||
210 | repeat = true; |
||
211 | } |
||
212 | goto cutIf6; |
||
213 | } |
||
214 | if (YP.greaterThanOrEqual(C1, 223)) |
||
215 | { |
||
216 | if (YP.notEqual(C1, 247)) |
||
217 | { |
||
218 | foreach (bool l4 in read_identifier(C1, Dict, Tokens)) |
||
219 | { |
||
220 | yield return false; |
||
221 | } |
||
222 | goto cutIf7; |
||
223 | } |
||
224 | } |
||
225 | if (YP.greaterThanOrEqual(C1, 192)) |
||
226 | { |
||
227 | if (YP.notEqual(C1, 215)) |
||
228 | { |
||
229 | foreach (bool l4 in read_variable(C1, Dict, Tokens)) |
||
230 | { |
||
231 | yield return false; |
||
232 | } |
||
233 | goto cutIf8; |
||
234 | } |
||
235 | } |
||
236 | if (YP.notEqual(C1, 170)) |
||
237 | { |
||
238 | if (YP.notEqual(C1, 186)) |
||
239 | { |
||
240 | foreach (bool l4 in read_symbol(C1, Dict, Tokens)) |
||
241 | { |
||
242 | yield return false; |
||
243 | } |
||
244 | goto cutIf9; |
||
245 | } |
||
246 | } |
||
247 | foreach (bool l2 in read_identifier(C1, Dict, Tokens)) |
||
248 | { |
||
249 | yield return false; |
||
250 | } |
||
251 | cutIf9: |
||
252 | cutIf8: |
||
253 | cutIf7: |
||
254 | cutIf6: |
||
255 | cutIf5: |
||
256 | cutIf4: |
||
257 | cutIf3: |
||
258 | cutIf2: |
||
259 | cutIf1: |
||
260 | { } |
||
261 | } |
||
262 | } |
||
263 | } |
||
264 | |||
265 | // Compiler output follows. |
||
266 | |||
267 | class YPInnerClass { } |
||
268 | // static Type getDeclaringClass() { return typeof(YPInnerClass).DeclaringType; } |
||
269 | |||
270 | public static IEnumerable<bool> parseInput(object TermList) |
||
271 | { |
||
272 | { |
||
273 | Variable TermAndVariables = new Variable(); |
||
274 | FindallAnswers findallAnswers1 = new FindallAnswers(TermAndVariables); |
||
275 | foreach (bool l2 in parseInputHelper(TermAndVariables)) |
||
276 | { |
||
277 | findallAnswers1.add(); |
||
278 | } |
||
279 | foreach (bool l2 in findallAnswers1.result(TermList)) |
||
280 | { |
||
281 | yield return false; |
||
282 | } |
||
283 | } |
||
284 | } |
||
285 | |||
286 | public static IEnumerable<bool> parseInputHelper(object arg1) |
||
287 | { |
||
288 | { |
||
289 | Variable Term = new Variable(); |
||
290 | Variable Variables = new Variable(); |
||
291 | Variable Answer = new Variable(); |
||
292 | Variable x4 = new Variable(); |
||
293 | foreach (bool l2 in YP.unify(arg1, new Functor2("f", Term, Variables))) |
||
294 | { |
||
295 | foreach (bool l3 in YP.repeat()) |
||
296 | { |
||
297 | foreach (bool l4 in portable_read3(Answer, Variables, x4)) |
||
298 | { |
||
299 | foreach (bool l5 in remove_pos(Answer, Term)) |
||
300 | { |
||
301 | if (YP.termEqual(Term, Atom.a("end_of_file"))) |
||
302 | { |
||
303 | yield break; |
||
304 | goto cutIf1; |
||
305 | } |
||
306 | yield return false; |
||
307 | cutIf1: |
||
308 | { } |
||
309 | } |
||
310 | } |
||
311 | } |
||
312 | } |
||
313 | } |
||
314 | } |
||
315 | |||
316 | public static IEnumerable<bool> clear_errors() |
||
317 | { |
||
318 | { |
||
319 | yield return false; |
||
320 | } |
||
321 | } |
||
322 | |||
323 | public static IEnumerable<bool> remove_pos(object arg1, object arg2) |
||
324 | { |
||
325 | { |
||
326 | Variable X = new Variable(); |
||
327 | foreach (bool l2 in YP.unify(arg1, X)) |
||
328 | { |
||
329 | foreach (bool l3 in YP.unify(arg2, X)) |
||
330 | { |
||
331 | if (YP.var(X)) |
||
332 | { |
||
333 | yield return true; |
||
334 | yield break; |
||
335 | } |
||
336 | } |
||
337 | } |
||
338 | } |
||
339 | { |
||
340 | object X = arg2; |
||
341 | Variable _Pos = new Variable(); |
||
342 | Variable _Name = new Variable(); |
||
343 | foreach (bool l2 in YP.unify(arg1, new Functor3("$VAR", _Pos, _Name, X))) |
||
344 | { |
||
345 | if (YP.var(X)) |
||
346 | { |
||
347 | yield return true; |
||
348 | yield break; |
||
349 | } |
||
350 | } |
||
351 | } |
||
352 | { |
||
353 | foreach (bool l2 in YP.unify(arg1, Atom.NIL)) |
||
354 | { |
||
355 | foreach (bool l3 in YP.unify(arg2, Atom.NIL)) |
||
356 | { |
||
357 | yield return true; |
||
358 | yield break; |
||
359 | } |
||
360 | } |
||
361 | } |
||
362 | { |
||
363 | Variable H = new Variable(); |
||
364 | Variable T = new Variable(); |
||
365 | Variable NH = new Variable(); |
||
366 | Variable NT = new Variable(); |
||
367 | foreach (bool l2 in YP.unify(arg1, new ListPair(H, T))) |
||
368 | { |
||
369 | foreach (bool l3 in YP.unify(arg2, new ListPair(NH, NT))) |
||
370 | { |
||
371 | foreach (bool l4 in remove_pos(H, NH)) |
||
372 | { |
||
373 | foreach (bool l5 in remove_pos(T, NT)) |
||
374 | { |
||
375 | yield return false; |
||
376 | } |
||
377 | } |
||
378 | yield break; |
||
379 | } |
||
380 | } |
||
381 | } |
||
382 | { |
||
383 | Variable A = new Variable(); |
||
384 | Variable B = new Variable(); |
||
385 | Variable NA = new Variable(); |
||
386 | Variable NB = new Variable(); |
||
387 | foreach (bool l2 in YP.unify(arg1, new Functor2(",", A, B))) |
||
388 | { |
||
389 | foreach (bool l3 in YP.unify(arg2, new Functor2(",", NA, NB))) |
||
390 | { |
||
391 | foreach (bool l4 in remove_pos(A, NA)) |
||
392 | { |
||
393 | foreach (bool l5 in remove_pos(B, NB)) |
||
394 | { |
||
395 | yield return false; |
||
396 | } |
||
397 | } |
||
398 | yield break; |
||
399 | } |
||
400 | } |
||
401 | } |
||
402 | { |
||
403 | Variable Atom_1 = new Variable(); |
||
404 | Variable _F = new Variable(); |
||
405 | foreach (bool l2 in YP.unify(arg1, Atom_1)) |
||
406 | { |
||
407 | foreach (bool l3 in YP.unify(arg2, Atom_1)) |
||
408 | { |
||
409 | foreach (bool l4 in YP.functor(Atom_1, _F, 0)) |
||
410 | { |
||
411 | yield return false; |
||
412 | } |
||
413 | } |
||
414 | } |
||
415 | } |
||
416 | { |
||
417 | object Term = arg1; |
||
418 | object NewTerm = arg2; |
||
419 | Variable Func = new Variable(); |
||
420 | Variable _Pos = new Variable(); |
||
421 | Variable Args = new Variable(); |
||
422 | Variable NArgs = new Variable(); |
||
423 | if (YP.nonvar(Term)) |
||
424 | { |
||
425 | foreach (bool l3 in YP.univ(Term, new ListPair(Func, new ListPair(_Pos, Args)))) |
||
426 | { |
||
427 | foreach (bool l4 in remove_pos(Args, NArgs)) |
||
428 | { |
||
429 | foreach (bool l5 in YP.univ(NewTerm, new ListPair(Func, NArgs))) |
||
430 | { |
||
431 | yield return false; |
||
432 | } |
||
433 | } |
||
434 | } |
||
435 | } |
||
436 | } |
||
437 | } |
||
438 | |||
439 | public static IEnumerable<bool> portable_read_position(object Term, object PosTerm, object Syntax) |
||
440 | { |
||
441 | { |
||
442 | foreach (bool l2 in portable_read(PosTerm, Syntax)) |
||
443 | { |
||
444 | foreach (bool l3 in remove_pos(PosTerm, Term)) |
||
445 | { |
||
446 | yield return false; |
||
447 | } |
||
448 | } |
||
449 | } |
||
450 | } |
||
451 | |||
452 | public static IEnumerable<bool> portable_read(object Answer, object Syntax) |
||
453 | { |
||
454 | { |
||
455 | Variable Tokens = new Variable(); |
||
456 | Variable ParseTokens = new Variable(); |
||
457 | foreach (bool l2 in read_tokens1(Tokens)) |
||
458 | { |
||
459 | foreach (bool l3 in remove_comments(Tokens, ParseTokens, Syntax)) |
||
460 | { |
||
461 | foreach (bool l4 in parse2(ParseTokens, Answer)) |
||
462 | { |
||
463 | yield return false; |
||
464 | } |
||
465 | } |
||
466 | } |
||
467 | } |
||
468 | } |
||
469 | |||
470 | public static IEnumerable<bool> portable_read3(object Answer, object Variables, object Syntax) |
||
471 | { |
||
472 | { |
||
473 | Variable Tokens = new Variable(); |
||
474 | Variable ParseTokens = new Variable(); |
||
475 | foreach (bool l2 in read_tokens2(Tokens, Variables)) |
||
476 | { |
||
477 | foreach (bool l3 in remove_comments(Tokens, ParseTokens, Syntax)) |
||
478 | { |
||
479 | foreach (bool l4 in parse2(ParseTokens, Answer)) |
||
480 | { |
||
481 | yield return false; |
||
482 | } |
||
483 | } |
||
484 | } |
||
485 | } |
||
486 | } |
||
487 | |||
488 | public static IEnumerable<bool> remove_comments(object arg1, object arg2, object arg3) |
||
489 | { |
||
490 | { |
||
491 | foreach (bool l2 in YP.unify(arg1, Atom.NIL)) |
||
492 | { |
||
493 | foreach (bool l3 in YP.unify(arg2, Atom.NIL)) |
||
494 | { |
||
495 | foreach (bool l4 in YP.unify(arg3, Atom.NIL)) |
||
496 | { |
||
497 | yield return false; |
||
498 | } |
||
499 | } |
||
500 | } |
||
501 | } |
||
502 | { |
||
503 | object Ys = arg2; |
||
504 | Variable S = new Variable(); |
||
505 | Variable E = new Variable(); |
||
506 | Variable Xs = new Variable(); |
||
507 | Variable Zs = new Variable(); |
||
508 | foreach (bool l2 in YP.unify(arg1, new ListPair(new Functor2("comment", S, E), Xs))) |
||
509 | { |
||
510 | foreach (bool l3 in YP.unify(arg3, new ListPair(new Functor2("comment", S, E), Zs))) |
||
511 | { |
||
512 | foreach (bool l4 in remove_comments(Xs, Ys, Zs)) |
||
513 | { |
||
514 | yield return false; |
||
515 | } |
||
516 | yield break; |
||
517 | } |
||
518 | } |
||
519 | } |
||
520 | { |
||
521 | Variable Pos = new Variable(); |
||
522 | Variable Xs = new Variable(); |
||
523 | Variable Ys = new Variable(); |
||
524 | Variable Pos2 = new Variable(); |
||
525 | Variable Zs = new Variable(); |
||
526 | foreach (bool l2 in YP.unify(arg1, new ListPair(new Functor2("/", Atom.a("["), Pos), Xs))) |
||
527 | { |
||
528 | foreach (bool l3 in YP.unify(arg2, new ListPair(Atom.a("["), Ys))) |
||
529 | { |
||
530 | foreach (bool l4 in YP.unify(arg3, new ListPair(new Functor2("list", Pos, Pos2), Zs))) |
||
531 | { |
||
532 | foreach (bool l5 in YP.unify(Pos2, YP.add(Pos, 1))) |
||
533 | { |
||
534 | foreach (bool l6 in remove_comments(Xs, Ys, Zs)) |
||
535 | { |
||
536 | yield return false; |
||
537 | } |
||
538 | } |
||
539 | yield break; |
||
540 | } |
||
541 | } |
||
542 | } |
||
543 | } |
||
544 | { |
||
545 | Variable Pos = new Variable(); |
||
546 | Variable Xs = new Variable(); |
||
547 | Variable Ys = new Variable(); |
||
548 | Variable Pos2 = new Variable(); |
||
549 | Variable Zs = new Variable(); |
||
550 | foreach (bool l2 in YP.unify(arg1, new ListPair(new Functor2("/", Atom.a("]"), Pos), Xs))) |
||
551 | { |
||
552 | foreach (bool l3 in YP.unify(arg2, new ListPair(Atom.a("]"), Ys))) |
||
553 | { |
||
554 | foreach (bool l4 in YP.unify(arg3, new ListPair(new Functor2("list", Pos, Pos2), Zs))) |
||
555 | { |
||
556 | foreach (bool l5 in YP.unify(Pos2, YP.add(Pos, 1))) |
||
557 | { |
||
558 | foreach (bool l6 in remove_comments(Xs, Ys, Zs)) |
||
559 | { |
||
560 | yield return false; |
||
561 | } |
||
562 | } |
||
563 | yield break; |
||
564 | } |
||
565 | } |
||
566 | } |
||
567 | } |
||
568 | { |
||
569 | object Zs = arg3; |
||
570 | Variable Token = new Variable(); |
||
571 | Variable Xs = new Variable(); |
||
572 | Variable Ys = new Variable(); |
||
573 | foreach (bool l2 in YP.unify(arg1, new ListPair(Token, Xs))) |
||
574 | { |
||
575 | foreach (bool l3 in YP.unify(arg2, new ListPair(Token, Ys))) |
||
576 | { |
||
577 | foreach (bool l4 in remove_comments(Xs, Ys, Zs)) |
||
578 | { |
||
579 | yield return false; |
||
580 | } |
||
581 | } |
||
582 | } |
||
583 | } |
||
584 | } |
||
585 | |||
586 | public static IEnumerable<bool> expect(object Token, object arg2, object arg3) |
||
587 | { |
||
588 | { |
||
589 | object Rest = arg3; |
||
590 | foreach (bool l2 in YP.unify(arg2, new ListPair(Token, Rest))) |
||
591 | { |
||
592 | yield return true; |
||
593 | yield break; |
||
594 | } |
||
595 | } |
||
596 | { |
||
597 | object S0 = arg2; |
||
598 | object x3 = arg3; |
||
599 | foreach (bool l2 in syntax_error(ListPair.make(new object[] { Token, Atom.a("or"), Atom.a("operator"), Atom.a("expected") }), S0)) |
||
600 | { |
||
601 | yield return false; |
||
602 | } |
||
603 | } |
||
604 | } |
||
605 | |||
606 | public static IEnumerable<bool> parse2(object Tokens, object Answer) |
||
607 | { |
||
608 | { |
||
609 | Variable Term = new Variable(); |
||
610 | Variable LeftOver = new Variable(); |
||
611 | foreach (bool l2 in clear_errors()) |
||
612 | { |
||
613 | foreach (bool l3 in parse(Tokens, 1200, Term, LeftOver)) |
||
614 | { |
||
615 | foreach (bool l4 in all_read(LeftOver)) |
||
616 | { |
||
617 | foreach (bool l5 in YP.unify(Answer, Term)) |
||
618 | { |
||
619 | yield return false; |
||
620 | } |
||
621 | yield break; |
||
622 | } |
||
623 | } |
||
624 | foreach (bool l3 in syntax_error(Tokens)) |
||
625 | { |
||
626 | yield return false; |
||
627 | } |
||
628 | } |
||
629 | } |
||
630 | } |
||
631 | |||
632 | public static IEnumerable<bool> all_read(object arg1) |
||
633 | { |
||
634 | { |
||
635 | foreach (bool l2 in YP.unify(arg1, Atom.NIL)) |
||
636 | { |
||
637 | yield return false; |
||
638 | } |
||
639 | } |
||
640 | { |
||
641 | Variable Token = new Variable(); |
||
642 | Variable S = new Variable(); |
||
643 | foreach (bool l2 in YP.unify(arg1, new ListPair(Token, S))) |
||
644 | { |
||
645 | foreach (bool l3 in syntax_error(ListPair.make(new object[] { Atom.a("operator"), Atom.a("expected"), Atom.a("after"), Atom.a("expression") }), new ListPair(Token, S))) |
||
646 | { |
||
647 | yield return false; |
||
648 | } |
||
649 | } |
||
650 | } |
||
651 | } |
||
652 | |||
653 | public static IEnumerable<bool> parse(object arg1, object arg2, object arg3, object arg4) |
||
654 | { |
||
655 | { |
||
656 | object x1 = arg2; |
||
657 | object x2 = arg3; |
||
658 | object x3 = arg4; |
||
659 | foreach (bool l2 in YP.unify(arg1, Atom.NIL)) |
||
660 | { |
||
661 | foreach (bool l3 in syntax_error(new ListPair(Atom.a("expression"), new ListPair(Atom.a("expected"), Atom.NIL)), Atom.NIL)) |
||
662 | { |
||
663 | yield return false; |
||
664 | } |
||
665 | } |
||
666 | } |
||
667 | { |
||
668 | object Precedence = arg2; |
||
669 | object Term = arg3; |
||
670 | object LeftOver = arg4; |
||
671 | Variable Token = new Variable(); |
||
672 | Variable RestTokens = new Variable(); |
||
673 | foreach (bool l2 in YP.unify(arg1, new ListPair(Token, RestTokens))) |
||
674 | { |
||
675 | foreach (bool l3 in parse5(Token, RestTokens, Precedence, Term, LeftOver)) |
||
676 | { |
||
677 | yield return false; |
||
678 | } |
||
679 | } |
||
680 | } |
||
681 | } |
||
682 | |||
683 | public static IEnumerable<bool> parse5(object arg1, object arg2, object arg3, object arg4, object arg5) |
||
684 | { |
||
685 | { |
||
686 | object S0 = arg2; |
||
687 | object x2 = arg3; |
||
688 | object x3 = arg4; |
||
689 | object x4 = arg5; |
||
690 | foreach (bool l2 in YP.unify(arg1, Atom.a("}"))) |
||
691 | { |
||
692 | foreach (bool l3 in cannot_start(Atom.a("}"), S0)) |
||
693 | { |
||
694 | yield return false; |
||
695 | } |
||
696 | } |
||
697 | } |
||
698 | { |
||
699 | object S0 = arg2; |
||
700 | object x2 = arg3; |
||
701 | object x3 = arg4; |
||
702 | object x4 = arg5; |
||
703 | foreach (bool l2 in YP.unify(arg1, Atom.a("]"))) |
||
704 | { |
||
705 | foreach (bool l3 in cannot_start(Atom.a("]"), S0)) |
||
706 | { |
||
707 | yield return false; |
||
708 | } |
||
709 | } |
||
710 | } |
||
711 | { |
||
712 | object S0 = arg2; |
||
713 | object x2 = arg3; |
||
714 | object x3 = arg4; |
||
715 | object x4 = arg5; |
||
716 | foreach (bool l2 in YP.unify(arg1, Atom.a(")"))) |
||
717 | { |
||
718 | foreach (bool l3 in cannot_start(Atom.a(")"), S0)) |
||
719 | { |
||
720 | yield return false; |
||
721 | } |
||
722 | } |
||
723 | } |
||
724 | { |
||
725 | object S0 = arg2; |
||
726 | object x2 = arg3; |
||
727 | object x3 = arg4; |
||
728 | object x4 = arg5; |
||
729 | foreach (bool l2 in YP.unify(arg1, Atom.a(","))) |
||
730 | { |
||
731 | foreach (bool l3 in cannot_start(Atom.a(","), S0)) |
||
732 | { |
||
733 | yield return false; |
||
734 | } |
||
735 | } |
||
736 | } |
||
737 | { |
||
738 | object S0 = arg2; |
||
739 | object x2 = arg3; |
||
740 | object x3 = arg4; |
||
741 | object x4 = arg5; |
||
742 | foreach (bool l2 in YP.unify(arg1, Atom.a("|"))) |
||
743 | { |
||
744 | foreach (bool l3 in cannot_start(Atom.a("|"), S0)) |
||
745 | { |
||
746 | yield return false; |
||
747 | } |
||
748 | } |
||
749 | } |
||
750 | { |
||
751 | object S0 = arg2; |
||
752 | object Precedence = arg3; |
||
753 | object Answer = arg4; |
||
754 | object S = arg5; |
||
755 | Variable Codes = new Variable(); |
||
756 | Variable Term = new Variable(); |
||
757 | Variable A = new Variable(); |
||
758 | foreach (bool l2 in YP.unify(arg1, new Functor1("string", Codes))) |
||
759 | { |
||
760 | foreach (bool l3 in YP.current_prolog_flag(Atom.a("double_quotes"), Atom.a("atom"))) |
||
761 | { |
||
762 | foreach (bool l4 in YP.atom_codes(Term, Codes)) |
||
763 | { |
||
764 | foreach (bool l5 in exprtl0(S0, Term, Precedence, Answer, S)) |
||
765 | { |
||
766 | yield return false; |
||
767 | } |
||
768 | } |
||
769 | goto cutIf1; |
||
770 | } |
||
771 | foreach (bool l3 in YP.current_prolog_flag(Atom.a("double_quotes"), Atom.a("chars"))) |
||
772 | { |
||
773 | foreach (bool l4 in YP.atom_codes(A, Codes)) |
||
774 | { |
||
775 | foreach (bool l5 in YP.atom_chars(A, Term)) |
||
776 | { |
||
777 | foreach (bool l6 in exprtl0(S0, Term, Precedence, Answer, S)) |
||
778 | { |
||
779 | yield return false; |
||
780 | } |
||
781 | } |
||
782 | } |
||
783 | goto cutIf2; |
||
784 | } |
||
785 | foreach (bool l3 in YP.unify(Term, Codes)) |
||
786 | { |
||
787 | foreach (bool l4 in exprtl0(S0, Term, Precedence, Answer, S)) |
||
788 | { |
||
789 | yield return false; |
||
790 | } |
||
791 | } |
||
792 | cutIf2: |
||
793 | cutIf1: |
||
794 | { } |
||
795 | } |
||
796 | } |
||
797 | { |
||
798 | object S0 = arg2; |
||
799 | object Precedence = arg3; |
||
800 | object Answer = arg4; |
||
801 | object S = arg5; |
||
802 | Variable Number = new Variable(); |
||
803 | foreach (bool l2 in YP.unify(arg1, new Functor1("number", Number))) |
||
804 | { |
||
805 | foreach (bool l3 in exprtl0(S0, Number, Precedence, Answer, S)) |
||
806 | { |
||
807 | yield return false; |
||
808 | } |
||
809 | } |
||
810 | } |
||
811 | { |
||
812 | object Precedence = arg3; |
||
813 | object Answer = arg4; |
||
814 | object S = arg5; |
||
815 | Variable S1 = new Variable(); |
||
816 | foreach (bool l2 in YP.unify(arg1, Atom.a("["))) |
||
817 | { |
||
818 | foreach (bool l3 in YP.unify(arg2, new ListPair(Atom.a("]"), S1))) |
||
819 | { |
||
820 | foreach (bool l4 in read_atom(new Functor2("/", Atom.NIL, 0), S1, Precedence, Answer, S)) |
||
821 | { |
||
822 | yield return false; |
||
823 | } |
||
824 | yield break; |
||
825 | } |
||
826 | } |
||
827 | } |
||
828 | { |
||
829 | object S1 = arg2; |
||
830 | object Precedence = arg3; |
||
831 | object Answer = arg4; |
||
832 | object S = arg5; |
||
833 | Variable Arg1 = new Variable(); |
||
834 | Variable S2 = new Variable(); |
||
835 | Variable RestArgs = new Variable(); |
||
836 | Variable S3 = new Variable(); |
||
837 | foreach (bool l2 in YP.unify(arg1, Atom.a("["))) |
||
838 | { |
||
839 | foreach (bool l3 in parse(S1, 999, Arg1, S2)) |
||
840 | { |
||
841 | foreach (bool l4 in read_list(S2, RestArgs, S3)) |
||
842 | { |
||
843 | foreach (bool l5 in exprtl0(S3, new ListPair(Arg1, RestArgs), Precedence, Answer, S)) |
||
844 | { |
||
845 | yield return false; |
||
846 | } |
||
847 | yield break; |
||
848 | } |
||
849 | } |
||
850 | } |
||
851 | } |
||
852 | { |
||
853 | object S1 = arg2; |
||
854 | object Precedence = arg3; |
||
855 | object Answer = arg4; |
||
856 | object S = arg5; |
||
857 | Variable Term = new Variable(); |
||
858 | Variable S2 = new Variable(); |
||
859 | Variable S3 = new Variable(); |
||
860 | foreach (bool l2 in YP.unify(arg1, Atom.a("("))) |
||
861 | { |
||
862 | foreach (bool l3 in parse(S1, 1200, Term, S2)) |
||
863 | { |
||
864 | foreach (bool l4 in expect(Atom.a(")"), S2, S3)) |
||
865 | { |
||
866 | foreach (bool l5 in exprtl0(S3, Term, Precedence, Answer, S)) |
||
867 | { |
||
868 | yield return false; |
||
869 | } |
||
870 | yield break; |
||
871 | } |
||
872 | } |
||
873 | } |
||
874 | } |
||
875 | { |
||
876 | object S1 = arg2; |
||
877 | object Precedence = arg3; |
||
878 | object Answer = arg4; |
||
879 | object S = arg5; |
||
880 | Variable Term = new Variable(); |
||
881 | Variable S2 = new Variable(); |
||
882 | Variable S3 = new Variable(); |
||
883 | foreach (bool l2 in YP.unify(arg1, Atom.a(" ("))) |
||
884 | { |
||
885 | foreach (bool l3 in parse(S1, 1200, Term, S2)) |
||
886 | { |
||
887 | foreach (bool l4 in expect(Atom.a(")"), S2, S3)) |
||
888 | { |
||
889 | foreach (bool l5 in exprtl0(S3, Term, Precedence, Answer, S)) |
||
890 | { |
||
891 | yield return false; |
||
892 | } |
||
893 | yield break; |
||
894 | } |
||
895 | } |
||
896 | } |
||
897 | } |
||
898 | { |
||
899 | object Precedence = arg3; |
||
900 | object Answer = arg4; |
||
901 | object S = arg5; |
||
902 | Variable _Pos = new Variable(); |
||
903 | Variable S1 = new Variable(); |
||
904 | foreach (bool l2 in YP.unify(arg1, new Functor2("/", Atom.a("{"), _Pos))) |
||
905 | { |
||
906 | foreach (bool l3 in YP.unify(arg2, new ListPair(Atom.a("}"), S1))) |
||
907 | { |
||
908 | foreach (bool l4 in read_atom(Atom.a("{}"), S1, Precedence, Answer, S)) |
||
909 | { |
||
910 | yield return false; |
||
911 | } |
||
912 | yield break; |
||
913 | } |
||
914 | } |
||
915 | } |
||
916 | { |
||
917 | object S1 = arg2; |
||
918 | object Precedence = arg3; |
||
919 | object Answer = arg4; |
||
920 | object S = arg5; |
||
921 | Variable Pos = new Variable(); |
||
922 | Variable Term = new Variable(); |
||
923 | Variable S2 = new Variable(); |
||
924 | Variable S3 = new Variable(); |
||
925 | foreach (bool l2 in YP.unify(arg1, new Functor2("/", Atom.a("{"), Pos))) |
||
926 | { |
||
927 | foreach (bool l3 in parse(S1, 1200, Term, S2)) |
||
928 | { |
||
929 | foreach (bool l4 in expect(Atom.a("}"), S2, S3)) |
||
930 | { |
||
931 | foreach (bool l5 in exprtl0(S3, new Functor2("{}", Pos, Term), Precedence, Answer, S)) |
||
932 | { |
||
933 | yield return false; |
||
934 | } |
||
935 | yield break; |
||
936 | } |
||
937 | } |
||
938 | } |
||
939 | } |
||
940 | { |
||
941 | object Precedence = arg3; |
||
942 | object Answer = arg4; |
||
943 | object S = arg5; |
||
944 | Variable Variable_1 = new Variable(); |
||
945 | Variable Name = new Variable(); |
||
946 | Variable Pos = new Variable(); |
||
947 | Variable S1 = new Variable(); |
||
948 | Variable Arg1 = new Variable(); |
||
949 | Variable S2 = new Variable(); |
||
950 | Variable RestArgs = new Variable(); |
||
951 | Variable S3 = new Variable(); |
||
952 | Variable Term = new Variable(); |
||
953 | foreach (bool l2 in YP.unify(arg1, new Functor3("var", Variable_1, Name, Pos))) |
||
954 | { |
||
955 | foreach (bool l3 in YP.unify(arg2, new ListPair(Atom.a("("), S1))) |
||
956 | { |
||
957 | foreach (bool l4 in parse(S1, 999, Arg1, S2)) |
||
958 | { |
||
959 | foreach (bool l5 in read_args(S2, RestArgs, S3)) |
||
960 | { |
||
961 | foreach (bool l6 in YP.univ(Term, new ListPair(Atom.a("call"), new ListPair(new Functor3("$VAR", Pos, Name, Variable_1), new ListPair(Arg1, RestArgs))))) |
||
962 | { |
||
963 | foreach (bool l7 in exprtl0(S3, Term, Precedence, Answer, S)) |
||
964 | { |
||
965 | yield return false; |
||
966 | } |
||
967 | } |
||
968 | yield break; |
||
969 | } |
||
970 | } |
||
971 | yield break; |
||
972 | } |
||
973 | } |
||
974 | } |
||
975 | { |
||
976 | object S0 = arg2; |
||
977 | object Precedence = arg3; |
||
978 | object Answer = arg4; |
||
979 | object S = arg5; |
||
980 | Variable Variable_1 = new Variable(); |
||
981 | Variable Name = new Variable(); |
||
982 | Variable Pos = new Variable(); |
||
983 | foreach (bool l2 in YP.unify(arg1, new Functor3("var", Variable_1, Name, Pos))) |
||
984 | { |
||
985 | foreach (bool l3 in exprtl0(S0, new Functor3("$VAR", Pos, Name, Variable_1), Precedence, Answer, S)) |
||
986 | { |
||
987 | yield return false; |
||
988 | } |
||
989 | } |
||
990 | } |
||
991 | { |
||
992 | object S0 = arg2; |
||
993 | object Precedence = arg3; |
||
994 | object Answer = arg4; |
||
995 | object S = arg5; |
||
996 | Variable Atom_1 = new Variable(); |
||
997 | Variable P = new Variable(); |
||
998 | foreach (bool l2 in YP.unify(arg1, new Functor2("atom", Atom_1, P))) |
||
999 | { |
||
1000 | foreach (bool l3 in read_atom(new Functor2("/", Atom_1, P), S0, Precedence, Answer, S)) |
||
1001 | { |
||
1002 | yield return false; |
||
1003 | } |
||
1004 | } |
||
1005 | } |
||
1006 | } |
||
1007 | |||
1008 | public static IEnumerable<bool> read_atom(object arg1, object arg2, object Precedence, object Answer, object S) |
||
1009 | { |
||
1010 | { |
||
1011 | Variable _Pos = new Variable(); |
||
1012 | Variable Number = new Variable(); |
||
1013 | Variable S1 = new Variable(); |
||
1014 | Variable Negative = new Variable(); |
||
1015 | foreach (bool l2 in YP.unify(arg1, new Functor2("/", Atom.a("-"), _Pos))) |
||
1016 | { |
||
1017 | foreach (bool l3 in YP.unify(arg2, new ListPair(new Functor1("number", Number), S1))) |
||
1018 | { |
||
1019 | foreach (bool l4 in YP.unify(Negative, YP.negate(Number))) |
||
1020 | { |
||
1021 | foreach (bool l5 in exprtl0(S1, Negative, Precedence, Answer, S)) |
||
1022 | { |
||
1023 | yield return false; |
||
1024 | } |
||
1025 | } |
||
1026 | yield break; |
||
1027 | } |
||
1028 | } |
||
1029 | } |
||
1030 | { |
||
1031 | Variable Functor_1 = new Variable(); |
||
1032 | Variable Pos = new Variable(); |
||
1033 | Variable S1 = new Variable(); |
||
1034 | Variable Arg1 = new Variable(); |
||
1035 | Variable S2 = new Variable(); |
||
1036 | Variable RestArgs = new Variable(); |
||
1037 | Variable S3 = new Variable(); |
||
1038 | Variable Term = new Variable(); |
||
1039 | foreach (bool l2 in YP.unify(arg1, new Functor2("/", Functor_1, Pos))) |
||
1040 | { |
||
1041 | foreach (bool l3 in YP.unify(arg2, new ListPair(Atom.a("("), S1))) |
||
1042 | { |
||
1043 | foreach (bool l4 in parse(S1, 999, Arg1, S2)) |
||
1044 | { |
||
1045 | foreach (bool l5 in read_args(S2, RestArgs, S3)) |
||
1046 | { |
||
1047 | foreach (bool l6 in YP.univ(Term, new ListPair(Functor_1, new ListPair(Pos, new ListPair(Arg1, RestArgs))))) |
||
1048 | { |
||
1049 | foreach (bool l7 in exprtl0(S3, Term, Precedence, Answer, S)) |
||
1050 | { |
||
1051 | yield return false; |
||
1052 | } |
||
1053 | } |
||
1054 | yield break; |
||
1055 | } |
||
1056 | } |
||
1057 | yield break; |
||
1058 | } |
||
1059 | } |
||
1060 | } |
||
1061 | { |
||
1062 | object S0 = arg2; |
||
1063 | Variable Op = new Variable(); |
||
1064 | Variable Pos = new Variable(); |
||
1065 | Variable Oprec = new Variable(); |
||
1066 | Variable Aprec = new Variable(); |
||
1067 | Variable Flag = new Variable(); |
||
1068 | Variable Term = new Variable(); |
||
1069 | Variable Arg = new Variable(); |
||
1070 | Variable S1 = new Variable(); |
||
1071 | foreach (bool l2 in YP.unify(arg1, new Functor2("/", Op, Pos))) |
||
1072 | { |
||
1073 | foreach (bool l3 in prefixop(Op, Oprec, Aprec)) |
||
1074 | { |
||
1075 | foreach (bool l4 in possible_right_operand(S0, Flag)) |
||
1076 | { |
||
1077 | if (YP.lessThan(Flag, 0)) |
||
1078 | { |
||
1079 | foreach (bool l6 in YP.univ(Term, new ListPair(Op, new ListPair(Pos, Atom.NIL)))) |
||
1080 | { |
||
1081 | foreach (bool l7 in exprtl0(S0, Term, Precedence, Answer, S)) |
||
1082 | { |
||
1083 | yield return false; |
||
1084 | } |
||
1085 | } |
||
1086 | goto cutIf1; |
||
1087 | } |
||
1088 | if (YP.greaterThan(Oprec, Precedence)) |
||
1089 | { |
||
1090 | foreach (bool l6 in syntax_error(ListPair.make(new object[] { Atom.a("prefix"), Atom.a("operator"), Op, Atom.a("in"), Atom.a("context"), Atom.a("with"), Atom.a("precedence"), Precedence }), S0)) |
||
1091 | { |
||
1092 | yield return false; |
||
1093 | } |
||
1094 | goto cutIf2; |
||
1095 | } |
||
1096 | if (YP.greaterThan(Flag, 0)) |
||
1097 | { |
||
1098 | foreach (bool l6 in parse(S0, Aprec, Arg, S1)) |
||
1099 | { |
||
1100 | foreach (bool l7 in YP.univ(Term, ListPair.make(new object[] { Op, Pos, Arg }))) |
||
1101 | { |
||
1102 | foreach (bool l8 in exprtl(S1, Oprec, Term, Precedence, Answer, S)) |
||
1103 | { |
||
1104 | yield return false; |
||
1105 | } |
||
1106 | } |
||
1107 | yield break; |
||
1108 | } |
||
1109 | goto cutIf3; |
||
1110 | } |
||
1111 | foreach (bool l5 in peepop(S0, S1)) |
||
1112 | { |
||
1113 | foreach (bool l6 in prefix_is_atom(S1, Oprec)) |
||
1114 | { |
||
1115 | foreach (bool l7 in exprtl(S1, Oprec, new Functor2("/", Op, Pos), Precedence, Answer, S)) |
||
1116 | { |
||
1117 | yield return false; |
||
1118 | } |
||
1119 | } |
||
1120 | } |
||
1121 | foreach (bool l5 in parse(S0, Aprec, Arg, S1)) |
||
1122 | { |
||
1123 | foreach (bool l6 in YP.univ(Term, ListPair.make(new object[] { Op, Pos, Arg }))) |
||
1124 | { |
||
1125 | foreach (bool l7 in exprtl(S1, Oprec, Term, Precedence, Answer, S)) |
||
1126 | { |
||
1127 | yield return false; |
||
1128 | } |
||
1129 | } |
||
1130 | yield break; |
||
1131 | } |
||
1132 | cutIf3: |
||
1133 | cutIf2: |
||
1134 | cutIf1: |
||
1135 | { } |
||
1136 | } |
||
1137 | yield break; |
||
1138 | } |
||
1139 | } |
||
1140 | } |
||
1141 | { |
||
1142 | object S0 = arg2; |
||
1143 | Variable Atom_1 = new Variable(); |
||
1144 | Variable Pos = new Variable(); |
||
1145 | Variable Term = new Variable(); |
||
1146 | foreach (bool l2 in YP.unify(arg1, new Functor2("/", Atom_1, Pos))) |
||
1147 | { |
||
1148 | foreach (bool l3 in YP.univ(Term, new ListPair(Atom_1, new ListPair(Pos, Atom.NIL)))) |
||
1149 | { |
||
1150 | foreach (bool l4 in exprtl0(S0, Term, Precedence, Answer, S)) |
||
1151 | { |
||
1152 | yield return false; |
||
1153 | } |
||
1154 | } |
||
1155 | } |
||
1156 | } |
||
1157 | } |
||
1158 | |||
1159 | public static IEnumerable<bool> cannot_start(object Token, object S0) |
||
1160 | { |
||
1161 | { |
||
1162 | foreach (bool l2 in syntax_error(ListPair.make(new object[] { Token, Atom.a("cannot"), Atom.a("start"), Atom.a("an"), Atom.a("expression") }), S0)) |
||
1163 | { |
||
1164 | yield return false; |
||
1165 | } |
||
1166 | } |
||
1167 | } |
||
1168 | |||
1169 | public static IEnumerable<bool> read_args(object arg1, object arg2, object arg3) |
||
1170 | { |
||
1171 | { |
||
1172 | object S = arg3; |
||
1173 | Variable S1 = new Variable(); |
||
1174 | Variable Term = new Variable(); |
||
1175 | Variable Rest = new Variable(); |
||
1176 | Variable S2 = new Variable(); |
||
1177 | foreach (bool l2 in YP.unify(arg1, new ListPair(Atom.a(","), S1))) |
||
1178 | { |
||
1179 | foreach (bool l3 in YP.unify(arg2, new ListPair(Term, Rest))) |
||
1180 | { |
||
1181 | foreach (bool l4 in parse(S1, 999, Term, S2)) |
||
1182 | { |
||
1183 | foreach (bool l5 in read_args(S2, Rest, S)) |
||
1184 | { |
||
1185 | yield return false; |
||
1186 | } |
||
1187 | yield break; |
||
1188 | } |
||
1189 | yield break; |
||
1190 | } |
||
1191 | } |
||
1192 | } |
||
1193 | { |
||
1194 | object S = arg3; |
||
1195 | foreach (bool l2 in YP.unify(arg1, new ListPair(Atom.a(")"), S))) |
||
1196 | { |
||
1197 | foreach (bool l3 in YP.unify(arg2, Atom.NIL)) |
||
1198 | { |
||
1199 | yield return true; |
||
1200 | yield break; |
||
1201 | } |
||
1202 | } |
||
1203 | } |
||
1204 | { |
||
1205 | object S = arg1; |
||
1206 | object x2 = arg2; |
||
1207 | object x3 = arg3; |
||
1208 | foreach (bool l2 in syntax_error(ListPair.make(new object[] { Atom.a(", or )"), Atom.a("expected"), Atom.a("in"), Atom.a("arguments") }), S)) |
||
1209 | { |
||
1210 | yield return false; |
||
1211 | } |
||
1212 | } |
||
1213 | } |
||
1214 | |||
1215 | public static IEnumerable<bool> read_list(object arg1, object arg2, object arg3) |
||
1216 | { |
||
1217 | { |
||
1218 | object x1 = arg2; |
||
1219 | object x2 = arg3; |
||
1220 | foreach (bool l2 in YP.unify(arg1, Atom.NIL)) |
||
1221 | { |
||
1222 | foreach (bool l3 in syntax_error(ListPair.make(new object[] { Atom.a(", | or ]"), Atom.a("expected"), Atom.a("in"), Atom.a("list") }), Atom.NIL)) |
||
1223 | { |
||
1224 | yield return false; |
||
1225 | } |
||
1226 | } |
||
1227 | } |
||
1228 | { |
||
1229 | object Rest = arg2; |
||
1230 | object S = arg3; |
||
1231 | Variable Token = new Variable(); |
||
1232 | Variable S1 = new Variable(); |
||
1233 | foreach (bool l2 in YP.unify(arg1, new ListPair(Token, S1))) |
||
1234 | { |
||
1235 | foreach (bool l3 in read_list4(Token, S1, Rest, S)) |
||
1236 | { |
||
1237 | yield return false; |
||
1238 | } |
||
1239 | } |
||
1240 | } |
||
1241 | } |
||
1242 | |||
1243 | public static IEnumerable<bool> read_list4(object arg1, object arg2, object arg3, object arg4) |
||
1244 | { |
||
1245 | { |
||
1246 | object S1 = arg2; |
||
1247 | object S = arg4; |
||
1248 | Variable Term = new Variable(); |
||
1249 | Variable Rest = new Variable(); |
||
1250 | Variable S2 = new Variable(); |
||
1251 | foreach (bool l2 in YP.unify(arg1, Atom.a(","))) |
||
1252 | { |
||
1253 | foreach (bool l3 in YP.unify(arg3, new ListPair(Term, Rest))) |
||
1254 | { |
||
1255 | foreach (bool l4 in parse(S1, 999, Term, S2)) |
||
1256 | { |
||
1257 | foreach (bool l5 in read_list(S2, Rest, S)) |
||
1258 | { |
||
1259 | yield return false; |
||
1260 | } |
||
1261 | yield break; |
||
1262 | } |
||
1263 | yield break; |
||
1264 | } |
||
1265 | } |
||
1266 | } |
||
1267 | { |
||
1268 | object S1 = arg2; |
||
1269 | object Rest = arg3; |
||
1270 | object S = arg4; |
||
1271 | Variable S2 = new Variable(); |
||
1272 | foreach (bool l2 in YP.unify(arg1, Atom.a("|"))) |
||
1273 | { |
||
1274 | foreach (bool l3 in parse(S1, 999, Rest, S2)) |
||
1275 | { |
||
1276 | foreach (bool l4 in expect(Atom.a("]"), S2, S)) |
||
1277 | { |
||
1278 | yield return false; |
||
1279 | } |
||
1280 | yield break; |
||
1281 | } |
||
1282 | yield break; |
||
1283 | } |
||
1284 | } |
||
1285 | { |
||
1286 | Variable S1 = new Variable(); |
||
1287 | foreach (bool l2 in YP.unify(arg1, Atom.a("]"))) |
||
1288 | { |
||
1289 | foreach (bool l3 in YP.unify(arg2, S1)) |
||
1290 | { |
||
1291 | foreach (bool l4 in YP.unify(arg3, Atom.NIL)) |
||
1292 | { |
||
1293 | foreach (bool l5 in YP.unify(arg4, S1)) |
||
1294 | { |
||
1295 | yield return true; |
||
1296 | yield break; |
||
1297 | } |
||
1298 | } |
||
1299 | } |
||
1300 | } |
||
1301 | } |
||
1302 | { |
||
1303 | object Token = arg1; |
||
1304 | object S1 = arg2; |
||
1305 | object x3 = arg3; |
||
1306 | object x4 = arg4; |
||
1307 | foreach (bool l2 in syntax_error(ListPair.make(new object[] { Atom.a(", | or ]"), Atom.a("expected"), Atom.a("in"), Atom.a("list") }), new ListPair(Token, S1))) |
||
1308 | { |
||
1309 | yield return false; |
||
1310 | } |
||
1311 | } |
||
1312 | } |
||
1313 | |||
1314 | public static IEnumerable<bool> possible_right_operand(object arg1, object arg2) |
||
1315 | { |
||
1316 | { |
||
1317 | foreach (bool l2 in YP.unify(arg1, Atom.NIL)) |
||
1318 | { |
||
1319 | foreach (bool l3 in YP.unify(arg2, -1)) |
||
1320 | { |
||
1321 | yield return false; |
||
1322 | } |
||
1323 | } |
||
1324 | } |
||
1325 | { |
||
1326 | object Flag = arg2; |
||
1327 | Variable H = new Variable(); |
||
1328 | Variable T = new Variable(); |
||
1329 | foreach (bool l2 in YP.unify(arg1, new ListPair(H, T))) |
||
1330 | { |
||
1331 | foreach (bool l3 in possible_right_operand3(H, Flag, T)) |
||
1332 | { |
||
1333 | yield return false; |
||
1334 | } |
||
1335 | } |
||
1336 | } |
||
1337 | } |
||
1338 | |||
1339 | public static IEnumerable<bool> possible_right_operand3(object arg1, object arg2, object arg3) |
||
1340 | { |
||
1341 | { |
||
1342 | object x4 = arg3; |
||
1343 | Variable x1 = new Variable(); |
||
1344 | Variable x2 = new Variable(); |
||
1345 | Variable x3 = new Variable(); |
||
1346 | foreach (bool l2 in YP.unify(arg1, new Functor3("var", x1, x2, x3))) |
||
1347 | { |
||
1348 | foreach (bool l3 in YP.unify(arg2, 1)) |
||
1349 | { |
||
1350 | yield return false; |
||
1351 | } |
||
1352 | } |
||
1353 | } |
||
1354 | { |
||
1355 | object x2 = arg3; |
||
1356 | Variable x1 = new Variable(); |
||
1357 | foreach (bool l2 in YP.unify(arg1, new Functor1("number", x1))) |
||
1358 | { |
||
1359 | foreach (bool l3 in YP.unify(arg2, 1)) |
||
1360 | { |
||
1361 | yield return false; |
||
1362 | } |
||
1363 | } |
||
1364 | } |
||
1365 | { |
||
1366 | object x2 = arg3; |
||
1367 | Variable x1 = new Variable(); |
||
1368 | foreach (bool l2 in YP.unify(arg1, new Functor1("string", x1))) |
||
1369 | { |
||
1370 | foreach (bool l3 in YP.unify(arg2, 1)) |
||
1371 | { |
||
1372 | yield return false; |
||
1373 | } |
||
1374 | } |
||
1375 | } |
||
1376 | { |
||
1377 | object x1 = arg3; |
||
1378 | foreach (bool l2 in YP.unify(arg1, Atom.a(" ("))) |
||
1379 | { |
||
1380 | foreach (bool l3 in YP.unify(arg2, 1)) |
||
1381 | { |
||
1382 | yield return false; |
||
1383 | } |
||
1384 | } |
||
1385 | } |
||
1386 | { |
||
1387 | object x1 = arg3; |
||
1388 | foreach (bool l2 in YP.unify(arg1, Atom.a("("))) |
||
1389 | { |
||
1390 | foreach (bool l3 in YP.unify(arg2, 0)) |
||
1391 | { |
||
1392 | yield return false; |
||
1393 | } |
||
1394 | } |
||
1395 | } |
||
1396 | { |
||
1397 | object x1 = arg3; |
||
1398 | foreach (bool l2 in YP.unify(arg1, Atom.a(")"))) |
||
1399 | { |
||
1400 | foreach (bool l3 in YP.unify(arg2, -1)) |
||
1401 | { |
||
1402 | yield return false; |
||
1403 | } |
||
1404 | } |
||
1405 | } |
||
1406 | { |
||
1407 | Variable x1 = new Variable(); |
||
1408 | foreach (bool l2 in YP.unify(arg1, Atom.a("["))) |
||
1409 | { |
||
1410 | foreach (bool l3 in YP.unify(arg2, 0)) |
||
1411 | { |
||
1412 | foreach (bool l4 in YP.unify(arg3, new ListPair(Atom.a("]"), x1))) |
||
1413 | { |
||
1414 | yield return true; |
||
1415 | yield break; |
||
1416 | } |
||
1417 | } |
||
1418 | } |
||
1419 | } |
||
1420 | { |
||
1421 | object x1 = arg3; |
||
1422 | foreach (bool l2 in YP.unify(arg1, Atom.a("["))) |
||
1423 | { |
||
1424 | foreach (bool l3 in YP.unify(arg2, 1)) |
||
1425 | { |
||
1426 | yield return false; |
||
1427 | } |
||
1428 | } |
||
1429 | } |
||
1430 | { |
||
1431 | object x1 = arg3; |
||
1432 | foreach (bool l2 in YP.unify(arg1, Atom.a("]"))) |
||
1433 | { |
||
1434 | foreach (bool l3 in YP.unify(arg2, -1)) |
||
1435 | { |
||
1436 | yield return false; |
||
1437 | } |
||
1438 | } |
||
1439 | } |
||
1440 | { |
||
1441 | Variable x1 = new Variable(); |
||
1442 | foreach (bool l2 in YP.unify(arg1, Atom.a("{"))) |
||
1443 | { |
||
1444 | foreach (bool l3 in YP.unify(arg2, 0)) |
||
1445 | { |
||
1446 | foreach (bool l4 in YP.unify(arg3, new ListPair(Atom.a("}"), x1))) |
||
1447 | { |
||
1448 | yield return true; |
||
1449 | yield break; |
||
1450 | } |
||
1451 | } |
||
1452 | } |
||
1453 | } |
||
1454 | { |
||
1455 | object x1 = arg3; |
||
1456 | foreach (bool l2 in YP.unify(arg1, Atom.a("{"))) |
||
1457 | { |
||
1458 | foreach (bool l3 in YP.unify(arg2, 1)) |
||
1459 | { |
||
1460 | yield return false; |
||
1461 | } |
||
1462 | } |
||
1463 | } |
||
1464 | { |
||
1465 | object x1 = arg3; |
||
1466 | foreach (bool l2 in YP.unify(arg1, Atom.a("}"))) |
||
1467 | { |
||
1468 | foreach (bool l3 in YP.unify(arg2, -1)) |
||
1469 | { |
||
1470 | yield return false; |
||
1471 | } |
||
1472 | } |
||
1473 | } |
||
1474 | { |
||
1475 | object x1 = arg3; |
||
1476 | foreach (bool l2 in YP.unify(arg1, Atom.a(","))) |
||
1477 | { |
||
1478 | foreach (bool l3 in YP.unify(arg2, -1)) |
||
1479 | { |
||
1480 | yield return false; |
||
1481 | } |
||
1482 | } |
||
1483 | } |
||
1484 | { |
||
1485 | object x1 = arg3; |
||
1486 | foreach (bool l2 in YP.unify(arg1, Atom.a("|"))) |
||
1487 | { |
||
1488 | foreach (bool l3 in YP.unify(arg2, -1)) |
||
1489 | { |
||
1490 | yield return false; |
||
1491 | } |
||
1492 | } |
||
1493 | } |
||
1494 | { |
||
1495 | object x3 = arg3; |
||
1496 | Variable x1 = new Variable(); |
||
1497 | Variable x2 = new Variable(); |
||
1498 | foreach (bool l2 in YP.unify(arg1, new Functor2("atom", x1, x2))) |
||
1499 | { |
||
1500 | foreach (bool l3 in YP.unify(arg2, 0)) |
||
1501 | { |
||
1502 | yield return false; |
||
1503 | } |
||
1504 | } |
||
1505 | } |
||
1506 | } |
||
1507 | |||
1508 | public static IEnumerable<bool> peepop(object arg1, object arg2) |
||
1509 | { |
||
1510 | { |
||
1511 | Variable F = new Variable(); |
||
1512 | Variable Pos = new Variable(); |
||
1513 | Variable S1 = new Variable(); |
||
1514 | foreach (bool l2 in YP.unify(arg1, new ListPair(new Functor2("atom", F, Pos), new ListPair(Atom.a("("), S1)))) |
||
1515 | { |
||
1516 | foreach (bool l3 in YP.unify(arg2, new ListPair(new Functor2("atom", F, Pos), new ListPair(Atom.a("("), S1)))) |
||
1517 | { |
||
1518 | yield return true; |
||
1519 | yield break; |
||
1520 | } |
||
1521 | } |
||
1522 | } |
||
1523 | { |
||
1524 | Variable F = new Variable(); |
||
1525 | Variable Pos = new Variable(); |
||
1526 | Variable S1 = new Variable(); |
||
1527 | Variable L = new Variable(); |
||
1528 | Variable P = new Variable(); |
||
1529 | Variable R = new Variable(); |
||
1530 | foreach (bool l2 in YP.unify(arg1, new ListPair(new Functor2("atom", F, Pos), S1))) |
||
1531 | { |
||
1532 | foreach (bool l3 in YP.unify(arg2, new ListPair(new Functor(Atom.a("infixop", Atom.a("")), new object[] { new Functor2("/", F, Pos), L, P, R }), S1))) |
||
1533 | { |
||
1534 | foreach (bool l4 in infixop(F, L, P, R)) |
||
1535 | { |
||
1536 | yield return false; |
||
1537 | } |
||
1538 | } |
||
1539 | } |
||
1540 | } |
||
1541 | { |
||
1542 | Variable F = new Variable(); |
||
1543 | Variable Pos = new Variable(); |
||
1544 | Variable S1 = new Variable(); |
||
1545 | Variable L = new Variable(); |
||
1546 | Variable P = new Variable(); |
||
1547 | foreach (bool l2 in YP.unify(arg1, new ListPair(new Functor2("atom", F, Pos), S1))) |
||
1548 | { |
||
1549 | foreach (bool l3 in YP.unify(arg2, new ListPair(new Functor3(Atom.a("postfixop", Atom.a("")), new Functor2("/", F, Pos), L, P), S1))) |
||
1550 | { |
||
1551 | foreach (bool l4 in postfixop(F, L, P)) |
||
1552 | { |
||
1553 | yield return false; |
||
1554 | } |
||
1555 | } |
||
1556 | } |
||
1557 | } |
||
1558 | { |
||
1559 | Variable S0 = new Variable(); |
||
1560 | foreach (bool l2 in YP.unify(arg1, S0)) |
||
1561 | { |
||
1562 | foreach (bool l3 in YP.unify(arg2, S0)) |
||
1563 | { |
||
1564 | yield return false; |
||
1565 | } |
||
1566 | } |
||
1567 | } |
||
1568 | } |
||
1569 | |||
1570 | public static IEnumerable<bool> prefix_is_atom(object arg1, object arg2) |
||
1571 | { |
||
1572 | { |
||
1573 | object Precedence = arg2; |
||
1574 | Variable Token = new Variable(); |
||
1575 | Variable x2 = new Variable(); |
||
1576 | foreach (bool l2 in YP.unify(arg1, new ListPair(Token, x2))) |
||
1577 | { |
||
1578 | foreach (bool l3 in prefix_is_atom(Token, Precedence)) |
||
1579 | { |
||
1580 | yield return false; |
||
1581 | } |
||
1582 | } |
||
1583 | } |
||
1584 | { |
||
1585 | object P = arg2; |
||
1586 | Variable x1 = new Variable(); |
||
1587 | Variable L = new Variable(); |
||
1588 | Variable x3 = new Variable(); |
||
1589 | Variable x4 = new Variable(); |
||
1590 | foreach (bool l2 in YP.unify(arg1, new Functor(Atom.a("infixop", Atom.a("")), new object[] { x1, L, x3, x4 }))) |
||
1591 | { |
||
1592 | if (YP.greaterThanOrEqual(L, P)) |
||
1593 | { |
||
1594 | yield return false; |
||
1595 | } |
||
1596 | } |
||
1597 | } |
||
1598 | { |
||
1599 | object P = arg2; |
||
1600 | Variable x1 = new Variable(); |
||
1601 | Variable L = new Variable(); |
||
1602 | Variable x3 = new Variable(); |
||
1603 | foreach (bool l2 in YP.unify(arg1, new Functor3(Atom.a("postfixop", Atom.a("")), x1, L, x3))) |
||
1604 | { |
||
1605 | if (YP.greaterThanOrEqual(L, P)) |
||
1606 | { |
||
1607 | yield return false; |
||
1608 | } |
||
1609 | } |
||
1610 | } |
||
1611 | { |
||
1612 | object x1 = arg2; |
||
1613 | foreach (bool l2 in YP.unify(arg1, Atom.a(")"))) |
||
1614 | { |
||
1615 | yield return false; |
||
1616 | } |
||
1617 | } |
||
1618 | { |
||
1619 | object x1 = arg2; |
||
1620 | foreach (bool l2 in YP.unify(arg1, Atom.a("]"))) |
||
1621 | { |
||
1622 | yield return false; |
||
1623 | } |
||
1624 | } |
||
1625 | { |
||
1626 | object x1 = arg2; |
||
1627 | foreach (bool l2 in YP.unify(arg1, Atom.a("}"))) |
||
1628 | { |
||
1629 | yield return false; |
||
1630 | } |
||
1631 | } |
||
1632 | { |
||
1633 | object P = arg2; |
||
1634 | foreach (bool l2 in YP.unify(arg1, Atom.a("|"))) |
||
1635 | { |
||
1636 | if (YP.greaterThanOrEqual(1100, P)) |
||
1637 | { |
||
1638 | yield return false; |
||
1639 | } |
||
1640 | } |
||
1641 | } |
||
1642 | { |
||
1643 | object P = arg2; |
||
1644 | foreach (bool l2 in YP.unify(arg1, Atom.a(","))) |
||
1645 | { |
||
1646 | if (YP.greaterThanOrEqual(1000, P)) |
||
1647 | { |
||
1648 | yield return false; |
||
1649 | } |
||
1650 | } |
||
1651 | } |
||
1652 | { |
||
1653 | object x1 = arg2; |
||
1654 | foreach (bool l2 in YP.unify(arg1, Atom.NIL)) |
||
1655 | { |
||
1656 | yield return false; |
||
1657 | } |
||
1658 | } |
||
1659 | } |
||
1660 | |||
1661 | public static IEnumerable<bool> exprtl0(object arg1, object arg2, object arg3, object arg4, object arg5) |
||
1662 | { |
||
1663 | { |
||
1664 | object x2 = arg3; |
||
1665 | Variable Term = new Variable(); |
||
1666 | foreach (bool l2 in YP.unify(arg1, Atom.NIL)) |
||
1667 | { |
||
1668 | foreach (bool l3 in YP.unify(arg2, Term)) |
||
1669 | { |
||
1670 | foreach (bool l4 in YP.unify(arg4, Term)) |
||
1671 | { |
||
1672 | foreach (bool l5 in YP.unify(arg5, Atom.NIL)) |
||
1673 | { |
||
1674 | yield return false; |
||
1675 | } |
||
1676 | } |
||
1677 | } |
||
1678 | } |
||
1679 | } |
||
1680 | { |
||
1681 | object Term = arg2; |
||
1682 | object Precedence = arg3; |
||
1683 | object Answer = arg4; |
||
1684 | object S = arg5; |
||
1685 | Variable Token = new Variable(); |
||
1686 | Variable S1 = new Variable(); |
||
1687 | foreach (bool l2 in YP.unify(arg1, new ListPair(Token, S1))) |
||
1688 | { |
||
1689 | foreach (bool l3 in exprtl0_6(Token, Term, Precedence, Answer, S, S1)) |
||
1690 | { |
||
1691 | yield return false; |
||
1692 | } |
||
1693 | } |
||
1694 | } |
||
1695 | } |
||
1696 | |||
1697 | public static IEnumerable<bool> exprtl0_6(object arg1, object arg2, object arg3, object arg4, object arg5, object arg6) |
||
1698 | { |
||
1699 | { |
||
1700 | object x2 = arg3; |
||
1701 | object S1 = arg6; |
||
1702 | Variable Term = new Variable(); |
||
1703 | foreach (bool l2 in YP.unify(arg1, Atom.a("}"))) |
||
1704 | { |
||
1705 | foreach (bool l3 in YP.unify(arg2, Term)) |
||
1706 | { |
||
1707 | foreach (bool l4 in YP.unify(arg4, Term)) |
||
1708 | { |
||
1709 | foreach (bool l5 in YP.unify(arg5, new ListPair(Atom.a("}"), S1))) |
||
1710 | { |
||
1711 | yield return false; |
||
1712 | } |
||
1713 | } |
||
1714 | } |
||
1715 | } |
||
1716 | } |
||
1717 | { |
||
1718 | object x2 = arg3; |
||
1719 | object S1 = arg6; |
||
1720 | Variable Term = new Variable(); |
||
1721 | foreach (bool l2 in YP.unify(arg1, Atom.a("]"))) |
||
1722 | { |
||
1723 | foreach (bool l3 in YP.unify(arg2, Term)) |
||
1724 | { |
||
1725 | foreach (bool l4 in YP.unify(arg4, Term)) |
||
1726 | { |
||
1727 | foreach (bool l5 in YP.unify(arg5, new ListPair(Atom.a("]"), S1))) |
||
1728 | { |
||
1729 | yield return false; |
||
1730 | } |
||
1731 | } |
||
1732 | } |
||
1733 | } |
||
1734 | } |
||
1735 | { |
||
1736 | object x2 = arg3; |
||
1737 | object S1 = arg6; |
||
1738 | Variable Term = new Variable(); |
||
1739 | foreach (bool l2 in YP.unify(arg1, Atom.a(")"))) |
||
1740 | { |
||
1741 | foreach (bool l3 in YP.unify(arg2, Term)) |
||
1742 | { |
||
1743 | foreach (bool l4 in YP.unify(arg4, Term)) |
||
1744 | { |
||
1745 | foreach (bool l5 in YP.unify(arg5, new ListPair(Atom.a(")"), S1))) |
||
1746 | { |
||
1747 | yield return false; |
||
1748 | } |
||
1749 | } |
||
1750 | } |
||
1751 | } |
||
1752 | } |
||
1753 | { |
||
1754 | object Term = arg2; |
||
1755 | object Precedence = arg3; |
||
1756 | object Answer = arg4; |
||
1757 | object S = arg5; |
||
1758 | object S1 = arg6; |
||
1759 | Variable Next = new Variable(); |
||
1760 | Variable S2 = new Variable(); |
||
1761 | foreach (bool l2 in YP.unify(arg1, Atom.a(","))) |
||
1762 | { |
||
1763 | if (YP.greaterThanOrEqual(Precedence, 1000)) |
||
1764 | { |
||
1765 | foreach (bool l4 in parse(S1, 1000, Next, S2)) |
||
1766 | { |
||
1767 | foreach (bool l5 in exprtl(S2, 1000, new Functor2(",", Term, Next), Precedence, Answer, S)) |
||
1768 | { |
||
1769 | yield return false; |
||
1770 | } |
||
1771 | yield break; |
||
1772 | } |
||
1773 | goto cutIf1; |
||
1774 | } |
||
1775 | foreach (bool l3 in YP.unify(Answer, Term)) |
||
1776 | { |
||
1777 | foreach (bool l4 in YP.unify(S, new ListPair(Atom.a(","), S1))) |
||
1778 | { |
||
1779 | yield return false; |
||
1780 | } |
||
1781 | } |
||
1782 | cutIf1: |
||
1783 | { } |
||
1784 | } |
||
1785 | } |
||
1786 | { |
||
1787 | object Term = arg2; |
||
1788 | object Precedence = arg3; |
||
1789 | object Answer = arg4; |
||
1790 | object S = arg5; |
||
1791 | object S1 = arg6; |
||
1792 | Variable Next = new Variable(); |
||
1793 | Variable S2 = new Variable(); |
||
1794 | foreach (bool l2 in YP.unify(arg1, Atom.a("|"))) |
||
1795 | { |
||
1796 | if (YP.greaterThanOrEqual(Precedence, 1100)) |
||
1797 | { |
||
1798 | foreach (bool l4 in parse(S1, 1100, Next, S2)) |
||
1799 | { |
||
1800 | foreach (bool l5 in exprtl(S2, 1100, new Functor2(";", Term, Next), Precedence, Answer, S)) |
||
1801 | { |
||
1802 | yield return false; |
||
1803 | } |
||
1804 | yield break; |
||
1805 | } |
||
1806 | goto cutIf2; |
||
1807 | } |
||
1808 | foreach (bool l3 in YP.unify(Answer, Term)) |
||
1809 | { |
||
1810 | foreach (bool l4 in YP.unify(S, new ListPair(Atom.a("|"), S1))) |
||
1811 | { |
||
1812 | yield return false; |
||
1813 | } |
||
1814 | } |
||
1815 | cutIf2: |
||
1816 | { } |
||
1817 | } |
||
1818 | } |
||
1819 | { |
||
1820 | object x2 = arg2; |
||
1821 | object x3 = arg3; |
||
1822 | object x4 = arg4; |
||
1823 | object x5 = arg5; |
||
1824 | object S1 = arg6; |
||
1825 | Variable S = new Variable(); |
||
1826 | foreach (bool l2 in YP.unify(arg1, new Functor1("string", S))) |
||
1827 | { |
||
1828 | foreach (bool l3 in cannot_follow(Atom.a("chars"), new Functor1("string", S), S1)) |
||
1829 | { |
||
1830 | yield return false; |
||
1831 | } |
||
1832 | } |
||
1833 | } |
||
1834 | { |
||
1835 | object x2 = arg2; |
||
1836 | object x3 = arg3; |
||
1837 | object x4 = arg4; |
||
1838 | object x5 = arg5; |
||
1839 | object S1 = arg6; |
||
1840 | Variable N = new Variable(); |
||
1841 | foreach (bool l2 in YP.unify(arg1, new Functor1("number", N))) |
||
1842 | { |
||
1843 | foreach (bool l3 in cannot_follow(Atom.a("number"), new Functor1("number", N), S1)) |
||
1844 | { |
||
1845 | yield return false; |
||
1846 | } |
||
1847 | } |
||
1848 | } |
||
1849 | { |
||
1850 | object Term = arg2; |
||
1851 | object Precedence = arg3; |
||
1852 | object Answer = arg4; |
||
1853 | object S = arg5; |
||
1854 | Variable S1 = new Variable(); |
||
1855 | foreach (bool l2 in YP.unify(arg1, Atom.a("{"))) |
||
1856 | { |
||
1857 | foreach (bool l3 in YP.unify(arg6, new ListPair(Atom.a("}"), S1))) |
||
1858 | { |
||
1859 | foreach (bool l4 in exprtl0_atom(Atom.a("{}"), Term, Precedence, Answer, S, S1)) |
||
1860 | { |
||
1861 | yield return false; |
||
1862 | } |
||
1863 | yield break; |
||
1864 | } |
||
1865 | } |
||
1866 | } |
||
1867 | { |
||
1868 | object x1 = arg2; |
||
1869 | object x2 = arg3; |
||
1870 | object x3 = arg4; |
||
1871 | object x4 = arg5; |
||
1872 | object S1 = arg6; |
||
1873 | foreach (bool l2 in YP.unify(arg1, Atom.a("{"))) |
||
1874 | { |
||
1875 | foreach (bool l3 in cannot_follow(Atom.a("brace"), Atom.a("{"), S1)) |
||
1876 | { |
||
1877 | yield return false; |
||
1878 | } |
||
1879 | } |
||
1880 | } |
||
1881 | { |
||
1882 | object Term = arg2; |
||
1883 | object Precedence = arg3; |
||
1884 | object Answer = arg4; |
||
1885 | object S = arg5; |
||
1886 | Variable S1 = new Variable(); |
||
1887 | foreach (bool l2 in YP.unify(arg1, Atom.a("["))) |
||
1888 | { |
||
1889 | foreach (bool l3 in YP.unify(arg6, new ListPair(Atom.a("]"), S1))) |
||
1890 | { |
||
1891 | foreach (bool l4 in exprtl0_atom(Atom.NIL, Term, Precedence, Answer, S, S1)) |
||
1892 | { |
||
1893 | yield return false; |
||
1894 | } |
||
1895 | yield break; |
||
1896 | } |
||
1897 | } |
||
1898 | } |
||
1899 | { |
||
1900 | object x1 = arg2; |
||
1901 | object x2 = arg3; |
||
1902 | object x3 = arg4; |
||
1903 | object x4 = arg5; |
||
1904 | object S1 = arg6; |
||
1905 | foreach (bool l2 in YP.unify(arg1, Atom.a("["))) |
||
1906 | { |
||
1907 | foreach (bool l3 in cannot_follow(Atom.a("bracket"), Atom.a("["), S1)) |
||
1908 | { |
||
1909 | yield return false; |
||
1910 | } |
||
1911 | } |
||
1912 | } |
||
1913 | { |
||
1914 | object x1 = arg2; |
||
1915 | object x2 = arg3; |
||
1916 | object x3 = arg4; |
||
1917 | object x4 = arg5; |
||
1918 | object S1 = arg6; |
||
1919 | foreach (bool l2 in YP.unify(arg1, Atom.a("("))) |
||
1920 | { |
||
1921 | foreach (bool l3 in cannot_follow(Atom.a("parenthesis"), Atom.a("("), S1)) |
||
1922 | { |
||
1923 | yield return false; |
||
1924 | } |
||
1925 | } |
||
1926 | } |
||
1927 | { |
||
1928 | object x1 = arg2; |
||
1929 | object x2 = arg3; |
||
1930 | object x3 = arg4; |
||
1931 | object x4 = arg5; |
||
1932 | object S1 = arg6; |
||
1933 | foreach (bool l2 in YP.unify(arg1, Atom.a(" ("))) |
||
1934 | { |
||
1935 | foreach (bool l3 in cannot_follow(Atom.a("parenthesis"), Atom.a("("), S1)) |
||
1936 | { |
||
1937 | yield return false; |
||
1938 | } |
||
1939 | } |
||
1940 | } |
||
1941 | { |
||
1942 | object x4 = arg2; |
||
1943 | object x5 = arg3; |
||
1944 | object x6 = arg4; |
||
1945 | object x7 = arg5; |
||
1946 | object S1 = arg6; |
||
1947 | Variable A = new Variable(); |
||
1948 | Variable B = new Variable(); |
||
1949 | Variable P = new Variable(); |
||
1950 | foreach (bool l2 in YP.unify(arg1, new Functor3("var", A, B, P))) |
||
1951 | { |
||
1952 | foreach (bool l3 in cannot_follow(Atom.a("variable"), new Functor3("var", A, B, P), S1)) |
||
1953 | { |
||
1954 | yield return false; |
||
1955 | } |
||
1956 | } |
||
1957 | } |
||
1958 | { |
||
1959 | object Term = arg2; |
||
1960 | object Precedence = arg3; |
||
1961 | object Answer = arg4; |
||
1962 | object S = arg5; |
||
1963 | object S1 = arg6; |
||
1964 | Variable F = new Variable(); |
||
1965 | Variable P = new Variable(); |
||
1966 | foreach (bool l2 in YP.unify(arg1, new Functor2("atom", F, P))) |
||
1967 | { |
||
1968 | foreach (bool l3 in exprtl0_atom(new Functor2("/", F, P), Term, Precedence, Answer, S, S1)) |
||
1969 | { |
||
1970 | yield return false; |
||
1971 | } |
||
1972 | } |
||
1973 | } |
||
1974 | } |
||
1975 | |||
1976 | public static IEnumerable<bool> exprtl0_atom(object arg1, object arg2, object arg3, object arg4, object arg5, object S1) |
||
1977 | { |
||
1978 | { |
||
1979 | object Term = arg2; |
||
1980 | object Precedence = arg3; |
||
1981 | object Answer = arg4; |
||
1982 | object S = arg5; |
||
1983 | Variable F = new Variable(); |
||
1984 | Variable Pos = new Variable(); |
||
1985 | Variable L1 = new Variable(); |
||
1986 | Variable O1 = new Variable(); |
||
1987 | Variable R1 = new Variable(); |
||
1988 | Variable L2 = new Variable(); |
||
1989 | Variable O2 = new Variable(); |
||
1990 | foreach (bool l2 in YP.unify(arg1, new Functor2("/", F, Pos))) |
||
1991 | { |
||
1992 | foreach (bool l3 in ambigop(F, Precedence, L1, O1, R1, L2, O2)) |
||
1993 | { |
||
1994 | foreach (bool l4 in prefix_is_atom(S1, Precedence)) |
||
1995 | { |
||
1996 | foreach (bool l5 in exprtl(new ListPair(new Functor3(Atom.a("postfixop", Atom.a("")), new Functor2("/", F, Pos), L2, O2), S1), 0, Term, Precedence, Answer, S)) |
||
1997 | { |
||
1998 | yield return false; |
||
1999 | } |
||
2000 | yield break; |
||
2001 | } |
||
2002 | foreach (bool l4 in exprtl(new ListPair(new Functor(Atom.a("infixop", Atom.a("")), new object[] { new Functor2("/", F, Pos), L1, O1, R1 }), S1), 0, Term, Precedence, Answer, S)) |
||
2003 | { |
||
2004 | yield return false; |
||
2005 | } |
||
2006 | foreach (bool l4 in exprtl(new ListPair(new Functor3(Atom.a("postfixop", Atom.a("")), new Functor2("/", F, Pos), L2, O2), S1), 0, Term, Precedence, Answer, S)) |
||
2007 | { |
||
2008 | yield return false; |
||
2009 | } |
||
2010 | yield break; |
||
2011 | } |
||
2012 | } |
||
2013 | } |
||
2014 | { |
||
2015 | object Term = arg2; |
||
2016 | object Precedence = arg3; |
||
2017 | object Answer = arg4; |
||
2018 | object S = arg5; |
||
2019 | Variable F = new Variable(); |
||
2020 | Variable Pos = new Variable(); |
||
2021 | Variable L1 = new Variable(); |
||
2022 | Variable O1 = new Variable(); |
||
2023 | Variable R1 = new Variable(); |
||
2024 | foreach (bool l2 in YP.unify(arg1, new Functor2("/", F, Pos))) |
||
2025 | { |
||
2026 | foreach (bool l3 in infixop(F, L1, O1, R1)) |
||
2027 | { |
||
2028 | foreach (bool l4 in exprtl(new ListPair(new Functor(Atom.a("infixop", Atom.a("")), new object[] { new Functor2("/", F, Pos), L1, O1, R1 }), S1), 0, Term, Precedence, Answer, S)) |
||
2029 | { |
||
2030 | yield return false; |
||
2031 | } |
||
2032 | yield break; |
||
2033 | } |
||
2034 | } |
||
2035 | } |
||
2036 | { |
||
2037 | object Term = arg2; |
||
2038 | object Precedence = arg3; |
||
2039 | object Answer = arg4; |
||
2040 | object S = arg5; |
||
2041 | Variable F = new Variable(); |
||
2042 | Variable Pos = new Variable(); |
||
2043 | Variable L2 = new Variable(); |
||
2044 | Variable O2 = new Variable(); |
||
2045 | foreach (bool l2 in YP.unify(arg1, new Functor2("/", F, Pos))) |
||
2046 | { |
||
2047 | foreach (bool l3 in postfixop(F, L2, O2)) |
||
2048 | { |
||
2049 | foreach (bool l4 in exprtl(new ListPair(new Functor3(Atom.a("postfixop", Atom.a("")), new Functor2("/", F, Pos), L2, O2), S1), 0, Term, Precedence, Answer, S)) |
||
2050 | { |
||
2051 | yield return false; |
||
2052 | } |
||
2053 | yield break; |
||
2054 | } |
||
2055 | } |
||
2056 | } |
||
2057 | { |
||
2058 | object X = arg1; |
||
2059 | object x2 = arg2; |
||
2060 | object x3 = arg3; |
||
2061 | object x4 = arg4; |
||
2062 | object x5 = arg5; |
||
2063 | Variable x7 = new Variable(); |
||
2064 | foreach (bool l2 in syntax_error(ListPair.make(new object[] { new Functor2("-", Atom.a("non"), Atom.a("operator")), X, Atom.a("follows"), Atom.a("expression") }), new ListPair(new Functor2("atom", X, x7), S1))) |
||
2065 | { |
||
2066 | yield return false; |
||
2067 | } |
||
2068 | yield break; |
||
2069 | } |
||
2070 | } |
||
2071 | |||
2072 | public static IEnumerable<bool> cannot_follow(object Type, object Token, object Tokens) |
||
2073 | { |
||
2074 | { |
||
2075 | foreach (bool l2 in syntax_error(ListPair.make(new object[] { Type, Atom.a("follows"), Atom.a("expression") }), new ListPair(Token, Tokens))) |
||
2076 | { |
||
2077 | yield return false; |
||
2078 | } |
||
2079 | } |
||
2080 | } |
||
2081 | |||
2082 | public static IEnumerable<bool> exprtl(object arg1, object arg2, object arg3, object arg4, object arg5, object arg6) |
||
2083 | { |
||
2084 | { |
||
2085 | object x1 = arg2; |
||
2086 | object x3 = arg4; |
||
2087 | Variable Term = new Variable(); |
||
2088 | foreach (bool l2 in YP.unify(arg1, Atom.NIL)) |
||
2089 | { |
||
2090 | foreach (bool l3 in YP.unify(arg3, Term)) |
||
2091 | { |
||
2092 | foreach (bool l4 in YP.unify(arg5, Term)) |
||
2093 | { |
||
2094 | foreach (bool l5 in YP.unify(arg6, Atom.NIL)) |
||
2095 | { |
||
2096 | yield return false; |
||
2097 | } |
||
2098 | } |
||
2099 | } |
||
2100 | } |
||
2101 | } |
||
2102 | { |
||
2103 | object C = arg2; |
||
2104 | object Term = arg3; |
||
2105 | object Precedence = arg4; |
||
2106 | object Answer = arg5; |
||
2107 | object S = arg6; |
||
2108 | Variable Token = new Variable(); |
||
2109 | Variable Tokens = new Variable(); |
||
2110 | foreach (bool l2 in YP.unify(arg1, new ListPair(Token, Tokens))) |
||
2111 | { |
||
2112 | foreach (bool l3 in exprtl_7(Token, C, Term, Precedence, Answer, S, Tokens)) |
||
2113 | { |
||
2114 | yield return false; |
||
2115 | } |
||
2116 | } |
||
2117 | } |
||
2118 | } |
||
2119 | |||
2120 | public static IEnumerable<bool> exprtl_7(object arg1, object arg2, object arg3, object arg4, object arg5, object arg6, object arg7) |
||
2121 | { |
||
2122 | { |
||
2123 | object C = arg2; |
||
2124 | object Term = arg3; |
||
2125 | object Precedence = arg4; |
||
2126 | object Answer = arg5; |
||
2127 | object S = arg6; |
||
2128 | object S1 = arg7; |
||
2129 | Variable F = new Variable(); |
||
2130 | Variable Pos = new Variable(); |
||
2131 | Variable L = new Variable(); |
||
2132 | Variable O = new Variable(); |
||
2133 | Variable R = new Variable(); |
||
2134 | Variable Other = new Variable(); |
||
2135 | Variable S2 = new Variable(); |
||
2136 | Variable Expr = new Variable(); |
||
2137 | foreach (bool l2 in YP.unify(arg1, new Functor(Atom.a("infixop", Atom.a("")), new object[] { new Functor2("/", F, Pos), L, O, R }))) |
||
2138 | { |
||
2139 | if (YP.greaterThanOrEqual(Precedence, O)) |
||
2140 | { |
||
2141 | if (YP.lessThanOrEqual(C, L)) |
||
2142 | { |
||
2143 | foreach (bool l5 in parse(S1, R, Other, S2)) |
||
2144 | { |
||
2145 | foreach (bool l6 in YP.univ(Expr, ListPair.make(new object[] { F, Pos, Term, Other }))) |
||
2146 | { |
||
2147 | foreach (bool l7 in exprtl(S2, O, Expr, Precedence, Answer, S)) |
||
2148 | { |
||
2149 | yield return false; |
||
2150 | } |
||
2151 | } |
||
2152 | } |
||
2153 | yield break; |
||
2154 | } |
||
2155 | } |
||
2156 | } |
||
2157 | } |
||
2158 | { |
||
2159 | object C = arg2; |
||
2160 | object Term = arg3; |
||
2161 | object Precedence = arg4; |
||
2162 | object Answer = arg5; |
||
2163 | object S = arg6; |
||
2164 | object S1 = arg7; |
||
2165 | Variable F = new Variable(); |
||
2166 | Variable Pos = new Variable(); |
||
2167 | Variable L = new Variable(); |
||
2168 | Variable O = new Variable(); |
||
2169 | Variable Expr = new Variable(); |
||
2170 | Variable S2 = new Variable(); |
||
2171 | foreach (bool l2 in YP.unify(arg1, new Functor3(Atom.a("postfixop", Atom.a("")), new Functor2("/", F, Pos), L, O))) |
||
2172 | { |
||
2173 | if (YP.greaterThanOrEqual(Precedence, O)) |
||
2174 | { |
||
2175 | if (YP.lessThanOrEqual(C, L)) |
||
2176 | { |
||
2177 | foreach (bool l5 in YP.univ(Expr, ListPair.make(new object[] { F, Pos, Term }))) |
||
2178 | { |
||
2179 | foreach (bool l6 in peepop(S1, S2)) |
||
2180 | { |
||
2181 | foreach (bool l7 in exprtl(S2, O, Expr, Precedence, Answer, S)) |
||
2182 | { |
||
2183 | yield return false; |
||
2184 | } |
||
2185 | } |
||
2186 | } |
||
2187 | yield break; |
||
2188 | } |
||
2189 | } |
||
2190 | } |
||
2191 | } |
||
2192 | { |
||
2193 | object C = arg2; |
||
2194 | object Term = arg3; |
||
2195 | object Precedence = arg4; |
||
2196 | object Answer = arg5; |
||
2197 | object S = arg6; |
||
2198 | object S1 = arg7; |
||
2199 | Variable Next = new Variable(); |
||
2200 | Variable S2 = new Variable(); |
||
2201 | foreach (bool l2 in YP.unify(arg1, Atom.a(","))) |
||
2202 | { |
||
2203 | if (YP.greaterThanOrEqual(Precedence, 1000)) |
||
2204 | { |
||
2205 | if (YP.lessThan(C, 1000)) |
||
2206 | { |
||
2207 | foreach (bool l5 in parse(S1, 1000, Next, S2)) |
||
2208 | { |
||
2209 | foreach (bool l6 in exprtl(S2, 1000, new Functor2(",", Term, Next), Precedence, Answer, S)) |
||
2210 | { |
||
2211 | yield return false; |
||
2212 | } |
||
2213 | } |
||
2214 | yield break; |
||
2215 | } |
||
2216 | } |
||
2217 | } |
||
2218 | } |
||
2219 | { |
||
2220 | object C = arg2; |
||
2221 | object Term = arg3; |
||
2222 | object Precedence = arg4; |
||
2223 | object Answer = arg5; |
||
2224 | object S = arg6; |
||
2225 | object S1 = arg7; |
||
2226 | Variable Next = new Variable(); |
||
2227 | Variable S2 = new Variable(); |
||
2228 | foreach (bool l2 in YP.unify(arg1, Atom.a("|"))) |
||
2229 | { |
||
2230 | if (YP.greaterThanOrEqual(Precedence, 1100)) |
||
2231 | { |
||
2232 | if (YP.lessThan(C, 1100)) |
||
2233 | { |
||
2234 | foreach (bool l5 in parse(S1, 1100, Next, S2)) |
||
2235 | { |
||
2236 | foreach (bool l6 in exprtl(S2, 1100, new Functor2(";", Term, Next), Precedence, Answer, S)) |
||
2237 | { |
||
2238 | yield return false; |
||
2239 | } |
||
2240 | } |
||
2241 | yield break; |
||
2242 | } |
||
2243 | } |
||
2244 | } |
||
2245 | } |
||
2246 | { |
||
2247 | object Token = arg1; |
||
2248 | object x2 = arg2; |
||
2249 | object x4 = arg4; |
||
2250 | object Tokens = arg7; |
||
2251 | Variable Term = new Variable(); |
||
2252 | foreach (bool l2 in YP.unify(arg3, Term)) |
||
2253 | { |
||
2254 | foreach (bool l3 in YP.unify(arg5, Term)) |
||
2255 | { |
||
2256 | foreach (bool l4 in YP.unify(arg6, new ListPair(Token, Tokens))) |
||
2257 | { |
||
2258 | yield return false; |
||
2259 | } |
||
2260 | } |
||
2261 | } |
||
2262 | } |
||
2263 | } |
||
2264 | |||
2265 | public static IEnumerable<bool> syntax_error(object _Message, object _List) |
||
2266 | { |
||
2267 | { |
||
2268 | yield break; |
||
2269 | } |
||
2270 | foreach (bool l1 in YP.fail()) |
||
2271 | { |
||
2272 | yield return false; |
||
2273 | } |
||
2274 | } |
||
2275 | |||
2276 | public static IEnumerable<bool> syntax_error(object _List) |
||
2277 | { |
||
2278 | { |
||
2279 | yield break; |
||
2280 | } |
||
2281 | foreach (bool l1 in YP.fail()) |
||
2282 | { |
||
2283 | yield return false; |
||
2284 | } |
||
2285 | } |
||
2286 | |||
2287 | public static IEnumerable<bool> prefixop(object F, object O, object Q) |
||
2288 | { |
||
2289 | { |
||
2290 | foreach (bool l2 in YP.current_op(O, Atom.a("fx"), F)) |
||
2291 | { |
||
2292 | foreach (bool l3 in YP.unify(Q, YP.subtract(O, 1))) |
||
2293 | { |
||
2294 | yield return false; |
||
2295 | } |
||
2296 | goto cutIf1; |
||
2297 | } |
||
2298 | foreach (bool l2 in YP.current_op(O, Atom.a("fy"), F)) |
||
2299 | { |
||
2300 | foreach (bool l3 in YP.unify(Q, O)) |
||
2301 | { |
||
2302 | yield return false; |
||
2303 | } |
||
2304 | goto cutIf2; |
||
2305 | } |
||
2306 | cutIf2: |
||
2307 | cutIf1: |
||
2308 | { } |
||
2309 | } |
||
2310 | } |
||
2311 | |||
2312 | public static IEnumerable<bool> postfixop(object F, object P, object O) |
||
2313 | { |
||
2314 | { |
||
2315 | foreach (bool l2 in YP.current_op(O, Atom.a("xf"), F)) |
||
2316 | { |
||
2317 | foreach (bool l3 in YP.unify(P, YP.subtract(O, 1))) |
||
2318 | { |
||
2319 | yield return false; |
||
2320 | } |
||
2321 | goto cutIf1; |
||
2322 | } |
||
2323 | foreach (bool l2 in YP.current_op(O, Atom.a("yf"), F)) |
||
2324 | { |
||
2325 | foreach (bool l3 in YP.unify(P, O)) |
||
2326 | { |
||
2327 | yield return false; |
||
2328 | } |
||
2329 | goto cutIf2; |
||
2330 | } |
||
2331 | cutIf2: |
||
2332 | cutIf1: |
||
2333 | { } |
||
2334 | } |
||
2335 | } |
||
2336 | |||
2337 | public static IEnumerable<bool> infixop(object F, object P, object O, object Q) |
||
2338 | { |
||
2339 | { |
||
2340 | foreach (bool l2 in YP.current_op(O, Atom.a("xfy"), F)) |
||
2341 | { |
||
2342 | foreach (bool l3 in YP.unify(P, YP.subtract(O, 1))) |
||
2343 | { |
||
2344 | foreach (bool l4 in YP.unify(Q, O)) |
||
2345 | { |
||
2346 | yield return false; |
||
2347 | } |
||
2348 | } |
||
2349 | goto cutIf1; |
||
2350 | } |
||
2351 | foreach (bool l2 in YP.current_op(O, Atom.a("xfx"), F)) |
||
2352 | { |
||
2353 | foreach (bool l3 in YP.unify(P, YP.subtract(O, 1))) |
||
2354 | { |
||
2355 | foreach (bool l4 in YP.unify(Q, P)) |
||
2356 | { |
||
2357 | yield return false; |
||
2358 | } |
||
2359 | } |
||
2360 | goto cutIf2; |
||
2361 | } |
||
2362 | foreach (bool l2 in YP.current_op(O, Atom.a("yfx"), F)) |
||
2363 | { |
||
2364 | foreach (bool l3 in YP.unify(Q, YP.subtract(O, 1))) |
||
2365 | { |
||
2366 | foreach (bool l4 in YP.unify(P, O)) |
||
2367 | { |
||
2368 | yield return false; |
||
2369 | } |
||
2370 | } |
||
2371 | goto cutIf3; |
||
2372 | } |
||
2373 | cutIf3: |
||
2374 | cutIf2: |
||
2375 | cutIf1: |
||
2376 | { } |
||
2377 | } |
||
2378 | } |
||
2379 | |||
2380 | public static IEnumerable<bool> ambigop(object F, object Precedence, object L1, object O1, object R1, object L2, object O2) |
||
2381 | { |
||
2382 | { |
||
2383 | foreach (bool l2 in postfixop(F, L2, O2)) |
||
2384 | { |
||
2385 | if (YP.lessThanOrEqual(O2, Precedence)) |
||
2386 | { |
||
2387 | foreach (bool l4 in infixop(F, L1, O1, R1)) |
||
2388 | { |
||
2389 | if (YP.lessThanOrEqual(O1, Precedence)) |
||
2390 | { |
||
2391 | yield return false; |
||
2392 | } |
||
2393 | } |
||
2394 | } |
||
2395 | } |
||
2396 | } |
||
2397 | } |
||
2398 | |||
2399 | public static IEnumerable<bool> read_tokens1(object arg1) |
||
2400 | { |
||
2401 | { |
||
2402 | object TokenList = arg1; |
||
2403 | Variable C1 = new Variable(); |
||
2404 | Variable _X = new Variable(); |
||
2405 | Variable ListOfTokens = new Variable(); |
||
2406 | foreach (bool l2 in YP.get_code(C1)) |
||
2407 | { |
||
2408 | foreach (bool l3 in read_tokens(C1, _X, ListOfTokens)) |
||
2409 | { |
||
2410 | foreach (bool l4 in YP.unify(TokenList, ListOfTokens)) |
||
2411 | { |
||
2412 | yield return false; |
||
2413 | } |
||
2414 | yield break; |
||
2415 | } |
||
2416 | } |
||
2417 | } |
||
2418 | { |
||
2419 | foreach (bool l2 in YP.unify(arg1, new ListPair(new Functor2("atom", Atom.a("end_of_file"), 0), Atom.NIL))) |
||
2420 | { |
||
2421 | yield return false; |
||
2422 | } |
||
2423 | } |
||
2424 | } |
||
2425 | |||
2426 | public static IEnumerable<bool> read_tokens2(object arg1, object arg2) |
||
2427 | { |
||
2428 | { |
||
2429 | object TokenList = arg1; |
||
2430 | object Dictionary = arg2; |
||
2431 | Variable C1 = new Variable(); |
||
2432 | Variable Dict = new Variable(); |
||
2433 | Variable ListOfTokens = new Variable(); |
||
2434 | foreach (bool l2 in YP.get_code(C1)) |
||
2435 | { |
||
2436 | foreach (bool l3 in read_tokens(C1, Dict, ListOfTokens)) |
||
2437 | { |
||
2438 | foreach (bool l4 in terminate_list(Dict)) |
||
2439 | { |
||
2440 | foreach (bool l5 in YP.unify(Dictionary, Dict)) |
||
2441 | { |
||
2442 | foreach (bool l6 in YP.unify(TokenList, ListOfTokens)) |
||
2443 | { |
||
2444 | yield return false; |
||
2445 | } |
||
2446 | } |
||
2447 | yield break; |
||
2448 | } |
||
2449 | } |
||
2450 | } |
||
2451 | } |
||
2452 | { |
||
2453 | foreach (bool l2 in YP.unify(arg1, new ListPair(new Functor2("atom", Atom.a("end_of_file"), 0), Atom.NIL))) |
||
2454 | { |
||
2455 | foreach (bool l3 in YP.unify(arg2, Atom.NIL)) |
||
2456 | { |
||
2457 | yield return false; |
||
2458 | } |
||
2459 | } |
||
2460 | } |
||
2461 | } |
||
2462 | |||
2463 | public static IEnumerable<bool> terminate_list(object arg1) |
||
2464 | { |
||
2465 | { |
||
2466 | foreach (bool l2 in YP.unify(arg1, Atom.NIL)) |
||
2467 | { |
||
2468 | yield return false; |
||
2469 | } |
||
2470 | } |
||
2471 | { |
||
2472 | Variable x1 = new Variable(); |
||
2473 | Variable Tail = new Variable(); |
||
2474 | foreach (bool l2 in YP.unify(arg1, new ListPair(x1, Tail))) |
||
2475 | { |
||
2476 | foreach (bool l3 in terminate_list(Tail)) |
||
2477 | { |
||
2478 | yield return false; |
||
2479 | } |
||
2480 | } |
||
2481 | } |
||
2482 | } |
||
2483 | |||
2484 | public static IEnumerable<bool> read_special(object arg1, object Dict, object arg3) |
||
2485 | { |
||
2486 | { |
||
2487 | object Tokens = arg3; |
||
2488 | foreach (bool l2 in YP.unify(arg1, 95)) |
||
2489 | { |
||
2490 | foreach (bool l3 in read_variable(95, Dict, Tokens)) |
||
2491 | { |
||
2492 | yield return false; |
||
2493 | } |
||
2494 | } |
||
2495 | } |
||
2496 | { |
||
2497 | object Tokens = arg3; |
||
2498 | foreach (bool l2 in YP.unify(arg1, 247)) |
||
2499 | { |
||
2500 | foreach (bool l3 in read_symbol(247, Dict, Tokens)) |
||
2501 | { |
||
2502 | yield return false; |
||
2503 | } |
||
2504 | } |
||
2505 | } |
||
2506 | { |
||
2507 | object Tokens = arg3; |
||
2508 | foreach (bool l2 in YP.unify(arg1, 215)) |
||
2509 | { |
||
2510 | foreach (bool l3 in read_symbol(215, Dict, Tokens)) |
||
2511 | { |
||
2512 | yield return false; |
||
2513 | } |
||
2514 | } |
||
2515 | } |
||
2516 | { |
||
2517 | Variable StartPos = new Variable(); |
||
2518 | Variable EndPos = new Variable(); |
||
2519 | Variable Tokens = new Variable(); |
||
2520 | Variable Ch = new Variable(); |
||
2521 | Variable NextCh = new Variable(); |
||
2522 | foreach (bool l2 in YP.unify(arg1, 37)) |
||
2523 | { |
||
2524 | foreach (bool l3 in YP.unify(arg3, new ListPair(new Functor2("comment", StartPos, EndPos), Tokens))) |
||
2525 | { |
||
2526 | foreach (bool l4 in get_current_position(StartPos)) |
||
2527 | { |
||
2528 | foreach (bool l5 in YP.repeat()) |
||
2529 | { |
||
2530 | foreach (bool l6 in YP.get_code(Ch)) |
||
2531 | { |
||
2532 | if (YP.lessThan(Ch, new ListPair(32, Atom.NIL))) |
||
2533 | { |
||
2534 | if (YP.notEqual(Ch, 9)) |
||
2535 | { |
||
2536 | if (YP.termNotEqual(Ch, -1)) |
||
2537 | { |
||
2538 | foreach (bool l10 in get_current_position(EndPos)) |
||
2539 | { |
||
2540 | foreach (bool l11 in YP.get_code(NextCh)) |
||
2541 | { |
||
2542 | foreach (bool l12 in read_tokens(NextCh, Dict, Tokens)) |
||
2543 | { |
||
2544 | yield return false; |
||
2545 | } |
||
2546 | } |
||
2547 | } |
||
2548 | } |
||
2549 | yield break; |
||
2550 | } |
||
2551 | } |
||
2552 | } |
||
2553 | } |
||
2554 | } |
||
2555 | } |
||
2556 | } |
||
2557 | } |
||
2558 | { |
||
2559 | object T = arg3; |
||
2560 | Variable C2 = new Variable(); |
||
2561 | Variable StartPos = new Variable(); |
||
2562 | Variable EndPos = new Variable(); |
||
2563 | Variable Tokens = new Variable(); |
||
2564 | Variable StartPos1 = new Variable(); |
||
2565 | Variable NextCh = new Variable(); |
||
2566 | Variable Chars = new Variable(); |
||
2567 | foreach (bool l2 in YP.unify(arg1, 47)) |
||
2568 | { |
||
2569 | foreach (bool l3 in YP.get_code(C2)) |
||
2570 | { |
||
2571 | if (YP.equal(C2, new ListPair(42, Atom.NIL))) |
||
2572 | { |
||
2573 | foreach (bool l5 in YP.unify(T, new ListPair(new Functor2("comment", StartPos, EndPos), Tokens))) |
||
2574 | { |
||
2575 | foreach (bool l6 in get_current_position(StartPos1)) |
||
2576 | { |
||
2577 | foreach (bool l7 in YP.unify(StartPos, YP.subtract(StartPos1, 1))) |
||
2578 | { |
||
2579 | foreach (bool l8 in read_solidus(32, NextCh)) |
||
2580 | { |
||
2581 | foreach (bool l9 in get_current_position(EndPos)) |
||
2582 | { |
||
2583 | foreach (bool l10 in read_tokens(NextCh, Dict, Tokens)) |
||
2584 | { |
||
2585 | yield return false; |
||
2586 | } |
||
2587 | } |
||
2588 | } |
||
2589 | } |
||
2590 | } |
||
2591 | } |
||
2592 | goto cutIf1; |
||
2593 | } |
||
2594 | foreach (bool l4 in YP.unify(T, Tokens)) |
||
2595 | { |
||
2596 | foreach (bool l5 in rest_symbol(C2, Chars, NextCh)) |
||
2597 | { |
||
2598 | foreach (bool l6 in read_after_atom4(NextCh, Dict, Tokens, new ListPair(47, Chars))) |
||
2599 | { |
||
2600 | yield return false; |
||
2601 | } |
||
2602 | } |
||
2603 | } |
||
2604 | cutIf1: |
||
2605 | { } |
||
2606 | } |
||
2607 | } |
||
2608 | } |
||
2609 | { |
||
2610 | Variable Pos = new Variable(); |
||
2611 | Variable Tokens = new Variable(); |
||
2612 | Variable NextCh = new Variable(); |
||
2613 | foreach (bool l2 in YP.unify(arg1, 33)) |
||
2614 | { |
||
2615 | foreach (bool l3 in YP.unify(arg3, new ListPair(new Functor2("atom", Atom.a("!"), Pos), Tokens))) |
||
2616 | { |
||
2617 | foreach (bool l4 in get_current_position(Pos)) |
||
2618 | { |
||
2619 | foreach (bool l5 in YP.get_code(NextCh)) |
||
2620 | { |
||
2621 | foreach (bool l6 in read_after_atom(NextCh, Dict, Tokens)) |
||
2622 | { |
||
2623 | yield return false; |
||
2624 | } |
||
2625 | } |
||
2626 | } |
||
2627 | } |
||
2628 | } |
||
2629 | } |
||
2630 | { |
||
2631 | Variable Tokens = new Variable(); |
||
2632 | Variable NextCh = new Variable(); |
||
2633 | foreach (bool l2 in YP.unify(arg1, 40)) |
||
2634 | { |
||
2635 | foreach (bool l3 in YP.unify(arg3, new ListPair(Atom.a(" ("), Tokens))) |
||
2636 | { |
||
2637 | foreach (bool l4 in YP.get_code(NextCh)) |
||
2638 | { |
||
2639 | foreach (bool l5 in read_tokens(NextCh, Dict, Tokens)) |
||
2640 | { |
||
2641 | yield return false; |
||
2642 | } |
||
2643 | } |
||
2644 | } |
||
2645 | } |
||
2646 | } |
||
2647 | { |
||
2648 | Variable Tokens = new Variable(); |
||
2649 | Variable NextCh = new Variable(); |
||
2650 | foreach (bool l2 in YP.unify(arg1, 41)) |
||
2651 | { |
||
2652 | foreach (bool l3 in YP.unify(arg3, new ListPair(Atom.a(")"), Tokens))) |
||
2653 | { |
||
2654 | foreach (bool l4 in YP.get_code(NextCh)) |
||
2655 | { |
||
2656 | foreach (bool l5 in read_tokens(NextCh, Dict, Tokens)) |
||
2657 | { |
||
2658 | yield return false; |
||
2659 | } |
||
2660 | } |
||
2661 | } |
||
2662 | } |
||
2663 | } |
||
2664 | { |
||
2665 | Variable Tokens = new Variable(); |
||
2666 | Variable NextCh = new Variable(); |
||
2667 | foreach (bool l2 in YP.unify(arg1, 44)) |
||
2668 | { |
||
2669 | foreach (bool l3 in YP.unify(arg3, new ListPair(Atom.a(","), Tokens))) |
||
2670 | { |
||
2671 | foreach (bool l4 in YP.get_code(NextCh)) |
||
2672 | { |
||
2673 | foreach (bool l5 in read_tokens(NextCh, Dict, Tokens)) |
||
2674 | { |
||
2675 | yield return false; |
||
2676 | } |
||
2677 | } |
||
2678 | } |
||
2679 | } |
||
2680 | } |
||
2681 | { |
||
2682 | Variable Pos = new Variable(); |
||
2683 | Variable Tokens = new Variable(); |
||
2684 | Variable NextCh = new Variable(); |
||
2685 | foreach (bool l2 in YP.unify(arg1, 59)) |
||
2686 | { |
||
2687 | foreach (bool l3 in YP.unify(arg3, new ListPair(new Functor2("atom", Atom.a(";"), Pos), Tokens))) |
||
2688 | { |
||
2689 | foreach (bool l4 in get_current_position(Pos)) |
||
2690 | { |
||
2691 | foreach (bool l5 in YP.get_code(NextCh)) |
||
2692 | { |
||
2693 | foreach (bool l6 in read_after_atom(NextCh, Dict, Tokens)) |
||
2694 | { |
||
2695 | yield return false; |
||
2696 | } |
||
2697 | } |
||
2698 | } |
||
2699 | } |
||
2700 | } |
||
2701 | } |
||
2702 | { |
||
2703 | Variable Pos = new Variable(); |
||
2704 | Variable Tokens = new Variable(); |
||
2705 | Variable NextCh = new Variable(); |
||
2706 | foreach (bool l2 in YP.unify(arg1, 91)) |
||
2707 | { |
||
2708 | foreach (bool l3 in YP.unify(arg3, new ListPair(new Functor2("/", Atom.a("["), Pos), Tokens))) |
||
2709 | { |
||
2710 | foreach (bool l4 in get_current_position(Pos)) |
||
2711 | { |
||
2712 | foreach (bool l5 in YP.get_code(NextCh)) |
||
2713 | { |
||
2714 | foreach (bool l6 in read_tokens(NextCh, Dict, Tokens)) |
||
2715 | { |
||
2716 | yield return false; |
||
2717 | } |
||
2718 | } |
||
2719 | } |
||
2720 | } |
||
2721 | } |
||
2722 | } |
||
2723 | { |
||
2724 | Variable Pos = new Variable(); |
||
2725 | Variable Tokens = new Variable(); |
||
2726 | Variable NextCh = new Variable(); |
||
2727 | foreach (bool l2 in YP.unify(arg1, 93)) |
||
2728 | { |
||
2729 | foreach (bool l3 in YP.unify(arg3, new ListPair(new Functor2("/", Atom.a("]"), Pos), Tokens))) |
||
2730 | { |
||
2731 | foreach (bool l4 in get_current_position(Pos)) |
||
2732 | { |
||
2733 | foreach (bool l5 in YP.get_code(NextCh)) |
||
2734 | { |
||
2735 | foreach (bool l6 in read_after_atom(NextCh, Dict, Tokens)) |
||
2736 | { |
||
2737 | yield return false; |
||
2738 | } |
||
2739 | } |
||
2740 | } |
||
2741 | } |
||
2742 | } |
||
2743 | } |
||
2744 | { |
||
2745 | Variable Pos = new Variable(); |
||
2746 | Variable Tokens = new Variable(); |
||
2747 | Variable NextCh = new Variable(); |
||
2748 | foreach (bool l2 in YP.unify(arg1, 123)) |
||
2749 | { |
||
2750 | foreach (bool l3 in YP.unify(arg3, new ListPair(new Functor2("/", Atom.a("{"), Pos), Tokens))) |
||
2751 | { |
||
2752 | foreach (bool l4 in get_current_position(Pos)) |
||
2753 | { |
||
2754 | foreach (bool l5 in YP.get_code(NextCh)) |
||
2755 | { |
||
2756 | foreach (bool l6 in read_tokens(NextCh, Dict, Tokens)) |
||
2757 | { |
||
2758 | yield return false; |
||
2759 | } |
||
2760 | } |
||
2761 | } |
||
2762 | } |
||
2763 | } |
||
2764 | } |
||
2765 | { |
||
2766 | Variable Tokens = new Variable(); |
||
2767 | Variable NextCh = new Variable(); |
||
2768 | foreach (bool l2 in YP.unify(arg1, 124)) |
||
2769 | { |
||
2770 | foreach (bool l3 in YP.unify(arg3, new ListPair(Atom.a("|"), Tokens))) |
||
2771 | { |
||
2772 | foreach (bool l4 in YP.get_code(NextCh)) |
||
2773 | { |
||
2774 | foreach (bool l5 in read_tokens(NextCh, Dict, Tokens)) |
||
2775 | { |
||
2776 | yield return false; |
||
2777 | } |
||
2778 | } |
||
2779 | } |
||
2780 | } |
||
2781 | } |
||
2782 | { |
||
2783 | Variable Tokens = new Variable(); |
||
2784 | Variable NextCh = new Variable(); |
||
2785 | foreach (bool l2 in YP.unify(arg1, 125)) |
||
2786 | { |
||
2787 | foreach (bool l3 in YP.unify(arg3, new ListPair(Atom.a("}"), Tokens))) |
||
2788 | { |
||
2789 | foreach (bool l4 in YP.get_code(NextCh)) |
||
2790 | { |
||
2791 | foreach (bool l5 in read_after_atom(NextCh, Dict, Tokens)) |
||
2792 | { |
||
2793 | yield return false; |
||
2794 | } |
||
2795 | } |
||
2796 | } |
||
2797 | } |
||
2798 | } |
||
2799 | { |
||
2800 | object Tokens = arg3; |
||
2801 | Variable NextCh = new Variable(); |
||
2802 | foreach (bool l2 in YP.unify(arg1, 46)) |
||
2803 | { |
||
2804 | foreach (bool l3 in YP.get_code(NextCh)) |
||
2805 | { |
||
2806 | foreach (bool l4 in read_fullstop(NextCh, Dict, Tokens)) |
||
2807 | { |
||
2808 | yield return false; |
||
2809 | } |
||
2810 | } |
||
2811 | } |
||
2812 | } |
||
2813 | { |
||
2814 | Variable Chars = new Variable(); |
||
2815 | Variable Tokens = new Variable(); |
||
2816 | Variable NextCh = new Variable(); |
||
2817 | foreach (bool l2 in YP.unify(arg1, 34)) |
||
2818 | { |
||
2819 | foreach (bool l3 in YP.unify(arg3, new ListPair(new Functor1("string", Chars), Tokens))) |
||
2820 | { |
||
2821 | foreach (bool l4 in read_string(Chars, 34, NextCh)) |
||
2822 | { |
||
2823 | foreach (bool l5 in read_tokens(NextCh, Dict, Tokens)) |
||
2824 | { |
||
2825 | yield return false; |
||
2826 | } |
||
2827 | } |
||
2828 | } |
||
2829 | } |
||
2830 | } |
||
2831 | { |
||
2832 | object Tokens = arg3; |
||
2833 | Variable Chars = new Variable(); |
||
2834 | Variable NextCh = new Variable(); |
||
2835 | foreach (bool l2 in YP.unify(arg1, 39)) |
||
2836 | { |
||
2837 | foreach (bool l3 in read_string(Chars, 39, NextCh)) |
||
2838 | { |
||
2839 | foreach (bool l4 in read_after_atom4(NextCh, Dict, Tokens, Chars)) |
||
2840 | { |
||
2841 | yield return false; |
||
2842 | } |
||
2843 | } |
||
2844 | } |
||
2845 | } |
||
2846 | { |
||
2847 | object Tokens = arg3; |
||
2848 | foreach (bool l2 in YP.unify(arg1, 35)) |
||
2849 | { |
||
2850 | foreach (bool l3 in read_symbol(35, Dict, Tokens)) |
||
2851 | { |
||
2852 | yield return false; |
||
2853 | } |
||
2854 | } |
||
2855 | } |
||
2856 | { |
||
2857 | object Tokens = arg3; |
||
2858 | foreach (bool l2 in YP.unify(arg1, 36)) |
||
2859 | { |
||
2860 | foreach (bool l3 in read_symbol(36, Dict, Tokens)) |
||
2861 | { |
||
2862 | yield return false; |
||
2863 | } |
||
2864 | } |
||
2865 | } |
||
2866 | { |
||
2867 | object Tokens = arg3; |
||
2868 | foreach (bool l2 in YP.unify(arg1, 38)) |
||
2869 | { |
||
2870 | foreach (bool l3 in read_symbol(38, Dict, Tokens)) |
||
2871 | { |
||
2872 | yield return false; |
||
2873 | } |
||
2874 | } |
||
2875 | } |
||
2876 | { |
||
2877 | object Tokens = arg3; |
||
2878 | foreach (bool l2 in YP.unify(arg1, 42)) |
||
2879 | { |
||
2880 | foreach (bool l3 in read_symbol(42, Dict, Tokens)) |
||
2881 | { |
||
2882 | yield return false; |
||
2883 | } |
||
2884 | } |
||
2885 | } |
||
2886 | { |
||
2887 | object Tokens = arg3; |
||
2888 | foreach (bool l2 in YP.unify(arg1, 43)) |
||
2889 | { |
||
2890 | foreach (bool l3 in read_symbol(43, Dict, Tokens)) |
||
2891 | { |
||
2892 | yield return false; |
||
2893 | } |
||
2894 | } |
||
2895 | } |
||
2896 | { |
||
2897 | object Tokens = arg3; |
||
2898 | foreach (bool l2 in YP.unify(arg1, 45)) |
||
2899 | { |
||
2900 | foreach (bool l3 in read_symbol(45, Dict, Tokens)) |
||
2901 | { |
||
2902 | yield return false; |
||
2903 | } |
||
2904 | } |
||
2905 | } |
||
2906 | { |
||
2907 | object Tokens = arg3; |
||
2908 | foreach (bool l2 in YP.unify(arg1, 58)) |
||
2909 | { |
||
2910 | foreach (bool l3 in read_symbol(58, Dict, Tokens)) |
||
2911 | { |
||
2912 | yield return false; |
||
2913 | } |
||
2914 | } |
||
2915 | } |
||
2916 | { |
||
2917 | object Tokens = arg3; |
||
2918 | foreach (bool l2 in YP.unify(arg1, 60)) |
||
2919 | { |
||
2920 | foreach (bool l3 in read_symbol(60, Dict, Tokens)) |
||
2921 | { |
||
2922 | yield return false; |
||
2923 | } |
||
2924 | } |
||
2925 | } |
||
2926 | { |
||
2927 | object Tokens = arg3; |
||
2928 | foreach (bool l2 in YP.unify(arg1, 61)) |
||
2929 | { |
||
2930 | foreach (bool l3 in read_symbol(61, Dict, Tokens)) |
||
2931 | { |
||
2932 | yield return false; |
||
2933 | } |
||
2934 | } |
||
2935 | } |
||
2936 | { |
||
2937 | object Tokens = arg3; |
||
2938 | foreach (bool l2 in YP.unify(arg1, 62)) |
||
2939 | { |
||
2940 | foreach (bool l3 in read_symbol(62, Dict, Tokens)) |
||
2941 | { |
||
2942 | yield return false; |
||
2943 | } |
||
2944 | } |
||
2945 | } |
||
2946 | { |
||
2947 | object Tokens = arg3; |
||
2948 | foreach (bool l2 in YP.unify(arg1, 63)) |
||
2949 | { |
||
2950 | foreach (bool l3 in read_symbol(63, Dict, Tokens)) |
||
2951 | { |
||
2952 | yield return false; |
||
2953 | } |
||
2954 | } |
||
2955 | } |
||
2956 | { |
||
2957 | object Tokens = arg3; |
||
2958 | foreach (bool l2 in YP.unify(arg1, 64)) |
||
2959 | { |
||
2960 | foreach (bool l3 in read_symbol(64, Dict, Tokens)) |
||
2961 | { |
||
2962 | yield return false; |
||
2963 | } |
||
2964 | } |
||
2965 | } |
||
2966 | { |
||
2967 | object Tokens = arg3; |
||
2968 | foreach (bool l2 in YP.unify(arg1, 92)) |
||
2969 | { |
||
2970 | foreach (bool l3 in read_symbol(92, Dict, Tokens)) |
||
2971 | { |
||
2972 | yield return false; |
||
2973 | } |
||
2974 | } |
||
2975 | } |
||
2976 | { |
||
2977 | object Tokens = arg3; |
||
2978 | foreach (bool l2 in YP.unify(arg1, 94)) |
||
2979 | { |
||
2980 | foreach (bool l3 in read_symbol(94, Dict, Tokens)) |
||
2981 | { |
||
2982 | yield return false; |
||
2983 | } |
||
2984 | } |
||
2985 | } |
||
2986 | { |
||
2987 | object Tokens = arg3; |
||
2988 | foreach (bool l2 in YP.unify(arg1, 96)) |
||
2989 | { |
||
2990 | foreach (bool l3 in read_symbol(96, Dict, Tokens)) |
||
2991 | { |
||
2992 | yield return false; |
||
2993 | } |
||
2994 | } |
||
2995 | } |
||
2996 | { |
||
2997 | object Tokens = arg3; |
||
2998 | foreach (bool l2 in YP.unify(arg1, 126)) |
||
2999 | { |
||
3000 | foreach (bool l3 in read_symbol(126, Dict, Tokens)) |
||
3001 | { |
||
3002 | yield return false; |
||
3003 | } |
||
3004 | } |
||
3005 | } |
||
3006 | } |
||
3007 | |||
3008 | public static IEnumerable<bool> read_symbol(object C1, object Dict, object Tokens) |
||
3009 | { |
||
3010 | { |
||
3011 | Variable C2 = new Variable(); |
||
3012 | Variable Chars = new Variable(); |
||
3013 | Variable NextCh = new Variable(); |
||
3014 | foreach (bool l2 in YP.get_code(C2)) |
||
3015 | { |
||
3016 | foreach (bool l3 in rest_symbol(C2, Chars, NextCh)) |
||
3017 | { |
||
3018 | foreach (bool l4 in read_after_atom4(NextCh, Dict, Tokens, new ListPair(C1, Chars))) |
||
3019 | { |
||
3020 | yield return false; |
||
3021 | } |
||
3022 | } |
||
3023 | } |
||
3024 | } |
||
3025 | } |
||
3026 | |||
3027 | public static IEnumerable<bool> rest_symbol(object arg1, object arg2, object arg3) |
||
3028 | { |
||
3029 | { |
||
3030 | object C2 = arg1; |
||
3031 | object LastCh = arg3; |
||
3032 | Variable Chars = new Variable(); |
||
3033 | Variable NextCh = new Variable(); |
||
3034 | foreach (bool l2 in YP.unify(arg2, new ListPair(C2, Chars))) |
||
3035 | { |
||
3036 | if (YP.greaterThan(C2, 160)) |
||
3037 | { |
||
3038 | if (YP.lessThan(C2, 192)) |
||
3039 | { |
||
3040 | if (YP.notEqual(C2, 186)) |
||
3041 | { |
||
3042 | if (YP.notEqual(C2, 170)) |
||
3043 | { |
||
3044 | foreach (bool l7 in YP.get_code(NextCh)) |
||
3045 | { |
||
3046 | foreach (bool l8 in rest_symbol(NextCh, Chars, LastCh)) |
||
3047 | { |
||
3048 | yield return false; |
||
3049 | } |
||
3050 | } |
||
3051 | yield break; |
||
3052 | } |
||
3053 | } |
||
3054 | } |
||
3055 | goto cutIf1; |
||
3056 | } |
||
3057 | foreach (bool l3 in symbol_char(C2)) |
||
3058 | { |
||
3059 | foreach (bool l4 in YP.get_code(NextCh)) |
||
3060 | { |
||
3061 | foreach (bool l5 in rest_symbol(NextCh, Chars, LastCh)) |
||
3062 | { |
||
3063 | yield return false; |
||
3064 | } |
||
3065 | } |
||
3066 | yield break; |
||
3067 | } |
||
3068 | cutIf1: |
||
3069 | { } |
||
3070 | } |
||
3071 | } |
||
3072 | { |
||
3073 | Variable C2 = new Variable(); |
||
3074 | foreach (bool l2 in YP.unify(arg1, C2)) |
||
3075 | { |
||
3076 | foreach (bool l3 in YP.unify(arg2, Atom.NIL)) |
||
3077 | { |
||
3078 | foreach (bool l4 in YP.unify(arg3, C2)) |
||
3079 | { |
||
3080 | yield return false; |
||
3081 | } |
||
3082 | } |
||
3083 | } |
||
3084 | } |
||
3085 | } |
||
3086 | |||
3087 | public static IEnumerable<bool> symbol_char(object arg1) |
||
3088 | { |
||
3089 | { |
||
3090 | foreach (bool l2 in YP.unify(arg1, 35)) |
||
3091 | { |
||
3092 | yield return false; |
||
3093 | } |
||
3094 | } |
||
3095 | { |
||
3096 | foreach (bool l2 in YP.unify(arg1, 36)) |
||
3097 | { |
||
3098 | yield return false; |
||
3099 | } |
||
3100 | } |
||
3101 | { |
||
3102 | foreach (bool l2 in YP.unify(arg1, 38)) |
||
3103 | { |
||
3104 | yield return false; |
||
3105 | } |
||
3106 | } |
||
3107 | { |
||
3108 | foreach (bool l2 in YP.unify(arg1, 42)) |
||
3109 | { |
||
3110 | yield return false; |
||
3111 | } |
||
3112 | } |
||
3113 | { |
||
3114 | foreach (bool l2 in YP.unify(arg1, 43)) |
||
3115 | { |
||
3116 | yield return false; |
||
3117 | } |
||
3118 | } |
||
3119 | { |
||
3120 | foreach (bool l2 in YP.unify(arg1, 45)) |
||
3121 | { |
||
3122 | yield return false; |
||
3123 | } |
||
3124 | } |
||
3125 | { |
||
3126 | foreach (bool l2 in YP.unify(arg1, 46)) |
||
3127 | { |
||
3128 | yield return false; |
||
3129 | } |
||
3130 | } |
||
3131 | { |
||
3132 | foreach (bool l2 in YP.unify(arg1, 47)) |
||
3133 | { |
||
3134 | yield return false; |
||
3135 | } |
||
3136 | } |
||
3137 | { |
||
3138 | foreach (bool l2 in YP.unify(arg1, 58)) |
||
3139 | { |
||
3140 | yield return false; |
||
3141 | } |
||
3142 | } |
||
3143 | { |
||
3144 | foreach (bool l2 in YP.unify(arg1, 60)) |
||
3145 | { |
||
3146 | yield return false; |
||
3147 | } |
||
3148 | } |
||
3149 | { |
||
3150 | foreach (bool l2 in YP.unify(arg1, 61)) |
||
3151 | { |
||
3152 | yield return false; |
||
3153 | } |
||
3154 | } |
||
3155 | { |
||
3156 | foreach (bool l2 in YP.unify(arg1, 62)) |
||
3157 | { |
||
3158 | yield return false; |
||
3159 | } |
||
3160 | } |
||
3161 | { |
||
3162 | foreach (bool l2 in YP.unify(arg1, 63)) |
||
3163 | { |
||
3164 | yield return false; |
||
3165 | } |
||
3166 | } |
||
3167 | { |
||
3168 | foreach (bool l2 in YP.unify(arg1, 64)) |
||
3169 | { |
||
3170 | yield return false; |
||
3171 | } |
||
3172 | } |
||
3173 | { |
||
3174 | foreach (bool l2 in YP.unify(arg1, 92)) |
||
3175 | { |
||
3176 | yield return false; |
||
3177 | } |
||
3178 | } |
||
3179 | { |
||
3180 | foreach (bool l2 in YP.unify(arg1, 94)) |
||
3181 | { |
||
3182 | yield return false; |
||
3183 | } |
||
3184 | } |
||
3185 | { |
||
3186 | foreach (bool l2 in YP.unify(arg1, 96)) |
||
3187 | { |
||
3188 | yield return false; |
||
3189 | } |
||
3190 | } |
||
3191 | { |
||
3192 | foreach (bool l2 in YP.unify(arg1, 126)) |
||
3193 | { |
||
3194 | yield return false; |
||
3195 | } |
||
3196 | } |
||
3197 | } |
||
3198 | |||
3199 | public static IEnumerable<bool> get_current_position(object Pos) |
||
3200 | { |
||
3201 | { |
||
3202 | foreach (bool l2 in YP.unify(Pos, 0)) |
||
3203 | { |
||
3204 | yield return false; |
||
3205 | } |
||
3206 | } |
||
3207 | } |
||
3208 | |||
3209 | public static IEnumerable<bool> read_after_atom4(object Ch, object Dict, object arg3, object Chars) |
||
3210 | { |
||
3211 | { |
||
3212 | Variable Atom_1 = new Variable(); |
||
3213 | Variable Pos = new Variable(); |
||
3214 | Variable Tokens = new Variable(); |
||
3215 | foreach (bool l2 in YP.unify(arg3, new ListPair(new Functor2("atom", Atom_1, Pos), Tokens))) |
||
3216 | { |
||
3217 | foreach (bool l3 in YP.unify(Pos, 0)) |
||
3218 | { |
||
3219 | foreach (bool l4 in YP.atom_codes(Atom_1, Chars)) |
||
3220 | { |
||
3221 | foreach (bool l5 in read_after_atom(Ch, Dict, Tokens)) |
||
3222 | { |
||
3223 | yield return false; |
||
3224 | } |
||
3225 | } |
||
3226 | } |
||
3227 | } |
||
3228 | } |
||
3229 | } |
||
3230 | |||
3231 | public static IEnumerable<bool> read_after_atom(object arg1, object Dict, object arg3) |
||
3232 | { |
||
3233 | { |
||
3234 | Variable Tokens = new Variable(); |
||
3235 | Variable NextCh = new Variable(); |
||
3236 | foreach (bool l2 in YP.unify(arg1, 40)) |
||
3237 | { |
||
3238 | foreach (bool l3 in YP.unify(arg3, new ListPair(Atom.a("("), Tokens))) |
||
3239 | { |
||
3240 | foreach (bool l4 in YP.get_code(NextCh)) |
||
3241 | { |
||
3242 | foreach (bool l5 in read_tokens(NextCh, Dict, Tokens)) |
||
3243 | { |
||
3244 | yield return false; |
||
3245 | } |
||
3246 | } |
||
3247 | yield break; |
||
3248 | } |
||
3249 | } |
||
3250 | } |
||
3251 | { |
||
3252 | object Ch = arg1; |
||
3253 | object Tokens = arg3; |
||
3254 | foreach (bool l2 in read_tokens(Ch, Dict, Tokens)) |
||
3255 | { |
||
3256 | yield return false; |
||
3257 | } |
||
3258 | } |
||
3259 | } |
||
3260 | |||
3261 | public static IEnumerable<bool> read_string(object Chars, object Quote, object NextCh) |
||
3262 | { |
||
3263 | { |
||
3264 | Variable Ch = new Variable(); |
||
3265 | Variable Char = new Variable(); |
||
3266 | Variable Next = new Variable(); |
||
3267 | foreach (bool l2 in YP.get_code(Ch)) |
||
3268 | { |
||
3269 | foreach (bool l3 in read_char(Ch, Quote, Char, Next)) |
||
3270 | { |
||
3271 | foreach (bool l4 in rest_string5(Char, Next, Chars, Quote, NextCh)) |
||
3272 | { |
||
3273 | yield return false; |
||
3274 | } |
||
3275 | } |
||
3276 | } |
||
3277 | } |
||
3278 | } |
||
3279 | |||
3280 | public static IEnumerable<bool> rest_string5(object arg1, object arg2, object arg3, object arg4, object arg5) |
||
3281 | { |
||
3282 | { |
||
3283 | object _X = arg4; |
||
3284 | Variable NextCh = new Variable(); |
||
3285 | foreach (bool l2 in YP.unify(arg1, -1)) |
||
3286 | { |
||
3287 | foreach (bool l3 in YP.unify(arg2, NextCh)) |
||
3288 | { |
||
3289 | foreach (bool l4 in YP.unify(arg3, Atom.NIL)) |
||
3290 | { |
||
3291 | foreach (bool l5 in YP.unify(arg5, NextCh)) |
||
3292 | { |
||
3293 | yield return true; |
||
3294 | yield break; |
||
3295 | } |
||
3296 | } |
||
3297 | } |
||
3298 | } |
||
3299 | } |
||
3300 | { |
||
3301 | object Char = arg1; |
||
3302 | object Next = arg2; |
||
3303 | object Quote = arg4; |
||
3304 | object NextCh = arg5; |
||
3305 | Variable Chars = new Variable(); |
||
3306 | Variable Char2 = new Variable(); |
||
3307 | Variable Next2 = new Variable(); |
||
3308 | foreach (bool l2 in YP.unify(arg3, new ListPair(Char, Chars))) |
||
3309 | { |
||
3310 | foreach (bool l3 in read_char(Next, Quote, Char2, Next2)) |
||
3311 | { |
||
3312 | foreach (bool l4 in rest_string5(Char2, Next2, Chars, Quote, NextCh)) |
||
3313 | { |
||
3314 | yield return false; |
||
3315 | } |
||
3316 | } |
||
3317 | } |
||
3318 | } |
||
3319 | } |
||
3320 | |||
3321 | public static IEnumerable<bool> escape_char(object arg1, object arg2) |
||
3322 | { |
||
3323 | { |
||
3324 | foreach (bool l2 in YP.unify(arg1, 110)) |
||
3325 | { |
||
3326 | foreach (bool l3 in YP.unify(arg2, 10)) |
||
3327 | { |
||
3328 | yield return false; |
||
3329 | } |
||
3330 | } |
||
3331 | } |
||
3332 | { |
||
3333 | foreach (bool l2 in YP.unify(arg1, 78)) |
||
3334 | { |
||
3335 | foreach (bool l3 in YP.unify(arg2, 10)) |
||
3336 | { |
||
3337 | yield return false; |
||
3338 | } |
||
3339 | } |
||
3340 | } |
||
3341 | { |
||
3342 | foreach (bool l2 in YP.unify(arg1, 116)) |
||
3343 | { |
||
3344 | foreach (bool l3 in YP.unify(arg2, 9)) |
||
3345 | { |
||
3346 | yield return false; |
||
3347 | } |
||
3348 | } |
||
3349 | } |
||
3350 | { |
||
3351 | foreach (bool l2 in YP.unify(arg1, 84)) |
||
3352 | { |
||
3353 | foreach (bool l3 in YP.unify(arg2, 9)) |
||
3354 | { |
||
3355 | yield return false; |
||
3356 | } |
||
3357 | } |
||
3358 | } |
||
3359 | { |
||
3360 | foreach (bool l2 in YP.unify(arg1, 114)) |
||
3361 | { |
||
3362 | foreach (bool l3 in YP.unify(arg2, 13)) |
||
3363 | { |
||
3364 | yield return false; |
||
3365 | } |
||
3366 | } |
||
3367 | } |
||
3368 | { |
||
3369 | foreach (bool l2 in YP.unify(arg1, 82)) |
||
3370 | { |
||
3371 | foreach (bool l3 in YP.unify(arg2, 13)) |
||
3372 | { |
||
3373 | yield return false; |
||
3374 | } |
||
3375 | } |
||
3376 | } |
||
3377 | { |
||
3378 | foreach (bool l2 in YP.unify(arg1, 118)) |
||
3379 | { |
||
3380 | foreach (bool l3 in YP.unify(arg2, 11)) |
||
3381 | { |
||
3382 | yield return false; |
||
3383 | } |
||
3384 | } |
||
3385 | } |
||
3386 | { |
||
3387 | foreach (bool l2 in YP.unify(arg1, 86)) |
||
3388 | { |
||
3389 | foreach (bool l3 in YP.unify(arg2, 11)) |
||
3390 | { |
||
3391 | yield return false; |
||
3392 | } |
||
3393 | } |
||
3394 | } |
||
3395 | { |
||
3396 | foreach (bool l2 in YP.unify(arg1, 98)) |
||
3397 | { |
||
3398 | foreach (bool l3 in YP.unify(arg2, 8)) |
||
3399 | { |
||
3400 | yield return false; |
||
3401 | } |
||
3402 | } |
||
3403 | } |
||
3404 | { |
||
3405 | foreach (bool l2 in YP.unify(arg1, 66)) |
||
3406 | { |
||
3407 | foreach (bool l3 in YP.unify(arg2, 8)) |
||
3408 | { |
||
3409 | yield return false; |
||
3410 | } |
||
3411 | } |
||
3412 | } |
||
3413 | { |
||
3414 | foreach (bool l2 in YP.unify(arg1, 102)) |
||
3415 | { |
||
3416 | foreach (bool l3 in YP.unify(arg2, 12)) |
||
3417 | { |
||
3418 | yield return false; |
||
3419 | } |
||
3420 | } |
||
3421 | } |
||
3422 | { |
||
3423 | foreach (bool l2 in YP.unify(arg1, 70)) |
||
3424 | { |
||
3425 | foreach (bool l3 in YP.unify(arg2, 12)) |
||
3426 | { |
||
3427 | yield return false; |
||
3428 | } |
||
3429 | } |
||
3430 | } |
||
3431 | { |
||
3432 | foreach (bool l2 in YP.unify(arg1, 101)) |
||
3433 | { |
||
3434 | foreach (bool l3 in YP.unify(arg2, 27)) |
||
3435 | { |
||
3436 | yield return false; |
||
3437 | } |
||
3438 | } |
||
3439 | } |
||
3440 | { |
||
3441 | foreach (bool l2 in YP.unify(arg1, 69)) |
||
3442 | { |
||
3443 | foreach (bool l3 in YP.unify(arg2, 27)) |
||
3444 | { |
||
3445 | yield return false; |
||
3446 | } |
||
3447 | } |
||
3448 | } |
||
3449 | { |
||
3450 | foreach (bool l2 in YP.unify(arg1, 100)) |
||
3451 | { |
||
3452 | foreach (bool l3 in YP.unify(arg2, 127)) |
||
3453 | { |
||
3454 | yield return false; |
||
3455 | } |
||
3456 | } |
||
3457 | } |
||
3458 | { |
||
3459 | foreach (bool l2 in YP.unify(arg1, 68)) |
||
3460 | { |
||
3461 | foreach (bool l3 in YP.unify(arg2, 127)) |
||
3462 | { |
||
3463 | yield return false; |
||
3464 | } |
||
3465 | } |
||
3466 | } |
||
3467 | { |
||
3468 | foreach (bool l2 in YP.unify(arg1, 115)) |
||
3469 | { |
||
3470 | foreach (bool l3 in YP.unify(arg2, 32)) |
||
3471 | { |
||
3472 | yield return false; |
||
3473 | } |
||
3474 | } |
||
3475 | } |
||
3476 | { |
||
3477 | foreach (bool l2 in YP.unify(arg1, 83)) |
||
3478 | { |
||
3479 | foreach (bool l3 in YP.unify(arg2, 32)) |
||
3480 | { |
||
3481 | yield return false; |
||
3482 | } |
||
3483 | } |
||
3484 | } |
||
3485 | { |
||
3486 | foreach (bool l2 in YP.unify(arg1, 122)) |
||
3487 | { |
||
3488 | foreach (bool l3 in YP.unify(arg2, -1)) |
||
3489 | { |
||
3490 | yield return false; |
||
3491 | } |
||
3492 | } |
||
3493 | } |
||
3494 | { |
||
3495 | foreach (bool l2 in YP.unify(arg1, 90)) |
||
3496 | { |
||
3497 | foreach (bool l3 in YP.unify(arg2, -1)) |
||
3498 | { |
||
3499 | yield return false; |
||
3500 | } |
||
3501 | } |
||
3502 | } |
||
3503 | } |
||
3504 | |||
3505 | public static IEnumerable<bool> read_variable(object C1, object Dict, object arg3) |
||
3506 | { |
||
3507 | { |
||
3508 | Variable Var = new Variable(); |
||
3509 | Variable Name = new Variable(); |
||
3510 | Variable StartPos = new Variable(); |
||
3511 | Variable Tokens = new Variable(); |
||
3512 | Variable Chars = new Variable(); |
||
3513 | Variable NextCh = new Variable(); |
||
3514 | foreach (bool l2 in YP.unify(arg3, new ListPair(new Functor3("var", Var, Name, StartPos), Tokens))) |
||
3515 | { |
||
3516 | foreach (bool l3 in get_current_position(StartPos)) |
||
3517 | { |
||
3518 | foreach (bool l4 in read_name(C1, Chars, NextCh)) |
||
3519 | { |
||
3520 | foreach (bool l5 in YP.atom_codes(Name, Chars)) |
||
3521 | { |
||
3522 | if (YP.termEqual(Name, Atom.a("_"))) |
||
3523 | { |
||
3524 | foreach (bool l7 in read_after_atom(NextCh, Dict, Tokens)) |
||
3525 | { |
||
3526 | yield return false; |
||
3527 | } |
||
3528 | goto cutIf1; |
||
3529 | } |
||
3530 | foreach (bool l6 in read_lookup(Dict, Name, Var)) |
||
3531 | { |
||
3532 | foreach (bool l7 in read_after_atom(NextCh, Dict, Tokens)) |
||
3533 | { |
||
3534 | yield return false; |
||
3535 | } |
||
3536 | } |
||
3537 | cutIf1: |
||
3538 | { } |
||
3539 | } |
||
3540 | } |
||
3541 | } |
||
3542 | } |
||
3543 | } |
||
3544 | } |
||
3545 | |||
3546 | public static IEnumerable<bool> read_lookup(object arg1, object Name, object Var) |
||
3547 | { |
||
3548 | { |
||
3549 | Variable N = new Variable(); |
||
3550 | Variable V = new Variable(); |
||
3551 | Variable L = new Variable(); |
||
3552 | foreach (bool l2 in YP.unify(arg1, new ListPair(new Functor2("=", N, V), L))) |
||
3553 | { |
||
3554 | foreach (bool l3 in YP.unify(N, Name)) |
||
3555 | { |
||
3556 | foreach (bool l4 in YP.unify(V, Var)) |
||
3557 | { |
||
3558 | yield return false; |
||
3559 | } |
||
3560 | goto cutIf1; |
||
3561 | } |
||
3562 | foreach (bool l3 in read_lookup(L, Name, Var)) |
||
3563 | { |
||
3564 | yield return false; |
||
3565 | } |
||
3566 | cutIf1: |
||
3567 | { } |
||
3568 | } |
||
3569 | } |
||
3570 | } |
||
3571 | |||
3572 | public static IEnumerable<bool> read_solidus(object Ch, object LastCh) |
||
3573 | { |
||
3574 | { |
||
3575 | Variable NextCh = new Variable(); |
||
3576 | if (YP.equal(Ch, 42)) |
||
3577 | { |
||
3578 | foreach (bool l3 in YP.get_code(NextCh)) |
||
3579 | { |
||
3580 | if (YP.equal(NextCh, 47)) |
||
3581 | { |
||
3582 | foreach (bool l5 in YP.get_code(LastCh)) |
||
3583 | { |
||
3584 | yield return false; |
||
3585 | } |
||
3586 | goto cutIf2; |
||
3587 | } |
||
3588 | foreach (bool l4 in read_solidus(NextCh, LastCh)) |
||
3589 | { |
||
3590 | yield return false; |
||
3591 | } |
||
3592 | cutIf2: |
||
3593 | { } |
||
3594 | } |
||
3595 | goto cutIf1; |
||
3596 | } |
||
3597 | if (YP.notEqual(Ch, -1)) |
||
3598 | { |
||
3599 | foreach (bool l3 in YP.get_code(NextCh)) |
||
3600 | { |
||
3601 | foreach (bool l4 in read_solidus(NextCh, LastCh)) |
||
3602 | { |
||
3603 | yield return false; |
||
3604 | } |
||
3605 | } |
||
3606 | goto cutIf3; |
||
3607 | } |
||
3608 | foreach (bool l2 in YP.unify(LastCh, Ch)) |
||
3609 | { |
||
3610 | foreach (bool l3 in formatError(Atom.a("user_error"), Atom.a("~N** end of file in /*comment~n"), Atom.NIL)) |
||
3611 | { |
||
3612 | yield return false; |
||
3613 | } |
||
3614 | } |
||
3615 | cutIf3: |
||
3616 | cutIf1: |
||
3617 | { } |
||
3618 | } |
||
3619 | } |
||
3620 | |||
3621 | public static IEnumerable<bool> read_identifier(object C1, object Dict, object Tokens) |
||
3622 | { |
||
3623 | { |
||
3624 | Variable Chars = new Variable(); |
||
3625 | Variable NextCh = new Variable(); |
||
3626 | foreach (bool l2 in read_name(C1, Chars, NextCh)) |
||
3627 | { |
||
3628 | foreach (bool l3 in read_after_atom4(NextCh, Dict, Tokens, Chars)) |
||
3629 | { |
||
3630 | yield return false; |
||
3631 | } |
||
3632 | } |
||
3633 | } |
||
3634 | } |
||
3635 | |||
3636 | public static IEnumerable<bool> read_name(object C1, object arg2, object LastCh) |
||
3637 | { |
||
3638 | { |
||
3639 | Variable Chars = new Variable(); |
||
3640 | Variable C2 = new Variable(); |
||
3641 | foreach (bool l2 in YP.unify(arg2, new ListPair(C1, Chars))) |
||
3642 | { |
||
3643 | foreach (bool l3 in YP.get_code(C2)) |
||
3644 | { |
||
3645 | if (YP.greaterThanOrEqual(C2, new ListPair(97, Atom.NIL))) |
||
3646 | { |
||
3647 | if (YP.lessThanOrEqual(C2, new ListPair(122, Atom.NIL))) |
||
3648 | { |
||
3649 | foreach (bool l6 in read_name(C2, Chars, LastCh)) |
||
3650 | { |
||
3651 | yield return false; |
||
3652 | } |
||
3653 | goto cutIf2; |
||
3654 | } |
||
3655 | if (YP.lessThan(C2, 192)) |
||
3656 | { |
||
3657 | if (YP.notEqual(YP.bitwiseOr(C2, 16), 186)) |
||
3658 | { |
||
3659 | foreach (bool l7 in YP.unify(Chars, Atom.NIL)) |
||
3660 | { |
||
3661 | foreach (bool l8 in YP.unify(LastCh, C2)) |
||
3662 | { |
||
3663 | yield return false; |
||
3664 | } |
||
3665 | } |
||
3666 | goto cutIf3; |
||
3667 | } |
||
3668 | } |
||
3669 | if (YP.equal(YP.bitwiseOr(C2, 32), 247)) |
||
3670 | { |
||
3671 | foreach (bool l6 in YP.unify(Chars, Atom.NIL)) |
||
3672 | { |
||
3673 | foreach (bool l7 in YP.unify(LastCh, C2)) |
||
3674 | { |
||
3675 | yield return false; |
||
3676 | } |
||
3677 | } |
||
3678 | goto cutIf4; |
||
3679 | } |
||
3680 | foreach (bool l5 in read_name(C2, Chars, LastCh)) |
||
3681 | { |
||
3682 | yield return false; |
||
3683 | } |
||
3684 | cutIf4: |
||
3685 | cutIf3: |
||
3686 | cutIf2: |
||
3687 | goto cutIf1; |
||
3688 | } |
||
3689 | if (YP.greaterThanOrEqual(C2, new ListPair(65, Atom.NIL))) |
||
3690 | { |
||
3691 | if (YP.greaterThan(C2, new ListPair(90, Atom.NIL))) |
||
3692 | { |
||
3693 | if (YP.notEqual(C2, new ListPair(95, Atom.NIL))) |
||
3694 | { |
||
3695 | foreach (bool l7 in YP.unify(Chars, Atom.NIL)) |
||
3696 | { |
||
3697 | foreach (bool l8 in YP.unify(LastCh, C2)) |
||
3698 | { |
||
3699 | yield return false; |
||
3700 | } |
||
3701 | } |
||
3702 | goto cutIf6; |
||
3703 | } |
||
3704 | } |
||
3705 | foreach (bool l5 in read_name(C2, Chars, LastCh)) |
||
3706 | { |
||
3707 | yield return false; |
||
3708 | } |
||
3709 | cutIf6: |
||
3710 | goto cutIf5; |
||
3711 | } |
||
3712 | if (YP.greaterThanOrEqual(C2, new ListPair(48, Atom.NIL))) |
||
3713 | { |
||
3714 | if (YP.lessThanOrEqual(C2, new ListPair(57, Atom.NIL))) |
||
3715 | { |
||
3716 | foreach (bool l6 in read_name(C2, Chars, LastCh)) |
||
3717 | { |
||
3718 | yield return false; |
||
3719 | } |
||
3720 | goto cutIf7; |
||
3721 | } |
||
3722 | } |
||
3723 | foreach (bool l4 in YP.unify(Chars, Atom.NIL)) |
||
3724 | { |
||
3725 | foreach (bool l5 in YP.unify(LastCh, C2)) |
||
3726 | { |
||
3727 | yield return false; |
||
3728 | } |
||
3729 | } |
||
3730 | cutIf7: |
||
3731 | cutIf5: |
||
3732 | cutIf1: |
||
3733 | { } |
||
3734 | } |
||
3735 | } |
||
3736 | } |
||
3737 | } |
||
3738 | |||
3739 | public static IEnumerable<bool> read_fullstop(object Ch, object Dict, object Tokens) |
||
3740 | { |
||
3741 | { |
||
3742 | Variable Number = new Variable(); |
||
3743 | Variable Tokens1 = new Variable(); |
||
3744 | Variable Chars = new Variable(); |
||
3745 | Variable NextCh = new Variable(); |
||
3746 | if (YP.lessThanOrEqual(Ch, new ListPair(57, Atom.NIL))) |
||
3747 | { |
||
3748 | if (YP.greaterThanOrEqual(Ch, new ListPair(48, Atom.NIL))) |
||
3749 | { |
||
3750 | foreach (bool l4 in YP.unify(Tokens, new ListPair(new Functor1("number", Number), Tokens1))) |
||
3751 | { |
||
3752 | foreach (bool l5 in read_float(Number, Dict, Tokens1, new ListPair(48, Atom.NIL), Ch)) |
||
3753 | { |
||
3754 | yield return false; |
||
3755 | } |
||
3756 | } |
||
3757 | goto cutIf1; |
||
3758 | } |
||
3759 | } |
||
3760 | if (YP.greaterThan(Ch, new ListPair(32, Atom.NIL))) |
||
3761 | { |
||
3762 | foreach (bool l3 in rest_symbol(Ch, Chars, NextCh)) |
||
3763 | { |
||
3764 | foreach (bool l4 in read_after_atom4(NextCh, Dict, Tokens, new ListPair(46, Chars))) |
||
3765 | { |
||
3766 | yield return false; |
||
3767 | } |
||
3768 | } |
||
3769 | goto cutIf2; |
||
3770 | } |
||
3771 | if (YP.greaterThanOrEqual(Ch, 0)) |
||
3772 | { |
||
3773 | foreach (bool l3 in YP.unify(Tokens, Atom.NIL)) |
||
3774 | { |
||
3775 | yield return false; |
||
3776 | } |
||
3777 | goto cutIf3; |
||
3778 | } |
||
3779 | foreach (bool l2 in formatError(Atom.a("user_error"), Atom.a("~N** end of file just after full stop~n"), Atom.NIL)) |
||
3780 | { |
||
3781 | } |
||
3782 | cutIf3: |
||
3783 | cutIf2: |
||
3784 | cutIf1: |
||
3785 | { } |
||
3786 | } |
||
3787 | } |
||
3788 | |||
3789 | public static IEnumerable<bool> read_float(object Number, object Dict, object Tokens, object Digits, object Digit) |
||
3790 | { |
||
3791 | { |
||
3792 | Variable Chars = new Variable(); |
||
3793 | Variable Rest = new Variable(); |
||
3794 | Variable NextCh = new Variable(); |
||
3795 | foreach (bool l2 in prepend(Digits, Chars, Rest)) |
||
3796 | { |
||
3797 | foreach (bool l3 in read_float4(Digit, Rest, NextCh, Chars)) |
||
3798 | { |
||
3799 | foreach (bool l4 in YP.number_codes(Number, Chars)) |
||
3800 | { |
||
3801 | foreach (bool l5 in read_tokens(NextCh, Dict, Tokens)) |
||
3802 | { |
||
3803 | yield return false; |
||
3804 | } |
||
3805 | } |
||
3806 | } |
||
3807 | } |
||
3808 | } |
||
3809 | } |
||
3810 | |||
3811 | public static IEnumerable<bool> prepend(object arg1, object arg2, object arg3) |
||
3812 | { |
||
3813 | { |
||
3814 | object X = arg3; |
||
3815 | foreach (bool l2 in YP.unify(arg1, Atom.NIL)) |
||
3816 | { |
||
3817 | foreach (bool l3 in YP.unify(arg2, new ListPair(46, X))) |
||
3818 | { |
||
3819 | yield return false; |
||
3820 | } |
||
3821 | } |
||
3822 | } |
||
3823 | { |
||
3824 | object Y = arg3; |
||
3825 | Variable C = new Variable(); |
||
3826 | Variable Cs = new Variable(); |
||
3827 | Variable X = new Variable(); |
||
3828 | foreach (bool l2 in YP.unify(arg1, new ListPair(C, Cs))) |
||
3829 | { |
||
3830 | foreach (bool l3 in YP.unify(arg2, new ListPair(C, X))) |
||
3831 | { |
||
3832 | foreach (bool l4 in prepend(Cs, X, Y)) |
||
3833 | { |
||
3834 | yield return false; |
||
3835 | } |
||
3836 | } |
||
3837 | } |
||
3838 | } |
||
3839 | } |
||
3840 | |||
3841 | public static IEnumerable<bool> read_float4(object C1, object arg2, object NextCh, object Total) |
||
3842 | { |
||
3843 | { |
||
3844 | Variable Chars = new Variable(); |
||
3845 | Variable C2 = new Variable(); |
||
3846 | Variable C3 = new Variable(); |
||
3847 | Variable C4 = new Variable(); |
||
3848 | Variable More = new Variable(); |
||
3849 | foreach (bool l2 in YP.unify(arg2, new ListPair(C1, Chars))) |
||
3850 | { |
||
3851 | foreach (bool l3 in YP.get_code(C2)) |
||
3852 | { |
||
3853 | if (YP.greaterThanOrEqual(C2, new ListPair(48, Atom.NIL))) |
||
3854 | { |
||
3855 | if (YP.lessThanOrEqual(C2, new ListPair(57, Atom.NIL))) |
||
3856 | { |
||
3857 | foreach (bool l6 in read_float4(C2, Chars, NextCh, Total)) |
||
3858 | { |
||
3859 | yield return false; |
||
3860 | } |
||
3861 | goto cutIf1; |
||
3862 | } |
||
3863 | } |
||
3864 | if (YP.equal(YP.bitwiseOr(C2, 32), new ListPair(101, Atom.NIL))) |
||
3865 | { |
||
3866 | foreach (bool l5 in YP.get_code(C3)) |
||
3867 | { |
||
3868 | if (YP.equal(C3, new ListPair(45, Atom.NIL))) |
||
3869 | { |
||
3870 | foreach (bool l7 in YP.get_code(C4)) |
||
3871 | { |
||
3872 | foreach (bool l8 in YP.unify(Chars, new ListPair(C2, new ListPair(45, More)))) |
||
3873 | { |
||
3874 | if (YP.greaterThanOrEqual(C4, new ListPair(48, Atom.NIL))) |
||
3875 | { |
||
3876 | if (YP.lessThanOrEqual(C4, new ListPair(57, Atom.NIL))) |
||
3877 | { |
||
3878 | foreach (bool l11 in read_exponent(C4, More, NextCh)) |
||
3879 | { |
||
3880 | yield return false; |
||
3881 | } |
||
3882 | goto cutIf4; |
||
3883 | } |
||
3884 | } |
||
3885 | foreach (bool l9 in YP.unify(More, Atom.NIL)) |
||
3886 | { |
||
3887 | foreach (bool l10 in formatError(Atom.a("user_error"), Atom.a("~N** Missing exponent in ~s~n"), new ListPair(Total, Atom.NIL))) |
||
3888 | { |
||
3889 | } |
||
3890 | } |
||
3891 | foreach (bool l9 in YP.unify(More, new ListPair(48, Atom.NIL))) |
||
3892 | { |
||
3893 | foreach (bool l10 in YP.unify(NextCh, C4)) |
||
3894 | { |
||
3895 | yield return false; |
||
3896 | } |
||
3897 | } |
||
3898 | cutIf4: |
||
3899 | { } |
||
3900 | } |
||
3901 | } |
||
3902 | goto cutIf3; |
||
3903 | } |
||
3904 | if (YP.equal(C3, new ListPair(43, Atom.NIL))) |
||
3905 | { |
||
3906 | foreach (bool l7 in YP.get_code(C4)) |
||
3907 | { |
||
3908 | foreach (bool l8 in YP.unify(Chars, new ListPair(C2, More))) |
||
3909 | { |
||
3910 | if (YP.greaterThanOrEqual(C4, new ListPair(48, Atom.NIL))) |
||
3911 | { |
||
3912 | if (YP.lessThanOrEqual(C4, new ListPair(57, Atom.NIL))) |
||
3913 | { |
||
3914 | foreach (bool l11 in read_exponent(C4, More, NextCh)) |
||
3915 | { |
||
3916 | yield return false; |
||
3917 | } |
||
3918 | goto cutIf6; |
||
3919 | } |
||
3920 | } |
||
3921 | foreach (bool l9 in YP.unify(More, Atom.NIL)) |
||
3922 | { |
||
3923 | foreach (bool l10 in formatError(Atom.a("user_error"), Atom.a("~N** Missing exponent in ~s~n"), new ListPair(Total, Atom.NIL))) |
||
3924 | { |
||
3925 | } |
||
3926 | } |
||
3927 | foreach (bool l9 in YP.unify(More, new ListPair(48, Atom.NIL))) |
||
3928 | { |
||
3929 | foreach (bool l10 in YP.unify(NextCh, C4)) |
||
3930 | { |
||
3931 | yield return false; |
||
3932 | } |
||
3933 | } |
||
3934 | cutIf6: |
||
3935 | { } |
||
3936 | } |
||
3937 | } |
||
3938 | goto cutIf5; |
||
3939 | } |
||
3940 | foreach (bool l6 in YP.unify(C4, C3)) |
||
3941 | { |
||
3942 | foreach (bool l7 in YP.unify(Chars, new ListPair(C2, More))) |
||
3943 | { |
||
3944 | if (YP.greaterThanOrEqual(C4, new ListPair(48, Atom.NIL))) |
||
3945 | { |
||
3946 | if (YP.lessThanOrEqual(C4, new ListPair(57, Atom.NIL))) |
||
3947 | { |
||
3948 | foreach (bool l10 in read_exponent(C4, More, NextCh)) |
||
3949 | { |
||
3950 | yield return false; |
||
3951 | } |
||
3952 | goto cutIf7; |
||
3953 | } |
||
3954 | } |
||
3955 | foreach (bool l8 in YP.unify(More, Atom.NIL)) |
||
3956 | { |
||
3957 | foreach (bool l9 in formatError(Atom.a("user_error"), Atom.a("~N** Missing exponent in ~s~n"), new ListPair(Total, Atom.NIL))) |
||
3958 | { |
||
3959 | } |
||
3960 | } |
||
3961 | foreach (bool l8 in YP.unify(More, new ListPair(48, Atom.NIL))) |
||
3962 | { |
||
3963 | foreach (bool l9 in YP.unify(NextCh, C4)) |
||
3964 | { |
||
3965 | yield return false; |
||
3966 | } |
||
3967 | } |
||
3968 | cutIf7: |
||
3969 | { } |
||
3970 | } |
||
3971 | } |
||
3972 | cutIf5: |
||
3973 | cutIf3: |
||
3974 | { } |
||
3975 | } |
||
3976 | goto cutIf2; |
||
3977 | } |
||
3978 | foreach (bool l4 in YP.unify(Chars, Atom.NIL)) |
||
3979 | { |
||
3980 | foreach (bool l5 in YP.unify(NextCh, C2)) |
||
3981 | { |
||
3982 | yield return false; |
||
3983 | } |
||
3984 | } |
||
3985 | cutIf2: |
||
3986 | cutIf1: |
||
3987 | { } |
||
3988 | } |
||
3989 | } |
||
3990 | } |
||
3991 | } |
||
3992 | |||
3993 | public static IEnumerable<bool> read_exponent(object C1, object arg2, object NextCh) |
||
3994 | { |
||
3995 | { |
||
3996 | Variable Chars = new Variable(); |
||
3997 | Variable C2 = new Variable(); |
||
3998 | foreach (bool l2 in YP.unify(arg2, new ListPair(C1, Chars))) |
||
3999 | { |
||
4000 | foreach (bool l3 in YP.get_code(C2)) |
||
4001 | { |
||
4002 | if (YP.greaterThanOrEqual(C2, new ListPair(48, Atom.NIL))) |
||
4003 | { |
||
4004 | if (YP.lessThanOrEqual(C2, new ListPair(57, Atom.NIL))) |
||
4005 | { |
||
4006 | foreach (bool l6 in read_exponent(C2, Chars, NextCh)) |
||
4007 | { |
||
4008 | yield return false; |
||
4009 | } |
||
4010 | goto cutIf1; |
||
4011 | } |
||
4012 | } |
||
4013 | foreach (bool l4 in YP.unify(Chars, Atom.NIL)) |
||
4014 | { |
||
4015 | foreach (bool l5 in YP.unify(NextCh, C2)) |
||
4016 | { |
||
4017 | yield return false; |
||
4018 | } |
||
4019 | } |
||
4020 | cutIf1: |
||
4021 | { } |
||
4022 | } |
||
4023 | } |
||
4024 | } |
||
4025 | } |
||
4026 | |||
4027 | public static IEnumerable<bool> read_number(object C1, object Dict, object arg3) |
||
4028 | { |
||
4029 | { |
||
4030 | Variable Number = new Variable(); |
||
4031 | Variable Tokens = new Variable(); |
||
4032 | Variable C2 = new Variable(); |
||
4033 | Variable N = new Variable(); |
||
4034 | Variable C = new Variable(); |
||
4035 | Variable C3 = new Variable(); |
||
4036 | Variable Digits = new Variable(); |
||
4037 | foreach (bool l2 in YP.unify(arg3, new ListPair(new Functor1("number", Number), Tokens))) |
||
4038 | { |
||
4039 | foreach (bool l3 in read_number4(C1, C2, 0, N)) |
||
4040 | { |
||
4041 | if (YP.equal(C2, 39)) |
||
4042 | { |
||
4043 | if (YP.greaterThanOrEqual(N, 2)) |
||
4044 | { |
||
4045 | if (YP.lessThanOrEqual(N, 36)) |
||
4046 | { |
||
4047 | foreach (bool l7 in read_based(N, 0, Number, C)) |
||
4048 | { |
||
4049 | foreach (bool l8 in read_tokens(C, Dict, Tokens)) |
||
4050 | { |
||
4051 | yield return false; |
||
4052 | } |
||
4053 | } |
||
4054 | goto cutIf2; |
||
4055 | } |
||
4056 | } |
||
4057 | if (YP.equal(N, 0)) |
||
4058 | { |
||
4059 | foreach (bool l6 in YP.get_code(C3)) |
||
4060 | { |
||
4061 | foreach (bool l7 in read_char(C3, -1, Number, C)) |
||
4062 | { |
||
4063 | foreach (bool l8 in read_tokens(C, Dict, Tokens)) |
||
4064 | { |
||
4065 | yield return false; |
||
4066 | } |
||
4067 | } |
||
4068 | } |
||
4069 | goto cutIf3; |
||
4070 | } |
||
4071 | foreach (bool l5 in formatError(Atom.a("user_error"), Atom.a("~N** ~d' read as ~d '~n"), new ListPair(N, new ListPair(N, Atom.NIL)))) |
||
4072 | { |
||
4073 | foreach (bool l6 in YP.unify(Number, N)) |
||
4074 | { |
||
4075 | foreach (bool l7 in YP.unify(C, C2)) |
||
4076 | { |
||
4077 | foreach (bool l8 in read_tokens(C, Dict, Tokens)) |
||
4078 | { |
||
4079 | yield return false; |
||
4080 | } |
||
4081 | } |
||
4082 | } |
||
4083 | } |
||
4084 | cutIf3: |
||
4085 | cutIf2: |
||
4086 | goto cutIf1; |
||
4087 | } |
||
4088 | if (YP.equal(C2, 46)) |
||
4089 | { |
||
4090 | foreach (bool l5 in YP.get_code(C3)) |
||
4091 | { |
||
4092 | if (YP.greaterThanOrEqual(C3, new ListPair(48, Atom.NIL))) |
||
4093 | { |
||
4094 | if (YP.lessThanOrEqual(C3, new ListPair(57, Atom.NIL))) |
||
4095 | { |
||
4096 | foreach (bool l8 in YP.number_codes(N, Digits)) |
||
4097 | { |
||
4098 | foreach (bool l9 in read_float(Number, Dict, Tokens, Digits, C3)) |
||
4099 | { |
||
4100 | yield return false; |
||
4101 | } |
||
4102 | } |
||
4103 | goto cutIf5; |
||
4104 | } |
||
4105 | } |
||
4106 | foreach (bool l6 in YP.unify(Number, N)) |
||
4107 | { |
||
4108 | foreach (bool l7 in read_fullstop(C3, Dict, Tokens)) |
||
4109 | { |
||
4110 | yield return false; |
||
4111 | } |
||
4112 | } |
||
4113 | cutIf5: |
||
4114 | { } |
||
4115 | } |
||
4116 | goto cutIf4; |
||
4117 | } |
||
4118 | foreach (bool l4 in YP.unify(Number, N)) |
||
4119 | { |
||
4120 | foreach (bool l5 in read_tokens(C2, Dict, Tokens)) |
||
4121 | { |
||
4122 | yield return false; |
||
4123 | } |
||
4124 | } |
||
4125 | cutIf4: |
||
4126 | cutIf1: |
||
4127 | { } |
||
4128 | } |
||
4129 | } |
||
4130 | } |
||
4131 | } |
||
4132 | |||
4133 | public static IEnumerable<bool> read_number4(object C0, object C, object N0, object N) |
||
4134 | { |
||
4135 | { |
||
4136 | Variable N1 = new Variable(); |
||
4137 | Variable C1 = new Variable(); |
||
4138 | if (YP.greaterThanOrEqual(C0, new ListPair(48, Atom.NIL))) |
||
4139 | { |
||
4140 | if (YP.lessThanOrEqual(C0, new ListPair(57, Atom.NIL))) |
||
4141 | { |
||
4142 | foreach (bool l4 in YP.unify(N1, YP.add(YP.subtract(YP.multiply(N0, 10), new ListPair(48, Atom.NIL)), C0))) |
||
4143 | { |
||
4144 | foreach (bool l5 in YP.get_code(C1)) |
||
4145 | { |
||
4146 | foreach (bool l6 in read_number4(C1, C, N1, N)) |
||
4147 | { |
||
4148 | yield return false; |
||
4149 | } |
||
4150 | } |
||
4151 | } |
||
4152 | goto cutIf1; |
||
4153 | } |
||
4154 | } |
||
4155 | if (YP.equal(C0, 95)) |
||
4156 | { |
||
4157 | foreach (bool l3 in YP.get_code(C1)) |
||
4158 | { |
||
4159 | foreach (bool l4 in read_number4(C1, C, N0, N)) |
||
4160 | { |
||
4161 | yield return false; |
||
4162 | } |
||
4163 | } |
||
4164 | goto cutIf2; |
||
4165 | } |
||
4166 | foreach (bool l2 in YP.unify(C, C0)) |
||
4167 | { |
||
4168 | foreach (bool l3 in YP.unify(N, N0)) |
||
4169 | { |
||
4170 | yield return false; |
||
4171 | } |
||
4172 | } |
||
4173 | cutIf2: |
||
4174 | cutIf1: |
||
4175 | { } |
||
4176 | } |
||
4177 | } |
||
4178 | |||
4179 | public static IEnumerable<bool> read_based(object Base, object N0, object N, object C) |
||
4180 | { |
||
4181 | { |
||
4182 | Variable C1 = new Variable(); |
||
4183 | Variable Digit = new Variable(); |
||
4184 | Variable N1 = new Variable(); |
||
4185 | foreach (bool l2 in YP.get_code(C1)) |
||
4186 | { |
||
4187 | if (YP.greaterThanOrEqual(C1, new ListPair(48, Atom.NIL))) |
||
4188 | { |
||
4189 | if (YP.lessThanOrEqual(C1, new ListPair(57, Atom.NIL))) |
||
4190 | { |
||
4191 | foreach (bool l5 in YP.unify(Digit, YP.subtract(C1, new ListPair(48, Atom.NIL)))) |
||
4192 | { |
||
4193 | if (YP.lessThan(Digit, Base)) |
||
4194 | { |
||
4195 | foreach (bool l7 in YP.unify(N1, YP.add(YP.multiply(N0, Base), Digit))) |
||
4196 | { |
||
4197 | foreach (bool l8 in read_based(Base, N1, N, C)) |
||
4198 | { |
||
4199 | yield return false; |
||
4200 | } |
||
4201 | } |
||
4202 | goto cutIf2; |
||
4203 | } |
||
4204 | if (YP.equal(C1, new ListPair(95, Atom.NIL))) |
||
4205 | { |
||
4206 | foreach (bool l7 in read_based(Base, N0, N, C)) |
||
4207 | { |
||
4208 | yield return false; |
||
4209 | } |
||
4210 | goto cutIf3; |
||
4211 | } |
||
4212 | foreach (bool l6 in YP.unify(N, N0)) |
||
4213 | { |
||
4214 | foreach (bool l7 in YP.unify(C, C1)) |
||
4215 | { |
||
4216 | yield return false; |
||
4217 | } |
||
4218 | } |
||
4219 | cutIf3: |
||
4220 | cutIf2: |
||
4221 | { } |
||
4222 | } |
||
4223 | goto cutIf1; |
||
4224 | } |
||
4225 | } |
||
4226 | if (YP.greaterThanOrEqual(C1, new ListPair(65, Atom.NIL))) |
||
4227 | { |
||
4228 | if (YP.lessThanOrEqual(C1, new ListPair(90, Atom.NIL))) |
||
4229 | { |
||
4230 | foreach (bool l5 in YP.unify(Digit, YP.subtract(C1, YP.subtract(new ListPair(65, Atom.NIL), 10)))) |
||
4231 | { |
||
4232 | if (YP.lessThan(Digit, Base)) |
||
4233 | { |
||
4234 | foreach (bool l7 in YP.unify(N1, YP.add(YP.multiply(N0, Base), Digit))) |
||
4235 | { |
||
4236 | foreach (bool l8 in read_based(Base, N1, N, C)) |
||
4237 | { |
||
4238 | yield return false; |
||
4239 | } |
||
4240 | } |
||
4241 | goto cutIf5; |
||
4242 | } |
||
4243 | if (YP.equal(C1, new ListPair(95, Atom.NIL))) |
||
4244 | { |
||
4245 | foreach (bool l7 in read_based(Base, N0, N, C)) |
||
4246 | { |
||
4247 | yield return false; |
||
4248 | } |
||
4249 | goto cutIf6; |
||
4250 | } |
||
4251 | foreach (bool l6 in YP.unify(N, N0)) |
||
4252 | { |
||
4253 | foreach (bool l7 in YP.unify(C, C1)) |
||
4254 | { |
||
4255 | yield return false; |
||
4256 | } |
||
4257 | } |
||
4258 | cutIf6: |
||
4259 | cutIf5: |
||
4260 | { } |
||
4261 | } |
||
4262 | goto cutIf4; |
||
4263 | } |
||
4264 | } |
||
4265 | if (YP.greaterThanOrEqual(C1, new ListPair(97, Atom.NIL))) |
||
4266 | { |
||
4267 | if (YP.lessThanOrEqual(C1, new ListPair(122, Atom.NIL))) |
||
4268 | { |
||
4269 | foreach (bool l5 in YP.unify(Digit, YP.subtract(C1, YP.subtract(new ListPair(97, Atom.NIL), 10)))) |
||
4270 | { |
||
4271 | if (YP.lessThan(Digit, Base)) |
||
4272 | { |
||
4273 | foreach (bool l7 in YP.unify(N1, YP.add(YP.multiply(N0, Base), Digit))) |
||
4274 | { |
||
4275 | foreach (bool l8 in read_based(Base, N1, N, C)) |
||
4276 | { |
||
4277 | yield return false; |
||
4278 | } |
||
4279 | } |
||
4280 | goto cutIf8; |
||
4281 | } |
||
4282 | if (YP.equal(C1, new ListPair(95, Atom.NIL))) |
||
4283 | { |
||
4284 | foreach (bool l7 in read_based(Base, N0, N, C)) |
||
4285 | { |
||
4286 | yield return false; |
||
4287 | } |
||
4288 | goto cutIf9; |
||
4289 | } |
||
4290 | foreach (bool l6 in YP.unify(N, N0)) |
||
4291 | { |
||
4292 | foreach (bool l7 in YP.unify(C, C1)) |
||
4293 | { |
||
4294 | yield return false; |
||
4295 | } |
||
4296 | } |
||
4297 | cutIf9: |
||
4298 | cutIf8: |
||
4299 | { } |
||
4300 | } |
||
4301 | goto cutIf7; |
||
4302 | } |
||
4303 | } |
||
4304 | foreach (bool l3 in YP.unify(Digit, 99)) |
||
4305 | { |
||
4306 | if (YP.lessThan(Digit, Base)) |
||
4307 | { |
||
4308 | foreach (bool l5 in YP.unify(N1, YP.add(YP.multiply(N0, Base), Digit))) |
||
4309 | { |
||
4310 | foreach (bool l6 in read_based(Base, N1, N, C)) |
||
4311 | { |
||
4312 | yield return false; |
||
4313 | } |
||
4314 | } |
||
4315 | goto cutIf10; |
||
4316 | } |
||
4317 | if (YP.equal(C1, new ListPair(95, Atom.NIL))) |
||
4318 | { |
||
4319 | foreach (bool l5 in read_based(Base, N0, N, C)) |
||
4320 | { |
||
4321 | yield return false; |
||
4322 | } |
||
4323 | goto cutIf11; |
||
4324 | } |
||
4325 | foreach (bool l4 in YP.unify(N, N0)) |
||
4326 | { |
||
4327 | foreach (bool l5 in YP.unify(C, C1)) |
||
4328 | { |
||
4329 | yield return false; |
||
4330 | } |
||
4331 | } |
||
4332 | cutIf11: |
||
4333 | cutIf10: |
||
4334 | { } |
||
4335 | } |
||
4336 | cutIf7: |
||
4337 | cutIf4: |
||
4338 | cutIf1: |
||
4339 | { } |
||
4340 | } |
||
4341 | } |
||
4342 | } |
||
4343 | |||
4344 | public static IEnumerable<bool> read_char(object Char, object Quote, object Result, object Next) |
||
4345 | { |
||
4346 | { |
||
4347 | Variable C1 = new Variable(); |
||
4348 | Variable C2 = new Variable(); |
||
4349 | Variable C3 = new Variable(); |
||
4350 | Variable Ch = new Variable(); |
||
4351 | if (YP.equal(Char, 92)) |
||
4352 | { |
||
4353 | foreach (bool l3 in YP.get_code(C1)) |
||
4354 | { |
||
4355 | if (YP.lessThan(C1, 0)) |
||
4356 | { |
||
4357 | foreach (bool l5 in formatError(Atom.a("user_error"), Atom.a("~N** end of file in ~cquoted~c~n"), new ListPair(Quote, new ListPair(Quote, Atom.NIL)))) |
||
4358 | { |
||
4359 | foreach (bool l6 in YP.unify(Result, -1)) |
||
4360 | { |
||
4361 | foreach (bool l7 in YP.unify(Next, C1)) |
||
4362 | { |
||
4363 | yield return false; |
||
4364 | } |
||
4365 | } |
||
4366 | } |
||
4367 | goto cutIf2; |
||
4368 | } |
||
4369 | if (YP.lessThanOrEqual(C1, new ListPair(32, Atom.NIL))) |
||
4370 | { |
||
4371 | foreach (bool l5 in YP.get_code(C2)) |
||
4372 | { |
||
4373 | foreach (bool l6 in read_char(C2, Quote, Result, Next)) |
||
4374 | { |
||
4375 | yield return false; |
||
4376 | } |
||
4377 | } |
||
4378 | goto cutIf3; |
||
4379 | } |
||
4380 | if (YP.equal(YP.bitwiseOr(C1, 32), new ListPair(99, Atom.NIL))) |
||
4381 | { |
||
4382 | foreach (bool l5 in YP.get_code(C2)) |
||
4383 | { |
||
4384 | foreach (bool l6 in read_char(C2, Quote, Result, Next)) |
||
4385 | { |
||
4386 | yield return false; |
||
4387 | } |
||
4388 | } |
||
4389 | goto cutIf4; |
||
4390 | } |
||
4391 | if (YP.lessThanOrEqual(C1, new ListPair(55, Atom.NIL))) |
||
4392 | { |
||
4393 | if (YP.greaterThanOrEqual(C1, new ListPair(48, Atom.NIL))) |
||
4394 | { |
||
4395 | foreach (bool l6 in YP.get_code(C2)) |
||
4396 | { |
||
4397 | if (YP.lessThanOrEqual(C2, new ListPair(55, Atom.NIL))) |
||
4398 | { |
||
4399 | if (YP.greaterThanOrEqual(C2, new ListPair(48, Atom.NIL))) |
||
4400 | { |
||
4401 | foreach (bool l9 in YP.get_code(C3)) |
||
4402 | { |
||
4403 | if (YP.lessThanOrEqual(C3, new ListPair(55, Atom.NIL))) |
||
4404 | { |
||
4405 | if (YP.greaterThanOrEqual(C3, new ListPair(48, Atom.NIL))) |
||
4406 | { |
||
4407 | foreach (bool l12 in YP.get_code(Next)) |
||
4408 | { |
||
4409 | foreach (bool l13 in YP.unify(Result, YP.subtract(YP.add(YP.multiply(YP.add(YP.multiply(C1, 8), C2), 8), C3), YP.multiply(73, new ListPair(48, Atom.NIL))))) |
||
4410 | { |
||
4411 | yield return false; |
||
4412 | } |
||
4413 | } |
||
4414 | goto cutIf7; |
||
4415 | } |
||
4416 | } |
||
4417 | foreach (bool l10 in YP.unify(Next, C3)) |
||
4418 | { |
||
4419 | foreach (bool l11 in YP.unify(Result, YP.subtract(YP.add(YP.multiply(C1, 8), C2), YP.multiply(9, new ListPair(48, Atom.NIL))))) |
||
4420 | { |
||
4421 | yield return false; |
||
4422 | } |
||
4423 | } |
||
4424 | cutIf7: |
||
4425 | { } |
||
4426 | } |
||
4427 | goto cutIf6; |
||
4428 | } |
||
4429 | } |
||
4430 | foreach (bool l7 in YP.unify(Next, C2)) |
||
4431 | { |
||
4432 | foreach (bool l8 in YP.unify(Result, YP.subtract(C1, new ListPair(48, Atom.NIL)))) |
||
4433 | { |
||
4434 | yield return false; |
||
4435 | } |
||
4436 | } |
||
4437 | cutIf6: |
||
4438 | { } |
||
4439 | } |
||
4440 | goto cutIf5; |
||
4441 | } |
||
4442 | } |
||
4443 | if (YP.equal(C1, new ListPair(94, Atom.NIL))) |
||
4444 | { |
||
4445 | foreach (bool l5 in YP.get_code(C2)) |
||
4446 | { |
||
4447 | if (YP.lessThan(C2, 0)) |
||
4448 | { |
||
4449 | foreach (bool l7 in formatError(Atom.a("user_error"), Atom.a("~N** end of file in ~c..~c^..~c~n"), ListPair.make(new object[] { Quote, 92, Quote }))) |
||
4450 | { |
||
4451 | foreach (bool l8 in YP.unify(Result, -1)) |
||
4452 | { |
||
4453 | foreach (bool l9 in YP.unify(Next, C2)) |
||
4454 | { |
||
4455 | yield return false; |
||
4456 | } |
||
4457 | } |
||
4458 | } |
||
4459 | goto cutIf9; |
||
4460 | } |
||
4461 | if (YP.equal(C2, new ListPair(63, Atom.NIL))) |
||
4462 | { |
||
4463 | foreach (bool l7 in YP.unify(Result, 127)) |
||
4464 | { |
||
4465 | foreach (bool l8 in YP.get_code(Next)) |
||
4466 | { |
||
4467 | yield return false; |
||
4468 | } |
||
4469 | } |
||
4470 | goto cutIf10; |
||
4471 | } |
||
4472 | foreach (bool l6 in YP.unify(Result, YP.bitwiseAnd(C2, 31))) |
||
4473 | { |
||
4474 | foreach (bool l7 in YP.get_code(Next)) |
||
4475 | { |
||
4476 | yield return false; |
||
4477 | } |
||
4478 | } |
||
4479 | cutIf10: |
||
4480 | cutIf9: |
||
4481 | { } |
||
4482 | } |
||
4483 | goto cutIf8; |
||
4484 | } |
||
4485 | foreach (bool l4 in escape_char(C1, Result)) |
||
4486 | { |
||
4487 | foreach (bool l5 in YP.get_code(Next)) |
||
4488 | { |
||
4489 | yield return false; |
||
4490 | } |
||
4491 | goto cutIf11; |
||
4492 | } |
||
4493 | foreach (bool l4 in YP.unify(Result, C1)) |
||
4494 | { |
||
4495 | foreach (bool l5 in YP.get_code(Next)) |
||
4496 | { |
||
4497 | yield return false; |
||
4498 | } |
||
4499 | } |
||
4500 | cutIf11: |
||
4501 | cutIf8: |
||
4502 | cutIf5: |
||
4503 | cutIf4: |
||
4504 | cutIf3: |
||
4505 | cutIf2: |
||
4506 | { } |
||
4507 | } |
||
4508 | goto cutIf1; |
||
4509 | } |
||
4510 | if (YP.equal(Char, Quote)) |
||
4511 | { |
||
4512 | foreach (bool l3 in YP.get_code(Ch)) |
||
4513 | { |
||
4514 | if (YP.equal(Ch, Quote)) |
||
4515 | { |
||
4516 | foreach (bool l5 in YP.unify(Result, Quote)) |
||
4517 | { |
||
4518 | foreach (bool l6 in YP.get_code(Next)) |
||
4519 | { |
||
4520 | yield return false; |
||
4521 | } |
||
4522 | } |
||
4523 | goto cutIf13; |
||
4524 | } |
||
4525 | foreach (bool l4 in YP.unify(Result, -1)) |
||
4526 | { |
||
4527 | foreach (bool l5 in YP.unify(Next, Ch)) |
||
4528 | { |
||
4529 | yield return false; |
||
4530 | } |
||
4531 | } |
||
4532 | cutIf13: |
||
4533 | { } |
||
4534 | } |
||
4535 | goto cutIf12; |
||
4536 | } |
||
4537 | if (YP.lessThan(Char, new ListPair(32, Atom.NIL))) |
||
4538 | { |
||
4539 | if (YP.notEqual(Char, 9)) |
||
4540 | { |
||
4541 | if (YP.notEqual(Char, 10)) |
||
4542 | { |
||
4543 | if (YP.notEqual(Char, 13)) |
||
4544 | { |
||
4545 | foreach (bool l6 in YP.unify(Result, -1)) |
||
4546 | { |
||
4547 | foreach (bool l7 in YP.unify(Next, Char)) |
||
4548 | { |
||
4549 | foreach (bool l8 in formatError(Atom.a("user_error"), Atom.a("~N** Strange character ~d ends ~ctoken~c~n"), ListPair.make(new object[] { Char, Quote, Quote }))) |
||
4550 | { |
||
4551 | yield return false; |
||
4552 | } |
||
4553 | } |
||
4554 | } |
||
4555 | goto cutIf14; |
||
4556 | } |
||
4557 | } |
||
4558 | } |
||
4559 | } |
||
4560 | foreach (bool l2 in YP.unify(Result, Char)) |
||
4561 | { |
||
4562 | foreach (bool l3 in YP.get_code(Next)) |
||
4563 | { |
||
4564 | yield return false; |
||
4565 | } |
||
4566 | } |
||
4567 | cutIf14: |
||
4568 | cutIf12: |
||
4569 | cutIf1: |
||
4570 | { } |
||
4571 | } |
||
4572 | } |
||
4573 | #pragma warning restore 0168, 0219, 0162 |
||
4574 | } |
||
4575 | } |