Download Secondo User Manual*
Transcript
– 16 – sequence, there might be algebra modules having types for which no pretty printing can be performed. In this case, objects having such a type are displayed in nested list format. If the readline functionality is enabled (see Installation Guide), some additional features are available: The command history can be stepwise passed by pressing the cursor-up and cursor-down keys, respectively. The history remains available even after termination of SECONDO. By pressing the tab key, the input is extended to the next matching keyword. Keywords are all words from the SECONDO commands (list, database, etc.) and some frequently used operators (feed, consume). A double tab prints out all possible extensions of the current word. 5.2.2 SecondoPL is the text-based interface of the SECONDO optimizer. To start this interface, navigate into the Optimizer directory of SECONDO and enter SecondoPL. At the first run of SecondoPL some error messages regarding non-existing files are shown. They can be ignored. On Linux machines you will have the advantages of the readline library if it is installed. SecondoPL 5.2.3 TestRunner The TestRunner can be used for automatic testing of operators including checks for the correct (expected) results. For using the TestRunner, navigate into SECONDO’s bin directory and enter TestRunner -i <inputfile> The format of the inputfile is described in the file example.test which is located in the bin directory as well. 5.3 5.3.1 Multi-User Operation SecondoMonitor and SecondoListener Before the client-server user interfaces can be used, the database server process (SecondoListener)waiting for client requests must be started. The host name and the port address can be changed in the file SecondoConfig.ini. Start the SecondoListener by typing SecondoMonitor. At the prompt, startup should be entered. By using the -s option with the SecondoMonitor command, the SecondoListener is started automatically without the additional startup command. After SecondoListener is started, it waits for requests from clients. HELP shows a list of additional commands. 5.3.2 OptimizerServer If one intends to use the optimizer within Javagui, also an optimizer server has to be started. Because this server acts as a client for SECONDO, the SecondoListener has to be started before executing the optimizer server. To start the optimizer server, navigate into the Optimizer directory of SECONDO and enter StartOptServer [Port]. Without any argument, the default port