← Back to branch summary

~ubuntu-branches/ubuntu/trusty/pxp/trusty

« back to all changes in this revision

Viewing changes to doc/manual/html/ref/Pxp_dtd.namespace_scope_impl-c.html

  • Committer: Package Import Robot
  • Author(s): Stéphane Glondu
  • Date: 2013-07-11 11:21:26 UTC
  • mfrom: (6.1.3 sid)
  • Revision ID: package-import@ubuntu.com-20130711112126-5wysiuf0cgjo376r
Tags: 1.2.4-1
* Team upload
* New upstream release
* Update Vcs-*

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/manual/html/ref/Pxp_dtd.namespace_scope_impl-c.html
38
38
<link title="Example_readme" rel="Chapter" href="Example_readme.html"><title>PXP Reference : Pxp_dtd.namespace_scope_impl</title>
39
39
</head>
40
40
<body>
41
 
<div class="navbar"><a href="Pxp_dtd.namespace_manager-c.html">Previous</a>
42
 
&nbsp;<a href="Pxp_dtd.html">Up</a>
43
 
&nbsp;<a href="Pxp_dtd.dtd-c.html">Next</a>
 
41
<div class="navbar"><a class="pre" href="Pxp_dtd.namespace_manager-c.html" title="Pxp_dtd.namespace_manager">Previous</a>
 
42
&nbsp;<a class="up" href="Pxp_dtd.html" title="Pxp_dtd">Up</a>
 
43
&nbsp;<a class="post" href="Pxp_dtd.dtd-c.html" title="Pxp_dtd.dtd">Next</a>
44
44
</div>
45
 
<center><h1>Class <a href="type_Pxp_dtd.namespace_scope_impl.html">Pxp_dtd.namespace_scope_impl</a></h1></center>
46
 
<br>
 
45
<h1>Class <a href="type_Pxp_dtd.namespace_scope_impl.html">Pxp_dtd.namespace_scope_impl</a></h1>
47
46
<pre><span name="TYPEnamespace_scope_impl"><span class="keyword">class</span> namespace_scope_impl</span> : <code class="type"><a href="Pxp_dtd.namespace_manager-c.html">namespace_manager</a> -> <a href="Pxp_dtd.namespace_scope-c.html">namespace_scope</a> option -> (string * string) list -> </code><code class="type"><a href="Pxp_dtd.namespace_scope-c.html">namespace_scope</a></code></pre>An implementation of <code class="code">namespace_scope</code>. New scopes are created by
48
 
 <pre></pre><code class="code">&nbsp;<span class="keyword">new</span>&nbsp;namespace_scope_impl&nbsp;mng&nbsp;parent_opt&nbsp;decl&nbsp;</code><pre></pre>
 
47
 <code class="code">&nbsp;<span class="keyword">new</span>&nbsp;namespace_scope_impl&nbsp;mng&nbsp;parent_opt&nbsp;decl&nbsp;</code>
49
48
 where <code class="code">mng</code> is the namespace managaer, <code class="code">parent_opt</code> is the optional
50
49
 parent scope, and <code class="code">decl</code> is the declaration list.<br>
51
50
<hr width="100%">