1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
<!--
Copyright (c) 2000-2021 Ericsson Telecom AB
All rights reserved. This program and the accompanying materials
are made available under the terms of the Eclipse Public License v2.0
which accompanies this distribution, and is available at
https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
Contributors:
Baji, Laszlo
Balasko, Jeno
Csorba, Mate
Forstner, Matyas
Szabados, Kristof
-->
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta http-equiv="Content-Language" content="en-us">
<title>bit2str</title>
</head>
<body bgcolor="#DAD3C5" vlink="#0094D2" link="#003258">
<table align="left" border="0" cellspacing="0" cellpadding="0" valign=top>
<tr>
<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>
</tr>
</table>
<table border="0" align="right" cellpadding="0" cellspacing="0">
<tr>
<td><a href="../titan_main.html" alt="contents"><img border="0" src="../images/ao.jpg" width="53" height="40"></a></td>
<td><a href="../titan_index.html" alt="index"><img border="0" src="../images/up.jpg" width="53" height="40"></a></td>
<td><a alt="previous" href="bit2oct.html"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
<td><a alt="next" href="bitstring.html"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
</tr>
</table>
<p><br clear="all">
</p>
<hr>
<h1>bit2str</h1>
<hr align="left" width="75%">
<p>This function converts a single <b><font face="Courier New">bitstring</font></b> value to a single <b><font face="Courier New">charstring</font></b>. The resulting <b><font
face="Courier New">charstring</font></b> has the same length as the <b><font face="Courier New">bitstring</font></b> and contains only the characters '0' and '1'.
<p>For the purpose of this conversion, a <b><font face="Courier New">bitstring</font></b> should be converted into a charstring. Each bit of the <b><font face="Courier New">bitstring</font></b> is
converted into a character '0' or '1' depending on the value 0 or 1 of the bit. The consecutive order of characters in the resulting <b><font face="Courier New">charstring</font></b> is the same as
the order of bits in the <b><font face="Courier New">bitstring</font></b>.
<hr align="left" width="50%">
<p>Related keyword:</p>
<ul>
<li><b><font face="Courier New" size="4" color="#003258"><a href="bitstring.html">bitstring</a></font></b></li>
<li><b><a href="charstring.html"><font face="Courier New" size="4" color="#003258">charstring</font></a></b></li>
</ul>
<hr align="left" width="50%">
<div align="center">
<center>
<table border="0" width="90%" bgcolor="#FFB599" cellpadding="4">
<tr>
<td width="100%">
<h3 align="center"><font face="Courier New" color="#003258" size="5"><b>bit2str</b></font><font face="Courier New" color="#003258" size="5"><b>(</b></font><i></i><b>bitstring</b> <i>value</i><font
face="Courier New" color="#003258" size="5"><b>) return charstring</b></font></h3>
</td>
</tr>
</table>
</center>
</div>
<ul>
</ul>
<hr align="left" width="25%">
<p>Example 1:</p>
<p><font face="Courier New"> const charstring c_bokstaever := bit2str('101001011010'B); </font></p>
<p>The constant called c_bokstaever will contain the string 101001011010 because the resulting character string has the same length as the bit string and contains only the characters '0' and '1'.
<hr align="left" width="25%">
</body>
</html>
|
