2 Copyright (c) 2000-2014 Ericsson Telecom AB
4 All rights reserved. This program and the accompanying materials
5 are made available under the terms of the Eclipse Public License v1.0
6 which accompanies this distribution, and is available at
7 http://www.eclipse.org/legal/epl-v10.html
11 <meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8">
12 <meta http-equiv=
"Content-Language" content=
"en-us">
15 <body bgcolor=
"#DAD3C5" vlink=
"#0094D2" link=
"#003258">
16 <table align=
"left" border=
"0" cellspacing=
"0" cellpadding=
"0" valign=top
>
18 <td width=
105 height=
40><a href=
"https://projects.eclipse.org/projects/tools.titan"><img src=
"../images/titan_transparent.gif" border=
0 width=
105 height=
40 align=
"left" alt=
"Titan"></a></td>
21 <table border=
"0" align=
"right" cellpadding=
"0" cellspacing=
"0">
23 <td><a href=
"../titan_main.html" alt=
"contents"><img border=
"0" src=
"../images/ao.jpg" width=
"53" height=
"40"></a></td>
24 <td><a href=
"../titan_index.html" alt=
"index"><img border=
"0" src=
"../images/up.jpg" width=
"53" height=
"40"></a></td>
25 <td><a href=
"goto.html" alt=
"previous"><img border=
"0" src=
"../images/left.jpg" width=
"53" height=
"40"></a></td>
26 <td><a href=
"hex2bit.html" alt=
"next"><img border=
"0" src=
"../images/right.jpg" width=
"53" height=
"40"></a></td>
33 <hr align=
"left" width=
"75%">
34 <p>In the module definitions part, definitions can be collected in named groups.
36 <li>Groups may be nested i.e. groups may contain other groups;
</li>
37 <li>grouping is done to aid readability and to add logical structure to the module if required.;
</li>
38 <li>groups may have attributes;
</li>
39 <li>it is possible to selectively import definitions contained in a group.
</li>
41 <table border=
"0" width=
"100%" bgcolor=
"#C9C2BB" cellpadding=
"4">
45 <p><u>TITAN specific restriction compared to the standard:
</u></p>
49 <p> The selective import of groups is not implemented. The keyword
<a href=
"module.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">import
</font></b></a> is always treated as
50 if it were
<b><font face=
"Courier New" color=
"#003258" size=
"4">import all
</font></b>.
</p>
56 <p>Related keywords:
</p>
58 <li><a href=
"module.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">module
</font></b></a></li>
59 <li><a href=
"with.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">with
</font></b></a></li>
61 <hr align=
"left" width=
"50%">
64 <table border=
"0" width=
"90%" bgcolor=
"#FFB599" cellpadding=
"4">
67 <h3 align=
"center"><font face=
"Courier New" color=
"#003258" size=
"5"><b>group
</b></font><i>group_identifier
</i><font face=
"Courier New" color=
"#003258" size=
"5"><b>{
</b></font> <i>
68 definitions
</i> <b><font face=
"Courier New" color=
"#003258" size=
"5">}
</font></b>[
<font face=
"Courier New" color=
"#003258" size=
"5"><b>with
</b></font><i>attributes
</i> ]
</h3>
76 <p>The
<font face=
"Courier New" color=
"#003258" size=
"4"><b>group
</b></font> keyword introduces the group definition.
</p>
79 <p><i>gropu_identifier
</i> is the
name used to refer to the module. Must begin with a letter, may contain letters, numbers and underscore characters.
</p>
82 <p><i>definitions
</i> may contain any definition allowed in the
<a href=
"module.html"><font face=
"Courier New" color=
"#003258" size=
"4"><b>module
</b></font> </a> definition part.
</p>
85 <p><i>attributes:
</i> see the keyword
<b><font face=
"Courier New"><a href=
"with.html">with
</a></font></b> for details.
</p>
88 <hr align=
"left" width=
"50%">
89 <p><a name=
"parametrized">Example
</a>
90 <p><font face=
"Courier New">group Skupina {
<br>
91 type enumerated Examplh {pondeli, utery, streda}
<br>
93 <p>The group Skupina contains one type definition (Examplh).
</p>
94 <hr align=
"left" width=
"25%">
95 <hr align=
"left" width=
"25%">
96 <p><a HREF=
"BNF.html#groupdef">BNF definition
</a> of
<font face=
"Courier New"> group
</font></p>