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
|
# This code extracts the examples from the ref manual chapter-wise and
# stores this in a workspace.
Read("makedocreldata.g");
exsref := ExtractExamples(GAPInfo.ManualDataRef.pathtodoc,
GAPInfo.ManualDataRef.main, GAPInfo.ManualDataRef.files, "Chapter");
RS := rec(changeSources := true);
WS := rec(compareFunction := "uptowhitespace");
WSRS := rec(changeSources := true, compareFunction := "uptowhitespace");
WriteRefExamplesTst := function(fnam)
local ch, i, a;
PrintTo(fnam,"gap> save:=SizeScreen();; SizeScreen([72,save[2]]);;\n");
for i in [1..Length(exsref)] do
ch := exsref[i];
AppendTo(fnam, "\n#### Reference manual, Chapter ",i," ####\n",
"gap> START_TEST(\"", i, "\");\n");
for a in ch do
AppendTo(fnam, "\n# ",a[2], a[1]);
od;
od;
AppendTo(fnam, "gap> SizeScreen(save);;\n");
end;
|
