			REFAL TRACER COMMANDS:
			----------------------
		        See also 
"REFAL-5 programming guide & reference manual"
		      Chapter: REFERENCE MANUAL,
		      Section: D. Refal tracer 
		      
		      Valentin F. Turchin
		http://refal.botik.ru/book/html/

COMMAND.	ABBR.	PARAMETERS. 			FUNCTION.
--------------------------      ----------------                     -------------

set_break OR set,	<F P>, where F is	Sets a break point. 
	   The command sets a break point. 
	   Tracer will stop when the active function is F and its argument matches P.
	EXAMPLE:  set_break   <FUNC e.1 'A'>;

print		p, pr	value 	
      Prints value as defined at the moment.
      
      The value parameter may be:
            
         view OR v	      Prints the current view field.
         a Refal variable	Prints the value of the variable as it is defined 
                           at the current break point.
         act	            Prints the current active expression.
         result OR res	   Prints the result of the commands compute or step.
         call	            Prints the active expression which was called 
                           to produce the current replacement - applicable only after step or compute.
                           
	EXAMPLE:  print e.1 
	EXAMPLE:  p       v
	EXAMPLE:  print   result 
	EXAMPLE:  pr      call

quit OR q
      Stops the Refal machine and exits from the tracer.
      
exit OR ex
      The same as quit but some information is printed out: the number of steps, the view field etc.
      
go
      Resumes execution until the next break point or the end of run.

delete OR del OR d   number N
      Deletes break point number N.

compute OR comp OR com [result OR res]
      Computes the current active expression and stops. If result or res is present, 
      the result is printed out upon completion.
      
step OR s   number N [resul OR res]
      Makes N steps and stops. If N is not there, N = 1. 
      If result is present and N = 1 , the result of the step is printed.

show OR sho OR sh  Key
      Shows some of the current features of the computation process. The Key parameter may be:
         step	                 Prints the current step number.
         point	                 Prints the current break point.
         [break] N	           Prints break point number N.
         all	                 Prints all break points.
         modules | mod [Name]   Prints all functions visible from the module Name. 
                                If '*' is given as Name, then all modules are displayed. 
                                If no Name is given, only the list of accessible modules is printed.
         function | fun  Name   Prints the name of the module where the function Name is defined.
         
	EXAMPLE:  show   break 2 
	EXAMPLE:  show   2
	EXAMPLE:  show   mod ABC
	EXAMPLE:  show   modules
	EXAMPLE:  show   function  Def
	EXAMPLE:  show   all

help  OR	 h 	
      Print this message.
      
. [N]
     The period command repeats N times the last batch of commands appearing on the same line. 
     Absent N means N = 1. The period must appear in the first position in the line.
     
Output of the tracer can be redirected into a file. The command for that is
TRACE> >file_name
To turn the print on stdandart output do
TRACE> >
( no file_name )


==================================================================================

			COMMAND  SYNTAX.

  Command names and parameters may appear in either upper or lower case (except 
in pattern specification, where the case is important). Command parameters may
be separated by blanks, tabs or commas. Commands are separated by end-of-lines
or semicolons. To continue the command on the next line type a backslash '\'
in the end of the first line. The dot '.' command repeats the last batch of
commands appearing on the same line. The dot '.' must appear in the first
position of the line (the rest of the line is ignored).
