2 Copyright (c) 2000-2015 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">
13 <title>superset
</title>
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=
"substr.html" alt=
"previous"><img border=
"0" src=
"../images/left.jpg" width=
"53" height=
"40"></a></td>
26 <td><a href=
"system.html" alt=
"next"><img border=
"0" src=
"../images/right.jpg" width=
"53" height=
"40"></a></td>
33 <hr align=
"left" width=
"75%">
34 <p>The keyword is only used in conjunction with
<font face=
"Courier New"><b>template
</b></font> definition. It denotes the matching mechanism where the incoming field
<a
35 href=
"template.html#superset">must contain all
</a> elements defined in the value list of subset, and may contain others. It is applicable to fields of
<font face=
"Courier New" size=
"4"><b>set
</b></font>
36 <font face=
"Courier New" size=
"4"><b>of
</b></font> types only.
37 <hr align=
"left" width=
"50%">
38 <p>Related keyword:
</p>
40 <li><a href=
"template.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">template
</font></b></a></li>
42 <hr align=
"left" width=
"50%">
45 <table border=
"0" width=
"90%" bgcolor=
"#FFB599" cellpadding=
"4">
48 <h3 align=
"center"><font face=
"Courier New" color=
"#003258" size=
"5"><b>superset(
</b></font><i>value_list
</i><font face=
"Courier New" color=
"#003258" size=
"5"><b>)
</b></font></h3>
56 <p><i>value_list
</i> is a comma separated list containing all the values that the concerned field must contain. The field may contain elements not included in the list.
</p>
59 <hr align=
"left" width=
"50%">
60 <p><a name=
"Example 1">Example
1</a>
61 <font face=
"Courier New">
62 <p>type set of integer MySetOfType (
0 ..
10);
63 <p>template MySetOfType MyTemplate1 := superset (
1,
2,
3);
65 <p>Matches any sequence of integers which contains at least one occurrences of the numbers
1,
2 and at least one more valid integer value
66 (i.e. between
0 and
10, inclusively), in any order and position.
</p>
67 <p><a name=
"Example 2">Example
2</a>
68 <font face=
"Courier New">
69 <p>template MySetOfType MyTemplate2_AnyValue := superset (
1,
2, ?);
71 <p>Matches any sequence of integers which contains at least one occurrences of the numbers
1,
2 and at least one more valid integer value.
</p>
72 <p><a name=
"Example 3">Example
3</a>
73 <font face=
"Courier New">
74 <p>type record of integer RoI;
75 <p>type set of integer SoI;
76 <p>template RoI t_RoI1 := {
1,
2, ?};
77 <p>template SoI t_SoI1 := superset(all from t_RoI1);
79 <p>Results in superset(
1,
2, ?) .
</p>
80 <p><a HREF=
"BNF.html#supersetmatch">BNF definition
</a> of
<font face=
"Courier New">superset
</font></p>