1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
#############################################################################
##
## This file is part of GAP, a system for computational discrete algebra.
## This file's authors include Steve Linton.
##
## Copyright of GAP belongs to its developers, whose names are too numerous
## to list here. Please refer to the COPYRIGHT file for details.
##
## SPDX-License-Identifier: GPL-2.0-or-later
##
## This file contains GAP functions which define the structure of a GAP session
## SESSION is called from init.g or from POST_RESTORE depending on whether
## this is a normal startup or startup from saved workspace
##
OnGAPPromptHook := fail; # set some values to suppress warning
SaveOnExitFile := fail;
InstallAtExit( function()
if not QUITTING and IsBound(SaveOnExitFile) and
IsString(SaveOnExitFile) then
SaveWorkspace(SaveOnExitFile);
fi;
end);
BIND_GLOBAL("PROGRAM_CLEAN_UP", function()
local f, funcs;
if IsBound( GAPInfo.AtExitFuncs ) and IsList( GAPInfo.AtExitFuncs ) then
if IsHPCGAP then
funcs := FromAtomicList(GAPInfo.AtExitFuncs);
else
funcs := ShallowCopy(GAPInfo.AtExitFuncs);
fi;
while not IsEmpty(funcs) do
f := Remove(funcs);
if IsFunction(f) then
CALL_WITH_CATCH(f,[]);
fi;
od;
fi;
end);
BIND_GLOBAL("SESSION",
function()
SHELL( GetBottomLVars(), # in global context
false, # no return
false, # no return obj
false, # not in a break loop
"gap> ",
function()
if IsBound(OnGAPPromptHook) and IsFunction(OnGAPPromptHook) then
OnGAPPromptHook();
fi;
end);
BreakOnError := false;
end);
BindGlobal("POST_RESTORE", function()
local f;
for f in GAPInfo.PostRestoreFuncs do
if IsFunction(f) then
f();
fi;
od;
if not GAPInfo.CommandLineOptions.norepl then
SESSION();
fi;
PROGRAM_CLEAN_UP();
end);
if IsHPCGAP then
DEFAULT_INPUT_STREAM := function()
if CurrentThread() = 0 then
return "*stdin*";
else
return InputTextNone();
fi;
end;
DEFAULT_OUTPUT_STREAM := function()
return "*stdout*";
end;
fi;
|
