PageRenderTime 47ms CodeModel.GetById 16ms RepoModel.GetById 1ms app.codeStats 0ms

/doc/avram.html/Expedient-Error-Messages.html

https://github.com/gueststar/Avram
HTML | 129 lines | 96 code | 9 blank | 24 comment | 0 complexity | 6baf1c13ce9bb310ae5dfaa7b7dfb258 MD5 | raw file
Possible License(s): GPL-3.0, GPL-2.0
  1. <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html401/loose.dtd">
  2. <html>
  3. <!-- Created on December 10, 2012 by texi2html 1.82
  4. texi2html was written by:
  5. Lionel Cons <Lionel.Cons@cern.ch> (original author)
  6. Karl Berry <karl@freefriends.org>
  7. Olaf Bachmann <obachman@mathematik.uni-kl.de>
  8. and many others.
  9. Maintained by: Many creative people.
  10. Send bugs and suggestions to <texi2html-bug@nongnu.org>
  11. -->
  12. <head>
  13. <title>avram - a virtual machine code interpreter: 2.7.15.4 Expedient Error Messages</title>
  14. <meta name="description" content="avram - a virtual machine code interpreter: 2.7.15.4 Expedient Error Messages">
  15. <meta name="keywords" content="avram - a virtual machine code interpreter: 2.7.15.4 Expedient Error Messages">
  16. <meta name="resource-type" content="document">
  17. <meta name="distribution" content="global">
  18. <meta name="Generator" content="texi2html 1.82">
  19. <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  20. <style type="text/css">
  21. <!--
  22. a.summary-letter {text-decoration: none}
  23. blockquote.smallquotation {font-size: smaller}
  24. pre.display {font-family: serif}
  25. pre.format {font-family: serif}
  26. pre.menu-comment {font-family: serif}
  27. pre.menu-preformatted {font-family: serif}
  28. pre.smalldisplay {font-family: serif; font-size: smaller}
  29. pre.smallexample {font-size: smaller}
  30. pre.smallformat {font-family: serif; font-size: smaller}
  31. pre.smalllisp {font-size: smaller}
  32. span.roman {font-family:serif; font-weight:normal;}
  33. span.sansserif {font-family:sans-serif; font-weight:normal;}
  34. ul.toc {list-style: none}
  35. -->
  36. </style>
  37. </head>
  38. <body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
  39. <a name="Expedient-Error-Messages"></a>
  40. <table cellpadding="1" cellspacing="1" border="0">
  41. <tr><td valign="middle" align="left">[<a href="Error-Messages.html#Error-Messages" title="Previous section in reading order"> &lt; </a>]</td>
  42. <td valign="middle" align="left">[<a href="Computable-Error-Messages.html#Computable-Error-Messages" title="Next section in reading order"> &gt; </a>]</td>
  43. <td valign="middle" align="left"> &nbsp; </td>
  44. <td valign="middle" align="left">[<a href="Virtual-Machine-Specification.html#Virtual-Machine-Specification" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
  45. <td valign="middle" align="left">[<a href="Exception-Handling.html#Exception-Handling" title="Up section"> Up </a>]</td>
  46. <td valign="middle" align="left">[<a href="Library-Reference.html#Library-Reference" title="Next chapter"> &gt;&gt; </a>]</td>
  47. <td valign="middle" align="left"> &nbsp; </td>
  48. <td valign="middle" align="left"> &nbsp; </td>
  49. <td valign="middle" align="left"> &nbsp; </td>
  50. <td valign="middle" align="left"> &nbsp; </td>
  51. <td valign="middle" align="left">[<a href="avram.html#Top" title="Cover (top) of document">Top</a>]</td>
  52. <td valign="middle" align="left">[<a href="avram_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
  53. <td valign="middle" align="left">[<a href="Function-Index.html#Function-Index" title="Index">Index</a>]</td>
  54. <td valign="middle" align="left">[<a href="avram_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
  55. </tr></table>
  56. <hr size="1">
  57. <a name="Expedient-Error-Messages-1"></a>
  58. <h4 class="subsubsection">2.7.15.4 Expedient Error Messages</h4>
  59. <a name="index-error-messages-1"></a>
  60. <p>Because there are so many ways to cause an invalid deconstruction, this
  61. message is the most common in practice and therefore the least
  62. informative. As a matter of convenience, <code>avram</code> takes the liberty
  63. of a slight departure from the virtual machine specification as written
  64. hitherto, and employs the following messages when invalid
  65. deconstructions occur respectively in the cases of recursion,
  66. transposition, and assignment.
  67. </p>
  68. <ul>
  69. <li> <code>invalid recursion</code>
  70. </li><li> <code>invalid transpose</code>
  71. </li><li> <code>invalid assignment</code>
  72. </li></ul>
  73. <p>That is, this section contradicts and supersedes what is stated at the
  74. end of <a href="Error-Messages.html#Error-Messages">Error Messages</a> and implied by the operator properties
  75. <em>P14</em>, <em>P16</em>, and <em>P42</em>. It is also possible that user
  76. applications may modify the error messages by methods described in
  77. <a href="Computable-Error-Messages.html#Computable-Error-Messages">Computable Error Messages</a>.
  78. </p>
  79. <p>Whereas these three cases constitute an expedient variation on the
  80. semantics, there is another sense in which no possible implementation
  81. could conform faithfully to the specification. When an evaluation can
  82. not be carried out because of insufficient space on the host machine,
  83. one of the following error messages may be the result.
  84. </p>
  85. <ul>
  86. <li> <code>memory overflow</code>
  87. </li><li> <code>counter overflow</code>
  88. </li></ul>
  89. <p>These messages are treated in the same way as those that are caused by
  90. programming errors, and propagate to the final result written to
  91. standard error without any specific consideration by the application
  92. developer. The latter occurs only in connection with the built in weight
  93. function (<a href="Weight.html#Weight">Weight</a>). Other messages listed in
  94. <a href="Application-Programming-Errors.html#Application-Programming-Errors">Application Programming Errors</a> are also of this ilk.
  95. </p>
  96. <hr size="1">
  97. <table cellpadding="1" cellspacing="1" border="0">
  98. <tr><td valign="middle" align="left">[<a href="Error-Messages.html#Error-Messages" title="Previous section in reading order"> &lt; </a>]</td>
  99. <td valign="middle" align="left">[<a href="Computable-Error-Messages.html#Computable-Error-Messages" title="Next section in reading order"> &gt; </a>]</td>
  100. <td valign="middle" align="left"> &nbsp; </td>
  101. <td valign="middle" align="left">[<a href="Virtual-Machine-Specification.html#Virtual-Machine-Specification" title="Beginning of this chapter or previous chapter"> &lt;&lt; </a>]</td>
  102. <td valign="middle" align="left">[<a href="Exception-Handling.html#Exception-Handling" title="Up section"> Up </a>]</td>
  103. <td valign="middle" align="left">[<a href="Library-Reference.html#Library-Reference" title="Next chapter"> &gt;&gt; </a>]</td>
  104. <td valign="middle" align="left"> &nbsp; </td>
  105. <td valign="middle" align="left"> &nbsp; </td>
  106. <td valign="middle" align="left"> &nbsp; </td>
  107. <td valign="middle" align="left"> &nbsp; </td>
  108. <td valign="middle" align="left">[<a href="avram.html#Top" title="Cover (top) of document">Top</a>]</td>
  109. <td valign="middle" align="left">[<a href="avram_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
  110. <td valign="middle" align="left">[<a href="Function-Index.html#Function-Index" title="Index">Index</a>]</td>
  111. <td valign="middle" align="left">[<a href="avram_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
  112. </tr></table>
  113. <p>
  114. <font size="-1">
  115. This document was generated on <i>December 10, 2012</i> using <a href="http://www.nongnu.org/texi2html/"><i>texi2html 1.82</i></a>.
  116. </font>
  117. <br>
  118. </p>
  119. </body>
  120. </html>