Sollya User's Manual

Name:

execute executes the content of a file

Usage:

execute(filename) : string -> void

Parameters:

filename is a string representing a file name

Description:

execute opens the file indicated by filename, and executes the sequence of commands it contains. This command is evaluated at execution time: this way you can modify the file filename (for instance using bashexecute) and execute it just after.
If filename contains a command execute, it will be executed recursively.
If filename contains a call to restart, it will be neglected.
If filename contains a call to quit, the commands following quit in filename will be neglected.

Example 1:

   > a=2;
   > a;
   2
   > print("a=1;") > "example.sollya";
   > execute("example.sollya");
   > a;
   1

Example 2:

   > verbosity=1!;
   > print("a=1; restart; a=2;") > "example.sollya";
   > execute("example.sollya");
   Warning: a restart command has been used in a file read into another.
   This restart command will be neglected.
   > a;
   2

Example 3:

   > verbosity=1!;
   > print("a=1; quit; a=2;") > "example.sollya";
   > execute("example.sollya");
   Warning: the execution of a file read by execute demanded stopping the interpretation but it is not stopped.
   > a;
   1

See also: parse, readfile, write, print, bashexecute, quit, restart

Go back to the list of commands