| Current File : //usr/share/doc/dbus/api/dbus-marshal-validate_8c_source.html |
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>D-Bus: dbus-marshal-validate.c Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr style="height: 56px;">
<td style="padding-left: 0.5em;">
<div id="projectname">D-Bus
 <span id="projectnumber">1.8.20</span>
</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- Generated by Doxygen 1.7.6.1 -->
<div id="navrow1" class="tabs">
<ul class="tablist">
<li><a href="index.html"><span>Main Page</span></a></li>
<li><a href="pages.html"><span>Related Pages</span></a></li>
<li><a href="modules.html"><span>Modules</span></a></li>
<li><a href="annotated.html"><span>Data Structures</span></a></li>
<li class="current"><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div id="navrow2" class="tabs2">
<ul class="tablist">
<li><a href="files.html"><span>File List</span></a></li>
</ul>
</div>
</div>
<div class="header">
<div class="headertitle">
<div class="title">dbus-marshal-validate.c</div> </div>
</div><!--header-->
<div class="contents">
<div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="comment">/* -*- mode: C; c-file-style: "gnu"; indent-tabs-mode: nil; -*- */</span>
<a name="l00002"></a>00002 <span class="comment">/* dbus-marshal-validate.c Validation routines for marshaled data</span>
<a name="l00003"></a>00003 <span class="comment"> *</span>
<a name="l00004"></a>00004 <span class="comment"> * Copyright (C) 2005 Red Hat, Inc.</span>
<a name="l00005"></a>00005 <span class="comment"> *</span>
<a name="l00006"></a>00006 <span class="comment"> * Licensed under the Academic Free License version 2.1</span>
<a name="l00007"></a>00007 <span class="comment"> *</span>
<a name="l00008"></a>00008 <span class="comment"> * This program is free software; you can redistribute it and/or modify</span>
<a name="l00009"></a>00009 <span class="comment"> * it under the terms of the GNU General Public License as published by</span>
<a name="l00010"></a>00010 <span class="comment"> * the Free Software Foundation; either version 2 of the License, or</span>
<a name="l00011"></a>00011 <span class="comment"> * (at your option) any later version.</span>
<a name="l00012"></a>00012 <span class="comment"> *</span>
<a name="l00013"></a>00013 <span class="comment"> * This program is distributed in the hope that it will be useful,</span>
<a name="l00014"></a>00014 <span class="comment"> * but WITHOUT ANY WARRANTY; without even the implied warranty of</span>
<a name="l00015"></a>00015 <span class="comment"> * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the</span>
<a name="l00016"></a>00016 <span class="comment"> * GNU General Public License for more details.</span>
<a name="l00017"></a>00017 <span class="comment"> *</span>
<a name="l00018"></a>00018 <span class="comment"> * You should have received a copy of the GNU General Public License</span>
<a name="l00019"></a>00019 <span class="comment"> * along with this program; if not, write to the Free Software</span>
<a name="l00020"></a>00020 <span class="comment"> * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA</span>
<a name="l00021"></a>00021 <span class="comment"> *</span>
<a name="l00022"></a>00022 <span class="comment"> */</span>
<a name="l00023"></a>00023
<a name="l00024"></a>00024 <span class="preprocessor">#include <config.h></span>
<a name="l00025"></a>00025 <span class="preprocessor">#include "dbus-internals.h"</span>
<a name="l00026"></a>00026 <span class="preprocessor">#include "dbus-marshal-validate.h"</span>
<a name="l00027"></a>00027 <span class="preprocessor">#include "dbus-marshal-recursive.h"</span>
<a name="l00028"></a>00028 <span class="preprocessor">#include "dbus-marshal-basic.h"</span>
<a name="l00029"></a>00029 <span class="preprocessor">#include "dbus-signature.h"</span>
<a name="l00030"></a>00030 <span class="preprocessor">#include "dbus-string.h"</span>
<a name="l00031"></a>00031
<a name="l00050"></a>00050 <a class="code" href="group__DBusMarshal.html#ga0c4521d30d6650a33673a4d7f9cc007c" title="This is primarily used in unit testing, so we can verify that each invalid message is invalid for the...">DBusValidity</a>
<a name="l00051"></a><a class="code" href="group__DBusMarshal.html#ga42e50826b5cf62921728432a8e35292c">00051</a> <a class="code" href="group__DBusMarshal.html#ga42e50826b5cf62921728432a8e35292c" title="Verifies that the range of type_str from type_pos to type_end is a valid signature.">_dbus_validate_signature_with_reason</a> (<span class="keyword">const</span> <a class="code" href="structDBusString.html">DBusString</a> *type_str,
<a name="l00052"></a>00052 <span class="keywordtype">int</span> type_pos,
<a name="l00053"></a>00053 <span class="keywordtype">int</span> len)
<a name="l00054"></a>00054 {
<a name="l00055"></a>00055 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *p;
<a name="l00056"></a>00056 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *end;
<a name="l00057"></a>00057 <span class="keywordtype">int</span> last;
<a name="l00058"></a>00058 <span class="keywordtype">int</span> struct_depth;
<a name="l00059"></a>00059 <span class="keywordtype">int</span> array_depth;
<a name="l00060"></a>00060 <span class="keywordtype">int</span> dict_entry_depth;
<a name="l00061"></a>00061 <a class="code" href="group__DBusMarshal.html#ga0c4521d30d6650a33673a4d7f9cc007c" title="This is primarily used in unit testing, so we can verify that each invalid message is invalid for the...">DBusValidity</a> result;
<a name="l00062"></a>00062
<a name="l00063"></a>00063 <span class="keywordtype">int</span> element_count;
<a name="l00064"></a>00064 <a class="code" href="structDBusList.html" title="A node in a linked list.">DBusList</a> *element_count_stack;
<a name="l00065"></a>00065
<a name="l00066"></a>00066 result = DBUS_VALID;
<a name="l00067"></a>00067 element_count_stack = <a class="code" href="group__DBusMacros.html#ga070d2ce7b6bb7e5c05602aa8c308d0c4" title="A null pointer, defined appropriately for C or C++.">NULL</a>;
<a name="l00068"></a>00068
<a name="l00069"></a>00069 <span class="keywordflow">if</span> (!<a class="code" href="group__DBusList.html#gad99045e79db46159babe69718f343053" title="Appends a value to the list.">_dbus_list_append</a> (&element_count_stack, _DBUS_INT_TO_POINTER (0)))
<a name="l00070"></a>00070 {
<a name="l00071"></a>00071 result = DBUS_VALIDITY_UNKNOWN_OOM_ERROR;
<a name="l00072"></a>00072 <span class="keywordflow">goto</span> out;
<a name="l00073"></a>00073 }
<a name="l00074"></a>00074
<a name="l00075"></a>00075 _dbus_assert (type_str != <a class="code" href="group__DBusMacros.html#ga070d2ce7b6bb7e5c05602aa8c308d0c4" title="A null pointer, defined appropriately for C or C++.">NULL</a>);
<a name="l00076"></a>00076 _dbus_assert (type_pos < _DBUS_INT32_MAX - len);
<a name="l00077"></a>00077 _dbus_assert (len >= 0);
<a name="l00078"></a>00078 _dbus_assert (type_pos >= 0);
<a name="l00079"></a>00079
<a name="l00080"></a>00080 <span class="keywordflow">if</span> (len > <a class="code" href="group__DBusProtocol.html#ga28f099674760229e6de85a0e3c3e3e46" title="This one is 255 so it fits in a byte.">DBUS_MAXIMUM_SIGNATURE_LENGTH</a>)
<a name="l00081"></a>00081 {
<a name="l00082"></a>00082 result = DBUS_INVALID_SIGNATURE_TOO_LONG;
<a name="l00083"></a>00083 <span class="keywordflow">goto</span> out;
<a name="l00084"></a>00084 }
<a name="l00085"></a>00085
<a name="l00086"></a>00086 p = <a class="code" href="group__DBusString.html#ga8c202a65e938f9bdb859fc6705a4f1bb" title="const version of _dbus_string_get_data_len().">_dbus_string_get_const_data_len</a> (type_str, type_pos, 0);
<a name="l00087"></a>00087
<a name="l00088"></a>00088 end = <a class="code" href="group__DBusString.html#ga8c202a65e938f9bdb859fc6705a4f1bb" title="const version of _dbus_string_get_data_len().">_dbus_string_get_const_data_len</a> (type_str, type_pos + len, 0);
<a name="l00089"></a>00089 struct_depth = 0;
<a name="l00090"></a>00090 array_depth = 0;
<a name="l00091"></a>00091 dict_entry_depth = 0;
<a name="l00092"></a>00092 last = <a class="code" href="group__DBusProtocol.html#gaa9588da889743b2119dc6664712ae51e" title="Type code that is never equal to a legitimate type code.">DBUS_TYPE_INVALID</a>;
<a name="l00093"></a>00093
<a name="l00094"></a>00094 <span class="keywordflow">while</span> (p != end)
<a name="l00095"></a>00095 {
<a name="l00096"></a>00096 <span class="keywordflow">switch</span> (*p)
<a name="l00097"></a>00097 {
<a name="l00098"></a>00098 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga355d6d0998164a5eb915a26fb67fce5f" title="Type code marking an 8-bit unsigned integer.">DBUS_TYPE_BYTE</a>:
<a name="l00099"></a>00099 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga624ecee83984330ad89cbf064a2b28e6" title="Type code marking a boolean.">DBUS_TYPE_BOOLEAN</a>:
<a name="l00100"></a>00100 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga49cdd4169af84ed7937f34b31f43e331" title="Type code marking a 16-bit signed integer.">DBUS_TYPE_INT16</a>:
<a name="l00101"></a>00101 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gad74b8d93a1464182ac1af7e0e2435f46" title="Type code marking a 16-bit unsigned integer.">DBUS_TYPE_UINT16</a>:
<a name="l00102"></a>00102 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga5943b497db2e1dec04fae60584a294bb" title="Type code marking a 32-bit signed integer.">DBUS_TYPE_INT32</a>:
<a name="l00103"></a>00103 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gaedb1740bd8a9174b98ac593eded25d49" title="Type code marking a 32-bit unsigned integer.">DBUS_TYPE_UINT32</a>:
<a name="l00104"></a>00104 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga59f8acaeb207b182982dfb97174b7f16" title="Type code marking a unix file descriptor.">DBUS_TYPE_UNIX_FD</a>:
<a name="l00105"></a>00105 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gabda4301c14b367f151f86769a1c27c5b" title="Type code marking a 64-bit signed integer.">DBUS_TYPE_INT64</a>:
<a name="l00106"></a>00106 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gac59cc8f824813444cc9585effd4770d7" title="Type code marking a 64-bit unsigned integer.">DBUS_TYPE_UINT64</a>:
<a name="l00107"></a>00107 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gac30c00bb6de04d0886cfbace276ec353" title="Type code marking an 8-byte double in IEEE 754 format.">DBUS_TYPE_DOUBLE</a>:
<a name="l00108"></a>00108 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga7eb77066dadf5415896b44c56d93acce" title="Type code marking a UTF-8 encoded, nul-terminated Unicode string.">DBUS_TYPE_STRING</a>:
<a name="l00109"></a>00109 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga31cc59c99a6cbbfcef71756e1390dc4c" title="Type code marking a D-Bus object path.">DBUS_TYPE_OBJECT_PATH</a>:
<a name="l00110"></a>00110 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga26ed6c20c3d9f0b50ea0a1cf80be3279" title="Type code marking a D-Bus type signature.">DBUS_TYPE_SIGNATURE</a>:
<a name="l00111"></a>00111 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga4aa7a463ad2bce4e9aa95e3e397ddcf1" title="Type code marking a D-Bus variant type.">DBUS_TYPE_VARIANT</a>:
<a name="l00112"></a>00112 <span class="keywordflow">break</span>;
<a name="l00113"></a>00113
<a name="l00114"></a>00114 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga8912f600f81a773066ca03d9163613a9" title="Type code marking a D-Bus array type.">DBUS_TYPE_ARRAY</a>:
<a name="l00115"></a>00115 array_depth += 1;
<a name="l00116"></a>00116 <span class="keywordflow">if</span> (array_depth > <a class="code" href="group__DBusProtocol.html#gaab86b8c110c95911e1c83ae4422b4018" title="Depth of recursion in the type tree.">DBUS_MAXIMUM_TYPE_RECURSION_DEPTH</a>)
<a name="l00117"></a>00117 {
<a name="l00118"></a>00118 result = DBUS_INVALID_EXCEEDED_MAXIMUM_ARRAY_RECURSION;
<a name="l00119"></a>00119 <span class="keywordflow">goto</span> out;
<a name="l00120"></a>00120 }
<a name="l00121"></a>00121 <span class="keywordflow">break</span>;
<a name="l00122"></a>00122
<a name="l00123"></a>00123 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga725657eca93175475e0694b858f51fd6" title="Code marking the start of a struct type in a type signature.">DBUS_STRUCT_BEGIN_CHAR</a>:
<a name="l00124"></a>00124 struct_depth += 1;
<a name="l00125"></a>00125
<a name="l00126"></a>00126 <span class="keywordflow">if</span> (struct_depth > <a class="code" href="group__DBusProtocol.html#gaab86b8c110c95911e1c83ae4422b4018" title="Depth of recursion in the type tree.">DBUS_MAXIMUM_TYPE_RECURSION_DEPTH</a>)
<a name="l00127"></a>00127 {
<a name="l00128"></a>00128 result = DBUS_INVALID_EXCEEDED_MAXIMUM_STRUCT_RECURSION;
<a name="l00129"></a>00129 <span class="keywordflow">goto</span> out;
<a name="l00130"></a>00130 }
<a name="l00131"></a>00131
<a name="l00132"></a>00132 <span class="keywordflow">if</span> (!<a class="code" href="group__DBusList.html#gad99045e79db46159babe69718f343053" title="Appends a value to the list.">_dbus_list_append</a> (&element_count_stack,
<a name="l00133"></a>00133 _DBUS_INT_TO_POINTER (0)))
<a name="l00134"></a>00134 {
<a name="l00135"></a>00135 result = DBUS_VALIDITY_UNKNOWN_OOM_ERROR;
<a name="l00136"></a>00136 <span class="keywordflow">goto</span> out;
<a name="l00137"></a>00137 }
<a name="l00138"></a>00138
<a name="l00139"></a>00139 <span class="keywordflow">break</span>;
<a name="l00140"></a>00140
<a name="l00141"></a>00141 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gaeab5ea0def3f587a0ed548b77d5c5cea" title="Code marking the end of a struct type in a type signature.">DBUS_STRUCT_END_CHAR</a>:
<a name="l00142"></a>00142 <span class="keywordflow">if</span> (struct_depth == 0)
<a name="l00143"></a>00143 {
<a name="l00144"></a>00144 result = DBUS_INVALID_STRUCT_ENDED_BUT_NOT_STARTED;
<a name="l00145"></a>00145 <span class="keywordflow">goto</span> out;
<a name="l00146"></a>00146 }
<a name="l00147"></a>00147
<a name="l00148"></a>00148 <span class="keywordflow">if</span> (last == <a class="code" href="group__DBusProtocol.html#ga725657eca93175475e0694b858f51fd6" title="Code marking the start of a struct type in a type signature.">DBUS_STRUCT_BEGIN_CHAR</a>)
<a name="l00149"></a>00149 {
<a name="l00150"></a>00150 result = DBUS_INVALID_STRUCT_HAS_NO_FIELDS;
<a name="l00151"></a>00151 <span class="keywordflow">goto</span> out;
<a name="l00152"></a>00152 }
<a name="l00153"></a>00153
<a name="l00154"></a>00154 <a class="code" href="group__DBusList.html#gaad2ba56c77f2bba8e1e8dcb4b24542a6" title="Removes the last value in the list and returns it.">_dbus_list_pop_last</a> (&element_count_stack);
<a name="l00155"></a>00155
<a name="l00156"></a>00156 struct_depth -= 1;
<a name="l00157"></a>00157 <span class="keywordflow">break</span>;
<a name="l00158"></a>00158
<a name="l00159"></a>00159 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gad51b5f7a2e6d927295479dd371f6b353" title="Code marking the start of a dict entry type in a type signature.">DBUS_DICT_ENTRY_BEGIN_CHAR</a>:
<a name="l00160"></a>00160 <span class="keywordflow">if</span> (last != <a class="code" href="group__DBusProtocol.html#ga8912f600f81a773066ca03d9163613a9" title="Type code marking a D-Bus array type.">DBUS_TYPE_ARRAY</a>)
<a name="l00161"></a>00161 {
<a name="l00162"></a>00162 result = DBUS_INVALID_DICT_ENTRY_NOT_INSIDE_ARRAY;
<a name="l00163"></a>00163 <span class="keywordflow">goto</span> out;
<a name="l00164"></a>00164 }
<a name="l00165"></a>00165
<a name="l00166"></a>00166 dict_entry_depth += 1;
<a name="l00167"></a>00167
<a name="l00168"></a>00168 <span class="keywordflow">if</span> (dict_entry_depth > <a class="code" href="group__DBusProtocol.html#gaab86b8c110c95911e1c83ae4422b4018" title="Depth of recursion in the type tree.">DBUS_MAXIMUM_TYPE_RECURSION_DEPTH</a>)
<a name="l00169"></a>00169 {
<a name="l00170"></a>00170 result = DBUS_INVALID_EXCEEDED_MAXIMUM_DICT_ENTRY_RECURSION;
<a name="l00171"></a>00171 <span class="keywordflow">goto</span> out;
<a name="l00172"></a>00172 }
<a name="l00173"></a>00173
<a name="l00174"></a>00174 <span class="keywordflow">if</span> (!<a class="code" href="group__DBusList.html#gad99045e79db46159babe69718f343053" title="Appends a value to the list.">_dbus_list_append</a> (&element_count_stack,
<a name="l00175"></a>00175 _DBUS_INT_TO_POINTER (0)))
<a name="l00176"></a>00176 {
<a name="l00177"></a>00177 result = DBUS_VALIDITY_UNKNOWN_OOM_ERROR;
<a name="l00178"></a>00178 <span class="keywordflow">goto</span> out;
<a name="l00179"></a>00179 }
<a name="l00180"></a>00180
<a name="l00181"></a>00181 <span class="keywordflow">break</span>;
<a name="l00182"></a>00182
<a name="l00183"></a>00183 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga29ad22c7342ead042ae9e55ae20b49f1" title="Code marking the end of a dict entry type in a type signature.">DBUS_DICT_ENTRY_END_CHAR</a>:
<a name="l00184"></a>00184 <span class="keywordflow">if</span> (dict_entry_depth == 0)
<a name="l00185"></a>00185 {
<a name="l00186"></a>00186 result = DBUS_INVALID_DICT_ENTRY_ENDED_BUT_NOT_STARTED;
<a name="l00187"></a>00187 <span class="keywordflow">goto</span> out;
<a name="l00188"></a>00188 }
<a name="l00189"></a>00189
<a name="l00190"></a>00190 dict_entry_depth -= 1;
<a name="l00191"></a>00191
<a name="l00192"></a>00192 element_count =
<a name="l00193"></a>00193 _DBUS_POINTER_TO_INT (<a class="code" href="group__DBusList.html#gaad2ba56c77f2bba8e1e8dcb4b24542a6" title="Removes the last value in the list and returns it.">_dbus_list_pop_last</a> (&element_count_stack));
<a name="l00194"></a>00194
<a name="l00195"></a>00195 <span class="keywordflow">if</span> (element_count != 2)
<a name="l00196"></a>00196 {
<a name="l00197"></a>00197 <span class="keywordflow">if</span> (element_count == 0)
<a name="l00198"></a>00198 result = DBUS_INVALID_DICT_ENTRY_HAS_NO_FIELDS;
<a name="l00199"></a>00199 <span class="keywordflow">else</span> <span class="keywordflow">if</span> (element_count == 1)
<a name="l00200"></a>00200 result = DBUS_INVALID_DICT_ENTRY_HAS_ONLY_ONE_FIELD;
<a name="l00201"></a>00201 <span class="keywordflow">else</span>
<a name="l00202"></a>00202 result = DBUS_INVALID_DICT_ENTRY_HAS_TOO_MANY_FIELDS;
<a name="l00203"></a>00203
<a name="l00204"></a>00204 <span class="keywordflow">goto</span> out;
<a name="l00205"></a>00205 }
<a name="l00206"></a>00206 <span class="keywordflow">break</span>;
<a name="l00207"></a>00207
<a name="l00208"></a>00208 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gae4b22a74b9edb0ec0ff6e0294794d3f9" title="STRUCT and DICT_ENTRY are sort of special since their codes can't appear in a type string...">DBUS_TYPE_STRUCT</a>: <span class="comment">/* doesn't appear in signatures */</span>
<a name="l00209"></a>00209 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gad2fc8e6c50e0ad927f4249fb9e53ca97" title="Type code used to represent a dict entry; however, this type code does not appear in type signatures...">DBUS_TYPE_DICT_ENTRY</a>: <span class="comment">/* ditto */</span>
<a name="l00210"></a>00210 <span class="keywordflow">default</span>:
<a name="l00211"></a>00211 result = DBUS_INVALID_UNKNOWN_TYPECODE;
<a name="l00212"></a>00212 <span class="keywordflow">goto</span> out;
<a name="l00213"></a>00213 }
<a name="l00214"></a>00214
<a name="l00215"></a>00215 <span class="keywordflow">if</span> (*p != <a class="code" href="group__DBusProtocol.html#ga8912f600f81a773066ca03d9163613a9" title="Type code marking a D-Bus array type.">DBUS_TYPE_ARRAY</a> &&
<a name="l00216"></a>00216 *p != <a class="code" href="group__DBusProtocol.html#gad51b5f7a2e6d927295479dd371f6b353" title="Code marking the start of a dict entry type in a type signature.">DBUS_DICT_ENTRY_BEGIN_CHAR</a> &&
<a name="l00217"></a>00217 *p != <a class="code" href="group__DBusProtocol.html#ga725657eca93175475e0694b858f51fd6" title="Code marking the start of a struct type in a type signature.">DBUS_STRUCT_BEGIN_CHAR</a>)
<a name="l00218"></a>00218 {
<a name="l00219"></a>00219 element_count =
<a name="l00220"></a>00220 _DBUS_POINTER_TO_INT (<a class="code" href="group__DBusList.html#gaad2ba56c77f2bba8e1e8dcb4b24542a6" title="Removes the last value in the list and returns it.">_dbus_list_pop_last</a> (&element_count_stack));
<a name="l00221"></a>00221
<a name="l00222"></a>00222 ++element_count;
<a name="l00223"></a>00223
<a name="l00224"></a>00224 <span class="keywordflow">if</span> (!<a class="code" href="group__DBusList.html#gad99045e79db46159babe69718f343053" title="Appends a value to the list.">_dbus_list_append</a> (&element_count_stack,
<a name="l00225"></a>00225 _DBUS_INT_TO_POINTER (element_count)))
<a name="l00226"></a>00226 {
<a name="l00227"></a>00227 result = DBUS_VALIDITY_UNKNOWN_OOM_ERROR;
<a name="l00228"></a>00228 <span class="keywordflow">goto</span> out;
<a name="l00229"></a>00229 }
<a name="l00230"></a>00230 }
<a name="l00231"></a>00231
<a name="l00232"></a>00232 <span class="keywordflow">if</span> (array_depth > 0)
<a name="l00233"></a>00233 {
<a name="l00234"></a>00234 <span class="keywordflow">if</span> (*p == <a class="code" href="group__DBusProtocol.html#ga8912f600f81a773066ca03d9163613a9" title="Type code marking a D-Bus array type.">DBUS_TYPE_ARRAY</a> && p != end)
<a name="l00235"></a>00235 {
<a name="l00236"></a>00236 <span class="keyword">const</span> <span class="keywordtype">char</span> *p1;
<a name="l00237"></a>00237 p1 = p + 1;
<a name="l00238"></a>00238 <span class="keywordflow">if</span> (*p1 == <a class="code" href="group__DBusProtocol.html#gaeab5ea0def3f587a0ed548b77d5c5cea" title="Code marking the end of a struct type in a type signature.">DBUS_STRUCT_END_CHAR</a> ||
<a name="l00239"></a>00239 *p1 == <a class="code" href="group__DBusProtocol.html#ga29ad22c7342ead042ae9e55ae20b49f1" title="Code marking the end of a dict entry type in a type signature.">DBUS_DICT_ENTRY_END_CHAR</a>)
<a name="l00240"></a>00240 {
<a name="l00241"></a>00241 result = DBUS_INVALID_MISSING_ARRAY_ELEMENT_TYPE;
<a name="l00242"></a>00242 <span class="keywordflow">goto</span> out;
<a name="l00243"></a>00243 }
<a name="l00244"></a>00244 }
<a name="l00245"></a>00245 <span class="keywordflow">else</span>
<a name="l00246"></a>00246 {
<a name="l00247"></a>00247 array_depth = 0;
<a name="l00248"></a>00248 }
<a name="l00249"></a>00249 }
<a name="l00250"></a>00250
<a name="l00251"></a>00251 <span class="keywordflow">if</span> (last == <a class="code" href="group__DBusProtocol.html#gad51b5f7a2e6d927295479dd371f6b353" title="Code marking the start of a dict entry type in a type signature.">DBUS_DICT_ENTRY_BEGIN_CHAR</a>)
<a name="l00252"></a>00252 {
<a name="l00253"></a>00253 <span class="keywordflow">if</span> (!(<a class="code" href="group__DBusSignature.html#ga7093ae3b35eb073dab939dae69b8c689" title="Return TRUE if the argument is a valid typecode.">dbus_type_is_valid</a> (*p) && <a class="code" href="group__DBusSignature.html#ga2d8afef7d754cf15d6b9733f00654c0e" title="A "basic type" is a somewhat arbitrary concept, but the intent is to include those types that are ful...">dbus_type_is_basic</a> (*p)))
<a name="l00254"></a>00254 {
<a name="l00255"></a>00255 result = DBUS_INVALID_DICT_KEY_MUST_BE_BASIC_TYPE;
<a name="l00256"></a>00256 <span class="keywordflow">goto</span> out;
<a name="l00257"></a>00257 }
<a name="l00258"></a>00258 }
<a name="l00259"></a>00259
<a name="l00260"></a>00260 last = *p;
<a name="l00261"></a>00261 ++p;
<a name="l00262"></a>00262 }
<a name="l00263"></a>00263
<a name="l00264"></a>00264
<a name="l00265"></a>00265 <span class="keywordflow">if</span> (array_depth > 0)
<a name="l00266"></a>00266 {
<a name="l00267"></a>00267 result = DBUS_INVALID_MISSING_ARRAY_ELEMENT_TYPE;
<a name="l00268"></a>00268 <span class="keywordflow">goto</span> out;
<a name="l00269"></a>00269 }
<a name="l00270"></a>00270
<a name="l00271"></a>00271 <span class="keywordflow">if</span> (struct_depth > 0)
<a name="l00272"></a>00272 {
<a name="l00273"></a>00273 result = DBUS_INVALID_STRUCT_STARTED_BUT_NOT_ENDED;
<a name="l00274"></a>00274 <span class="keywordflow">goto</span> out;
<a name="l00275"></a>00275 }
<a name="l00276"></a>00276
<a name="l00277"></a>00277 <span class="keywordflow">if</span> (dict_entry_depth > 0)
<a name="l00278"></a>00278 {
<a name="l00279"></a>00279 result = DBUS_INVALID_DICT_ENTRY_STARTED_BUT_NOT_ENDED;
<a name="l00280"></a>00280 <span class="keywordflow">goto</span> out;
<a name="l00281"></a>00281 }
<a name="l00282"></a>00282
<a name="l00283"></a>00283 _dbus_assert (last != <a class="code" href="group__DBusProtocol.html#ga8912f600f81a773066ca03d9163613a9" title="Type code marking a D-Bus array type.">DBUS_TYPE_ARRAY</a>);
<a name="l00284"></a>00284 _dbus_assert (last != <a class="code" href="group__DBusProtocol.html#ga725657eca93175475e0694b858f51fd6" title="Code marking the start of a struct type in a type signature.">DBUS_STRUCT_BEGIN_CHAR</a>);
<a name="l00285"></a>00285 _dbus_assert (last != <a class="code" href="group__DBusProtocol.html#gad51b5f7a2e6d927295479dd371f6b353" title="Code marking the start of a dict entry type in a type signature.">DBUS_DICT_ENTRY_BEGIN_CHAR</a>);
<a name="l00286"></a>00286
<a name="l00287"></a>00287 result = DBUS_VALID;
<a name="l00288"></a>00288
<a name="l00289"></a>00289 out:
<a name="l00290"></a>00290 <a class="code" href="group__DBusList.html#gaa36d13444a050a923941c53650b72f9d" title="Frees all links in the list and sets the list head to NULL.">_dbus_list_clear</a> (&element_count_stack);
<a name="l00291"></a>00291 <span class="keywordflow">return</span> result;
<a name="l00292"></a>00292 }
<a name="l00293"></a>00293
<a name="l00294"></a>00294 <span class="comment">/* note: this function is also used to validate the header's values,</span>
<a name="l00295"></a>00295 <span class="comment"> * since the header is a valid body with a particular signature.</span>
<a name="l00296"></a>00296 <span class="comment"> */</span>
<a name="l00297"></a>00297 <span class="keyword">static</span> <a class="code" href="group__DBusMarshal.html#ga0c4521d30d6650a33673a4d7f9cc007c" title="This is primarily used in unit testing, so we can verify that each invalid message is invalid for the...">DBusValidity</a>
<a name="l00298"></a>00298 validate_body_helper (<a class="code" href="structDBusTypeReader.html" title="The type reader is an iterator for reading values from a block of values.">DBusTypeReader</a> *reader,
<a name="l00299"></a>00299 <span class="keywordtype">int</span> byte_order,
<a name="l00300"></a>00300 <a class="code" href="group__DBusTypes.html#ga39c9cb0f3a2a8ad6f55cc4855d035349" title="A boolean, valid values are TRUE and FALSE.">dbus_bool_t</a> walk_reader_to_end,
<a name="l00301"></a>00301 <span class="keywordtype">int</span> total_depth,
<a name="l00302"></a>00302 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *p,
<a name="l00303"></a>00303 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *end,
<a name="l00304"></a>00304 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> **new_p)
<a name="l00305"></a>00305 {
<a name="l00306"></a>00306 <span class="keywordtype">int</span> current_type;
<a name="l00307"></a>00307
<a name="l00308"></a>00308 <span class="comment">/* The spec allows arrays and structs to each nest 32, for total</span>
<a name="l00309"></a>00309 <span class="comment"> * nesting of 2*32. We want to impose the same limit on "dynamic"</span>
<a name="l00310"></a>00310 <span class="comment"> * value nesting (not visible in the signature) which is introduced</span>
<a name="l00311"></a>00311 <span class="comment"> * by DBUS_TYPE_VARIANT.</span>
<a name="l00312"></a>00312 <span class="comment"> */</span>
<a name="l00313"></a>00313 <span class="keywordflow">if</span> (total_depth > (<a class="code" href="group__DBusProtocol.html#gaab86b8c110c95911e1c83ae4422b4018" title="Depth of recursion in the type tree.">DBUS_MAXIMUM_TYPE_RECURSION_DEPTH</a> * 2))
<a name="l00314"></a>00314 {
<a name="l00315"></a>00315 <span class="keywordflow">return</span> DBUS_INVALID_NESTED_TOO_DEEPLY;
<a name="l00316"></a>00316 }
<a name="l00317"></a>00317
<a name="l00318"></a>00318 <span class="keywordflow">while</span> ((current_type = <a class="code" href="group__DBusMarshal.html#gab8e39cb8084247d54d7f272c51622a73" title="Gets the type of the value the reader is currently pointing to; or for a types-only reader gets the t...">_dbus_type_reader_get_current_type</a> (reader)) != <a class="code" href="group__DBusProtocol.html#gaa9588da889743b2119dc6664712ae51e" title="Type code that is never equal to a legitimate type code.">DBUS_TYPE_INVALID</a>)
<a name="l00319"></a>00319 {
<a name="l00320"></a>00320 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *a;
<a name="l00321"></a>00321 <span class="keywordtype">int</span> alignment;
<a name="l00322"></a>00322
<a name="l00323"></a>00323 <span class="preprocessor">#if 0</span>
<a name="l00324"></a>00324 <span class="preprocessor"></span> _dbus_verbose (<span class="stringliteral">" validating value of type %s type reader %p type_pos %d p %p end %p %d remain\n"</span>,
<a name="l00325"></a>00325 <a class="code" href="group__DBusMarshal.html#ga48a595c2b26dce6e9c25ce040e5247e5" title="Returns a string describing the given type.">_dbus_type_to_string</a> (current_type), reader, reader-><a class="code" href="structDBusTypeReader.html#a160a55f9869e297572c5aa5b6ce7bc71" title="current position in signature">type_pos</a>, p, end,
<a name="l00326"></a>00326 (<span class="keywordtype">int</span>) (end - p));
<a name="l00327"></a>00327 <span class="preprocessor">#endif</span>
<a name="l00328"></a>00328 <span class="preprocessor"></span>
<a name="l00329"></a>00329 <span class="comment">/* Guarantee that p has one byte to look at */</span>
<a name="l00330"></a>00330 <span class="keywordflow">if</span> (p == end)
<a name="l00331"></a>00331 <span class="keywordflow">return</span> DBUS_INVALID_NOT_ENOUGH_DATA;
<a name="l00332"></a>00332
<a name="l00333"></a>00333 <span class="keywordflow">switch</span> (current_type)
<a name="l00334"></a>00334 {
<a name="l00335"></a>00335 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga355d6d0998164a5eb915a26fb67fce5f" title="Type code marking an 8-bit unsigned integer.">DBUS_TYPE_BYTE</a>:
<a name="l00336"></a>00336 ++p;
<a name="l00337"></a>00337 <span class="keywordflow">break</span>;
<a name="l00338"></a>00338
<a name="l00339"></a>00339 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga624ecee83984330ad89cbf064a2b28e6" title="Type code marking a boolean.">DBUS_TYPE_BOOLEAN</a>:
<a name="l00340"></a>00340 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga49cdd4169af84ed7937f34b31f43e331" title="Type code marking a 16-bit signed integer.">DBUS_TYPE_INT16</a>:
<a name="l00341"></a>00341 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gad74b8d93a1464182ac1af7e0e2435f46" title="Type code marking a 16-bit unsigned integer.">DBUS_TYPE_UINT16</a>:
<a name="l00342"></a>00342 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga5943b497db2e1dec04fae60584a294bb" title="Type code marking a 32-bit signed integer.">DBUS_TYPE_INT32</a>:
<a name="l00343"></a>00343 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gaedb1740bd8a9174b98ac593eded25d49" title="Type code marking a 32-bit unsigned integer.">DBUS_TYPE_UINT32</a>:
<a name="l00344"></a>00344 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga59f8acaeb207b182982dfb97174b7f16" title="Type code marking a unix file descriptor.">DBUS_TYPE_UNIX_FD</a>:
<a name="l00345"></a>00345 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gabda4301c14b367f151f86769a1c27c5b" title="Type code marking a 64-bit signed integer.">DBUS_TYPE_INT64</a>:
<a name="l00346"></a>00346 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gac59cc8f824813444cc9585effd4770d7" title="Type code marking a 64-bit unsigned integer.">DBUS_TYPE_UINT64</a>:
<a name="l00347"></a>00347 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gac30c00bb6de04d0886cfbace276ec353" title="Type code marking an 8-byte double in IEEE 754 format.">DBUS_TYPE_DOUBLE</a>:
<a name="l00348"></a>00348 alignment = <a class="code" href="group__DBusMarshal.html#ga2ba80f227880e442c140bc67653b0abd" title="Gets the alignment requirement for the given type; will be 1, 4, or 8.">_dbus_type_get_alignment</a> (current_type);
<a name="l00349"></a>00349 a = _DBUS_ALIGN_ADDRESS (p, alignment);
<a name="l00350"></a>00350 <span class="keywordflow">if</span> (a >= end)
<a name="l00351"></a>00351 <span class="keywordflow">return</span> DBUS_INVALID_NOT_ENOUGH_DATA;
<a name="l00352"></a>00352 <span class="keywordflow">while</span> (p != a)
<a name="l00353"></a>00353 {
<a name="l00354"></a>00354 <span class="keywordflow">if</span> (*p != <span class="charliteral">'\0'</span>)
<a name="l00355"></a>00355 <span class="keywordflow">return</span> DBUS_INVALID_ALIGNMENT_PADDING_NOT_NUL;
<a name="l00356"></a>00356 ++p;
<a name="l00357"></a>00357 }
<a name="l00358"></a>00358
<a name="l00359"></a>00359 <span class="keywordflow">if</span> (current_type == <a class="code" href="group__DBusProtocol.html#ga624ecee83984330ad89cbf064a2b28e6" title="Type code marking a boolean.">DBUS_TYPE_BOOLEAN</a>)
<a name="l00360"></a>00360 {
<a name="l00361"></a>00361 <a class="code" href="group__DBusTypes.html#gaf513803b030613a669cc7ef199f90a8b" title="A 32-bit unsigned integer on all platforms.">dbus_uint32_t</a> v = <a class="code" href="group__DBusMarshal.html#ga50a9187b315cfcd6b311ed1b36488c05" title="Unpacks a 32 bit unsigned integer from a data pointer.">_dbus_unpack_uint32</a> (byte_order,
<a name="l00362"></a>00362 p);
<a name="l00363"></a>00363 <span class="keywordflow">if</span> (!(v == 0 || v == 1))
<a name="l00364"></a>00364 <span class="keywordflow">return</span> DBUS_INVALID_BOOLEAN_NOT_ZERO_OR_ONE;
<a name="l00365"></a>00365 }
<a name="l00366"></a>00366
<a name="l00367"></a>00367 p += alignment;
<a name="l00368"></a>00368 <span class="keywordflow">break</span>;
<a name="l00369"></a>00369
<a name="l00370"></a>00370 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga8912f600f81a773066ca03d9163613a9" title="Type code marking a D-Bus array type.">DBUS_TYPE_ARRAY</a>:
<a name="l00371"></a>00371 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga7eb77066dadf5415896b44c56d93acce" title="Type code marking a UTF-8 encoded, nul-terminated Unicode string.">DBUS_TYPE_STRING</a>:
<a name="l00372"></a>00372 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga31cc59c99a6cbbfcef71756e1390dc4c" title="Type code marking a D-Bus object path.">DBUS_TYPE_OBJECT_PATH</a>:
<a name="l00373"></a>00373 {
<a name="l00374"></a>00374 <a class="code" href="group__DBusTypes.html#gaf513803b030613a669cc7ef199f90a8b" title="A 32-bit unsigned integer on all platforms.">dbus_uint32_t</a> claimed_len;
<a name="l00375"></a>00375
<a name="l00376"></a>00376 a = _DBUS_ALIGN_ADDRESS (p, 4);
<a name="l00377"></a>00377 <span class="keywordflow">if</span> (a + 4 > end)
<a name="l00378"></a>00378 <span class="keywordflow">return</span> DBUS_INVALID_NOT_ENOUGH_DATA;
<a name="l00379"></a>00379 <span class="keywordflow">while</span> (p != a)
<a name="l00380"></a>00380 {
<a name="l00381"></a>00381 <span class="keywordflow">if</span> (*p != <span class="charliteral">'\0'</span>)
<a name="l00382"></a>00382 <span class="keywordflow">return</span> DBUS_INVALID_ALIGNMENT_PADDING_NOT_NUL;
<a name="l00383"></a>00383 ++p;
<a name="l00384"></a>00384 }
<a name="l00385"></a>00385
<a name="l00386"></a>00386 claimed_len = <a class="code" href="group__DBusMarshal.html#ga50a9187b315cfcd6b311ed1b36488c05" title="Unpacks a 32 bit unsigned integer from a data pointer.">_dbus_unpack_uint32</a> (byte_order, p);
<a name="l00387"></a>00387 p += 4;
<a name="l00388"></a>00388
<a name="l00389"></a>00389 <span class="comment">/* p may now be == end */</span>
<a name="l00390"></a>00390 _dbus_assert (p <= end);
<a name="l00391"></a>00391
<a name="l00392"></a>00392 <span class="keywordflow">if</span> (current_type == <a class="code" href="group__DBusProtocol.html#ga8912f600f81a773066ca03d9163613a9" title="Type code marking a D-Bus array type.">DBUS_TYPE_ARRAY</a>)
<a name="l00393"></a>00393 {
<a name="l00394"></a>00394 <span class="keywordtype">int</span> array_elem_type = <a class="code" href="group__DBusMarshal.html#ga6e5439f7ca5ee8a1ce943ddab7611d0d" title="Gets the type of an element of the array the reader is currently pointing to.">_dbus_type_reader_get_element_type</a> (reader);
<a name="l00395"></a>00395
<a name="l00396"></a>00396 <span class="keywordflow">if</span> (!<a class="code" href="group__DBusSignature.html#ga7093ae3b35eb073dab939dae69b8c689" title="Return TRUE if the argument is a valid typecode.">dbus_type_is_valid</a> (array_elem_type))
<a name="l00397"></a>00397 {
<a name="l00398"></a>00398 <span class="keywordflow">return</span> DBUS_INVALID_UNKNOWN_TYPECODE;
<a name="l00399"></a>00399 }
<a name="l00400"></a>00400
<a name="l00401"></a>00401 alignment = <a class="code" href="group__DBusMarshal.html#ga2ba80f227880e442c140bc67653b0abd" title="Gets the alignment requirement for the given type; will be 1, 4, or 8.">_dbus_type_get_alignment</a> (array_elem_type);
<a name="l00402"></a>00402
<a name="l00403"></a>00403 a = _DBUS_ALIGN_ADDRESS (p, alignment);
<a name="l00404"></a>00404
<a name="l00405"></a>00405 <span class="comment">/* a may now be == end */</span>
<a name="l00406"></a>00406 <span class="keywordflow">if</span> (a > end)
<a name="l00407"></a>00407 <span class="keywordflow">return</span> DBUS_INVALID_NOT_ENOUGH_DATA;
<a name="l00408"></a>00408
<a name="l00409"></a>00409 <span class="keywordflow">while</span> (p != a)
<a name="l00410"></a>00410 {
<a name="l00411"></a>00411 <span class="keywordflow">if</span> (*p != <span class="charliteral">'\0'</span>)
<a name="l00412"></a>00412 <span class="keywordflow">return</span> DBUS_INVALID_ALIGNMENT_PADDING_NOT_NUL;
<a name="l00413"></a>00413 ++p;
<a name="l00414"></a>00414 }
<a name="l00415"></a>00415 }
<a name="l00416"></a>00416
<a name="l00417"></a>00417 <span class="keywordflow">if</span> (claimed_len > (<span class="keywordtype">unsigned</span> <span class="keywordtype">long</span>) (end - p))
<a name="l00418"></a>00418 <span class="keywordflow">return</span> DBUS_INVALID_LENGTH_OUT_OF_BOUNDS;
<a name="l00419"></a>00419
<a name="l00420"></a>00420 <span class="keywordflow">if</span> (current_type == <a class="code" href="group__DBusProtocol.html#ga31cc59c99a6cbbfcef71756e1390dc4c" title="Type code marking a D-Bus object path.">DBUS_TYPE_OBJECT_PATH</a>)
<a name="l00421"></a>00421 {
<a name="l00422"></a>00422 <a class="code" href="structDBusString.html">DBusString</a> str;
<a name="l00423"></a>00423 <a class="code" href="group__DBusString.html#ga6792a5c1725faa9d635d95f7a3b5bfae" title="Initializes a constant string with a length.">_dbus_string_init_const_len</a> (&str, p, claimed_len);
<a name="l00424"></a>00424 <span class="keywordflow">if</span> (!<a class="code" href="group__DBusMarshal.html#ga616ba4a0280b10222930aedadb7ea8d9" title="Checks that the given range of the string is a valid object path name in the D-Bus protocol...">_dbus_validate_path</a> (&str, 0,
<a name="l00425"></a>00425 <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (&str)))
<a name="l00426"></a>00426 <span class="keywordflow">return</span> DBUS_INVALID_BAD_PATH;
<a name="l00427"></a>00427
<a name="l00428"></a>00428 p += claimed_len;
<a name="l00429"></a>00429 }
<a name="l00430"></a>00430 <span class="keywordflow">else</span> <span class="keywordflow">if</span> (current_type == <a class="code" href="group__DBusProtocol.html#ga7eb77066dadf5415896b44c56d93acce" title="Type code marking a UTF-8 encoded, nul-terminated Unicode string.">DBUS_TYPE_STRING</a>)
<a name="l00431"></a>00431 {
<a name="l00432"></a>00432 <a class="code" href="structDBusString.html">DBusString</a> str;
<a name="l00433"></a>00433 <a class="code" href="group__DBusString.html#ga6792a5c1725faa9d635d95f7a3b5bfae" title="Initializes a constant string with a length.">_dbus_string_init_const_len</a> (&str, p, claimed_len);
<a name="l00434"></a>00434 <span class="keywordflow">if</span> (!<a class="code" href="group__DBusString.html#ga65f0f04b7c9371406fc87343f691e8da" title="Checks that the given range of the string is valid UTF-8.">_dbus_string_validate_utf8</a> (&str, 0,
<a name="l00435"></a>00435 <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (&str)))
<a name="l00436"></a>00436 <span class="keywordflow">return</span> DBUS_INVALID_BAD_UTF8_IN_STRING;
<a name="l00437"></a>00437
<a name="l00438"></a>00438 p += claimed_len;
<a name="l00439"></a>00439 }
<a name="l00440"></a>00440 <span class="keywordflow">else</span> <span class="keywordflow">if</span> (current_type == <a class="code" href="group__DBusProtocol.html#ga8912f600f81a773066ca03d9163613a9" title="Type code marking a D-Bus array type.">DBUS_TYPE_ARRAY</a> && claimed_len > 0)
<a name="l00441"></a>00441 {
<a name="l00442"></a>00442 <a class="code" href="structDBusTypeReader.html" title="The type reader is an iterator for reading values from a block of values.">DBusTypeReader</a> sub;
<a name="l00443"></a>00443 <a class="code" href="group__DBusMarshal.html#ga0c4521d30d6650a33673a4d7f9cc007c" title="This is primarily used in unit testing, so we can verify that each invalid message is invalid for the...">DBusValidity</a> validity;
<a name="l00444"></a>00444 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *array_end;
<a name="l00445"></a>00445 <span class="keywordtype">int</span> array_elem_type;
<a name="l00446"></a>00446
<a name="l00447"></a>00447 <span class="keywordflow">if</span> (claimed_len > <a class="code" href="group__DBusProtocol.html#ga5265afa08a4c8d9f31b287a57e8cb217" title="Max length of a marshaled array in bytes (64M, 2^26) We use signed int for lengths so must be INT_MAX...">DBUS_MAXIMUM_ARRAY_LENGTH</a>)
<a name="l00448"></a>00448 <span class="keywordflow">return</span> DBUS_INVALID_ARRAY_LENGTH_EXCEEDS_MAXIMUM;
<a name="l00449"></a>00449
<a name="l00450"></a>00450 <span class="comment">/* Remember that the reader is types only, so we can't</span>
<a name="l00451"></a>00451 <span class="comment"> * use it to iterate over elements. It stays the same</span>
<a name="l00452"></a>00452 <span class="comment"> * for all elements.</span>
<a name="l00453"></a>00453 <span class="comment"> */</span>
<a name="l00454"></a>00454 <a class="code" href="group__DBusMarshal.html#ga082b410820c74b2a6ca816a8e0c91803" title="Initialize a new reader pointing to the first type and corresponding value that's a child of the curr...">_dbus_type_reader_recurse</a> (reader, &sub);
<a name="l00455"></a>00455
<a name="l00456"></a>00456 array_end = p + claimed_len;
<a name="l00457"></a>00457
<a name="l00458"></a>00458 array_elem_type = <a class="code" href="group__DBusMarshal.html#ga6e5439f7ca5ee8a1ce943ddab7611d0d" title="Gets the type of an element of the array the reader is currently pointing to.">_dbus_type_reader_get_element_type</a> (reader);
<a name="l00459"></a>00459
<a name="l00460"></a>00460 <span class="comment">/* avoid recursive call to validate_body_helper if this is an array</span>
<a name="l00461"></a>00461 <span class="comment"> * of fixed-size elements</span>
<a name="l00462"></a>00462 <span class="comment"> */</span>
<a name="l00463"></a>00463 <span class="keywordflow">if</span> (<a class="code" href="group__DBusSignature.html#ga2f89962cbd33e4ad843824157bae2093" title="Tells you whether values of this type can change length if you set them to some other value...">dbus_type_is_fixed</a> (array_elem_type))
<a name="l00464"></a>00464 {
<a name="l00465"></a>00465 <span class="comment">/* bools need to be handled differently, because they can</span>
<a name="l00466"></a>00466 <span class="comment"> * have an invalid value</span>
<a name="l00467"></a>00467 <span class="comment"> */</span>
<a name="l00468"></a>00468 <span class="keywordflow">if</span> (array_elem_type == <a class="code" href="group__DBusProtocol.html#ga624ecee83984330ad89cbf064a2b28e6" title="Type code marking a boolean.">DBUS_TYPE_BOOLEAN</a>)
<a name="l00469"></a>00469 {
<a name="l00470"></a>00470 <a class="code" href="group__DBusTypes.html#gaf513803b030613a669cc7ef199f90a8b" title="A 32-bit unsigned integer on all platforms.">dbus_uint32_t</a> v;
<a name="l00471"></a>00471 alignment = <a class="code" href="group__DBusMarshal.html#ga2ba80f227880e442c140bc67653b0abd" title="Gets the alignment requirement for the given type; will be 1, 4, or 8.">_dbus_type_get_alignment</a> (array_elem_type);
<a name="l00472"></a>00472
<a name="l00473"></a>00473 <span class="keywordflow">while</span> (p < array_end)
<a name="l00474"></a>00474 {
<a name="l00475"></a>00475 v = <a class="code" href="group__DBusMarshal.html#ga50a9187b315cfcd6b311ed1b36488c05" title="Unpacks a 32 bit unsigned integer from a data pointer.">_dbus_unpack_uint32</a> (byte_order, p);
<a name="l00476"></a>00476
<a name="l00477"></a>00477 <span class="keywordflow">if</span> (!(v == 0 || v == 1))
<a name="l00478"></a>00478 <span class="keywordflow">return</span> DBUS_INVALID_BOOLEAN_NOT_ZERO_OR_ONE;
<a name="l00479"></a>00479
<a name="l00480"></a>00480 p += alignment;
<a name="l00481"></a>00481 }
<a name="l00482"></a>00482 }
<a name="l00483"></a>00483
<a name="l00484"></a>00484 <span class="keywordflow">else</span>
<a name="l00485"></a>00485 {
<a name="l00486"></a>00486 p = array_end;
<a name="l00487"></a>00487 }
<a name="l00488"></a>00488 }
<a name="l00489"></a>00489
<a name="l00490"></a>00490 <span class="keywordflow">else</span>
<a name="l00491"></a>00491 {
<a name="l00492"></a>00492 <span class="keywordflow">while</span> (p < array_end)
<a name="l00493"></a>00493 {
<a name="l00494"></a>00494 validity = validate_body_helper (&sub, byte_order, <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>,
<a name="l00495"></a>00495 total_depth + 1,
<a name="l00496"></a>00496 p, end, &p);
<a name="l00497"></a>00497 <span class="keywordflow">if</span> (validity != DBUS_VALID)
<a name="l00498"></a>00498 <span class="keywordflow">return</span> validity;
<a name="l00499"></a>00499 }
<a name="l00500"></a>00500 }
<a name="l00501"></a>00501
<a name="l00502"></a>00502 <span class="keywordflow">if</span> (p != array_end)
<a name="l00503"></a>00503 <span class="keywordflow">return</span> DBUS_INVALID_ARRAY_LENGTH_INCORRECT;
<a name="l00504"></a>00504 }
<a name="l00505"></a>00505
<a name="l00506"></a>00506 <span class="comment">/* check nul termination */</span>
<a name="l00507"></a>00507 <span class="keywordflow">if</span> (current_type != <a class="code" href="group__DBusProtocol.html#ga8912f600f81a773066ca03d9163613a9" title="Type code marking a D-Bus array type.">DBUS_TYPE_ARRAY</a>)
<a name="l00508"></a>00508 {
<a name="l00509"></a>00509 <span class="keywordflow">if</span> (p == end)
<a name="l00510"></a>00510 <span class="keywordflow">return</span> DBUS_INVALID_NOT_ENOUGH_DATA;
<a name="l00511"></a>00511
<a name="l00512"></a>00512 <span class="keywordflow">if</span> (*p != <span class="charliteral">'\0'</span>)
<a name="l00513"></a>00513 <span class="keywordflow">return</span> DBUS_INVALID_STRING_MISSING_NUL;
<a name="l00514"></a>00514 ++p;
<a name="l00515"></a>00515 }
<a name="l00516"></a>00516 }
<a name="l00517"></a>00517 <span class="keywordflow">break</span>;
<a name="l00518"></a>00518
<a name="l00519"></a>00519 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga26ed6c20c3d9f0b50ea0a1cf80be3279" title="Type code marking a D-Bus type signature.">DBUS_TYPE_SIGNATURE</a>:
<a name="l00520"></a>00520 {
<a name="l00521"></a>00521 <a class="code" href="group__DBusTypes.html#gaf513803b030613a669cc7ef199f90a8b" title="A 32-bit unsigned integer on all platforms.">dbus_uint32_t</a> claimed_len;
<a name="l00522"></a>00522 <a class="code" href="structDBusString.html">DBusString</a> str;
<a name="l00523"></a>00523 <a class="code" href="group__DBusMarshal.html#ga0c4521d30d6650a33673a4d7f9cc007c" title="This is primarily used in unit testing, so we can verify that each invalid message is invalid for the...">DBusValidity</a> validity;
<a name="l00524"></a>00524
<a name="l00525"></a>00525 claimed_len = *p;
<a name="l00526"></a>00526 ++p;
<a name="l00527"></a>00527
<a name="l00528"></a>00528 <span class="comment">/* 1 is for nul termination */</span>
<a name="l00529"></a>00529 <span class="keywordflow">if</span> (claimed_len + 1 > (<span class="keywordtype">unsigned</span> <span class="keywordtype">long</span>) (end - p))
<a name="l00530"></a>00530 <span class="keywordflow">return</span> DBUS_INVALID_SIGNATURE_LENGTH_OUT_OF_BOUNDS;
<a name="l00531"></a>00531
<a name="l00532"></a>00532 <a class="code" href="group__DBusString.html#ga6792a5c1725faa9d635d95f7a3b5bfae" title="Initializes a constant string with a length.">_dbus_string_init_const_len</a> (&str, p, claimed_len);
<a name="l00533"></a>00533 validity =
<a name="l00534"></a>00534 <a class="code" href="group__DBusMarshal.html#ga42e50826b5cf62921728432a8e35292c" title="Verifies that the range of type_str from type_pos to type_end is a valid signature.">_dbus_validate_signature_with_reason</a> (&str, 0,
<a name="l00535"></a>00535 <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (&str));
<a name="l00536"></a>00536
<a name="l00537"></a>00537 <span class="keywordflow">if</span> (validity != DBUS_VALID)
<a name="l00538"></a>00538 <span class="keywordflow">return</span> validity;
<a name="l00539"></a>00539
<a name="l00540"></a>00540 p += claimed_len;
<a name="l00541"></a>00541
<a name="l00542"></a>00542 _dbus_assert (p < end);
<a name="l00543"></a>00543 <span class="keywordflow">if</span> (*p != <a class="code" href="group__DBusProtocol.html#gaa9588da889743b2119dc6664712ae51e" title="Type code that is never equal to a legitimate type code.">DBUS_TYPE_INVALID</a>)
<a name="l00544"></a>00544 <span class="keywordflow">return</span> DBUS_INVALID_SIGNATURE_MISSING_NUL;
<a name="l00545"></a>00545
<a name="l00546"></a>00546 ++p;
<a name="l00547"></a>00547
<a name="l00548"></a>00548 _dbus_verbose (<span class="stringliteral">"p = %p end = %p claimed_len %u\n"</span>, p, end, claimed_len);
<a name="l00549"></a>00549 }
<a name="l00550"></a>00550 <span class="keywordflow">break</span>;
<a name="l00551"></a>00551
<a name="l00552"></a>00552 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#ga4aa7a463ad2bce4e9aa95e3e397ddcf1" title="Type code marking a D-Bus variant type.">DBUS_TYPE_VARIANT</a>:
<a name="l00553"></a>00553 {
<a name="l00554"></a>00554 <span class="comment">/* 1 byte sig len, sig typecodes, align to</span>
<a name="l00555"></a>00555 <span class="comment"> * contained-type-boundary, values.</span>
<a name="l00556"></a>00556 <span class="comment"> */</span>
<a name="l00557"></a>00557
<a name="l00558"></a>00558 <span class="comment">/* In addition to normal signature validation, we need to be sure</span>
<a name="l00559"></a>00559 <span class="comment"> * the signature contains only a single (possibly container) type.</span>
<a name="l00560"></a>00560 <span class="comment"> */</span>
<a name="l00561"></a>00561 <a class="code" href="group__DBusTypes.html#gaf513803b030613a669cc7ef199f90a8b" title="A 32-bit unsigned integer on all platforms.">dbus_uint32_t</a> claimed_len;
<a name="l00562"></a>00562 <a class="code" href="structDBusString.html">DBusString</a> sig;
<a name="l00563"></a>00563 <a class="code" href="structDBusTypeReader.html" title="The type reader is an iterator for reading values from a block of values.">DBusTypeReader</a> sub;
<a name="l00564"></a>00564 <a class="code" href="group__DBusMarshal.html#ga0c4521d30d6650a33673a4d7f9cc007c" title="This is primarily used in unit testing, so we can verify that each invalid message is invalid for the...">DBusValidity</a> validity;
<a name="l00565"></a>00565 <span class="keywordtype">int</span> contained_alignment;
<a name="l00566"></a>00566 <span class="keywordtype">int</span> contained_type;
<a name="l00567"></a>00567 <a class="code" href="group__DBusMarshal.html#ga0c4521d30d6650a33673a4d7f9cc007c" title="This is primarily used in unit testing, so we can verify that each invalid message is invalid for the...">DBusValidity</a> reason;
<a name="l00568"></a>00568
<a name="l00569"></a>00569 claimed_len = *p;
<a name="l00570"></a>00570 ++p;
<a name="l00571"></a>00571
<a name="l00572"></a>00572 <span class="comment">/* + 1 for nul */</span>
<a name="l00573"></a>00573 <span class="keywordflow">if</span> (claimed_len + 1 > (<span class="keywordtype">unsigned</span> <span class="keywordtype">long</span>) (end - p))
<a name="l00574"></a>00574 <span class="keywordflow">return</span> DBUS_INVALID_VARIANT_SIGNATURE_LENGTH_OUT_OF_BOUNDS;
<a name="l00575"></a>00575
<a name="l00576"></a>00576 <a class="code" href="group__DBusString.html#ga6792a5c1725faa9d635d95f7a3b5bfae" title="Initializes a constant string with a length.">_dbus_string_init_const_len</a> (&sig, p, claimed_len);
<a name="l00577"></a>00577 reason = <a class="code" href="group__DBusMarshal.html#ga42e50826b5cf62921728432a8e35292c" title="Verifies that the range of type_str from type_pos to type_end is a valid signature.">_dbus_validate_signature_with_reason</a> (&sig, 0,
<a name="l00578"></a>00578 <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (&sig));
<a name="l00579"></a>00579 <span class="keywordflow">if</span> (!(reason == DBUS_VALID))
<a name="l00580"></a>00580 {
<a name="l00581"></a>00581 <span class="keywordflow">if</span> (reason == DBUS_VALIDITY_UNKNOWN_OOM_ERROR)
<a name="l00582"></a>00582 <span class="keywordflow">return</span> reason;
<a name="l00583"></a>00583 <span class="keywordflow">else</span>
<a name="l00584"></a>00584 <span class="keywordflow">return</span> DBUS_INVALID_VARIANT_SIGNATURE_BAD;
<a name="l00585"></a>00585 }
<a name="l00586"></a>00586
<a name="l00587"></a>00587 p += claimed_len;
<a name="l00588"></a>00588
<a name="l00589"></a>00589 <span class="keywordflow">if</span> (*p != <a class="code" href="group__DBusProtocol.html#gaa9588da889743b2119dc6664712ae51e" title="Type code that is never equal to a legitimate type code.">DBUS_TYPE_INVALID</a>)
<a name="l00590"></a>00590 <span class="keywordflow">return</span> DBUS_INVALID_VARIANT_SIGNATURE_MISSING_NUL;
<a name="l00591"></a>00591 ++p;
<a name="l00592"></a>00592
<a name="l00593"></a>00593 contained_type = <a class="code" href="group__DBusMarshal.html#ga5866a0fd058aed3396402d0456144fd2" title="Get the first type in the signature.">_dbus_first_type_in_signature</a> (&sig, 0);
<a name="l00594"></a>00594 <span class="keywordflow">if</span> (contained_type == <a class="code" href="group__DBusProtocol.html#gaa9588da889743b2119dc6664712ae51e" title="Type code that is never equal to a legitimate type code.">DBUS_TYPE_INVALID</a>)
<a name="l00595"></a>00595 <span class="keywordflow">return</span> DBUS_INVALID_VARIANT_SIGNATURE_EMPTY;
<a name="l00596"></a>00596
<a name="l00597"></a>00597 contained_alignment = <a class="code" href="group__DBusMarshal.html#ga2ba80f227880e442c140bc67653b0abd" title="Gets the alignment requirement for the given type; will be 1, 4, or 8.">_dbus_type_get_alignment</a> (contained_type);
<a name="l00598"></a>00598
<a name="l00599"></a>00599 a = _DBUS_ALIGN_ADDRESS (p, contained_alignment);
<a name="l00600"></a>00600 <span class="keywordflow">if</span> (a > end)
<a name="l00601"></a>00601 <span class="keywordflow">return</span> DBUS_INVALID_NOT_ENOUGH_DATA;
<a name="l00602"></a>00602 <span class="keywordflow">while</span> (p != a)
<a name="l00603"></a>00603 {
<a name="l00604"></a>00604 <span class="keywordflow">if</span> (*p != <span class="charliteral">'\0'</span>)
<a name="l00605"></a>00605 <span class="keywordflow">return</span> DBUS_INVALID_ALIGNMENT_PADDING_NOT_NUL;
<a name="l00606"></a>00606 ++p;
<a name="l00607"></a>00607 }
<a name="l00608"></a>00608
<a name="l00609"></a>00609 <a class="code" href="group__DBusMarshal.html#ga3a5845f555f11c33ebaa71a75abff661" title="Like _dbus_type_reader_init() but the iteration is over the signature, not over values.">_dbus_type_reader_init_types_only</a> (&sub, &sig, 0);
<a name="l00610"></a>00610
<a name="l00611"></a>00611 _dbus_assert (<a class="code" href="group__DBusMarshal.html#gab8e39cb8084247d54d7f272c51622a73" title="Gets the type of the value the reader is currently pointing to; or for a types-only reader gets the t...">_dbus_type_reader_get_current_type</a> (&sub) != <a class="code" href="group__DBusProtocol.html#gaa9588da889743b2119dc6664712ae51e" title="Type code that is never equal to a legitimate type code.">DBUS_TYPE_INVALID</a>);
<a name="l00612"></a>00612
<a name="l00613"></a>00613 validity = validate_body_helper (&sub, byte_order, <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>,
<a name="l00614"></a>00614 total_depth + 1,
<a name="l00615"></a>00615 p, end, &p);
<a name="l00616"></a>00616 <span class="keywordflow">if</span> (validity != DBUS_VALID)
<a name="l00617"></a>00617 <span class="keywordflow">return</span> validity;
<a name="l00618"></a>00618
<a name="l00619"></a>00619 <span class="keywordflow">if</span> (<a class="code" href="group__DBusMarshal.html#ga746c09512d4905f2d2fac7ed4c3c63c2" title="Skip to the next value on this "level".">_dbus_type_reader_next</a> (&sub))
<a name="l00620"></a>00620 <span class="keywordflow">return</span> DBUS_INVALID_VARIANT_SIGNATURE_SPECIFIES_MULTIPLE_VALUES;
<a name="l00621"></a>00621
<a name="l00622"></a>00622 _dbus_assert (<a class="code" href="group__DBusMarshal.html#gab8e39cb8084247d54d7f272c51622a73" title="Gets the type of the value the reader is currently pointing to; or for a types-only reader gets the t...">_dbus_type_reader_get_current_type</a> (&sub) == <a class="code" href="group__DBusProtocol.html#gaa9588da889743b2119dc6664712ae51e" title="Type code that is never equal to a legitimate type code.">DBUS_TYPE_INVALID</a>);
<a name="l00623"></a>00623 }
<a name="l00624"></a>00624 <span class="keywordflow">break</span>;
<a name="l00625"></a>00625
<a name="l00626"></a>00626 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gad2fc8e6c50e0ad927f4249fb9e53ca97" title="Type code used to represent a dict entry; however, this type code does not appear in type signatures...">DBUS_TYPE_DICT_ENTRY</a>:
<a name="l00627"></a>00627 <span class="keywordflow">case</span> <a class="code" href="group__DBusProtocol.html#gae4b22a74b9edb0ec0ff6e0294794d3f9" title="STRUCT and DICT_ENTRY are sort of special since their codes can't appear in a type string...">DBUS_TYPE_STRUCT</a>:
<a name="l00628"></a>00628 {
<a name="l00629"></a>00629 <a class="code" href="structDBusTypeReader.html" title="The type reader is an iterator for reading values from a block of values.">DBusTypeReader</a> sub;
<a name="l00630"></a>00630 <a class="code" href="group__DBusMarshal.html#ga0c4521d30d6650a33673a4d7f9cc007c" title="This is primarily used in unit testing, so we can verify that each invalid message is invalid for the...">DBusValidity</a> validity;
<a name="l00631"></a>00631
<a name="l00632"></a>00632 a = _DBUS_ALIGN_ADDRESS (p, 8);
<a name="l00633"></a>00633 <span class="keywordflow">if</span> (a > end)
<a name="l00634"></a>00634 <span class="keywordflow">return</span> DBUS_INVALID_NOT_ENOUGH_DATA;
<a name="l00635"></a>00635 <span class="keywordflow">while</span> (p != a)
<a name="l00636"></a>00636 {
<a name="l00637"></a>00637 <span class="keywordflow">if</span> (*p != <span class="charliteral">'\0'</span>)
<a name="l00638"></a>00638 <span class="keywordflow">return</span> DBUS_INVALID_ALIGNMENT_PADDING_NOT_NUL;
<a name="l00639"></a>00639 ++p;
<a name="l00640"></a>00640 }
<a name="l00641"></a>00641
<a name="l00642"></a>00642 <a class="code" href="group__DBusMarshal.html#ga082b410820c74b2a6ca816a8e0c91803" title="Initialize a new reader pointing to the first type and corresponding value that's a child of the curr...">_dbus_type_reader_recurse</a> (reader, &sub);
<a name="l00643"></a>00643
<a name="l00644"></a>00644 validity = validate_body_helper (&sub, byte_order, <a class="code" href="group__DBusMacros.html#gaa8cecfc5c5c054d2875c03e77b7be15d" title="Expands to "1".">TRUE</a>,
<a name="l00645"></a>00645 total_depth + 1,
<a name="l00646"></a>00646 p, end, &p);
<a name="l00647"></a>00647 <span class="keywordflow">if</span> (validity != DBUS_VALID)
<a name="l00648"></a>00648 <span class="keywordflow">return</span> validity;
<a name="l00649"></a>00649 }
<a name="l00650"></a>00650 <span class="keywordflow">break</span>;
<a name="l00651"></a>00651
<a name="l00652"></a>00652 <span class="keywordflow">default</span>:
<a name="l00653"></a>00653 _dbus_assert_not_reached (<span class="stringliteral">"invalid typecode in supposedly-validated signature"</span>);
<a name="l00654"></a>00654 <span class="keywordflow">break</span>;
<a name="l00655"></a>00655 }
<a name="l00656"></a>00656
<a name="l00657"></a>00657 <span class="preprocessor">#if 0</span>
<a name="l00658"></a>00658 <span class="preprocessor"></span> _dbus_verbose (<span class="stringliteral">" validated value of type %s type reader %p type_pos %d p %p end %p %d remain\n"</span>,
<a name="l00659"></a>00659 <a class="code" href="group__DBusMarshal.html#ga48a595c2b26dce6e9c25ce040e5247e5" title="Returns a string describing the given type.">_dbus_type_to_string</a> (current_type), reader, reader-><a class="code" href="structDBusTypeReader.html#a160a55f9869e297572c5aa5b6ce7bc71" title="current position in signature">type_pos</a>, p, end,
<a name="l00660"></a>00660 (<span class="keywordtype">int</span>) (end - p));
<a name="l00661"></a>00661 <span class="preprocessor">#endif</span>
<a name="l00662"></a>00662 <span class="preprocessor"></span>
<a name="l00663"></a>00663 <span class="keywordflow">if</span> (p > end)
<a name="l00664"></a>00664 {
<a name="l00665"></a>00665 _dbus_verbose (<span class="stringliteral">"not enough data!!! p = %p end = %p end-p = %d\n"</span>,
<a name="l00666"></a>00666 p, end, (<span class="keywordtype">int</span>) (end - p));
<a name="l00667"></a>00667 <span class="keywordflow">return</span> DBUS_INVALID_NOT_ENOUGH_DATA;
<a name="l00668"></a>00668 }
<a name="l00669"></a>00669
<a name="l00670"></a>00670 <span class="keywordflow">if</span> (walk_reader_to_end)
<a name="l00671"></a>00671 <a class="code" href="group__DBusMarshal.html#ga746c09512d4905f2d2fac7ed4c3c63c2" title="Skip to the next value on this "level".">_dbus_type_reader_next</a> (reader);
<a name="l00672"></a>00672 <span class="keywordflow">else</span>
<a name="l00673"></a>00673 <span class="keywordflow">break</span>;
<a name="l00674"></a>00674 }
<a name="l00675"></a>00675
<a name="l00676"></a>00676 <span class="keywordflow">if</span> (new_p)
<a name="l00677"></a>00677 *new_p = p;
<a name="l00678"></a>00678
<a name="l00679"></a>00679 <span class="keywordflow">return</span> DBUS_VALID;
<a name="l00680"></a>00680 }
<a name="l00681"></a>00681
<a name="l00702"></a>00702 <a class="code" href="group__DBusMarshal.html#ga0c4521d30d6650a33673a4d7f9cc007c" title="This is primarily used in unit testing, so we can verify that each invalid message is invalid for the...">DBusValidity</a>
<a name="l00703"></a><a class="code" href="group__DBusMarshal.html#gae997884ec8091aacb5492c2b5a7eaef9">00703</a> <a class="code" href="group__DBusMarshal.html#gae997884ec8091aacb5492c2b5a7eaef9" title="Verifies that the range of value_str from value_pos to value_end is a legitimate value of type expect...">_dbus_validate_body_with_reason</a> (<span class="keyword">const</span> <a class="code" href="structDBusString.html">DBusString</a> *expected_signature,
<a name="l00704"></a>00704 <span class="keywordtype">int</span> expected_signature_start,
<a name="l00705"></a>00705 <span class="keywordtype">int</span> byte_order,
<a name="l00706"></a>00706 <span class="keywordtype">int</span> *bytes_remaining,
<a name="l00707"></a>00707 <span class="keyword">const</span> <a class="code" href="structDBusString.html">DBusString</a> *value_str,
<a name="l00708"></a>00708 <span class="keywordtype">int</span> value_pos,
<a name="l00709"></a>00709 <span class="keywordtype">int</span> len)
<a name="l00710"></a>00710 {
<a name="l00711"></a>00711 <a class="code" href="structDBusTypeReader.html" title="The type reader is an iterator for reading values from a block of values.">DBusTypeReader</a> reader;
<a name="l00712"></a>00712 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *p;
<a name="l00713"></a>00713 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *end;
<a name="l00714"></a>00714 <a class="code" href="group__DBusMarshal.html#ga0c4521d30d6650a33673a4d7f9cc007c" title="This is primarily used in unit testing, so we can verify that each invalid message is invalid for the...">DBusValidity</a> validity;
<a name="l00715"></a>00715
<a name="l00716"></a>00716 _dbus_assert (len >= 0);
<a name="l00717"></a>00717 _dbus_assert (value_pos >= 0);
<a name="l00718"></a>00718 _dbus_assert (value_pos <= <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (value_str) - len);
<a name="l00719"></a>00719
<a name="l00720"></a>00720 _dbus_verbose (<span class="stringliteral">"validating body from pos %d len %d sig '%s'\n"</span>,
<a name="l00721"></a>00721 value_pos, len, <a class="code" href="group__DBusString.html#ga8c202a65e938f9bdb859fc6705a4f1bb" title="const version of _dbus_string_get_data_len().">_dbus_string_get_const_data_len</a> (expected_signature,
<a name="l00722"></a>00722 expected_signature_start,
<a name="l00723"></a>00723 0));
<a name="l00724"></a>00724
<a name="l00725"></a>00725 <a class="code" href="group__DBusMarshal.html#ga3a5845f555f11c33ebaa71a75abff661" title="Like _dbus_type_reader_init() but the iteration is over the signature, not over values.">_dbus_type_reader_init_types_only</a> (&reader,
<a name="l00726"></a>00726 expected_signature, expected_signature_start);
<a name="l00727"></a>00727
<a name="l00728"></a>00728 p = <a class="code" href="group__DBusString.html#ga8c202a65e938f9bdb859fc6705a4f1bb" title="const version of _dbus_string_get_data_len().">_dbus_string_get_const_data_len</a> (value_str, value_pos, len);
<a name="l00729"></a>00729 end = p + len;
<a name="l00730"></a>00730
<a name="l00731"></a>00731 validity = validate_body_helper (&reader, byte_order, <a class="code" href="group__DBusMacros.html#gaa8cecfc5c5c054d2875c03e77b7be15d" title="Expands to "1".">TRUE</a>, 0, p, end, &p);
<a name="l00732"></a>00732 <span class="keywordflow">if</span> (validity != DBUS_VALID)
<a name="l00733"></a>00733 <span class="keywordflow">return</span> validity;
<a name="l00734"></a>00734
<a name="l00735"></a>00735 <span class="keywordflow">if</span> (bytes_remaining)
<a name="l00736"></a>00736 {
<a name="l00737"></a>00737 *bytes_remaining = end - p;
<a name="l00738"></a>00738 <span class="keywordflow">return</span> DBUS_VALID;
<a name="l00739"></a>00739 }
<a name="l00740"></a>00740 <span class="keywordflow">else</span> <span class="keywordflow">if</span> (p < end)
<a name="l00741"></a>00741 <span class="keywordflow">return</span> DBUS_INVALID_TOO_MUCH_DATA;
<a name="l00742"></a>00742 <span class="keywordflow">else</span>
<a name="l00743"></a>00743 {
<a name="l00744"></a>00744 _dbus_assert (p == end);
<a name="l00745"></a>00745 <span class="keywordflow">return</span> DBUS_VALID;
<a name="l00746"></a>00746 }
<a name="l00747"></a>00747 }
<a name="l00748"></a>00748
<a name="l00753"></a><a class="code" href="group__DBusMarshal.html#ga8eb3b26eec8ebfeef410caa4acc9570d">00753</a> <span class="preprocessor">#define VALID_INITIAL_NAME_CHARACTER(c) \</span>
<a name="l00754"></a>00754 <span class="preprocessor"> ( ((c) >= 'A' && (c) <= 'Z') || \</span>
<a name="l00755"></a>00755 <span class="preprocessor"> ((c) >= 'a' && (c) <= 'z') || \</span>
<a name="l00756"></a>00756 <span class="preprocessor"> ((c) == '_') )</span>
<a name="l00757"></a>00757 <span class="preprocessor"></span>
<a name="l00762"></a><a class="code" href="group__DBusMarshal.html#ga11d63128bf5c1b7e0164be7072c6c6c7">00762</a> <span class="preprocessor">#define VALID_NAME_CHARACTER(c) \</span>
<a name="l00763"></a>00763 <span class="preprocessor"> ( ((c) >= '0' && (c) <= '9') || \</span>
<a name="l00764"></a>00764 <span class="preprocessor"> ((c) >= 'A' && (c) <= 'Z') || \</span>
<a name="l00765"></a>00765 <span class="preprocessor"> ((c) >= 'a' && (c) <= 'z') || \</span>
<a name="l00766"></a>00766 <span class="preprocessor"> ((c) == '_') )</span>
<a name="l00767"></a>00767 <span class="preprocessor"></span>
<a name="l00784"></a>00784 <a class="code" href="group__DBusTypes.html#ga39c9cb0f3a2a8ad6f55cc4855d035349" title="A boolean, valid values are TRUE and FALSE.">dbus_bool_t</a>
<a name="l00785"></a><a class="code" href="group__DBusMarshal.html#ga616ba4a0280b10222930aedadb7ea8d9">00785</a> <a class="code" href="group__DBusMarshal.html#ga616ba4a0280b10222930aedadb7ea8d9" title="Checks that the given range of the string is a valid object path name in the D-Bus protocol...">_dbus_validate_path</a> (<span class="keyword">const</span> <a class="code" href="structDBusString.html">DBusString</a> *str,
<a name="l00786"></a>00786 <span class="keywordtype">int</span> start,
<a name="l00787"></a>00787 <span class="keywordtype">int</span> len)
<a name="l00788"></a>00788 {
<a name="l00789"></a>00789 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *s;
<a name="l00790"></a>00790 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *end;
<a name="l00791"></a>00791 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *last_slash;
<a name="l00792"></a>00792
<a name="l00793"></a>00793 _dbus_assert (start >= 0);
<a name="l00794"></a>00794 _dbus_assert (len >= 0);
<a name="l00795"></a>00795 _dbus_assert (start <= <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (str));
<a name="l00796"></a>00796
<a name="l00797"></a>00797 <span class="keywordflow">if</span> (len > <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (str) - start)
<a name="l00798"></a>00798 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l00799"></a>00799
<a name="l00800"></a>00800 <span class="keywordflow">if</span> (len == 0)
<a name="l00801"></a>00801 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l00802"></a>00802
<a name="l00803"></a>00803 s = <a class="code" href="group__DBusString.html#ga33e20241ae7d784624f97d89b1a0539e" title="Gets the raw character buffer from a const string.">_dbus_string_get_const_data</a> (str) + start;
<a name="l00804"></a>00804 end = s + len;
<a name="l00805"></a>00805
<a name="l00806"></a>00806 <span class="keywordflow">if</span> (*s != <span class="charliteral">'/'</span>)
<a name="l00807"></a>00807 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l00808"></a>00808 last_slash = s;
<a name="l00809"></a>00809 ++s;
<a name="l00810"></a>00810
<a name="l00811"></a>00811 <span class="keywordflow">while</span> (s != end)
<a name="l00812"></a>00812 {
<a name="l00813"></a>00813 <span class="keywordflow">if</span> (*s == <span class="charliteral">'/'</span>)
<a name="l00814"></a>00814 {
<a name="l00815"></a>00815 <span class="keywordflow">if</span> ((s - last_slash) < 2)
<a name="l00816"></a>00816 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>; <span class="comment">/* no empty path components allowed */</span>
<a name="l00817"></a>00817
<a name="l00818"></a>00818 last_slash = s;
<a name="l00819"></a>00819 }
<a name="l00820"></a>00820 <span class="keywordflow">else</span>
<a name="l00821"></a>00821 {
<a name="l00822"></a>00822 <span class="keywordflow">if</span> (_DBUS_UNLIKELY (!<a class="code" href="group__DBusMarshal.html#ga11d63128bf5c1b7e0164be7072c6c6c7" title="Determine wether the given character is valid as a second or later character in a name...">VALID_NAME_CHARACTER</a> (*s)))
<a name="l00823"></a>00823 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l00824"></a>00824 }
<a name="l00825"></a>00825
<a name="l00826"></a>00826 ++s;
<a name="l00827"></a>00827 }
<a name="l00828"></a>00828
<a name="l00829"></a>00829 <span class="keywordflow">if</span> ((end - last_slash) < 2 &&
<a name="l00830"></a>00830 len > 1)
<a name="l00831"></a>00831 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>; <span class="comment">/* trailing slash not allowed unless the string is "/" */</span>
<a name="l00832"></a>00832
<a name="l00833"></a>00833 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa8cecfc5c5c054d2875c03e77b7be15d" title="Expands to "1".">TRUE</a>;
<a name="l00834"></a>00834 }
<a name="l00835"></a>00835
<a name="l00836"></a>00836 <span class="keyword">const</span> <span class="keywordtype">char</span> *
<a name="l00837"></a>00837 _dbus_validity_to_error_message (<a class="code" href="group__DBusMarshal.html#ga0c4521d30d6650a33673a4d7f9cc007c" title="This is primarily used in unit testing, so we can verify that each invalid message is invalid for the...">DBusValidity</a> validity)
<a name="l00838"></a>00838 {
<a name="l00839"></a>00839 <span class="keywordflow">switch</span> (validity)
<a name="l00840"></a>00840 {
<a name="l00841"></a>00841 <span class="keywordflow">case</span> DBUS_VALIDITY_UNKNOWN_OOM_ERROR: <span class="keywordflow">return</span> <span class="stringliteral">"Out of memory"</span>;
<a name="l00842"></a>00842 <span class="keywordflow">case</span> DBUS_INVALID_FOR_UNKNOWN_REASON: <span class="keywordflow">return</span> <span class="stringliteral">"Unknown reason"</span>;
<a name="l00843"></a>00843 <span class="keywordflow">case</span> DBUS_VALID_BUT_INCOMPLETE: <span class="keywordflow">return</span> <span class="stringliteral">"Valid but incomplete"</span>;
<a name="l00844"></a>00844 <span class="keywordflow">case</span> DBUS_VALIDITY_UNKNOWN: <span class="keywordflow">return</span> <span class="stringliteral">"Validity unknown"</span>;
<a name="l00845"></a>00845 <span class="keywordflow">case</span> DBUS_VALID: <span class="keywordflow">return</span> <span class="stringliteral">"Valid"</span>;
<a name="l00846"></a>00846 <span class="keywordflow">case</span> DBUS_INVALID_UNKNOWN_TYPECODE: <span class="keywordflow">return</span> <span class="stringliteral">"Unknown typecode"</span>;
<a name="l00847"></a>00847 <span class="keywordflow">case</span> DBUS_INVALID_MISSING_ARRAY_ELEMENT_TYPE: <span class="keywordflow">return</span> <span class="stringliteral">"Missing array element type"</span>;
<a name="l00848"></a>00848 <span class="keywordflow">case</span> DBUS_INVALID_SIGNATURE_TOO_LONG: <span class="keywordflow">return</span> <span class="stringliteral">"Signature is too long"</span>;
<a name="l00849"></a>00849 <span class="keywordflow">case</span> DBUS_INVALID_EXCEEDED_MAXIMUM_ARRAY_RECURSION: <span class="keywordflow">return</span> <span class="stringliteral">"Exceeded maximum array recursion"</span>;
<a name="l00850"></a>00850 <span class="keywordflow">case</span> DBUS_INVALID_EXCEEDED_MAXIMUM_STRUCT_RECURSION: <span class="keywordflow">return</span> <span class="stringliteral">"Exceeded maximum struct recursion"</span>;
<a name="l00851"></a>00851 <span class="keywordflow">case</span> DBUS_INVALID_STRUCT_ENDED_BUT_NOT_STARTED: <span class="keywordflow">return</span> <span class="stringliteral">"Struct ended but not started"</span>;
<a name="l00852"></a>00852 <span class="keywordflow">case</span> DBUS_INVALID_STRUCT_STARTED_BUT_NOT_ENDED: <span class="keywordflow">return</span> <span class="stringliteral">"Struct started but not ended"</span>;
<a name="l00853"></a>00853 <span class="keywordflow">case</span> DBUS_INVALID_STRUCT_HAS_NO_FIELDS: <span class="keywordflow">return</span> <span class="stringliteral">"Struct has no fields"</span>;
<a name="l00854"></a>00854 <span class="keywordflow">case</span> DBUS_INVALID_ALIGNMENT_PADDING_NOT_NUL: <span class="keywordflow">return</span> <span class="stringliteral">"Alignment padding not null"</span>;
<a name="l00855"></a>00855 <span class="keywordflow">case</span> DBUS_INVALID_BOOLEAN_NOT_ZERO_OR_ONE: <span class="keywordflow">return</span> <span class="stringliteral">"Boolean is not zero or one"</span>;
<a name="l00856"></a>00856 <span class="keywordflow">case</span> DBUS_INVALID_NOT_ENOUGH_DATA: <span class="keywordflow">return</span> <span class="stringliteral">"Not enough data"</span>;
<a name="l00857"></a>00857 <span class="keywordflow">case</span> DBUS_INVALID_TOO_MUCH_DATA: <span class="keywordflow">return</span> <span class="stringliteral">"Too much data"</span>;
<a name="l00858"></a>00858 <span class="keywordflow">case</span> DBUS_INVALID_BAD_BYTE_ORDER: <span class="keywordflow">return</span> <span class="stringliteral">"Bad byte order"</span>;
<a name="l00859"></a>00859 <span class="keywordflow">case</span> DBUS_INVALID_BAD_PROTOCOL_VERSION: <span class="keywordflow">return</span> <span class="stringliteral">"Bad protocol version"</span>;
<a name="l00860"></a>00860 <span class="keywordflow">case</span> DBUS_INVALID_BAD_MESSAGE_TYPE: <span class="keywordflow">return</span> <span class="stringliteral">"Bad message type"</span>;
<a name="l00861"></a>00861 <span class="keywordflow">case</span> DBUS_INVALID_BAD_SERIAL: <span class="keywordflow">return</span> <span class="stringliteral">"Bad serial"</span>;
<a name="l00862"></a>00862 <span class="keywordflow">case</span> DBUS_INVALID_INSANE_FIELDS_ARRAY_LENGTH: <span class="keywordflow">return</span> <span class="stringliteral">"Insane fields array length"</span>;
<a name="l00863"></a>00863 <span class="keywordflow">case</span> DBUS_INVALID_INSANE_BODY_LENGTH: <span class="keywordflow">return</span> <span class="stringliteral">"Insane body length"</span>;
<a name="l00864"></a>00864 <span class="keywordflow">case</span> DBUS_INVALID_MESSAGE_TOO_LONG: <span class="keywordflow">return</span> <span class="stringliteral">"Message too long"</span>;
<a name="l00865"></a>00865 <span class="keywordflow">case</span> DBUS_INVALID_HEADER_FIELD_CODE: <span class="keywordflow">return</span> <span class="stringliteral">"Header field code"</span>;
<a name="l00866"></a>00866 <span class="keywordflow">case</span> DBUS_INVALID_HEADER_FIELD_HAS_WRONG_TYPE: <span class="keywordflow">return</span> <span class="stringliteral">"Header field has wrong type"</span>;
<a name="l00867"></a>00867 <span class="keywordflow">case</span> DBUS_INVALID_USES_LOCAL_INTERFACE: <span class="keywordflow">return</span> <span class="stringliteral">"Uses local interface"</span>;
<a name="l00868"></a>00868 <span class="keywordflow">case</span> DBUS_INVALID_USES_LOCAL_PATH: <span class="keywordflow">return</span> <span class="stringliteral">"Uses local path"</span>;
<a name="l00869"></a>00869 <span class="keywordflow">case</span> DBUS_INVALID_HEADER_FIELD_APPEARS_TWICE: <span class="keywordflow">return</span> <span class="stringliteral">"Header field appears twice"</span>;
<a name="l00870"></a>00870 <span class="keywordflow">case</span> DBUS_INVALID_BAD_DESTINATION: <span class="keywordflow">return</span> <span class="stringliteral">"Bad destination"</span>;
<a name="l00871"></a>00871 <span class="keywordflow">case</span> DBUS_INVALID_BAD_INTERFACE: <span class="keywordflow">return</span> <span class="stringliteral">"Bad interface"</span>;
<a name="l00872"></a>00872 <span class="keywordflow">case</span> DBUS_INVALID_BAD_MEMBER: <span class="keywordflow">return</span> <span class="stringliteral">"Bad member"</span>;
<a name="l00873"></a>00873 <span class="keywordflow">case</span> DBUS_INVALID_BAD_ERROR_NAME: <span class="keywordflow">return</span> <span class="stringliteral">"Bad error name"</span>;
<a name="l00874"></a>00874 <span class="keywordflow">case</span> DBUS_INVALID_BAD_SENDER: <span class="keywordflow">return</span> <span class="stringliteral">"Bad sender"</span>;
<a name="l00875"></a>00875 <span class="keywordflow">case</span> DBUS_INVALID_MISSING_PATH: <span class="keywordflow">return</span> <span class="stringliteral">"Missing path"</span>;
<a name="l00876"></a>00876 <span class="keywordflow">case</span> DBUS_INVALID_MISSING_INTERFACE: <span class="keywordflow">return</span> <span class="stringliteral">"Missing interface"</span>;
<a name="l00877"></a>00877 <span class="keywordflow">case</span> DBUS_INVALID_MISSING_MEMBER: <span class="keywordflow">return</span> <span class="stringliteral">"Missing member"</span>;
<a name="l00878"></a>00878 <span class="keywordflow">case</span> DBUS_INVALID_MISSING_ERROR_NAME: <span class="keywordflow">return</span> <span class="stringliteral">"Missing error name"</span>;
<a name="l00879"></a>00879 <span class="keywordflow">case</span> DBUS_INVALID_MISSING_REPLY_SERIAL: <span class="keywordflow">return</span> <span class="stringliteral">"Missing reply serial"</span>;
<a name="l00880"></a>00880 <span class="keywordflow">case</span> DBUS_INVALID_LENGTH_OUT_OF_BOUNDS: <span class="keywordflow">return</span> <span class="stringliteral">"Length out of bounds"</span>;
<a name="l00881"></a>00881 <span class="keywordflow">case</span> DBUS_INVALID_ARRAY_LENGTH_EXCEEDS_MAXIMUM: <span class="keywordflow">return</span> <span class="stringliteral">"Array length exceeds maximum"</span>;
<a name="l00882"></a>00882 <span class="keywordflow">case</span> DBUS_INVALID_BAD_PATH: <span class="keywordflow">return</span> <span class="stringliteral">"Bad path"</span>;
<a name="l00883"></a>00883 <span class="keywordflow">case</span> DBUS_INVALID_SIGNATURE_LENGTH_OUT_OF_BOUNDS: <span class="keywordflow">return</span> <span class="stringliteral">"Signature length out of bounds"</span>;
<a name="l00884"></a>00884 <span class="keywordflow">case</span> DBUS_INVALID_BAD_UTF8_IN_STRING: <span class="keywordflow">return</span> <span class="stringliteral">"Bad utf8 in string"</span>;
<a name="l00885"></a>00885 <span class="keywordflow">case</span> DBUS_INVALID_ARRAY_LENGTH_INCORRECT: <span class="keywordflow">return</span> <span class="stringliteral">"Array length incorrect"</span>;
<a name="l00886"></a>00886 <span class="keywordflow">case</span> DBUS_INVALID_VARIANT_SIGNATURE_LENGTH_OUT_OF_BOUNDS: <span class="keywordflow">return</span> <span class="stringliteral">"Variant signature length out of bounds"</span>;
<a name="l00887"></a>00887 <span class="keywordflow">case</span> DBUS_INVALID_VARIANT_SIGNATURE_BAD: <span class="keywordflow">return</span> <span class="stringliteral">"Variant signature bad"</span>;
<a name="l00888"></a>00888 <span class="keywordflow">case</span> DBUS_INVALID_VARIANT_SIGNATURE_EMPTY: <span class="keywordflow">return</span> <span class="stringliteral">"Variant signature empty"</span>;
<a name="l00889"></a>00889 <span class="keywordflow">case</span> DBUS_INVALID_VARIANT_SIGNATURE_SPECIFIES_MULTIPLE_VALUES: <span class="keywordflow">return</span> <span class="stringliteral">"Variant signature specifies multiple values"</span>;
<a name="l00890"></a>00890 <span class="keywordflow">case</span> DBUS_INVALID_VARIANT_SIGNATURE_MISSING_NUL: <span class="keywordflow">return</span> <span class="stringliteral">"Variant signature missing nul"</span>;
<a name="l00891"></a>00891 <span class="keywordflow">case</span> DBUS_INVALID_STRING_MISSING_NUL: <span class="keywordflow">return</span> <span class="stringliteral">"String missing nul"</span>;
<a name="l00892"></a>00892 <span class="keywordflow">case</span> DBUS_INVALID_SIGNATURE_MISSING_NUL: <span class="keywordflow">return</span> <span class="stringliteral">"Signature missing nul"</span>;
<a name="l00893"></a>00893 <span class="keywordflow">case</span> DBUS_INVALID_EXCEEDED_MAXIMUM_DICT_ENTRY_RECURSION: <span class="keywordflow">return</span> <span class="stringliteral">"Exceeded maximum dict entry recursion"</span>;
<a name="l00894"></a>00894 <span class="keywordflow">case</span> DBUS_INVALID_DICT_ENTRY_ENDED_BUT_NOT_STARTED: <span class="keywordflow">return</span> <span class="stringliteral">"Dict entry ended but not started"</span>;
<a name="l00895"></a>00895 <span class="keywordflow">case</span> DBUS_INVALID_DICT_ENTRY_STARTED_BUT_NOT_ENDED: <span class="keywordflow">return</span> <span class="stringliteral">"Dict entry started but not ended"</span>;
<a name="l00896"></a>00896 <span class="keywordflow">case</span> DBUS_INVALID_DICT_ENTRY_HAS_NO_FIELDS: <span class="keywordflow">return</span> <span class="stringliteral">"Dict entry has no fields"</span>;
<a name="l00897"></a>00897 <span class="keywordflow">case</span> DBUS_INVALID_DICT_ENTRY_HAS_ONLY_ONE_FIELD: <span class="keywordflow">return</span> <span class="stringliteral">"Dict entry has only one field"</span>;
<a name="l00898"></a>00898 <span class="keywordflow">case</span> DBUS_INVALID_DICT_ENTRY_HAS_TOO_MANY_FIELDS: <span class="keywordflow">return</span> <span class="stringliteral">"Dict entry has too many fields"</span>;
<a name="l00899"></a>00899 <span class="keywordflow">case</span> DBUS_INVALID_DICT_ENTRY_NOT_INSIDE_ARRAY: <span class="keywordflow">return</span> <span class="stringliteral">"Dict entry not inside array"</span>;
<a name="l00900"></a>00900 <span class="keywordflow">case</span> DBUS_INVALID_DICT_KEY_MUST_BE_BASIC_TYPE: <span class="keywordflow">return</span> <span class="stringliteral">"Dict key must be basic type"</span>;
<a name="l00901"></a>00901 <span class="keywordflow">case</span> DBUS_INVALID_NESTED_TOO_DEEPLY: <span class="keywordflow">return</span> <span class="stringliteral">"Variants cannot be used to create a hugely recursive tree of values"</span>;
<a name="l00902"></a>00902 <span class="keywordflow">default</span>:
<a name="l00903"></a>00903 <span class="keywordflow">return</span> <span class="stringliteral">"Invalid"</span>;
<a name="l00904"></a>00904 }
<a name="l00905"></a>00905 }
<a name="l00906"></a>00906
<a name="l00920"></a>00920 <a class="code" href="group__DBusTypes.html#ga39c9cb0f3a2a8ad6f55cc4855d035349" title="A boolean, valid values are TRUE and FALSE.">dbus_bool_t</a>
<a name="l00921"></a><a class="code" href="group__DBusMarshal.html#ga0ad919783f887a9b6f428e262beaeed9">00921</a> <a class="code" href="group__DBusMarshal.html#ga0ad919783f887a9b6f428e262beaeed9" title="Checks that the given range of the string is a valid interface name in the D-Bus protocol.">_dbus_validate_interface</a> (<span class="keyword">const</span> <a class="code" href="structDBusString.html">DBusString</a> *str,
<a name="l00922"></a>00922 <span class="keywordtype">int</span> start,
<a name="l00923"></a>00923 <span class="keywordtype">int</span> len)
<a name="l00924"></a>00924 {
<a name="l00925"></a>00925 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *s;
<a name="l00926"></a>00926 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *end;
<a name="l00927"></a>00927 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *iface;
<a name="l00928"></a>00928 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *last_dot;
<a name="l00929"></a>00929
<a name="l00930"></a>00930 _dbus_assert (start >= 0);
<a name="l00931"></a>00931 _dbus_assert (len >= 0);
<a name="l00932"></a>00932 _dbus_assert (start <= <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (str));
<a name="l00933"></a>00933
<a name="l00934"></a>00934 <span class="keywordflow">if</span> (len > <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (str) - start)
<a name="l00935"></a>00935 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l00936"></a>00936
<a name="l00937"></a>00937 <span class="keywordflow">if</span> (len > <a class="code" href="group__DBusProtocol.html#ga80186ac58d031d83127d1ad6644b0011" title="Max length in bytes of a bus name, interface, or member (not object path, paths are unlimited)...">DBUS_MAXIMUM_NAME_LENGTH</a>)
<a name="l00938"></a>00938 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l00939"></a>00939
<a name="l00940"></a>00940 <span class="keywordflow">if</span> (len == 0)
<a name="l00941"></a>00941 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l00942"></a>00942
<a name="l00943"></a>00943 last_dot = <a class="code" href="group__DBusMacros.html#ga070d2ce7b6bb7e5c05602aa8c308d0c4" title="A null pointer, defined appropriately for C or C++.">NULL</a>;
<a name="l00944"></a>00944 iface = <a class="code" href="group__DBusString.html#ga33e20241ae7d784624f97d89b1a0539e" title="Gets the raw character buffer from a const string.">_dbus_string_get_const_data</a> (str) + start;
<a name="l00945"></a>00945 end = iface + len;
<a name="l00946"></a>00946 s = iface;
<a name="l00947"></a>00947
<a name="l00948"></a>00948 <span class="comment">/* check special cases of first char so it doesn't have to be done</span>
<a name="l00949"></a>00949 <span class="comment"> * in the loop. Note we know len > 0</span>
<a name="l00950"></a>00950 <span class="comment"> */</span>
<a name="l00951"></a>00951 <span class="keywordflow">if</span> (_DBUS_UNLIKELY (*s == <span class="charliteral">'.'</span>)) <span class="comment">/* disallow starting with a . */</span>
<a name="l00952"></a>00952 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l00953"></a>00953 <span class="keywordflow">else</span> <span class="keywordflow">if</span> (_DBUS_UNLIKELY (!<a class="code" href="group__DBusMarshal.html#ga8eb3b26eec8ebfeef410caa4acc9570d" title="Determine wether the given character is valid as the first character in a name.">VALID_INITIAL_NAME_CHARACTER</a> (*s)))
<a name="l00954"></a>00954 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l00955"></a>00955 <span class="keywordflow">else</span>
<a name="l00956"></a>00956 ++s;
<a name="l00957"></a>00957
<a name="l00958"></a>00958 <span class="keywordflow">while</span> (s != end)
<a name="l00959"></a>00959 {
<a name="l00960"></a>00960 <span class="keywordflow">if</span> (*s == <span class="charliteral">'.'</span>)
<a name="l00961"></a>00961 {
<a name="l00962"></a>00962 <span class="keywordflow">if</span> (_DBUS_UNLIKELY ((s + 1) == end))
<a name="l00963"></a>00963 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l00964"></a>00964 <span class="keywordflow">else</span> <span class="keywordflow">if</span> (_DBUS_UNLIKELY (!<a class="code" href="group__DBusMarshal.html#ga8eb3b26eec8ebfeef410caa4acc9570d" title="Determine wether the given character is valid as the first character in a name.">VALID_INITIAL_NAME_CHARACTER</a> (*(s + 1))))
<a name="l00965"></a>00965 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l00966"></a>00966 last_dot = s;
<a name="l00967"></a>00967 ++s; <span class="comment">/* we just validated the next char, so skip two */</span>
<a name="l00968"></a>00968 }
<a name="l00969"></a>00969 <span class="keywordflow">else</span> <span class="keywordflow">if</span> (_DBUS_UNLIKELY (!<a class="code" href="group__DBusMarshal.html#ga11d63128bf5c1b7e0164be7072c6c6c7" title="Determine wether the given character is valid as a second or later character in a name...">VALID_NAME_CHARACTER</a> (*s)))
<a name="l00970"></a>00970 {
<a name="l00971"></a>00971 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l00972"></a>00972 }
<a name="l00973"></a>00973
<a name="l00974"></a>00974 ++s;
<a name="l00975"></a>00975 }
<a name="l00976"></a>00976
<a name="l00977"></a>00977 <span class="keywordflow">if</span> (_DBUS_UNLIKELY (last_dot == <a class="code" href="group__DBusMacros.html#ga070d2ce7b6bb7e5c05602aa8c308d0c4" title="A null pointer, defined appropriately for C or C++.">NULL</a>))
<a name="l00978"></a>00978 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l00979"></a>00979
<a name="l00980"></a>00980 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa8cecfc5c5c054d2875c03e77b7be15d" title="Expands to "1".">TRUE</a>;
<a name="l00981"></a>00981 }
<a name="l00982"></a>00982
<a name="l00996"></a>00996 <a class="code" href="group__DBusTypes.html#ga39c9cb0f3a2a8ad6f55cc4855d035349" title="A boolean, valid values are TRUE and FALSE.">dbus_bool_t</a>
<a name="l00997"></a><a class="code" href="group__DBusMarshal.html#gaf647272768029cb23a4e0d3f493587da">00997</a> <a class="code" href="group__DBusMarshal.html#gaf647272768029cb23a4e0d3f493587da" title="Checks that the given range of the string is a valid member name in the D-Bus protocol.">_dbus_validate_member</a> (<span class="keyword">const</span> <a class="code" href="structDBusString.html">DBusString</a> *str,
<a name="l00998"></a>00998 <span class="keywordtype">int</span> start,
<a name="l00999"></a>00999 <span class="keywordtype">int</span> len)
<a name="l01000"></a>01000 {
<a name="l01001"></a>01001 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *s;
<a name="l01002"></a>01002 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *end;
<a name="l01003"></a>01003 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *member;
<a name="l01004"></a>01004
<a name="l01005"></a>01005 _dbus_assert (start >= 0);
<a name="l01006"></a>01006 _dbus_assert (len >= 0);
<a name="l01007"></a>01007 _dbus_assert (start <= <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (str));
<a name="l01008"></a>01008
<a name="l01009"></a>01009 <span class="keywordflow">if</span> (len > <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (str) - start)
<a name="l01010"></a>01010 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01011"></a>01011
<a name="l01012"></a>01012 <span class="keywordflow">if</span> (len > <a class="code" href="group__DBusProtocol.html#ga80186ac58d031d83127d1ad6644b0011" title="Max length in bytes of a bus name, interface, or member (not object path, paths are unlimited)...">DBUS_MAXIMUM_NAME_LENGTH</a>)
<a name="l01013"></a>01013 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01014"></a>01014
<a name="l01015"></a>01015 <span class="keywordflow">if</span> (len == 0)
<a name="l01016"></a>01016 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01017"></a>01017
<a name="l01018"></a>01018 member = <a class="code" href="group__DBusString.html#ga33e20241ae7d784624f97d89b1a0539e" title="Gets the raw character buffer from a const string.">_dbus_string_get_const_data</a> (str) + start;
<a name="l01019"></a>01019 end = member + len;
<a name="l01020"></a>01020 s = member;
<a name="l01021"></a>01021
<a name="l01022"></a>01022 <span class="comment">/* check special cases of first char so it doesn't have to be done</span>
<a name="l01023"></a>01023 <span class="comment"> * in the loop. Note we know len > 0</span>
<a name="l01024"></a>01024 <span class="comment"> */</span>
<a name="l01025"></a>01025
<a name="l01026"></a>01026 <span class="keywordflow">if</span> (_DBUS_UNLIKELY (!<a class="code" href="group__DBusMarshal.html#ga8eb3b26eec8ebfeef410caa4acc9570d" title="Determine wether the given character is valid as the first character in a name.">VALID_INITIAL_NAME_CHARACTER</a> (*s)))
<a name="l01027"></a>01027 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01028"></a>01028 <span class="keywordflow">else</span>
<a name="l01029"></a>01029 ++s;
<a name="l01030"></a>01030
<a name="l01031"></a>01031 <span class="keywordflow">while</span> (s != end)
<a name="l01032"></a>01032 {
<a name="l01033"></a>01033 <span class="keywordflow">if</span> (_DBUS_UNLIKELY (!<a class="code" href="group__DBusMarshal.html#ga11d63128bf5c1b7e0164be7072c6c6c7" title="Determine wether the given character is valid as a second or later character in a name...">VALID_NAME_CHARACTER</a> (*s)))
<a name="l01034"></a>01034 {
<a name="l01035"></a>01035 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01036"></a>01036 }
<a name="l01037"></a>01037
<a name="l01038"></a>01038 ++s;
<a name="l01039"></a>01039 }
<a name="l01040"></a>01040
<a name="l01041"></a>01041 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa8cecfc5c5c054d2875c03e77b7be15d" title="Expands to "1".">TRUE</a>;
<a name="l01042"></a>01042 }
<a name="l01043"></a>01043
<a name="l01057"></a>01057 <a class="code" href="group__DBusTypes.html#ga39c9cb0f3a2a8ad6f55cc4855d035349" title="A boolean, valid values are TRUE and FALSE.">dbus_bool_t</a>
<a name="l01058"></a><a class="code" href="group__DBusMarshal.html#ga6d8075f3b60e2e71aad061aa44b120fe">01058</a> <a class="code" href="group__DBusMarshal.html#ga6d8075f3b60e2e71aad061aa44b120fe" title="Checks that the given range of the string is a valid error name in the D-Bus protocol.">_dbus_validate_error_name</a> (<span class="keyword">const</span> <a class="code" href="structDBusString.html">DBusString</a> *str,
<a name="l01059"></a>01059 <span class="keywordtype">int</span> start,
<a name="l01060"></a>01060 <span class="keywordtype">int</span> len)
<a name="l01061"></a>01061 {
<a name="l01062"></a>01062 <span class="comment">/* Same restrictions as interface name at the moment */</span>
<a name="l01063"></a>01063 <span class="keywordflow">return</span> <a class="code" href="group__DBusMarshal.html#ga0ad919783f887a9b6f428e262beaeed9" title="Checks that the given range of the string is a valid interface name in the D-Bus protocol.">_dbus_validate_interface</a> (str, start, len);
<a name="l01064"></a>01064 }
<a name="l01065"></a>01065
<a name="l01070"></a><a class="code" href="group__DBusMarshal.html#ga1ec58a1d7a35131dd81c6eb99b9a2950">01070</a> <span class="preprocessor">#define VALID_INITIAL_BUS_NAME_CHARACTER(c) \</span>
<a name="l01071"></a>01071 <span class="preprocessor"> ( ((c) >= 'A' && (c) <= 'Z') || \</span>
<a name="l01072"></a>01072 <span class="preprocessor"> ((c) >= 'a' && (c) <= 'z') || \</span>
<a name="l01073"></a>01073 <span class="preprocessor"> ((c) == '_') || ((c) == '-'))</span>
<a name="l01074"></a>01074 <span class="preprocessor"></span>
<a name="l01079"></a><a class="code" href="group__DBusMarshal.html#ga225bd010fa638c822271047157a880f2">01079</a> <span class="preprocessor">#define VALID_BUS_NAME_CHARACTER(c) \</span>
<a name="l01080"></a>01080 <span class="preprocessor"> ( ((c) >= '0' && (c) <= '9') || \</span>
<a name="l01081"></a>01081 <span class="preprocessor"> ((c) >= 'A' && (c) <= 'Z') || \</span>
<a name="l01082"></a>01082 <span class="preprocessor"> ((c) >= 'a' && (c) <= 'z') || \</span>
<a name="l01083"></a>01083 <span class="preprocessor"> ((c) == '_') || ((c) == '-'))</span>
<a name="l01084"></a>01084 <span class="preprocessor"></span>
<a name="l01085"></a>01085 <span class="keyword">static</span> <a class="code" href="group__DBusTypes.html#ga39c9cb0f3a2a8ad6f55cc4855d035349" title="A boolean, valid values are TRUE and FALSE.">dbus_bool_t</a>
<a name="l01086"></a>01086 _dbus_validate_bus_name_full (<span class="keyword">const</span> <a class="code" href="structDBusString.html">DBusString</a> *str,
<a name="l01087"></a>01087 <span class="keywordtype">int</span> start,
<a name="l01088"></a>01088 <span class="keywordtype">int</span> len,
<a name="l01089"></a>01089 <a class="code" href="group__DBusTypes.html#ga39c9cb0f3a2a8ad6f55cc4855d035349" title="A boolean, valid values are TRUE and FALSE.">dbus_bool_t</a> is_namespace)
<a name="l01090"></a>01090 {
<a name="l01091"></a>01091 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *s;
<a name="l01092"></a>01092 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *end;
<a name="l01093"></a>01093 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *iface;
<a name="l01094"></a>01094 <span class="keyword">const</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> *last_dot;
<a name="l01095"></a>01095
<a name="l01096"></a>01096 _dbus_assert (start >= 0);
<a name="l01097"></a>01097 _dbus_assert (len >= 0);
<a name="l01098"></a>01098 _dbus_assert (start <= <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (str));
<a name="l01099"></a>01099
<a name="l01100"></a>01100 <span class="keywordflow">if</span> (len > <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (str) - start)
<a name="l01101"></a>01101 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01102"></a>01102
<a name="l01103"></a>01103 <span class="keywordflow">if</span> (len > <a class="code" href="group__DBusProtocol.html#ga80186ac58d031d83127d1ad6644b0011" title="Max length in bytes of a bus name, interface, or member (not object path, paths are unlimited)...">DBUS_MAXIMUM_NAME_LENGTH</a>)
<a name="l01104"></a>01104 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01105"></a>01105
<a name="l01106"></a>01106 <span class="keywordflow">if</span> (len == 0)
<a name="l01107"></a>01107 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01108"></a>01108
<a name="l01109"></a>01109 last_dot = <a class="code" href="group__DBusMacros.html#ga070d2ce7b6bb7e5c05602aa8c308d0c4" title="A null pointer, defined appropriately for C or C++.">NULL</a>;
<a name="l01110"></a>01110 iface = <a class="code" href="group__DBusString.html#ga33e20241ae7d784624f97d89b1a0539e" title="Gets the raw character buffer from a const string.">_dbus_string_get_const_data</a> (str) + start;
<a name="l01111"></a>01111 end = iface + len;
<a name="l01112"></a>01112 s = iface;
<a name="l01113"></a>01113
<a name="l01114"></a>01114 <span class="comment">/* check special cases of first char so it doesn't have to be done</span>
<a name="l01115"></a>01115 <span class="comment"> * in the loop. Note we know len > 0</span>
<a name="l01116"></a>01116 <span class="comment"> */</span>
<a name="l01117"></a>01117 <span class="keywordflow">if</span> (*s == <span class="charliteral">':'</span>)
<a name="l01118"></a>01118 {
<a name="l01119"></a>01119 <span class="comment">/* unique name */</span>
<a name="l01120"></a>01120 ++s;
<a name="l01121"></a>01121 <span class="keywordflow">while</span> (s != end)
<a name="l01122"></a>01122 {
<a name="l01123"></a>01123 <span class="keywordflow">if</span> (*s == <span class="charliteral">'.'</span>)
<a name="l01124"></a>01124 {
<a name="l01125"></a>01125 <span class="keywordflow">if</span> (_DBUS_UNLIKELY ((s + 1) == end))
<a name="l01126"></a>01126 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01127"></a>01127 <span class="keywordflow">if</span> (_DBUS_UNLIKELY (!<a class="code" href="group__DBusMarshal.html#ga225bd010fa638c822271047157a880f2" title="Determine wether the given character is valid as a second or later character in a bus name...">VALID_BUS_NAME_CHARACTER</a> (*(s + 1))))
<a name="l01128"></a>01128 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01129"></a>01129 ++s; <span class="comment">/* we just validated the next char, so skip two */</span>
<a name="l01130"></a>01130 }
<a name="l01131"></a>01131 <span class="keywordflow">else</span> <span class="keywordflow">if</span> (_DBUS_UNLIKELY (!<a class="code" href="group__DBusMarshal.html#ga225bd010fa638c822271047157a880f2" title="Determine wether the given character is valid as a second or later character in a bus name...">VALID_BUS_NAME_CHARACTER</a> (*s)))
<a name="l01132"></a>01132 {
<a name="l01133"></a>01133 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01134"></a>01134 }
<a name="l01135"></a>01135
<a name="l01136"></a>01136 ++s;
<a name="l01137"></a>01137 }
<a name="l01138"></a>01138
<a name="l01139"></a>01139 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa8cecfc5c5c054d2875c03e77b7be15d" title="Expands to "1".">TRUE</a>;
<a name="l01140"></a>01140 }
<a name="l01141"></a>01141 <span class="keywordflow">else</span> <span class="keywordflow">if</span> (_DBUS_UNLIKELY (*s == <span class="charliteral">'.'</span>)) <span class="comment">/* disallow starting with a . */</span>
<a name="l01142"></a>01142 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01143"></a>01143 <span class="keywordflow">else</span> <span class="keywordflow">if</span> (_DBUS_UNLIKELY (!<a class="code" href="group__DBusMarshal.html#ga1ec58a1d7a35131dd81c6eb99b9a2950" title="Determine wether the given character is valid as the first character in a bus name.">VALID_INITIAL_BUS_NAME_CHARACTER</a> (*s)))
<a name="l01144"></a>01144 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01145"></a>01145 <span class="keywordflow">else</span>
<a name="l01146"></a>01146 ++s;
<a name="l01147"></a>01147
<a name="l01148"></a>01148 <span class="keywordflow">while</span> (s != end)
<a name="l01149"></a>01149 {
<a name="l01150"></a>01150 <span class="keywordflow">if</span> (*s == <span class="charliteral">'.'</span>)
<a name="l01151"></a>01151 {
<a name="l01152"></a>01152 <span class="keywordflow">if</span> (_DBUS_UNLIKELY ((s + 1) == end))
<a name="l01153"></a>01153 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01154"></a>01154 <span class="keywordflow">else</span> <span class="keywordflow">if</span> (_DBUS_UNLIKELY (!<a class="code" href="group__DBusMarshal.html#ga1ec58a1d7a35131dd81c6eb99b9a2950" title="Determine wether the given character is valid as the first character in a bus name.">VALID_INITIAL_BUS_NAME_CHARACTER</a> (*(s + 1))))
<a name="l01155"></a>01155 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01156"></a>01156 last_dot = s;
<a name="l01157"></a>01157 ++s; <span class="comment">/* we just validated the next char, so skip two */</span>
<a name="l01158"></a>01158 }
<a name="l01159"></a>01159 <span class="keywordflow">else</span> <span class="keywordflow">if</span> (_DBUS_UNLIKELY (!<a class="code" href="group__DBusMarshal.html#ga225bd010fa638c822271047157a880f2" title="Determine wether the given character is valid as a second or later character in a bus name...">VALID_BUS_NAME_CHARACTER</a> (*s)))
<a name="l01160"></a>01160 {
<a name="l01161"></a>01161 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01162"></a>01162 }
<a name="l01163"></a>01163
<a name="l01164"></a>01164 ++s;
<a name="l01165"></a>01165 }
<a name="l01166"></a>01166
<a name="l01167"></a>01167 <span class="keywordflow">if</span> (!is_namespace && _DBUS_UNLIKELY (last_dot == <a class="code" href="group__DBusMacros.html#ga070d2ce7b6bb7e5c05602aa8c308d0c4" title="A null pointer, defined appropriately for C or C++.">NULL</a>))
<a name="l01168"></a>01168 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01169"></a>01169
<a name="l01170"></a>01170 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa8cecfc5c5c054d2875c03e77b7be15d" title="Expands to "1".">TRUE</a>;
<a name="l01171"></a>01171 }
<a name="l01172"></a>01172
<a name="l01186"></a>01186 <a class="code" href="group__DBusTypes.html#ga39c9cb0f3a2a8ad6f55cc4855d035349" title="A boolean, valid values are TRUE and FALSE.">dbus_bool_t</a>
<a name="l01187"></a><a class="code" href="group__DBusMarshal.html#gaab91a04fa2a96b8ce8843beae7327cd0">01187</a> <a class="code" href="group__DBusMarshal.html#gaab91a04fa2a96b8ce8843beae7327cd0" title="Checks that the given range of the string is a valid bus name in the D-Bus protocol.">_dbus_validate_bus_name</a> (<span class="keyword">const</span> <a class="code" href="structDBusString.html">DBusString</a> *str,
<a name="l01188"></a>01188 <span class="keywordtype">int</span> start,
<a name="l01189"></a>01189 <span class="keywordtype">int</span> len)
<a name="l01190"></a>01190 {
<a name="l01191"></a>01191 <span class="keywordflow">return</span> _dbus_validate_bus_name_full (str, start, len, <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>);
<a name="l01192"></a>01192 }
<a name="l01193"></a>01193
<a name="l01207"></a>01207 <a class="code" href="group__DBusTypes.html#ga39c9cb0f3a2a8ad6f55cc4855d035349" title="A boolean, valid values are TRUE and FALSE.">dbus_bool_t</a>
<a name="l01208"></a><a class="code" href="group__DBusMarshal.html#ga0d034ebf7eb41cede67c86757ce22261">01208</a> <a class="code" href="group__DBusMarshal.html#ga0d034ebf7eb41cede67c86757ce22261" title="Checks that the given range of the string is a prefix of a valid bus name in the D-Bus protocol...">_dbus_validate_bus_namespace</a> (<span class="keyword">const</span> <a class="code" href="structDBusString.html">DBusString</a> *str,
<a name="l01209"></a>01209 <span class="keywordtype">int</span> start,
<a name="l01210"></a>01210 <span class="keywordtype">int</span> len)
<a name="l01211"></a>01211 {
<a name="l01212"></a>01212 <span class="keywordflow">return</span> _dbus_validate_bus_name_full (str, start, len, <a class="code" href="group__DBusMacros.html#gaa8cecfc5c5c054d2875c03e77b7be15d" title="Expands to "1".">TRUE</a>);
<a name="l01213"></a>01213 }
<a name="l01214"></a>01214
<a name="l01227"></a>01227 <a class="code" href="group__DBusTypes.html#ga39c9cb0f3a2a8ad6f55cc4855d035349" title="A boolean, valid values are TRUE and FALSE.">dbus_bool_t</a>
<a name="l01228"></a><a class="code" href="group__DBusMarshal.html#ga8d7aa58f6484d5d24f275dd65f101676">01228</a> <a class="code" href="group__DBusMarshal.html#ga8d7aa58f6484d5d24f275dd65f101676" title="Checks that the given range of the string is a valid message type signature in the D-Bus protocol...">_dbus_validate_signature</a> (<span class="keyword">const</span> <a class="code" href="structDBusString.html">DBusString</a> *str,
<a name="l01229"></a>01229 <span class="keywordtype">int</span> start,
<a name="l01230"></a>01230 <span class="keywordtype">int</span> len)
<a name="l01231"></a>01231 {
<a name="l01232"></a>01232 _dbus_assert (start >= 0);
<a name="l01233"></a>01233 _dbus_assert (start <= <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (str));
<a name="l01234"></a>01234 _dbus_assert (len >= 0);
<a name="l01235"></a>01235
<a name="l01236"></a>01236 <span class="keywordflow">if</span> (len > <a class="code" href="group__DBusString.html#gaa5136e6fd2c5188f4b88de7863369c6d" title="Gets the length of a string (not including nul termination).">_dbus_string_get_length</a> (str) - start)
<a name="l01237"></a>01237 <span class="keywordflow">return</span> <a class="code" href="group__DBusMacros.html#gaa93f0eb578d23995850d61f7d61c55c1" title="Expands to "0".">FALSE</a>;
<a name="l01238"></a>01238
<a name="l01239"></a>01239 <span class="keywordflow">return</span> <a class="code" href="group__DBusMarshal.html#ga42e50826b5cf62921728432a8e35292c" title="Verifies that the range of type_str from type_pos to type_end is a valid signature.">_dbus_validate_signature_with_reason</a> (str, start, len) == DBUS_VALID;
<a name="l01240"></a>01240 }
<a name="l01241"></a>01241
<a name="l01243"></a>01243 <a class="code" href="group__DBusMarshal.html#ga2d30023893c9483413f63d2b8d4e1fb9" title="Define a name check to be used in _dbus_return_if_fail() statements.">DEFINE_DBUS_NAME_CHECK</a>(path)
<a name="l01245"></a>01245 <a class="code" href="group__DBusMarshal.html#ga2d30023893c9483413f63d2b8d4e1fb9" title="Define a name check to be used in _dbus_return_if_fail() statements.">DEFINE_DBUS_NAME_CHECK</a>(interface)
<a name="l01247"></a>01247 <a class="code" href="group__DBusMarshal.html#ga2d30023893c9483413f63d2b8d4e1fb9" title="Define a name check to be used in _dbus_return_if_fail() statements.">DEFINE_DBUS_NAME_CHECK</a>(member)
<a name="l01249"></a>01249 <a class="code" href="group__DBusMarshal.html#ga2d30023893c9483413f63d2b8d4e1fb9" title="Define a name check to be used in _dbus_return_if_fail() statements.">DEFINE_DBUS_NAME_CHECK</a>(error_name)
<a name="l01251"></a>01251 <a class="code" href="group__DBusMarshal.html#ga2d30023893c9483413f63d2b8d4e1fb9" title="Define a name check to be used in _dbus_return_if_fail() statements.">DEFINE_DBUS_NAME_CHECK</a>(bus_name)
<a name="l01253"></a>01253 <a class="code" href="group__DBusMarshal.html#ga2d30023893c9483413f63d2b8d4e1fb9" title="Define a name check to be used in _dbus_return_if_fail() statements.">DEFINE_DBUS_NAME_CHECK</a>(signature)
<a name="l01255"></a>01255 <a class="code" href="group__DBusMarshal.html#ga2d30023893c9483413f63d2b8d4e1fb9" title="Define a name check to be used in _dbus_return_if_fail() statements.">DEFINE_DBUS_NAME_CHECK</a>(utf8)
<a name="l01256"></a>01256
<a name="l01259"></a>01259 <span class="comment">/* tests in dbus-marshal-validate-util.c */</span>
</pre></div></div><!-- contents -->
<hr class="footer"/><address class="footer"><small>
Generated on Thu Mar 3 2016 17:50:30 for D-Bus by  <a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.7.6.1
</small></address>
</body>
</html>