Using Auxiliary Files

 

The commands in this section provide for the use of auxiliary files for the storage of networks or of sequences of commands.

(outnet file) 
Stores the current network on the file in a special SNePS format. The syntax for the file specification is machine dependent.

(innet file) 
If file was created by a call to outnet, the current network will be initialized to the one stored on file. Note: innet rewrites the entire network and several SNePSUL variables, so it cannot be used to combine several networks. An error message is issued if file is not in the appropriate format.

(intext file) 
Reads a sequence of SNePSUL commands from the file and executes them, without echoing them.

(demo &optional file pause) 
  Reads from the file, echoes it, and behaves as if that stream had been typed directly into SNePS. (You can even call demo recursively.) If file is a string of length 1 that does not name a file or is a symbol whose name is a string of length 1, then a menu of possible demonstrations is printed, and the user may pick one of them. If file is an integer, and the menu lists at least that many demonstrations, the one with that number will be run. If pause is given, its value may be any of t, b, bv, a, av, or n. If pause is t, b, or bv, SNePS will pause before each input command is read. If pause is a, or av, SNePS will pause just after each input is read, but before it is executed. If pause is omitted or is n, SNePS will not pause at all. If pause is av or bv, a pause message will be printed when the pause occurs; otherwise the message will not be printed. If both arguments are omitted, the menu will be shown, and pause defaults to av. When SNePS pauses, the following commands are available:

All these commands are also available inside demo files. This enables you, for example, to turn on pausing at some interesting point in your demo and to run quickly through all the setup stuff, or turn pausing off, or enter a Lisp top-level somewhere or whatever. Here are the commands that allow you to do that. (These are not SNePSUL commands, but they are specially interpreted demo control commands. The DC stands for demo control):

dc-pause-help 
dc-lisp 
dc-sneps 
dc-snepslog 
dc-no-pause 
dc-set-pause  ...takes an argument, e.g., (dc-set-pause av)
dc-read-pause 
dc-quit 
dc-quit-all 

All commands except dc-set-pause are atomic. They can be given in upper or lower case, and they are available in SNePSLOG and the parser as well. However, the way the parser reads input they have to be followed by a ``.'' if sentences are terminated that way, and dc-set-pause has to be given as DC-SET-PAUSE bv. because the function parser::atn-read-sentence  collects tokens into a list automatically.