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=
"map.html" alt=
"previous"><img border=
"0" src=
"../images/left.jpg" width=
"53" height=
"40"></a></td>
26 <td><a href=
"message.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 operation belongs to the family of predefined functions operating on templates. It allows the value of a variable or parameter to be compared with a template (it can be interpreted as an
35 extended 'equality' operation). The operation returns a Boolean value.
37 <li>If the types of the template and variable are not compatible the operation returns false.
</li>
38 <li>If the types are compatible the return value of the operation indicates whether the value of the variable conforms to the specified template.
</li>
40 <hr align=
"left" width=
"50%">
41 <p>Related keyword:
</p>
43 <li><a href=
"template.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">template
</font></b></a></li>
45 <hr align=
"left" width=
"50%">
48 <table border=
"0" width=
"90%" bgcolor=
"#FFB599" cellpadding=
"4">
51 <h3 align=
"center"><font face=
"Courier New" color=
"#003258" size=
"5"><b>match (
</b></font><i>value
</i><font face=
"Courier New" color=
"#003258" size=
"5"><b>,
</b></font><i> template_instance
</i><font
52 face=
"Courier New" color=
"#003258" size=
"5"><b>)
</b></font></h3>
60 <p>The
<font face=
"Courier New" color=
"#003258" size=
"4"><b>match
</b></font> keyword introduces the operation.
</p>
63 <p><i>value
</i> a variable or a parameter that will be compared to the template.
</p>
68 <p><i>template_instance
</i> is a (receiving) template which the value is compared to.
</p>
71 <hr align=
"left" width=
"50%">
72 <p><a name=
"Example 1">Example
1</a>
73 <p><font face=
"Courier New">template integer tr_LessThan10 := (-infinity.
.9);
<br>
74 var integer vl_RxValue :=
3;
<br>
75 var boolean vl_gyufa := match( vl_RxValue, tr_LessThan10))
</font>
76 <p>The value of vl_gyufa will be true because the value of the variable vl_RxValue (
3) matches the template tr_LessThan10.
</p>
77 <hr align=
"left" width=
"25%">
78 <hr align=
"left" width=
"25%">
79 <p><a HREF=
"BNF.html#matchop">BNF definition
</a> of
<font face=
"Courier New">match
</font></p>