2 Copyright (c) 2000-2016 Ericsson Telecom AB
3 All rights reserved. This program and the accompanying materials
4 are made available under the terms of the Eclipse Public License v1.0
5 which accompanies this distribution, and is available at
6 http://www.eclipse.org/legal/epl-v10.html
17 <meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8">
18 <meta http-equiv=
"Content-Language" content=
"en-us">
19 <title>bit2int
</title>
21 <body bgcolor=
"#DAD3C5" vlink=
"#0094D2" link=
"#003258">
22 <table align=
"left" border=
"0" cellspacing=
"0" cellpadding=
"0" valign=top
>
24 <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>
27 <table border=
"0" align=
"right" cellpadding=
"0" cellspacing=
"0">
29 <td><a href=
"../titan_main.html" alt=
"contents"><img border=
"0" src=
"../images/ao.jpg" width=
"53" height=
"40"></a></td>
30 <td><a href=
"../titan_index.html" alt=
"index"><img border=
"0" src=
"../images/up.jpg" width=
"53" height=
"40"></a></td>
31 <td><a alt=
"previous" href=
"bit2hex.html"><img border=
"0" src=
"../images/left.jpg" width=
"53" height=
"40"></a></td>
32 <td><a alt=
"next" href=
"bit2oct.html"><img border=
"0" src=
"../images/right.jpg" width=
"53" height=
"40"></a></td>
39 <hr align=
"left" width=
"75%">
40 <p>This function converts a single
<b><font face=
"Courier New">bitstring
</font></b> value to a single
<b><font face=
"Courier New">integer
</font></b> value.
41 <p>For the purposes of this conversion, a
<b><font face=
"Courier New">bitstring
</font></b> shall be interpreted as a positive base
2 <b><font face=
"Courier New">integer
</font></b> value. The
42 rightmost bit is least significant, the leftmost bit is the most significant. The bits
0 and
1 represent the decimal values
0 and
1 respectively.
43 <hr align=
"left" width=
"50%">
44 <p>Related keyword:
</p>
46 <li><b><font face=
"Courier New" size=
"4" color=
"#003258"> <a href=
"integer.html">integer
</a></font></b></li>
47 <li><b><a href=
"bitstring.html"><font face=
"Courier New" size=
"4" color=
"#003258"> bitstring
</font></a></b></li>
49 <hr align=
"left" width=
"50%">
52 <table border=
"0" width=
"90%" bgcolor=
"#FFB599" cellpadding=
"4">
55 <h3 align=
"center"><font face=
"Courier New" color=
"#003258" size=
"5"><b>bit2int
</b></font><font face=
"Courier New" color=
"#003258" size=
"5"><b>(
</b></font><i>bitstring value
</i><font
56 face=
"Courier New" color=
"#003258" size=
"5"><b>) return integer
</b></font></h3>
64 <hr align=
"left" width=
"25%">
66 <p><font face=
"Courier New">const integer c_samostatny := bit2int('
1111111'B);
</font></p>
67 <p>The constant called c_samostatny will have the integer value
127. The result will be always positive.
68 <hr align=
"left" width=
"25%">