<!doctype HTML public "-//W3C//DTD HTML 4.0 Frameset//EN">

<html>

<!--(==============================================================)-->
<!--(Document created with RoboEditor. )============================-->
<!--(==============================================================)-->

<head>

<title>Definition file Metalanguage</title>

<!--(Meta)==========================================================-->

<meta name=generator content="RoboHELP by eHelp Corporation - www.ehelp.com">
<meta name=generator-major-version content=0.1>
<meta name=generator-minor-version content=1>
<meta name=filetype content=kadov>
<meta name=filetype-version content=1>
<meta name=page-count content=1>
<meta name=layout-height content=473>
<meta name=layout-width content=623>
<meta name=date content="01 7, 2003 2:16:10 PM">


<!--(Links)=========================================================-->

<link rel="StyleSheet" href="../../css/main_styles.css">



</head>

<!--(Body)==========================================================-->


<body class="bodydocs" onLoad="top.pageLoader()" bgcolor="#FFFFFF">


<p class=EndLine>&nbsp;</p>

<h1>Definition File Metalanguage</h1>

<p CLASS=Paragraph>The description of the elements subscribes to the following 
 conventions:</p>

<p CLASS=ListNum
	style="margin-left: 40px;">UPPER_CASE non-quoted words must appear 
 as typed;</p>

<p CLASS=ListNum
	style="margin-left: 40px;">an <span style="font-style: italic;">italicized 
 </span>word must be replaced with a member of its class;</p>

<p CLASS=ListNum
	style="margin-left: 40px;">The quotes ( &quot; ), braces ( {, } ) and 
 brackets ( [, ] ) must appear as typed;</p>

<p CLASS=ListNum
	style="margin-left: 40px;">&lt; e1 | e2 | ... | en &gt; means you must 
 pick exactly one of the ei;</p>

<p CLASS=ListNum
	style="margin-left: 40px;">@ @ means that what appears between the 
 @'s is optional.</p>

<p CLASS=ListNum
	style="margin-left: 40px;"><span style="font-style: italic;">{class}</span>+ 
 means 1 or more of <span style="font-style: italic;">class</span></p>

<p CLASS=ListNum
	style="margin-left: 40px;">{<span style="font-style: italic;">class</span>}* 
 means 0 or more of <span style="font-style: italic;">class</span></p>

<p CLASS=EndLine>&nbsp;</p>

<p CLASS=blank
	style="font-style: italic;">&nbsp;</p>

</body>

</html>
