1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
#include <u.h>
#include <libc.h>
#include "dat.h"
#include "fns.h"
Rune *prettyprintlist(Term *, Rune *, int);
Rune *
prettyprint(Term *t)
{
Rune *result;
Rune *args;
switch(t->tag){
case CompoundTerm:
args = prettyprintlist(t->children, L", ", 0);
result = runesmprint("%S(%S)", t->text, args);
free(args);
break;
case AtomTerm:
result = runesmprint("%S", t->text);
break;
case VariableTerm:
result = runesmprint("%S(%ulld)", t->text, t->clausenr);
break;
case NumberTerm:
if(t->numbertype == NumberInt)
result = runesmprint("%lld", t->ival);
else
result = runesmprint("%f", t->dval);
break;
case StringTerm:
result = runesmprint("\"%S\"", t->text);
break;
default:
result = runesmprint("cant print term with tag %d", t->tag);
break;
}
return result;
}
Rune *
prettyprintlist(Term *t, Rune *sep, int end)
{
if(t == nil){
if(end)
return runesmprint("%S", sep);
else
return runesmprint("");
}
Rune *str = prettyprint(t);
Rune *rest = prettyprintlist(t->next, sep, end);
Rune *result;
if(t->next != nil)
result = runesmprint("%S%S%S", str, sep, rest);
else
result = runesmprint("%S%S", str, end ? rest : L"");
free(str);
free(rest);
return result;
}
|