Initial revision
Annotate for file docs/html/make-shared-environment-function.html
2004-11-17 mantoniotti 1 <html>
22:19:54 ' 2 <head>
' 3 <title>CL Unification: Function MAKE-SHARED-ENVIRONMENT</title>
' 4 <link rel="stylesheet" href="main.css">
' 5 </head>
' 6
' 7 <body marginheight="0" marginwidth="0" leftmargin="0" topmargin="0" bgcolor="#ffffff">
' 8
' 9 <table border="0" cellpadding="0" cellspacing="0" width="100%" height="100%" vspace="0" hspace="0">
' 10 <tr>
' 11 <td colspan="3">
' 12 <div class="header"
' 13 style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;">
' 14 <strong><i>CL Unification: Function MAKE-SHARED-ENVIRONMENT</title></i></strong>
' 15 <div class="navigation">
' 16 <a href="index.html" class="navigation-link">Home</a>
' 17 | <a href="unification-package.html" class="navigation-link">Previous</a>
' 18 | <a href="index.html" class="navigation-link">Next</a>
' 19 | <a href="downloads.html" class="navigation-link">Downloads</a>
' 20 | <a href="links.html" class="navigation-link">Links</a>
' 21 </div>
' 22 </div>
' 23 <div class="black-line"><img src="images/shim.gif" height="1" width="1"></div>
' 24 <div class="middle-bar"><img src="images/shim.gif" height="5" width="1"></div>
' 25 <div class="black-line"><img src="images/shim.gif" height="1" width="1"></div>
' 26 </td>
' 27 </tr>
' 28
' 29 <tr height="100%">
' 30 <td height="100%">&nbsp;</td>
' 31 <td valign="top" width="80%" height="100%">
' 32
' 33 <div class="content">
' 34 <div class="text" style="padding-top: 10px;">
' 35
' 36 <h1><i>Function</i> <strong>MAKE-SHARED-ENVIRONMENT</strong></h1>
' 37
' 38 <h2>Package:</h2>
' 39
' 40 <p><code>COMMON-LISP.EXTENSIONS.DATA-AND-CONTROL-FLOW.UNIFICATION</code></p>
' 41
' 42
' 43 <h2>Syntax:</h2>
' 44
' 45 <p>
' 46 <pre>
' 47 <b>make-shared-environment</b> <i>env</i>
' 48 => <i>unification-environment</i>
' 49 </pre>
' 50 </p>
' 51
' 52 <h3>Arguments and Values:</h3>
' 53
' 54 <p><i><code>env</code></i>---an <i>unification-environment</i>.
' 55 <p><i><code>unification-environment</code></i>---a new <i>unification-environment</i>.
' 56
' 57
' 58
' 59 <h2>Description:</h2>
' 60
' 61 <p>The function MAKE-SHARED-ENVIRONMENT constructs a new
' 62 object of type UNIFY:ENVIRONMENT. The new
' 63 <i>unification-environment</i> shares the frames already present in <i>env</i>.</p>
' 64
' 65 <p>It is guaranteed that extending <i>unification-environment</i>
' 66 will not change <i>env</i>.</p>
' 67
' 68
' 69 <h2>Affected By:</h2>
' 70
' 71 <p>None.</p>
' 72
' 73
' 74 <h2>Exceptional Situations:</h2>
' 75
' 76 <p>None.</p>
' 77
' 78
' 79 <h2>See Also:</h2>
' 80
' 81 <p>UNIFY:ENVIRONMENT, BINDING, FIND-VARIABLE-VALUE</p>
' 82
' 83
' 84 <h2>Notes:</h2>
' 85
' 86 <p>This function is provided to allow for the construction of
' 87 "trees" of frames for interpreter-like environments. The macros
' 88 MATCH, MATCHING, and MATCH-CASE rely on this function, as they
' 89 immediately construct a "shared" environment.</p>
' 90
' 91 <h3>Current Implementation Note</h3>
' 92
' 93 <p>MAKE-SHARED-ENVIRONMENT relies on the LIST implementation of
' 94 environments.</p>
' 95
' 96 <p>The use of MAKE-SHARED-ENVIRONMENT in MATCHING and MATDCH-CASE is
' 97 still incomplete.</p>
' 98
' 99 </td>
' 100
' 101 <!-- <td height="100%">&nbsp;</td> -->
' 102 </tr>
' 103
' 104 <tr height="100%">
' 105 <td height="100%">&nbsp;</td>
' 106 <td valign="top" width="80%" height="100%">
' 107
' 108 <div class="content">
' 109 <div class="text" style="padding-top: 10px;">
' 110
' 111 <h1>News</h1>
' 112
' 113 <p>News in chronological order, most recent on top.
' 114 </p>
' 115
' 116 <ul>
' 117 <li><strong>2004-11-04</strong><br>
' 118 Completed description.
' 119 </li>
' 120
' 121 </ul>
' 122
' 123 </div>
' 124 </div>
' 125
' 126 </td>
' 127
' 128 <td height="100%">&nbsp;</td>
' 129 </tr>
' 130
' 131
' 132
' 133
' 134 <tr>
' 135 <td colspan="3" valign="bottom" align="right">
' 136 <div class="copyright">
' 137 &copy; 2003-2004, Marco Antoniotti, all rights reserved.
' 138 </div>
' 139 </td>
' 140 </tr>
' 141
' 142 </table>
' 143 </body>
' 144 </html>