exceptionnotes.htm

The goal of this library is to make ODBC recordsets look just like an STL container. As a user, you

            <li><font size="2" face="Courier New">ParseTableList(string
                tableList)</font></li>
            <li><font size="2" face="Courier New">set_io_handler(IOHandler&lt;DataObj,
                ParamObj&gt; h)</font></li>
            <li><font size="2" face="Courier New">template&lt;class
                UserHandler&gt; get_io_handler(const UserHandler
                *dummy)</font></li>
            <li><font size="2" face="Courier New">swap(DBView&lt;DataObj,
                ParamObj&gt; &amp;other)</font></li>
        </ul>
    </li>
    <li><font size="4" face="Times New Roman"><tt>all </tt></font><font
        size="2" face="Courier New"><tt>dtl_iostate </tt></font><font
        size="4" face="Times New Roman"><tt>public member
        functions</tt></font></li>
    <li><font size="4" face="Times New Roman"><tt>all </tt></font><font
        size="2" face="Courier New"><tt>dtl_ios_base </tt></font><font
        size="4" face="Times New Roman"><tt>public member
        functions</tt></font></li>
    <li><font size="4" face="Times New Roman"><tt>all </tt></font><font
        size="2" face="Courier New"><tt>DynamicBCA&lt;DataObj,
        BCA&gt; </tt></font><font size="4" face="Times New Roman"><tt>public
        member functions</tt></font></li>
    <li><font size="4" face="Times New Roman"><tt>all </tt></font><font
        size="2" face="Courier New"><tt>DynamicDBView&lt;ParamObj,
        BPA&gt; </tt></font><font size="4" face="Times New Roman"><tt>public
        member functions</tt></font></li>
    <li><font size="4" face="Times New Roman"><tt>all </tt></font><font
        size="2" face="Courier New"><tt>DynamicIndexedDBView&lt;View&gt;
        </tt></font><font size="4" face="Times New Roman"><tt>public
        member functions</tt></font></li>
    <li><font size="2" face="Courier New"><tt>DynamicRowBCA </tt></font><font
        size="4" face="Times New Roman"><tt>public member
        functions:</tt></font><ul>
            <li><font size="2" face="Courier New">operator=(const
                DynamicRowBCA &amp;other)</font></li>
            <li><font size="2" face="Courier New">swap(DynamicRowBCA
                &amp;other)</font></li>
        </ul>
    </li>
    <li><font size="2" face="Courier New">ETI_Map - same as
        map&lt;string, TypeTranslation&gt;</font></li>
    <li><font size="4" face="Times New Roman"><tt>all </tt></font><font
        size="2" face="Courier New">IndexedDBView&lt;View&gt; </font><font
        size="4" face="Times New Roman"><tt>public member
        functions except range </tt></font><font size="3"><tt>insert()</tt></font><font
        size="4" face="Times New Roman"><tt> (Excludes call to </tt></font><font
        size="3"><tt>fetch() </tt></font><font size="4"
        face="Times New Roman"><tt>-- most members call </tt></font><font
        size="3"><tt>fetch() </tt></font><font size="4"
        face="Times New Roman"><tt>to initialize the object if it
        is not already built from the database which technically
        means the operation has a possibly non-atomic effect on
        the object. We exclude </tt></font><font size="3"><tt>fetch()</tt></font><font
        size="4" face="Times New Roman"><tt> effects for all
        methods.)</tt></font></li>
    <li><font size="4" face="Times New Roman"><tt>all </tt></font><font
        size="2" face="Courier New"><tt>MemPtr </tt></font><font
        size="4" face="Times New Roman"><tt>public member
        functions</tt></font></li>
    <li><font size="4" face="Times New Roman"><tt>all </tt></font><font
        size="2" face="Courier New"><tt>TypeTranslation </tt></font><font
        size="4" face="Times New Roman"><tt>public member
        functions</tt></font></li>
    <li><font size="4" face="Times New Roman"><tt>all </tt></font><font
        size="2" face="Courier New"><tt>ValidatedObject</tt></font><font
        size="4" face="Times New Roman"><tt> public member
        functions</tt></font></li>
    <li><font size="4" face="Times New Roman"><tt>all </tt></font><font
        size="2" face="Courier New"><tt>variant_cc_t </tt></font><font
        size="4" face="Times New Roman"><tt>public member
        functions </tt></font><a
        href="http://www.stlport.org/doc/exception_safety.html#1"><font
        size="2" face="Courier New">*</font></a><font size="2"
        face="Courier New"> </font></li>
    <li><font size="2" face="Courier New">all <tt>variant_field </tt></font><font
        size="4" face="Times New Roman"><tt>member functions </tt></font></li>
    <li><font size="4" face="Times New Roman"><tt>all </tt></font><font
        size="2" face="Courier New"><tt>variant_row </tt></font><font
        size="4" face="Times New Roman"><tt>public member
        functions</tt></font></li>
    <li><font size="2" face="Courier New">all <tt>variant_row_fields
        </tt></font><font size="4" face="Times New Roman"><tt>public
        member functions</tt></font></li>
    <li><font size="2" face="Courier New">all <tt>variant_t </tt></font><font
        size="4" face="Times New Roman"><tt>public member
        functions</tt></font></li>
    <li><font size="3">all container</font><font size="2"
        face="Courier New"> const </font><font size="3">member
        functions </font><a
        href="http://www.stlport.org/doc/exception_safety.html#1"><font
        size="3">*</font></a><font size="2" face="Courier New"> </font></li>
    <li><font size="3">all constructors, by language definition (included
        for completeness)</font></li>
    <li><font size="3">all destructors (no throw)</font><a
        href="http://www.stlport.org/doc/exception_safety.html#1"><font
        size="3">* </font></a></li>
