root/doc_inner/gnu_global/S/1233.html

/* [<][>][^][v][top][bottom][index][help] */
<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>doc_inner/gnu_global/S/8123.html</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.6.14' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<a id='TOP' name='TOP'></a><h2 class='header'><a href='../mains.html'>root</a>/<a href='../files/13684.html'>doc_inner</a>/<a href='../files/13687.html'>gnu_global</a>/<a href='../files/13692.html'>S</a>/8123.html</h2>
<em class='comment'>/* [&lt;][&gt;][^][v][top]<a href='#BOTTOM'>[bottom]</a><a href='../mains.html'>[index]</a><a href='../help.html'>[help]</a> */</em>
<hr />
<pre>
<a id='L1' name='L1'></a>&lt;!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'&gt;
<a id='L2' name='L2'></a>&lt;html xmlns='http://www.w3.org/1999/xhtml'&gt;
<a id='L3' name='L3'></a>&lt;head&gt;
<a id='L4' name='L4'></a>&lt;title&gt;doc/casl2_spec/img/1_2-.svg.template&lt;/title&gt;
<a id='L5' name='L5'></a>&lt;meta name='robots' content='noindex,nofollow' /&gt;
<a id='L6' name='L6'></a>&lt;meta name='generator' content='GLOBAL-6.6.14' /&gt;
<a id='L7' name='L7'></a>&lt;meta http-equiv='Content-Style-Type' content='text/css' /&gt;
<a id='L8' name='L8'></a>&lt;link rel='stylesheet' type='text/css' href='../style.css' /&gt;
<a id='L9' name='L9'></a>&lt;/head&gt;
<a id='L10' name='L10'></a>&lt;body&gt;
<a id='L11' name='L11'></a>&lt;a id='TOP' name='TOP'&gt;&lt;/a&gt;&lt;h2 class='header'&gt;&lt;a href='../mains.html'&gt;root&lt;/a&gt;/&lt;a href='../files/8297.html'&gt;doc&lt;/a&gt;/&lt;a href='../files/8298.html'&gt;casl2_spec&lt;/a&gt;/&lt;a href='../files/8299.html'&gt;img&lt;/a&gt;/1_2-.svg.template&lt;/h2&gt;
<a id='L12' name='L12'></a>&lt;em class='comment'&gt;/* [&amp;lt;][&amp;gt;][^][v][top]&lt;a href='#BOTTOM'&gt;[bottom]&lt;/a&gt;&lt;a href='../mains.html'&gt;[index]&lt;/a&gt;&lt;a href='../help.html'&gt;[help]&lt;/a&gt; */&lt;/em&gt;
<a id='L13' name='L13'></a>&lt;hr /&gt;
<a id='L14' name='L14'></a>&lt;pre&gt;
<a id='L15' name='L15'></a>&lt;a id='L1' name='L1'&gt;&lt;/a&gt;&amp;lt;?xml version="1.0" encoding="utf-8"?&amp;gt;
<a id='L16' name='L16'></a>&lt;a id='L2' name='L2'&gt;&lt;/a&gt;&amp;lt;svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="750" height="275"&amp;gt;
<a id='L17' name='L17'></a>&lt;a id='L3' name='L3'&gt;&lt;/a&gt;  &amp;lt;g transform="translate(10,10)"&amp;gt;
<a id='L18' name='L18'></a>&lt;a id='L4' name='L4'&gt;&lt;/a&gt;    &amp;lt;g  stroke="black" stroke-width="1" fill="none"&amp;gt;
<a id='L19' name='L19'></a>&lt;a id='L5' name='L5'&gt;&lt;/a&gt;      &amp;lt;path d="M0,0 L660,0" /&amp;gt;
<a id='L20' name='L20'></a>&lt;a id='L6' name='L6'&gt;&lt;/a&gt;    &amp;lt;/g&amp;gt;
<a id='L21' name='L21'></a>&lt;a id='L7' name='L7'&gt;&lt;/a&gt;
<a id='L22' name='L22'></a>&lt;a id='L8' name='L8'&gt;&lt;/a&gt;    &amp;lt;g transform="translate(0,0)"&amp;gt;
<a id='L23' name='L23'></a>&lt;a id='L9' name='L9'&gt;&lt;/a&gt;      &amp;lt;g font-size="10pt" font-family="monospace"&amp;gt;
<a id='L24' name='L24'></a>&lt;a id='L10' name='L10'&gt;&lt;/a&gt;        &amp;lt;text x="5" y="15" font-family="sans-serif"&amp;gt;&amp;lt;/text&amp;gt;
<a id='L25' name='L25'></a>&lt;a id='L11' name='L11'&gt;&lt;/a&gt;        &amp;lt;text x="5" y="35"&amp;gt;                         &amp;lt;/text&amp;gt;
<a id='L26' name='L26'></a>&lt;a id='L12' name='L12'&gt;&lt;/a&gt;        &amp;lt;text x="205" y="25"&amp;gt;                       &amp;lt;/text&amp;gt;
<a id='L27' name='L27'></a>&lt;a id='L13' name='L13'&gt;&lt;/a&gt;        &amp;lt;text x="255" y="25"&amp;gt;                       &amp;lt;/text&amp;gt;
<a id='L28' name='L28'></a>&lt;a id='L14' name='L14'&gt;&lt;/a&gt;      &amp;lt;/g&amp;gt;
<a id='L29' name='L29'></a>&lt;a id='L15' name='L15'&gt;&lt;/a&gt;      &amp;lt;g stroke="black" stroke-width="1" fill="none"&amp;gt;
<a id='L30' name='L30'></a>&lt;a id='L16' name='L16'&gt;&lt;/a&gt;        &amp;lt;path d="M0,40 L350,40" /&amp;gt;
<a id='L31' name='L31'></a>&lt;a id='L17' name='L17'&gt;&lt;/a&gt;        &amp;lt;path d="M0,0 L0,40" /&amp;gt;
<a id='L32' name='L32'></a>&lt;a id='L18' name='L18'&gt;&lt;/a&gt;
<a id='L33' name='L33'></a>&lt;a id='L19' name='L19'&gt;&lt;/a&gt;        &amp;lt;path d="M200,0 L200,40" /&amp;gt;
<a id='L34' name='L34'></a>&lt;a id='L20' name='L20'&gt;&lt;/a&gt;      &amp;lt;/g&amp;gt;
<a id='L35' name='L35'></a>&lt;a id='L21' name='L21'&gt;&lt;/a&gt;    &amp;lt;/g&amp;gt;
<a id='L36' name='L36'></a>&lt;a id='L22' name='L22'&gt;&lt;/a&gt;
<a id='L37' name='L37'></a>&lt;a id='L23' name='L23'&gt;&lt;/a&gt;    &amp;lt;g transform="translate(0,40)"&amp;gt;
<a id='L38' name='L38'></a>&lt;a id='L24' name='L24'&gt;&lt;/a&gt;      &amp;lt;g font-size="10pt" font-family="monospace"&amp;gt;
<a id='L39' name='L39'></a>&lt;a id='L25' name='L25'&gt;&lt;/a&gt;        &amp;lt;text x="5" y="15" font-family="sans-serif"&amp;gt;&amp;lt;/text&amp;gt;
<a id='L40' name='L40'></a>&lt;a id='L26' name='L26'&gt;&lt;/a&gt;        &amp;lt;text x="5" y="35"&amp;gt;                         &amp;lt;/text&amp;gt;
<a id='L41' name='L41'></a>&lt;a id='L27' name='L27'&gt;&lt;/a&gt;        &amp;lt;text x="205" y="25"&amp;gt;                       &amp;lt;/text&amp;gt;
<a id='L42' name='L42'></a>&lt;a id='L28' name='L28'&gt;&lt;/a&gt;        &amp;lt;text x="255" y="25"&amp;gt;                       &amp;lt;/text&amp;gt;
<a id='L43' name='L43'></a>&lt;a id='L29' name='L29'&gt;&lt;/a&gt;      &amp;lt;/g&amp;gt;
<a id='L44' name='L44'></a>&lt;a id='L30' name='L30'&gt;&lt;/a&gt;      &amp;lt;g stroke="black" stroke-width="1" fill="none"&amp;gt;
<a id='L45' name='L45'></a>&lt;a id='L31' name='L31'&gt;&lt;/a&gt;        &amp;lt;path d="M0,40 L350,40" /&amp;gt;
<a id='L46' name='L46'></a>&lt;a id='L32' name='L32'&gt;&lt;/a&gt;        &amp;lt;path d="M0,0 L0,40" /&amp;gt;
<a id='L47' name='L47'></a>&lt;a id='L33' name='L33'&gt;&lt;/a&gt;
<a id='L48' name='L48'></a>&lt;a id='L34' name='L34'&gt;&lt;/a&gt;        &amp;lt;path d="M200,0 L200,40" /&amp;gt;
<a id='L49' name='L49'></a>&lt;a id='L35' name='L35'&gt;&lt;/a&gt;      &amp;lt;/g&amp;gt;
<a id='L50' name='L50'></a>&lt;a id='L36' name='L36'&gt;&lt;/a&gt;    &amp;lt;/g&amp;gt;
<a id='L51' name='L51'></a>&lt;a id='L37' name='L37'&gt;&lt;/a&gt;
<a id='L52' name='L52'></a>&lt;a id='L38' name='L38'&gt;&lt;/a&gt;    &amp;lt;g&amp;gt;
<a id='L53' name='L53'></a>&lt;a id='L39' name='L39'&gt;&lt;/a&gt;      &amp;lt;g font-size="10pt" font-family="monospace"&amp;gt;
<a id='L54' name='L54'></a>&lt;a id='L40' name='L40'&gt;&lt;/a&gt;        &amp;lt;text x="355" y="15"&amp;gt;&amp;lt;/text&amp;gt;
<a id='L55' name='L55'></a>&lt;a id='L41' name='L41'&gt;&lt;/a&gt;      &amp;lt;/g&amp;gt;
<a id='L56' name='L56'></a>&lt;a id='L42' name='L42'&gt;&lt;/a&gt;
<a id='L57' name='L57'></a>&lt;a id='L43' name='L43'&gt;&lt;/a&gt;      &amp;lt;g stroke="black" stroke-width="1" fill="none"&amp;gt;
<a id='L58' name='L58'></a>&lt;a id='L44' name='L44'&gt;&lt;/a&gt;        &amp;lt;path d="M350,0 L350,80" /&amp;gt;
<a id='L59' name='L59'></a>&lt;a id='L45' name='L45'&gt;&lt;/a&gt;        &amp;lt;path d="M350,40 L610,40" /&amp;gt;
<a id='L60' name='L60'></a>&lt;a id='L46' name='L46'&gt;&lt;/a&gt;      &amp;lt;/g&amp;gt;
<a id='L61' name='L61'></a>&lt;a id='L47' name='L47'&gt;&lt;/a&gt;    &amp;lt;/g&amp;gt;
<a id='L62' name='L62'></a>&lt;a id='L48' name='L48'&gt;&lt;/a&gt;    &amp;lt;g&amp;gt;
<a id='L63' name='L63'></a>&lt;a id='L49' name='L49'&gt;&lt;/a&gt;      &amp;lt;g stroke="black" stroke-width="1" fill="none"&amp;gt;
<a id='L64' name='L64'></a>&lt;a id='L50' name='L50'&gt;&lt;/a&gt;        &amp;lt;path d="M610,0 L610,80" /&amp;gt;
<a id='L65' name='L65'></a>&lt;a id='L51' name='L51'&gt;&lt;/a&gt;        &amp;lt;path d="M660,0 L660,80" /&amp;gt;
<a id='L66' name='L66'></a>&lt;a id='L52' name='L52'&gt;&lt;/a&gt;        &amp;lt;path d="M610,200 L610,200" /&amp;gt;
<a id='L67' name='L67'></a>&lt;a id='L53' name='L53'&gt;&lt;/a&gt;        &amp;lt;path d="M350,80 L660,80" /&amp;gt;
<a id='L68' name='L68'></a>&lt;a id='L54' name='L54'&gt;&lt;/a&gt;      &amp;lt;/g&amp;gt;
<a id='L69' name='L69'></a>&lt;a id='L55' name='L55'&gt;&lt;/a&gt;      &amp;lt;g font-size="10pt" font-family="monospace"&amp;gt;
<a id='L70' name='L70'></a>&lt;a id='L56' name='L56'&gt;&lt;/a&gt;        &amp;lt;text x="620" y="45"&amp;gt;&amp;amp;#x2014;&amp;lt;/text&amp;gt;
<a id='L71' name='L71'></a>&lt;a id='L57' name='L57'&gt;&lt;/a&gt;      &amp;lt;/g&amp;gt;
<a id='L72' name='L72'></a>&lt;a id='L58' name='L58'&gt;&lt;/a&gt;    &amp;lt;/g&amp;gt;
<a id='L73' name='L73'></a>&lt;a id='L59' name='L59'&gt;&lt;/a&gt;  &amp;lt;/g&amp;gt;
<a id='L74' name='L74'></a>&lt;a id='L60' name='L60'&gt;&lt;/a&gt;&amp;lt;/svg&amp;gt;
<a id='L75' name='L75'></a>&lt;/pre&gt;
<a id='L76' name='L76'></a>&lt;hr /&gt;
<a id='L77' name='L77'></a>&lt;a id='BOTTOM' name='BOTTOM'&gt;&lt;/a&gt;
<a id='L78' name='L78'></a>&lt;em class='comment'&gt;/* [&amp;lt;][&amp;gt;][^][v]&lt;a href='#TOP'&gt;[top]&lt;/a&gt;[bottom]&lt;a href='../mains.html'&gt;[index]&lt;/a&gt;&lt;a href='../help.html'&gt;[help]&lt;/a&gt; */&lt;/em&gt;
<a id='L79' name='L79'></a>&lt;/body&gt;
<a id='L80' name='L80'></a>&lt;/html&gt;
</pre>
<hr />
<a id='BOTTOM' name='BOTTOM'></a>
<em class='comment'>/* [&lt;][&gt;][^][v]<a href='#TOP'>[top]</a>[bottom]<a href='../mains.html'>[index]</a><a href='../help.html'>[help]</a> */</em>
</body>
</html>

/* [<][>][^][v][top][bottom][index][help] */