User-Manual.html 4.7 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283
  1. <html lang="en">
  2. <head>
  3. <title>User Manual - avram - a virtual machine code interpreter</title>
  4. <meta http-equiv="Content-Type" content="text/html">
  5. <meta name="description" content="avram - a virtual machine code interpreter">
  6. <meta name="generator" content="makeinfo 4.13">
  7. <link title="Top" rel="start" href="index.html#Top">
  8. <link rel="prev" href="Preface.html#Preface" title="Preface">
  9. <link rel="next" href="Virtual-Machine-Specification.html#Virtual-Machine-Specification" title="Virtual Machine Specification">
  10. <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
  11. <meta http-equiv="Content-Style-Type" content="text/css">
  12. <style type="text/css"><!--
  13. pre.display { font-family:inherit }
  14. pre.format { font-family:inherit }
  15. pre.smalldisplay { font-family:inherit; font-size:smaller }
  16. pre.smallformat { font-family:inherit; font-size:smaller }
  17. pre.smallexample { font-size:smaller }
  18. pre.smalllisp { font-size:smaller }
  19. span.sc { font-variant:small-caps }
  20. span.roman { font-family:serif; font-weight:normal; }
  21. span.sansserif { font-family:sans-serif; font-weight:normal; }
  22. --></style>
  23. </head>
  24. <body>
  25. <div class="node">
  26. <a name="User-Manual"></a>
  27. <p>
  28. Next:&nbsp;<a rel="next" accesskey="n" href="Virtual-Machine-Specification.html#Virtual-Machine-Specification">Virtual Machine Specification</a>,
  29. Previous:&nbsp;<a rel="previous" accesskey="p" href="Preface.html#Preface">Preface</a>,
  30. Up:&nbsp;<a rel="up" accesskey="u" href="index.html#Top">Top</a>
  31. <hr>
  32. </div>
  33. <h2 class="chapter">1 User Manual</h2>
  34. <p>This chapter provides the basic information on how to use <code>avram</code>
  35. to execute virtual machine code applications.
  36. <p><code>avram</code> is invoked
  37. by typing a command at a shell prompt in one of these three forms.
  38. <pre class="display"> <kbd>avram</kbd> [<em>general options</em>]
  39. <kbd>avram</kbd> [<em>filter mode options</em>] <var>codefile</var>[<kbd>.avm</kbd>]
  40. <kbd>avram</kbd> [<em>parameter mode options</em>] <var>codefile</var>[<kbd>.avm</kbd>] [<em>parameters</em>]
  41. </pre>
  42. <p class="noindent">In the second case, <code>avram</code> reads from standard input, and may
  43. of course appear as part of commands such as
  44. <a name="index-standard-input-7"></a>
  45. <pre class="display"> <kbd>avram</kbd> [<em>filter mode options</em>] <var>codefile</var>[<kbd>.avm</kbd>] &lt; <var>inputfile</var>
  46. <var>anothercommand</var> | <kbd>avram</kbd> [<em>filter mode options</em>] <var>codefile</var>[<kbd>.avm</kbd>]
  47. </pre>
  48. <p class="noindent">When <code>avram</code> is invoked with the name of an input file (with a
  49. default extension <kbd>.avm</kbd>), it reads virtual machine code from the
  50. file and executes it on the host machine.
  51. <p><a name="index-functional-programming-8"></a>The virtual code format used by <code>avram</code> is designed
  52. to support the features of functional or applicative programming
  53. languages. Although this chapter documents only the usage of
  54. <code>avram</code> and not the internals, it will be helpful to keep in mind
  55. that the virtual machine code expresses a mathematical function rather
  56. than a program in the conventional sense. As such, it performs no action
  57. directly, but may be applied in a choice of ways by the user of
  58. <code>avram</code> according to the precise operation required.
  59. <p>The following sections provide information in greater detail about
  60. usage and diagnostics.
  61. <ul class="menu">
  62. <li><a accesskey="1" href="General-Options.html#General-Options">General Options</a>: getting help and version information
  63. <li><a accesskey="2" href="Modes-of-Operation.html#Modes-of-Operation">Modes of Operation</a>: stream processing or file oriented
  64. <li><a accesskey="3" href="Filter-Mode-Options.html#Filter-Mode-Options">Filter Mode Options</a>: how to run a stream processor
  65. <li><a accesskey="4" href="Parameter-Mode-Options.html#Parameter-Mode-Options">Parameter Mode Options</a>: how to have an application use files
  66. <li><a accesskey="5" href="Command-Line-Syntax.html#Command-Line-Syntax">Command Line Syntax</a>: application-independent conventions
  67. <li><a accesskey="6" href="Diagnostics.html#Diagnostics">Diagnostics</a>: explanation of error messages
  68. <li><a accesskey="7" href="Security.html#Security">Security</a>: running untrusted applications
  69. <li><a accesskey="8" href="Example-Script.html#Example-Script">Example Script</a>: how to unburden the end users
  70. <li><a accesskey="9" href="Files.html#Files">Files</a>: miscellaneous files used
  71. <li><a href="Environment.html#Environment">Environment</a>: environment variables
  72. <li><a href="Bugs.html#Bugs">Bugs</a>: hall of shame
  73. </ul>
  74. </body></html>