<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html><head><meta http-equiv="Content-Type" content="text/html;charset=UTF-8">
<title>Loki: Loki::StaticChecker< ExceptionPolicy > Class Template Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css">
<link href="doxygen.css" rel="stylesheet" type="text/css">
</head><body>
<!-- Generated by Doxygen 1.5.8 -->
<div class="navigation" id="top">
<div class="tabs">
<ul>
<li><a href="main.html"><span>Main Page</span></a></li>
<li><a href="modules.html"><span>Modules</span></a></li>
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
<li class="current"><a href="annotated.html"><span>Classes</span></a></li>
<li><a href="files.html"><span>Files</span></a></li>
<li>
<form action="search.php" method="get">
<table cellspacing="0" cellpadding="0" border="0">
<tr>
<td><label> <u>S</u>earch for </label></td>
<td><input type="text" name="query" value="" size="20" accesskey="s"/></td>
</tr>
</table>
</form>
</li>
</ul>
</div>
<div class="tabs">
<ul>
<li><a href="annotated.html"><span>Class List</span></a></li>
<li><a href="classes.html"><span>Class Index</span></a></li>
<li><a href="hierarchy.html"><span>Class Hierarchy</span></a></li>
<li><a href="functions.html"><span>Class Members</span></a></li>
</ul>
</div>
<div class="navpath"><a class="el" href="a00192.html">Loki</a>::<a class="el" href="a00134.html">StaticChecker</a>
</div>
</div>
<div class="contents">
<h1>Loki::StaticChecker< ExceptionPolicy > Class Template Reference</h1><!-- doxytag: class="Loki::StaticChecker" --><code>#include <Checker.h></code>
<p>
<p>
<a href="a00304.html">List of all members.</a><table border="0" cellpadding="0" cellspacing="0">
<tr><td></td></tr>
<tr><td colspan="2"><br><h2>Public Types</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="anchor" name="8aff7228f0f19f32c9d0efeb36fea643"></a><!-- doxytag: member="Loki::StaticChecker::Validator" ref="8aff7228f0f19f32c9d0efeb36fea643" args=")(void)" -->
typedef bool(* </td><td class="memItemRight" valign="bottom"><a class="el" href="a00134.html#8aff7228f0f19f32c9d0efeb36fea643">Validator</a> )(void)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Signature for the validation function. <br></td></tr>
<tr><td colspan="2"><br><h2>Public Member Functions</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="a00134.html#03eca9af5c834a019115f519994d84d7">StaticChecker</a> (<a class="el" href="a00134.html#8aff7228f0f19f32c9d0efeb36fea643">Validator</a> validator, <a class="el" href="a00134.html#8aff7228f0f19f32c9d0efeb36fea643">Validator</a> pre=0, <a class="el" href="a00134.html#8aff7228f0f19f32c9d0efeb36fea643">Validator</a> post=0)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="a00134.html#c34b548bb197793f0e393e0448b07b6f">~StaticChecker</a> (void)</td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="a00134.html#d8e80dcf79a603395ecc9d5b2fe91491">Check</a> (void) const </td></tr>
</table>
<hr><a name="_details"></a><h2>Detailed Description</h2>
<h3>template<class ExceptionPolicy><br>
class Loki::StaticChecker< ExceptionPolicy ></h3>
This class checks if a function provides the no-throw exception safety level and if the function violated any invariants. Invariants for stand-alone and static functions act as pre-conditions and post-conditions.<p>
<dl class="user" compact><dt><b>Usage</b></dt><dd><ol type=1>
<li>Implement a function that checks the invariants associated with a function, or with the static data for a class. The function must have the signature similar to the Validator type. Something like: "static bool Host::StaticIsValid( void );" or "bool IsOkay( void );"<ul>
<li>The function should return true if everything is okay, but false if something is wrong.</li><li>Or it could assert if anything is wrong.</li></ul>
</li><li>If the checker is for static functions within a class, declare typedef's inside the class declaration like these. Make one typedef for each policy you use. I typedef'ed the <a class="el" href="a00020.html">CheckForNothing</a> policy as CheckInvariants because even if a function can't provide the no-throw guarantee, it should still make sure that static data remains in a valid state.<ul>
<li>typedef Loki::StaticChecker< ::Loki::CheckForNoThrow > <a class="el" href="a00024.html">CheckStaticForNoThrow</a>;</li><li>typedef Loki::StaticChecker< ::Loki::CheckForNothing > CheckStaticInvariants;</li></ul>
</li><li>Construct a checker near the top of each member function - except in the validator member function. Pass the address of your validator function into the checker's constructor.<ul>
<li>If the function never throws, then use the <a class="el" href="a00021.html">CheckForNoThrow</a> policy.</li><li>Otherwise use the CheckInvariants policy.</li></ul>
</li><li>Recompile a debug version of your program, run it, and see if an assertion fails. </li></ol>
</dd></dl>
<hr><h2>Constructor & Destructor Documentation</h2>
<a class="anchor" name="03eca9af5c834a019115f519994d84d7"></a><!-- doxytag: member="Loki::StaticChecker::StaticChecker" ref="03eca9af5c834a019115f519994d84d7" args="(Validator validator, Validator pre=0, Validator post=0)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class ExceptionPolicy > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="a00134.html">Loki::StaticChecker</a>< ExceptionPolicy >::<a class="el" href="a00134.html">StaticChecker</a> </td>
<td>(</td>
<td class="paramtype"><a class="el" href="a00134.html#8aff7228f0f19f32c9d0efeb36fea643">Validator</a> </td>
<td class="paramname"> <em>validator</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="a00134.html#8aff7228f0f19f32c9d0efeb36fea643">Validator</a> </td>
<td class="paramname"> <em>pre</em> = <code>0</code>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="a00134.html#8aff7228f0f19f32c9d0efeb36fea643">Validator</a> </td>
<td class="paramname"> <em>post</em> = <code>0</code></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline, explicit]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
The constructor makes sure the host is valid at the time the checker was created, thus insuring the host object was not corrupt from the start. <dl class="user" compact><dt><b>validator Pointer to function that checks class invariants.</b></dt><dd></dd></dl>
<dl class="user" compact><dt><b>pre Optional pointer to function that checks pre-conditions.</b></dt><dd></dd></dl>
<dl class="user" compact><dt><b>post Optional pointer to function that checks post-conditions.</b></dt><dd></dd></dl>
<p>References <a class="el" href="a00232.html#l00481">Loki::StaticChecker< ExceptionPolicy >::Check()</a>.</p>
<p>
<div class="dynheader">
Here is the call graph for this function:</div>
<div class="dynsection">
</div>
</div>
</div><p>
<a class="anchor" name="c34b548bb197793f0e393e0448b07b6f"></a><!-- doxytag: member="Loki::StaticChecker::~StaticChecker" ref="c34b548bb197793f0e393e0448b07b6f" args="(void)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class ExceptionPolicy > </div>
<table class="memname">
<tr>
<td class="memname"><a class="el" href="a00134.html">Loki::StaticChecker</a>< ExceptionPolicy >::~<a class="el" href="a00134.html">StaticChecker</a> </td>
<td>(</td>
<td class="paramtype">void </td>
<td class="paramname"> </td>
<td> ) </td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
The destructor checks if any Host invariants failed, and then calls the ExceptionPolicy's Check function to determine what to do in case of an exception.
<p>References <a class="el" href="a00232.html#l00481">Loki::StaticChecker< ExceptionPolicy >::Check()</a>.</p>
<p>
<div class="dynheader">
Here is the call graph for this function:</div>
<div class="dynsection">
</div>
</div>
</div><p>
<hr><h2>Member Function Documentation</h2>
<a class="anchor" name="d8e80dcf79a603395ecc9d5b2fe91491"></a><!-- doxytag: member="Loki::StaticChecker::Check" ref="d8e80dcf79a603395ecc9d5b2fe91491" args="(void) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class ExceptionPolicy > </div>
<table class="memname">
<tr>
<td class="memname">bool <a class="el" href="a00134.html">Loki::StaticChecker</a>< ExceptionPolicy >::Check </td>
<td>(</td>
<td class="paramtype">void </td>
<td class="paramname"> </td>
<td> ) </td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
This first checks its own invariants, and then calls the validator function to make sure no invariants were broken by the function which created this checker. That function can call Check directly to verify the data remains valid at any time. This does not care if the pre- and post- condition validator pointers are null since a host class may pass in NULL pointers for either to indicate the pre-conditions or post-conditions are the same as the overall class invariants.
<p>Referenced by <a class="el" href="a00232.html#l00449">Loki::StaticChecker< ExceptionPolicy >::StaticChecker()</a>, and <a class="el" href="a00232.html#l00465">Loki::StaticChecker< ExceptionPolicy >::~StaticChecker()</a>.</p>
</div>
</div><p>
<hr>The documentation for this class was generated from the following file:<ul>
<li><a class="el" href="a00147.html">Checker.h</a></ul>
</div>
<hr size="1"><address style="text-align: right;"><small>Generated on Thu Jan 29 18:51:42 2009 for Loki by
<a href="http://www.doxygen.org/index.html">
<img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.8 </small></address>
</body>
</html>