</ul>

<h2><font size="2" face="Courier New">Basic Client Requirements</font></h2>

<ul>
    <li><font size="2" face="Courier New">DB_iterator&lt;DataObj,
        ParamObj&gt;: </font><font size="3" face="Courier New">(</font><font
        size="2" face="Courier New">all iterator operations,
        including all members in the derived classes of
        DB_iterator&lt;DataObj, ParamObj&gt;, are guaranteed not
        to throw if the </font><font size="3"><tt>IOHandler </tt></font><font
        size="2" face="Courier New">for that iterator always
        returns dtl_ios_base::SUPPRESS_ERROR, see section on
        IOHandler for further explanation. All basic client
        requirements below for iterators assume that any
        IOHandler returns dtl_ios_base::THROW_EXCEPTION as this
        worst case scenario defines what formal requirements we
        must have overall on iterators)</font></li>
</ul>

<ul>
    <li><font size="2"><tt>DBView&lt;DataObj, ParamObj&gt;::select_iterator
        </tt></font><font size="2" face="Courier New">member
        functions: </font><ul>
            <li><font size="2"><tt>operator*(), operator-&gt;(),
                operator++()</tt></font><font size="3"><tt> - </tt></font><font
                size="4"><tt>weak guarantee as object mutated -
                only consistency maintained</tt></font></li>
        </ul>
    </li>
</ul>

