diff --git a/help/info/decvalue.html b/help/info/decvalue.html
index 034da7da133c0704d5e2833c558c0699fd71026b..b69a0430efdc30f01412012d63164caa0e556afd 100644
--- a/help/info/decvalue.html
+++ b/help/info/decvalue.html
@@ -8,6 +8,7 @@
Contributors:
Baji, Laszlo
Balasko, Jeno
+ Baranyi, Botond
Szabados, Kristof
Zalanyi, Balazs Andor
-->
@@ -28,7 +29,7 @@
<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 href="decode_base64.html" alt="previous"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
- <td><a href="default.html" alt="next"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
+ <td><a href="decvalue_unichar.html" alt="next"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
</tr>
</table>
<p><br clear="all">
@@ -39,14 +40,18 @@
<p>This built-in function decodes a value from a bitstring and cuts the consumed part from the bitstring.
<ul>
<li>The function return type is integer holding the error code: <b>0</b> - decoding was successful, <b>1</b> - unspecified cause of decoding failure, <b>2</b> - decoding failed because the
- bitstring did not contained enough bits.</li>
+ bitstring did not contain enough bits.</li>
<li>Decoded value returned through the second (out) argument.</li>
<li>Type of the second argument has to have an <i>encoding method</i> explicitly set with its atributes.</li>
+ <li>The third argument is currently ignored.</li>
+ <li>The fourth argument selects the encoding method to use, if the type has multiple encoding methods set.</li>
</ul>
<p>Related keywords:</p>
<ul>
<li><a href="encode.html"><b><font face="Courier New" color="#003258" size="4">encode</font></b></a></li>
<li><a href="encvalue.html"><b><font face="Courier New" color="#003258" size="4">encvalue</font></b></a></li>
+ <li><a href="encvalue_unichar.html"><b><font face="Courier New" color="#003258" size="4">encvalue_unichar</font></b></a></li>
+ <li><a href="decvalue_unichar.html"><b><font face="Courier New" color="#003258" size="4">decvalue_unichar</font></b></a></li>
</ul>
<hr align="left" width="50%">
<div align="center">
@@ -54,20 +59,33 @@
<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>decvalue(</b></font> <i>inout bitstring_value, out decoded_value</i> <font face="Courier New" color="#003258" size="5"><b>)
- return integer;</b></font></h3>
+ <h3 align="center"><font face="Courier New" color="#003258" size="5"><b>decvalue(</b></font> <i>inout bitstring_value, out decoded_value
+ [, in encoding_info [, in dynamic_encoding]]</i> <font face="Courier New" color="#003258" size="5"><b>) return integer;</b></font></h3>
</td>
</tr>
</table>
</center>
</div>
<hr align="left" width="50%">
-<p>Example:
+<p>Example 1:
<p><font face="Courier New">type float MyFloat with { encode "RAW" }</font>
<p><font face="Courier New">var MyFloat f := 1.1;</font>
<p><font face="Courier New">var bitstring bs := encvalue(f);</font>
<p><font face="Courier New">var integer i := decvalue(bs, f);</font>
<hr align="left" width="25%">
+<p>Example 2:
+<p><font face="Courier New">type record MyRecord {<br>
+ integer num,<br>
+ charstring str<br>
+}<br>
+with {<br>
+ encode "XML";<br>
+ encode "JSON";<br>
+}</font>
+<p><font face="Courier New">var MyRecord r := { num := 3, str := "abc" };</font>
+<p><font face="Courier New">var bitstring bs := encvalue(r, "", "JSON");</font>
+<p><font face="Courier New">var integer i := decvalue(bs, r, "", "JSON");</font>
+<hr align="left" width="25%">
<hr align="left" width="25%">
<p><a HREF="BNF.html#decvalue">BNF definition</a> of <font face="Courier New">decvalue</font></p>
</body>
diff --git a/help/info/decvalue_unichar.html b/help/info/decvalue_unichar.html
new file mode 100644
index 0000000000000000000000000000000000000000..72dffcab649ccc4f717e9535780c6d6d48824318
--- /dev/null
+++ b/help/info/decvalue_unichar.html
@@ -0,0 +1,91 @@
+<!--
+ Copyright (c) 2000-2017 Ericsson Telecom AB
+ All rights reserved. This program and the accompanying materials
+ are made available under the terms of the Eclipse Public License v1.0
+ which accompanies this distribution, and is available at
+ http://www.eclipse.org/legal/epl-v10.html
+
+ Contributors:
+ Baranyi, Botond
+-->
+<html>
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
+<meta http-equiv="Content-Language" content="en-us">
+<title>decvalue_unichar</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 href="decvalue.html" alt="previous"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
+ <td><a href="default.html" alt="next"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
+ </tr>
+</table>
+<p><br clear="all">
+</p>
+<hr>
+<h1>decvalue_unichar</h1>
+<hr align="left" width="75%">
+<p>This built-in function decodes a value from a universal charstring and cuts the consumed part from the universal charstring.
+<ul>
+ <li>The function return type is integer holding the error code: <b>0</b> - decoding was successful, <b>1</b> - unspecified cause of decoding failure,
+ <b>2</b> - decoding failed because the universal charstring did not contain enough characters.</li>
+ <li>Decoded value returned through the second (out) argument.</li>
+ <li>Type of the second argument has to have an <i>encoding method</i> explicitly set with its atributes.</li>
+ <li>The third argument determines the string serialization of the universal charstring argument. The possible serializations are: <i>
+ UTF-8, UTF-16, UTF-16LE, UTF-16BE, UTF-32, UTF-32LE and UTF-32BE</i>. If the argument is omitted, then UTF-8 serialization is used.</li>
+ <li>The fourth argument is currently ignored.</li>
+ <li>The fifth argument selects the encoding method to use, if the type has multiple encoding methods set.</li>
+</ul>
+<p>Related keywords:</p>
+<ul>
+ <li><a href="encode.html"><b><font face="Courier New" color="#003258" size="4">encode</font></b></a></li>
+ <li><a href="encvalue.html"><b><font face="Courier New" color="#003258" size="4">encvalue</font></b></a></li>
+ <li><a href="encvalue_unichar.html"><b><font face="Courier New" color="#003258" size="4">encvalue_unichar</font></b></a></li>
+ <li><a href="decvalue.html"><b><font face="Courier New" color="#003258" size="4">decvalue</font></b></a></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>decvalue_unichar(</b></font> <i>inout bitstring_value,
+ out decoded_value [, in string_serialization [, in encoding_info [, in dynamic_encoding]]]</i>
+ <font face="Courier New" color="#003258" size="5"><b>) return integer;</b></font></h3>
+ </td>
+ </tr>
+</table>
+</center>
+</div>
+<hr align="left" width="50%">
+<p>Example 1:
+<p><font face="Courier New">type float MyFloat with { encode "RAW" }</font>
+<p><font face="Courier New">var MyFloat f := 1.1;</font>
+<p><font face="Courier New">var universal charstring ucs := encvalue_unichar(f);</font>
+<p><font face="Courier New">var integer i := decvalue_unichar(ucs, f);</font>
+<hr align="left" width="25%">
+<p>Example 2:
+<p><font face="Courier New">type record MyRecord {<br>
+ integer num,<br>
+ charstring str<br>
+}<br>
+with {<br>
+ encode "XML";<br>
+ encode "JSON";<br>
+}</font>
+<p><font face="Courier New">var MyRecord r := { num := 3, str := "abc" };</font>
+<p><font face="Courier New">var universal charstring ucs := encvalue_unichar(r, "UTF-8", "", "JSON");</font>
+<p><font face="Courier New">var integer i := decvalue_unichar(ucs, r, "UTF-8", "", "JSON");</font>
+<hr align="left" width="25%">
+<hr align="left" width="25%">
+<p><a HREF="BNF.html#decvalue_unichar">BNF definition</a> of <font face="Courier New">decvalue_unichar</font></p>
+</body>
+</html>
diff --git a/help/info/default.html b/help/info/default.html
index 5baae0e04799a0118ea60e615b14d3b152ff2786..9326494ce879bba2f81c0e8830ded01ee0442ec5 100644
--- a/help/info/default.html
+++ b/help/info/default.html
@@ -8,6 +8,7 @@
Contributors:
Baji, Laszlo
Balasko, Jeno
+ Baranyi, Botond
Farkas, Laszlo
Szabados, Kristof
Zalanyi, Balazs Andor
@@ -28,7 +29,7 @@
<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 href="decvalue.html" alt="previous"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
+ <td><a href="decvalue_unichar.html" alt="previous"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
<td><a href="derefers.html" alt="next"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
</tr>
</table>
diff --git a/help/info/encvalue.html b/help/info/encvalue.html
index 12dfbe34fed8178e748c3c2f7e5343c866825e35..1fcd1457d8dba3bd52065d0bc14fb4406f6c4d37 100644
--- a/help/info/encvalue.html
+++ b/help/info/encvalue.html
@@ -8,6 +8,7 @@
Contributors:
Baji, Laszlo
Balasko, Jeno
+ Baranyi, Botond
Szabados, Kristof
Zalanyi, Balazs Andor
-->
@@ -28,7 +29,7 @@
<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 href="encode_base64.html" alt="previous"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
- <td><a href="enum2int.html" alt="next"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
+ <td><a href="encvalue_unichar.html" alt="next"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
</tr>
</table>
<p><br clear="all">
@@ -36,17 +37,21 @@
<hr>
<h1>encvalue</h1>
<hr align="left" width="75%">
-<p>This built-in function is used to encode its argument into a bitstring.
+<p>This built-in function is used to encode a value argument into a bitstring.
<ul>
<li>The function returns bitstring.</li>
- <li>If template is used as parameter in <font face="Courier New" size="4">encvalue()</font>, it has to be resolved to a specific value.</li>
- <li>Type of the argument has to have an <i>encoding method</i> explicitly set with its atributes.</li>
+ <li>If template is used as the first parameter in <font face="Courier New" size="4">encvalue()</font>, it has to be resolved to a specific value.</li>
+ <li>Type of the first argument has to have an <i>encoding method</i> explicitly set with its atributes.</li>
+ <li>The second argument is currently ignored.</li>
+ <li>The third argument selects the encoding method to use, if the type has multiple encoding methods set.</li>
</ul>
<p>Related keywords:</p>
<ul>
<li><a href="send.html"><b><font face="Courier New" color="#003258" size="4">send</font></b></a></li>
<li><a href="encode.html"><b><font face="Courier New" color="#003258" size="4">encode</font></b></a></li>
+ <li><a href="encvalue_unichar.html"><b><font face="Courier New" color="#003258" size="4">encvalue_unichar</font></b></a></li>
<li><a href="decvalue.html"><b><font face="Courier New" color="#003258" size="4">decvalue</font></b></a></li>
+ <li><a href="decvalue_unichar.html"><b><font face="Courier New" color="#003258" size="4">decvalue_unichar</font></b></a></li>
</ul>
<hr align="left" width="50%">
<div align="center">
@@ -54,20 +59,33 @@
<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>encvalue(</b></font> <i>value_part</i> <font face="Courier New" color="#003258" size="5"><b>) return
- bitstring;</b></font></h3>
+ <h3 align="center"><font face="Courier New" color="#003258" size="5"><b>encvalue(</b></font> <i>value_part [, encoding_info
+ [, dynamic_encoding]]</i> <font face="Courier New" color="#003258" size="5"><b>) return bitstring;</b></font></h3>
</td>
</tr>
</table>
</center>
</div>
<hr align="left" width="50%">
-<p>Example:
+<p>Example 1:
<p><font face="Courier New">type float MyFloat with { encode "RAW" }</font>
<p><font face="Courier New">var MyFloat f := 1.1;</font>
<p><font face="Courier New">var bitstring bs := encvalue(f);</font>
<p>This will store the "RAW" encoded form of the float value <i>1.1</i> into the bitstring variable <i>bs</i>.</p>
<hr align="left" width="25%">
+<p>Example 2:
+<p><font face="Courier New">type record MyRecord {<br>
+ integer num,<br>
+ charstring str<br>
+}<br>
+with {<br>
+ encode "XML";<br>
+ encode "JSON";<br>
+}</font>
+<p><font face="Courier New">var MyRecord r := { num := 3, str := "abc" };</font>
+<p><font face="Courier New">var bitstring bs := encvalue(r, "", "JSON");</font>
+<p>This will store the "JSON" encoded form of the record value <i>{ num := 3, str := "abc" }</i> into the bitstring variable <i>bs</i>.</p>
+<hr align="left" width="25%">
<hr align="left" width="25%">
<p><a HREF="BNF.html#encvalue">BNF definition</a> of <font face="Courier New">encvalue</font></p>
</body>
diff --git a/help/info/encvalue_unichar.html b/help/info/encvalue_unichar.html
new file mode 100644
index 0000000000000000000000000000000000000000..4c690a59a5661e5d07d4561699e17422912e4865
--- /dev/null
+++ b/help/info/encvalue_unichar.html
@@ -0,0 +1,91 @@
+<!--
+ Copyright (c) 2000-2017 Ericsson Telecom AB
+ All rights reserved. This program and the accompanying materials
+ are made available under the terms of the Eclipse Public License v1.0
+ which accompanies this distribution, and is available at
+ http://www.eclipse.org/legal/epl-v10.html
+
+ Contributors:
+ Baranyi, Botond
+-->
+<html>
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
+<meta http-equiv="Content-Language" content="en-us">
+<title>encvalue_unichar</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 href="encvalue.html" alt="previous"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
+ <td><a href="enum2int.html" alt="next"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
+ </tr>
+</table>
+<p><br clear="all">
+</p>
+<hr>
+<h1>encvalue_unichar</h1>
+<hr align="left" width="75%">
+<p>This built-in function is used to encode a value argument into a universal charstring.
+<ul>
+ <li>The function returns a universal charstring.</li>
+ <li>If a template is used as the first parameter in <font face="Courier New" size="4">encvalue_unichar()</font>, it has to be resolved to a specific value.</li>
+ <li>Type of the first argument has to have an <i>encoding method</i> explicitly set with its atributes.</li>
+ <li>The second argument determines the string serialization of the resulting universal charstring. The possible serializations are: <i>
+ UTF-8, UTF-16, UTF-16LE, UTF-16BE, UTF-32, UTF-32LE and UTF-32BE</i>. If the argument is omitted, then UTF-8 serialization is used.</li>
+ <li>The third argument is currently ignored.</li>
+ <li>The fourth argument selects the encoding method to use, if the type has multiple encoding methods set.</li>
+</ul>
+<p>Related keywords:</p>
+<ul>
+ <li><a href="send.html"><b><font face="Courier New" color="#003258" size="4">send</font></b></a></li>
+ <li><a href="encode.html"><b><font face="Courier New" color="#003258" size="4">encode</font></b></a></li>
+ <li><a href="encvalue.html"><b><font face="Courier New" color="#003258" size="4">encvalue</font></b></a></li>
+ <li><a href="decvalue.html"><b><font face="Courier New" color="#003258" size="4">decvalue</font></b></a></li>
+ <li><a href="decvalue_unichar.html"><b><font face="Courier New" color="#003258" size="4">decvalue_unichar</font></b></a></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>encvalue_unichar(</b></font> <i>value_part [, string_serialization
+ [, encoding_info [, dynamic_encoding]]]</i> <font face="Courier New" color="#003258" size="5"><b>) return universal charstring;</b></font></h3>
+ </td>
+ </tr>
+</table>
+</center>
+</div>
+<hr align="left" width="50%">
+<p>Example 1:
+<p><font face="Courier New">type float MyFloat with { encode "RAW" }</font>
+<p><font face="Courier New">var MyFloat f := 1.1;</font>
+<p><font face="Courier New">var universal charstring ucs := encvalue_unichar(f);</font>
+<p>This will store the "RAW" encoded form of the float value <i>1.1</i>, with UTF-8 serialization, into the universal charstring variable <i>ucs</i>.</p>
+<hr align="left" width="25%">
+<p>Example 2:
+<p><font face="Courier New">type record MyRecord {<br>
+ integer num,<br>
+ charstring str<br>
+}<br>
+with {<br>
+ encode "XML";<br>
+ encode "JSON";<br>
+}</font>
+<p><font face="Courier New">var MyRecord r := { num := 3, str := "abc" };</font>
+<p><font face="Courier New">var universal charstring ucs := encvalue_unichar(r, "UTF-8", "", "JSON");</font>
+<p>This will store the "JSON" encoded form of the record value <i>{ num := 3, str := "abc" }</i>, with UTF-8 serialization,
+into the universal charstring variable <i>ucs</i>.</p>
+<hr align="left" width="25%">
+<hr align="left" width="25%">
+<p><a HREF="BNF.html#encvalue_unichar">BNF definition</a> of <font face="Courier New">encvalue_unichar</font></p>
+</body>
+</html>
diff --git a/help/info/enum2int.html b/help/info/enum2int.html
index 99e40e1674786001840df95a92e8a652548cab91..27672a9c5de1a74490366cb1cc70d8817ae62920 100644
--- a/help/info/enum2int.html
+++ b/help/info/enum2int.html
@@ -7,6 +7,7 @@
Contributors:
Balasko, Jeno
+ Baranyi, Botond
-->
<html>
<head>
@@ -24,7 +25,7 @@
<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="encvalue.html"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
+ <td><a alt="previous" href="encvalue_unichar.html"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
<td><a alt="next" href="enumerated.html"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
</tr>
</table>
diff --git a/help/info/set.html b/help/info/set.html
index 7883c059de69297a21689770f4f7fb24363f5211..e3e8430943d9d7a948e1f62f96f3f76bfbab910d 100644
--- a/help/info/set.html
+++ b/help/info/set.html
@@ -32,7 +32,7 @@
<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 href="sender.html" alt="previous"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
- <td><a href="setstate.html" alt="next"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
+ <td><a href="setencode.html" alt="next"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
</tr>
</table>
<p><br clear="all">
diff --git a/help/info/setencode.html b/help/info/setencode.html
new file mode 100644
index 0000000000000000000000000000000000000000..96dd9a0d04e04d5738b848c664aa7654fc10c012
--- /dev/null
+++ b/help/info/setencode.html
@@ -0,0 +1,83 @@
+<!--
+ Copyright (c) 2000-2017 Ericsson Telecom AB
+ All rights reserved. This program and the accompanying materials
+ are made available under the terms of the Eclipse Public License v1.0
+ which accompanies this distribution, and is available at
+ http://www.eclipse.org/legal/epl-v10.html
+
+ Contributors:
+ Baranyi, Botond
+-->
+<html>
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
+<meta http-equiv="Content-Language" content="en-us">
+<title>setencode</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 href="set.html" alt="previous"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
+ <td><a href="setstate.html" alt="next"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
+ </tr>
+</table>
+<p><br clear="all">
+</p>
+<hr>
+<h1>setencode</h1>
+<hr align="left" width="75%">
+<p>The <i>self.setencode</i> operation sets the default encoding method for encoding and decoding operations on values of a specified type.
+<ul>
+ <li>The <i>type</i> (first) argument indicates which type's default encoding method is set by the operation. This type must have
+ at least two encoding methods set with its attributes.</li>
+ <li>The <i>encoding</i> (second) argument indicates which encoding method is to be set as default. This must match one of the encoding methods set for the type.</li>
+ <li>This operation affects all <i>encvalue, decvalue, encvalue_unichar and decvalue_unichar</i> operations with no dynamic encoding argument, all
+ <i>decmatch</i> templates, and all value and parameter redirects with the <i>@decoded</i> modifier within the scope of the current component (<i>self</i>).</li>
+</ul>
+<p>Related keywords:</p>
+<ul>
+ <li><a href="encvalue.html"><b><font face="Courier New" color="#003258" size="4">encvalue</font></b></a></li>
+ <li><a href="encvalue_unichar.html"><b><font face="Courier New" color="#003258" size="4">encvalue_unichar</font></b></a></li>
+ <li><a href="decvalue.html"><b><font face="Courier New" color="#003258" size="4">decvalue</font></b></a></li>
+ <li><a href="decvalue_unichar.html"><b><font face="Courier New" color="#003258" size="4">decvalue_unichar</font></b></a></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>self.setencode (</b></font><i>type,
+ encoding</i><font face="Courier New" color="#003258" size="5"><b>);</b></font></h3>
+ </td>
+ </tr>
+</table>
+</center>
+</div>
+<hr align="left" width="50%">
+<p>Example:
+<p><font face="Courier New">type record MyRecord {<br>
+ integer num,<br>
+ charstring str<br>
+}<br>
+with {<br>
+ encode "XML";<br>
+ encode "JSON";<br>
+}</font>
+<p><font face="Courier New">var MyRecord r := { num := 3, str := "abc" };</font>
+<p><font face="Courier New">self.setencode(MyRecord, "XML");</font>
+<p><font face="Courier New">var bitstring bs1 := encvalue(r); // uses the "XML" encoding method set by the 'setencode' operation</font>
+<p><font face="Courier New">var bitstring bs2 := encvalue(r, "", "JSON"); // ignores the 'setencode' operation and uses the "JSON" encoding method
+set by the dynamic encoding argument</font>
+<hr align="left" width="25%">
+<hr align="left" width="25%">
+<p><a HREF="BNF.html#setencode">BNF definition</a> of <font face="Courier New"> setencode</font></p>
+</body>
+</html>
diff --git a/help/info/setstate.html b/help/info/setstate.html
index 63d74017a66424ad1fd8949d13916e539ded80c0..721a2414336bba86396ab3f29ae7636c29af0c8d 100644
--- a/help/info/setstate.html
+++ b/help/info/setstate.html
@@ -6,6 +6,7 @@
http://www.eclipse.org/legal/epl-v10.html
Contributors:
+ Baranyi, Botond
Szabo, Bence Janos
-->
<html>
@@ -24,7 +25,7 @@
<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 href="set.html" alt="previous"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
+ <td><a href="setencode.html" alt="previous"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
<td><a href="setverdict.html" alt="next"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
</tr>
</table>
diff --git a/help/titan_index.html b/help/titan_index.html
index 16437d6d5e741e1b82fc8657037c8aa13c929c75..39051f23099e23256ec01d46c357b04def42dcc5 100644
--- a/help/titan_index.html
+++ b/help/titan_index.html
@@ -9,6 +9,7 @@
Baji, Laszlo
Balasko, Jeno
+ Baranyi, Botond
Csorba, Mate
Farkas, Laszlo
Feher, Csaba
@@ -104,37 +105,37 @@
<td width="17%"><a name="d"></a><a href="info/deactivate.html">deactivate</a></td>
<td width="17%"><a href="info/decode_base64.html">decode_base64</a></td>
<td width="17%"><a href="info/decvalue.html">decvalue</a></td>
+ <td width="17%"><a href="info/decvalue_unichar.html">decvalue_unichar</a></td>
<td width="17%"><a href="info/default.html">default</a></td>
<td width="17%"><a href="info/derefers.html">derefers</a></td>
<td width="17%"><a href="info/disconnect.html">disconnect</a></td>
- <td width="17%"><a href="info/display.html">display</a></td>
</tr>
<tr>
+ <td width="17%"><a href="info/display.html">display</a></td>
<td width="17%"><a href="info/do.html">do</a></td>
<td width="17%"><a href="info/done.html">done</a></td>
<td width="17%"> </td>
<td width="17%"> </td>
<td width="17%"> </td>
<td width="17%"> </td>
- <td width="17%"> </td>
</tr>
<tr>
<td width="17%"><a name="e"></a><a href="info/else.html">else</a></td>
<td width="17%"><a href="info/encode.html">encode</a></td>
<td width="17%"><a href="info/encode_base64.html">encode_base64</a></td>
<td width="17%"><a href="info/encvalue.html">encvalue</a></td>
+ <td width="17%"><a href="info/encvalue_unichar.html">encvalue_unichar</a></td>
<td width="17%"><a href="info/enum2int.html">enum2int</a></td>
<td width="17%"><a href="info/enumerated.html">enumerated</a></td>
- <td width="17%"><a href="info/error.html">error</a></td>
</tr>
<tr>
+ <td width="17%"><a href="info/error.html">error</a></td>
<td width="17%"><a href="info/except.html">except</a></td>
<td width="17%"><a href="info/exception.html">exception</a></td>
<td width="17%"><a href="info/execute.html">execute</a></td>
<td width="17%"><a href="info/extension.html">extension</a></td>
<td width="17%"><a href="info/external.html">external</a></td>
<td width="17%"> </td>
- <td width="17%"> </td>
</tr>
<tr>
<td width="17%"><a name="f"></a><a href="info/fail.html">fail</a></td>
@@ -322,26 +323,26 @@
<td width="17%"><a href="info/send.html">send</a></td>
<td width="17%"><a href="info/sender.html">sender</a></td>
<td width="17%"><a href="info/set.html">set</a></td>
+ <td width="17%"><a href="info/setencode.html">setencode</a></td>
<td width="17%"><a href="info/setstate.html">setstate</a></td>
- <td width="17%"><a href="info/setverdict.html">setverdict</a></td>
</tr>
<tr>
+ <td width="17%"><a href="info/setverdict.html">setverdict</a></td>
<td width="17%"><a href="info/signature.html">signature</a></td>
<td width="17%"><a href="info/sizeof.html">sizeof</a></td>
<td width="17%"><a href="info/start.html">start</a></td>
<td width="17%"><a href="info/stop.html">stop</a></td>
<td width="17%"><a href="info/str2bit.html">str2bit</a></td>
<td width="17%"><a href="info/str2float.html">str2float</a></td>
- <td width="17%"><a href="info/str2hex.html">str2hex</a></td>
</tr>
<tr>
+ <td width="17%"><a href="info/str2hex.html">str2hex</a></td>
<td width="17%"><a href="info/str2int.html">str2int</a></td>
<td width="17%"><a href="info/str2oct.html">str2oct</a></td>
<td width="17%"><a href="info/subset.html">subset</a></td>
<td width="17%"><a href="info/substr.html">substr</a></td>
<td width="17%"><a href="info/superset.html">superset</a></td>
<td width="17%"><a href="info/system.html">system</a></td>
- <td width="17%"> </td>
</tr>
<tr>
<td width="17%"><a name="t"></a><a href="info/template.html">template</a></td>