ASPL Manual v 1.00
© 2024 by SetSphere.COM
aspl [-wsdir repos] [-wsname workspace] [-groupingclass elemgroupclass] [-verbose] [-bridgeless] [-dbgsess] [-STDIN] [-showonly] [-verb verb] [-keeps n,n,n,n] [-ddmconf conffile] [-script asplscript] [-SCT] [-singlepass] [-nostrictld] [-globalvar] [-persistvar] [-syncwks] [-assignonce] [-arcvar] [-tattler] [-noansi] [-nocheck] [-noreloadGG] [-extendedsimilarity] [-logfile filename] [-dm displaymode] [-gB 8bits] [-dv 32bits] [-jE] [-jV] [-jF] [-jG] [-jL] [-jZ]
The ASPL interpreter is started with the aspl command that can be followed by options that are summarized in the following table. Typing the command aspl on the UNIX shell prompt without any option will start the interpreter with its default options, and ASPL will default to the predefined configuration data that is already preset in its environment variables. These environment variables can be added to the user UNIX profile, or being set per user in the user Shell profile. For instance, if you are using the BASH Shell, then you can edit the .bashrc profile found in your home directory and add them.
a yellow note
| -help | Print this summary |
| -version | Print the program version |
| -wsname WORKSPACE | Following argument is the workspace name |
| -wsdir WSPREPOS | Following argument is the directory where workspaces are saved |
| -groupingclass ELMGC | Following argument is the element grouping class |
| -verbose | Display verbose information at startup |
| -bridgeless | Start ASPL without the grouping class container |
| -dbgsess | Print debugging info from sessions manager |
| -STDIN | Pipe to the STDIN of ASPL, must be the last option |
| -showonly | Print what is set in ASPL startup variables and exit |
| -verb | VERB Execute an ASPL verb command and exit the interpreter |
| -ddmconf | Following argument is the ddm.conf passed explicitly |
| -script SCRIPTNAME | Following argument is ASPL script file; remaining arguments are passed to script. |
| -SCT | Emit tracing information while executing the script. |
| -singlepass | Execute the srcipt in a single pass, default is two passes |
| -nostrictld | No stricture on loading workspaces within a script |
| -globalvar | ASPL variables are all global variables; ignore it for v.1 |
| -persistvar | Persist ASPL variables commiting them to the symbol table |
| -syncwks | Manually sync the workspace |
| -assignonce | Each variable symbol cannot be assigned more than once |
| -arcvar | Archiving variables is enabled |
| -tattler | Toggle the tattler |
| -noansi | Disable ANSI colors |
| -nocheck | Load a saved workspace without checking for its grouping class |
| -noreloadGG | Load the GGs functions container only at startup and disable it from being reloaded at run time |
| -extendedsimilarity | Set similarity to extended |
| -logfile LOGFILE | Attach a log file |
| -dm DISPLAYMODE | Set the display mode of ASPL symbol tables and answer stacks; where DISPLAYMODE is one of 1,2,3,4,5,1A,2A,3A,4A,5A |
| -dv 32bits | 32 bits vector for tracing execution |
| -gB 8bits | 8 bits vector for tracing branching on predicate |
| -kH | enable AUTO Kvec for hooked attributes, at startup only |
| -kC | enable AUTO Kvec for lamdba code attributes, at startup only |
| -jH | verbose for hooked attributes that are tied asynchroneous, at startup only but reloadable |
| -jC | verbose for lamdba code attributes and tied asynchroneous attributes, at startup only but reloadable |
| -jE | GR reloading verbose |
| -jV | Element Grouping Class VERBUM for Enode initialization normalization formatting preprocessing visor etc. will cause reloading EG_VERBUM INTERNAL USE |
| -jF | passed to GG function to allow verbose or whatever the programmer want to do with it |
| -jG | verbose when reloading the GGs, also enable GGs reloading: reloadGG 1 |
| -noreloadGG | disable GGs reloading, by default reloading GGs is enabled |
| -jL | print long logger line, if -logfile is specified then logging is written to the logfile otherwise printed to STDOUT |
| -jZ | extra debug |
Starting ASPL on the UNIX shell prompt is shown in the following figure.
[Top Text]
1. 02:04 root@vienna: ~ # aspl WS1 -verbose 2. 3. ASPL # 1.00 4. 5. ASPL PROGRAM INSTALLED IN /opt/ASPLv1.00 6. ASPL WORKSPACE WILL IGNORE SESSIONS MANAGEMENT 7. ASPL WORKSPACE VARIABLES HAVE QUOTIENT-VARIABLES ENABLED 8. 9. 10. ASPL CLI # 1.00 11. 12. PROGRAM DIRECTORY: /opt/ASPLv1.00 13. GROUPING CLASS NAME: POSIX 14. WORKSPACE REPOSITORY: /root/.aspl/WSP/WORKSPACES1 15. WORKSPACE NAME: WS1 16. LAST SAVED: 2023-02-21 02:37:07.655478 17. ELEMENT GROUPINGS CLASS: /opt/ASPLv1.00/BRIDGE/ASPL/Groupings 18. LOADABLE GGs DIRECTORY: /opt/ASPLv1.00/lib/ASPL/GGs 19. DDM CONFIGURATION: /opt/ASPLv1.00/etc/ddm.conf 20. DDM POOL: /root/.aspl/dev/DDM_DATA 21. MEMORY USED: 344408K 22. 23. DISPLAY MODE: 2 24. LOGGING TO STDOUT 25. PERSIST VARIABLES IS OFF 26. RUN ASPL SCRIPT IN TWO PASSES 27. VARIABLES FREELY ASSIGNED 28. 29. 30. ______ ____ ______ __ 31. / __ / / ___\ / __ / / / 32. / /_/ / \ \ / ____/ / / 33. / __ / __ \ / / / / 34. / / / / / __ / / / / /____ 35. /_/ /_/ \___/ /_/ /______/ 36. 37. 38. STARTING ASPL SESSION WITH WORKSPACE: WS1 39. NAMED GROUP: POSIX 40. last saved 2023-02-21 02:37:07.667119 41. 42. aspl:1 2:4:28> 43.
The startup of ASPL is explained in the following figure where the informational output has been labeled.
ASPL locates the WS1 workspace in the workspace repository /root/.aspl/WSP/WORKSPACES1. WS1 meta data has the POSIX as the grouping class of WS1, therefore ASPL will load POSIX class as the container of WS1. ASPL bridge is located in /opt/ASPLv1.00/BRIDGE/Groupings and this is where ASPL will load the grouping class container. The grouping functions GGs are located in /opt/ASPLv1.00/lib/ASPL/GGs. ASPL has two containers: a grouping class container, and a grouping functions container. Both containers are dynamic containers that is they are auto loadable by ASPL and the user is offered options to control these two containers.
ASPL Startup on the UNIX Shell Prompt Explained