<ul>
    <li><font size="2"><tt>DBView&lt;DataObj, ParamObj&gt;::insert_iterator
        </tt></font><font size="2" face="Courier New">member
        functions: </font><ul>
            <li><font size="2"><tt>operator=(const DataObj
                &amp;data) </tt></font><font size="3"><tt>- </tt></font><font
                size="4"><tt>weak guarantee as object mutated -
                only consistency maintained - </tt><strong><tt>and
                </tt></strong></font><font size="2"><tt>DataObj </tt></font><font
                size="3" face="Courier New">guaranteed copyable</font></li>
            <li><font size="2"><tt>operator++() </tt></font><font
                size="3"><tt>- </tt></font><font size="4"><tt>weak
                guarantee as object mutated - only consistency
                maintained</tt></font></li>
        </ul>
    </li>
    <li><font size="2"><tt>DBView&lt;DataObj, ParamObj&gt;::update_iterator
        </tt></font><font size="2" face="Courier New">member
        functions: </font><ul>
            <li><font size="2"><tt>operator=(const DataObj
                &amp;data) </tt></font><font size="3"><tt>- </tt></font><font
                size="4"><tt>weak guarantee as object mutated -
                only consistency maintained - </tt><strong><tt>and
                </tt></strong></font><font size="2"><tt>DataObj </tt></font><font
                size="3" face="Courier New">guaranteed copyable</font></li>
            <li><font size="2"><tt>operator++() </tt></font><font
                size="3"><tt>- </tt></font><font size="4"><tt>weak
                guarantee as object mutated - only consistency
                maintained</tt></font></li>
        </ul>
    </li>
    <li><font size="2"><tt>DBView&lt;DataObj, ParamObj&gt;::delete_iterator
        </tt></font><font size="2" face="Courier New">member
        functions: </font><ul>
            <li><font size="2"><tt>operator=(const DataObj
                &amp;data) </tt></font><font size="3"><tt>- </tt></font><font
                size="4"><tt>weak guarantee as object mutated -
                only consistency maintained - </tt><strong><tt>and
                </tt></strong></font><font size="2"><tt>DataObj </tt></font><font
                size="3" face="Courier New">guaranteed copyable</font></li>
            <li><font size="2"><tt>operator++() </tt></font><font
                size="3"><tt>- </tt></font><font size="4"><tt>weak
                guarantee as object mutated - only consistency
                maintained</tt></font></li>
        </ul>
    </li>
</ul>

<ul>
    <li><font size="4"><tt>all </tt></font><font size="2"><tt>variant_cc_t
        </tt></font><font size="4"><tt>member functions -
        guarantee is up to the client for function invokes,
        otherwise strong guarantee</tt></font></li>
    <li><font size="2" face="Courier New">all destructors (no
        throw) - weak guarantee only as object mutated</font></li>
</ul>

<h3><a name="additional_requirements"></a><font size="5"
face="Courier New"><b>Strong guarantee requirements for other
mutating container operations</b></font></h3>

<p><a name="2"></a><font size="2" face="Courier New"><i>Operations
labelled with * are guaranteed to return normally if all
additional requirements have been met) </i></font></p>

<table border="2" cellpadding="2" width="80%">
    <caption align="top"><font size="2" face="Courier New"><b>Definition
    of terms</b></font></caption>
    <font size="2" face="Courier New"><TBODY></font>
    <tr>
        <td valign="top"><font size="2" face="Courier New"><b><i>Term</i></b></font></td>
        <td><font size="2" face="Courier New"><b><i>Meaning, when
        applied to a type </i></b><b><i><tt>T<br>
        </tt></i></b><i>(</i><i><tt>x</tt></i><i> and </i><i><tt>y</tt></i><i>of
        type </i><i><tt>T</tt></i><i>)</i></font></td>
    </tr>
    <tr>
        <td valign="top"><font size="2" face="Courier New">&quot;guaranteed
        copyable&quot;</font></td>
        <td valign="top"><font size="2" face="Courier New"><tt>T
        z(x)</tt> and <tt>x = y</tt> may not exit via exception.</font></td>
    </tr>
    <tr>
        <td><font size="2" face="Courier New">&quot;guaranteed
        equality-comparable&quot;</font></td>
        <td valign="top"><font size="2" face="Courier New"><tt>x
        == y</tt> may not exit via exception.</font></td>
    </tr>
    <tr>
        <td><font size="2" face="Courier New">&quot;guaranteed
        comparable&quot;</font></td>
        <td><font size="2" face="Courier New"><tt>x &lt; y</tt>
        may not exit via exception.</font></td>
    </tr>
</table>