-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
0 parents
commit 454c2bd
Showing
239 changed files
with
20,461 additions
and
0 deletions.
There are no files selected for viewing
Empty file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,161 @@ | ||
| <!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"/> | ||
| <meta name="generator" content="Doxygen 1.9.4"/> | ||
| <meta name="viewport" content="width=device-width, initial-scale=1"/> | ||
| <!-- BEGIN opengraph metadata --> | ||
| <meta property="og:title" content="Kassert - Karlsruhe Assertion Library" /> | ||
| <meta property="og:image" content="logo.svg" /> | ||
| <meta property="og:description" content="Powerful assertions made easy: Define assertion levels, get insights with expression decomposition, and switch between exceptions and assertions." /> | ||
| <meta property="og:url" content="https://kamping-site.github.io/kassert/" /> | ||
| <!-- END opengraph metadata --> | ||
| <!-- BEGIN twitter metadata --> | ||
| <meta name="twitter:image:src" content="logo.svg" /> | ||
| <meta name="twitter:title" content="Kassert - Karlsruhe Assertion Library" /> | ||
| <meta name="twitter:description" content="Powerful assertions made easy: Define assertion levels, get insights with expression decomposition, and switch between exceptions and assertions." /> | ||
| <!-- END twitter metadata --> | ||
| <title>KASSERT: Class List</title> | ||
| <link href="tabs.css" rel="stylesheet" type="text/css"/> | ||
| <link rel="icon" type="image/svg+xml" href="icon.svg"/> | ||
| <script type="text/javascript" src="jquery.js"></script> | ||
| <script type="text/javascript" src="dynsections.js"></script> | ||
| <script type="text/javascript" src="doxygen-awesome-darkmode-toggle.js"></script> | ||
| <script type="text/javascript" src="doxygen-awesome-fragment-copy-button.js"></script> | ||
| <script type="text/javascript" src="doxygen-awesome-paragraph-link.js"></script> | ||
| <script type="text/javascript" src="doxygen-awesome-interactive-toc.js"></script> | ||
| <script type="text/javascript" src="toggle-alternative-theme.js"></script> | ||
| <script type="text/javascript"> | ||
| DoxygenAwesomeFragmentCopyButton.init() | ||
| DoxygenAwesomeDarkModeToggle.init() | ||
| DoxygenAwesomeParagraphLink.init() | ||
| DoxygenAwesomeInteractiveToc.init() | ||
| </script> | ||
| <link href="navtree.css" rel="stylesheet" type="text/css"/> | ||
| <script type="text/javascript" src="resize.js"></script> | ||
| <script type="text/javascript" src="navtreedata.js"></script> | ||
| <script type="text/javascript" src="navtree.js"></script> | ||
| <link href="search/search.css" rel="stylesheet" type="text/css"/> | ||
| <script type="text/javascript" src="search/searchdata.js"></script> | ||
| <script type="text/javascript" src="search/search.js"></script> | ||
| <link href="doxygen.css" rel="stylesheet" type="text/css" /> | ||
| <link href="doxygen-awesome.css" rel="stylesheet" type="text/css"/> | ||
| <link href="doxygen-awesome-sidebar-only.css" rel="stylesheet" type="text/css"/> | ||
| <link href="doxygen-awesome-sidebar-only-darkmode-toggle.css" rel="stylesheet" type="text/css"/> | ||
| <link href="custom.css" rel="stylesheet" type="text/css"/> | ||
| </head> | ||
| <body> | ||
| <!-- https://tholman.com/github-corners/ --> | ||
| <a href="https://github.com/kamping-site/kassert" class="github-corner" title="View source on GitHub" target="_blank"> | ||
| <svg viewBox="0 0 250 250" width="120" height="120" style="position: absolute; top: 0; border: 0; right: 0; z-index: 99;" aria-hidden="true"> | ||
| <path d="M0,0 L115,115 L130,115 L142,142 L250,250 L250,0 Z"></path><path d="M128.3,109.0 C113.8,99.7 119.0,89.6 119.0,89.6 C122.0,82.7 120.5,78.6 120.5,78.6 C119.2,72.0 123.4,76.3 123.4,76.3 C127.3,80.9 125.5,87.3 125.5,87.3 C122.9,97.6 130.6,101.9 134.4,103.2" fill="currentColor" style="transform-origin: 130px 106px;" class="octo-arm"></path><path d="M115.0,115.0 C114.9,115.1 118.7,116.5 119.8,115.4 L133.7,101.6 C136.9,99.2 139.9,98.4 142.2,98.6 C133.8,88.0 127.5,74.4 143.8,58.0 C148.5,53.4 154.0,51.2 159.7,51.0 C160.3,49.4 163.2,43.6 171.4,40.1 C171.4,40.1 176.1,42.5 178.8,56.2 C183.1,58.6 187.2,61.8 190.9,65.4 C194.5,69.0 197.7,73.2 200.1,77.6 C213.8,80.2 216.3,84.9 216.3,84.9 C212.7,93.1 206.9,96.0 205.4,96.6 C205.1,102.4 203.0,107.8 198.3,112.5 C181.9,128.9 168.3,122.5 157.7,114.1 C157.9,116.9 156.7,120.9 152.7,124.9 L141.0,136.5 C139.8,137.7 141.6,141.9 141.8,141.8 Z" fill="currentColor" class="octo-body"></path></svg></a><style>.github-corner:hover .octo-arm{animation:octocat-wave 560ms ease-in-out}@keyframes octocat-wave{0%,100%{transform:rotate(0)}20%,60%{transform:rotate(-25deg)}40%,80%{transform:rotate(10deg)}}@media (max-width:500px){.github-corner:hover .octo-arm{animation:none}.github-corner .octo-arm{animation:octocat-wave 560ms ease-in-out}}</style> | ||
| <div id="top"><!-- do not remove this div, it is closed by doxygen! --> | ||
| <div id="titlearea"> | ||
| <table cellspacing="0" cellpadding="0"> | ||
| <tbody> | ||
| <tr style="height: 56px;"> | ||
| <td id="projectlogo"><img alt="Logo" src="icon.svg"/></td> | ||
| <td id="projectalign" style="padding-left: 0.5em;"> | ||
| <div id="projectname">KASSERT | ||
|  <span id="projectnumber">0.0.1</span> | ||
| </div> | ||
| <div id="projectbrief">Karlsruhe Assertion Library</div> | ||
| </td> | ||
| </tr> | ||
| </tbody> | ||
| </table> | ||
| </div> | ||
| <!-- end header part --> | ||
| <!-- Generated by Doxygen 1.9.4 --> | ||
| <script type="text/javascript"> | ||
| /* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ | ||
| var searchBox = new SearchBox("searchBox", "search",'Search','.html'); | ||
| /* @license-end */ | ||
| </script> | ||
| <script type="text/javascript" src="menudata.js"></script> | ||
| <script type="text/javascript" src="menu.js"></script> | ||
| <script type="text/javascript"> | ||
| /* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ | ||
| $(function() { | ||
| initMenu('',true,false,'search.php','Search'); | ||
| $(document).ready(function() { init_search(); }); | ||
| }); | ||
| /* @license-end */ | ||
| </script> | ||
| <div id="main-nav"></div> | ||
| </div><!-- top --> | ||
| <div id="side-nav" class="ui-resizable side-nav-resizable"> | ||
| <div id="nav-tree"> | ||
| <div id="nav-tree-contents"> | ||
| <div id="nav-sync" class="sync"></div> | ||
| </div> | ||
| </div> | ||
| <div id="splitbar" style="-moz-user-select:none;" | ||
| class="ui-resizable-handle"> | ||
| </div> | ||
| </div> | ||
| <script type="text/javascript"> | ||
| /* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */ | ||
| $(document).ready(function(){initNavTree('annotated.html',''); initResizable(); }); | ||
| /* @license-end */ | ||
| </script> | ||
| <div id="doc-content"> | ||
| <!-- window showing the filter options --> | ||
| <div id="MSearchSelectWindow" | ||
| onmouseover="return searchBox.OnSearchSelectShow()" | ||
| onmouseout="return searchBox.OnSearchSelectHide()" | ||
| onkeydown="return searchBox.OnSearchSelectKey(event)"> | ||
| </div> | ||
|
|
||
| <!-- iframe showing the search results (closed by default) --> | ||
| <div id="MSearchResultsWindow"> | ||
| <iframe src="javascript:void(0)" frameborder="0" | ||
| name="MSearchResults" id="MSearchResults"> | ||
| </iframe> | ||
| </div> | ||
|
|
||
| <div class="header"> | ||
| <div class="headertitle"><div class="title">Class List</div></div> | ||
| </div><!--header--> | ||
| <div class="contents"> | ||
| <div class="textblock">Here are the classes, structs, unions and interfaces with brief descriptions:</div><div class="directory"> | ||
| <div class="levels">[detail level <span onclick="javascript:toggleLevel(1);">1</span><span onclick="javascript:toggleLevel(2);">2</span><span onclick="javascript:toggleLevel(3);">3</span>]</div><table class="directory"> | ||
| <tr id="row_0_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_0_" class="arrow" onclick="toggleFolder('0_')">▼</span><span class="icona"><span class="icon">N</span></span><b>kassert</b></td><td class="desc"></td></tr> | ||
| <tr id="row_0_0_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_0_0_" class="arrow" onclick="toggleFolder('0_0_')">▼</span><span class="icona"><span class="icon">N</span></span><b>internal</b></td><td class="desc"></td></tr> | ||
| <tr id="row_0_0_0_" class="even"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structkassert_1_1internal_1_1AlwaysFalse.html" target="_self">AlwaysFalse</a></td><td class="desc">Type trait that is always false, to implement static_asserts that always fail, thus preventing a template function from being instanciated. Used to forbid calling the overloads of && and || </td></tr> | ||
| <tr id="row_0_0_1_"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classkassert_1_1internal_1_1BinaryExpression.html" target="_self">BinaryExpression</a></td><td class="desc">A decomposed binary expression </td></tr> | ||
| <tr id="row_0_0_2_" class="even"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structkassert_1_1internal_1_1Decomposer.html" target="_self">Decomposer</a></td><td class="desc">Decomposes an expression (see group description) </td></tr> | ||
| <tr id="row_0_0_3_"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classkassert_1_1internal_1_1Expression.html" target="_self">Expression</a></td><td class="desc">Interface for decomposed unary and binary expressions </td></tr> | ||
| <tr id="row_0_0_4_" class="even"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structkassert_1_1internal_1_1is__streamable__type__impl.html" target="_self">is_streamable_type_impl</a></td><td class="desc"></td></tr> | ||
| <tr id="row_0_0_5_"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structkassert_1_1internal_1_1is__streamable__type__impl_3_01StreamT_00_01ValueT_00_01std_1_1void1096613810fabcb63a0173913a41dd70.html" target="_self">is_streamable_type_impl< StreamT, ValueT, std::void_t< decltype(std::declval< StreamT & >()<< std::declval< ValueT >())> ></a></td><td class="desc"></td></tr> | ||
| <tr id="row_0_0_6_" class="even"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classkassert_1_1internal_1_1LhsExpression.html" target="_self">LhsExpression</a></td><td class="desc">The left hand size of a decomposed expression. This can either be turned into a <code>BinaryExpr</code> if an operand or relation follows, or into a <code>UnaryExpr</code> otherwise </td></tr> | ||
| <tr id="row_0_0_7_"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structkassert_1_1internal_1_1SourceLocation.html" target="_self">SourceLocation</a></td><td class="desc">Describes a source code location </td></tr> | ||
| <tr id="row_0_0_8_" class="even"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classkassert_1_1internal_1_1UnaryExpression.html" target="_self">UnaryExpression</a></td><td class="desc">Decomposed unary expression </td></tr> | ||
| <tr id="row_0_1_"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classkassert_1_1KassertException.html" target="_self">KassertException</a></td><td class="desc">The default exception type used together with <code>THROWING_KASSERT</code>. Reports the erroneous expression together with a custom error message </td></tr> | ||
| <tr id="row_0_2_" class="even"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classkassert_1_1Logger.html" target="_self">Logger</a></td><td class="desc">Simple wrapper for output streams that is used to stringify values in assertions and exceptions </td></tr> | ||
| </table> | ||
| </div><!-- directory --> | ||
| </div><!-- contents --> | ||
| </div><!-- doc-content --> | ||
| <!-- HTML footer for doxygen 1.9.2--> | ||
| <!-- start footer part --> | ||
| <div id="nav-path" class="navpath"><!-- id is needed for treeview function! --> | ||
| <ul> | ||
| <li class="footer">Generated by <a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.4 </li> | ||
| </ul> | ||
| </div> | ||
| <script type="text/javascript"> | ||
| $(function() { | ||
| toggleButton = document.createElement('doxygen-awesome-dark-mode-toggle') | ||
| toggleButton.title = "Toggle Light/Dark Mode" | ||
| $(document).ready(function(){ | ||
| document.getElementById("MSearchBox").parentNode.appendChild(toggleButton) | ||
| }) | ||
| $(window).resize(function(){ | ||
| document.getElementById("MSearchBox").parentNode.appendChild(toggleButton) | ||
| }) | ||
| }) | ||
| </script> | ||
| </body> | ||
| </html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,18 @@ | ||
| var annotated_dup = | ||
| [ | ||
| [ "kassert", null, [ | ||
| [ "internal", null, [ | ||
| [ "AlwaysFalse", "structkassert_1_1internal_1_1AlwaysFalse.html", null ], | ||
| [ "BinaryExpression", "classkassert_1_1internal_1_1BinaryExpression.html", "classkassert_1_1internal_1_1BinaryExpression" ], | ||
| [ "Decomposer", "structkassert_1_1internal_1_1Decomposer.html", "structkassert_1_1internal_1_1Decomposer" ], | ||
| [ "Expression", "classkassert_1_1internal_1_1Expression.html", "classkassert_1_1internal_1_1Expression" ], | ||
| [ "is_streamable_type_impl", "structkassert_1_1internal_1_1is__streamable__type__impl.html", null ], | ||
| [ "is_streamable_type_impl< StreamT, ValueT, std::void_t< decltype(std::declval< StreamT & >()<< std::declval< ValueT >())> >", "structkassert_1_1internal_1_1is__streamable__type__impl_3_01StreamT_00_01ValueT_00_01std_1_1void1096613810fabcb63a0173913a41dd70.html", null ], | ||
| [ "LhsExpression", "classkassert_1_1internal_1_1LhsExpression.html", "classkassert_1_1internal_1_1LhsExpression" ], | ||
| [ "SourceLocation", "structkassert_1_1internal_1_1SourceLocation.html", "structkassert_1_1internal_1_1SourceLocation" ], | ||
| [ "UnaryExpression", "classkassert_1_1internal_1_1UnaryExpression.html", "classkassert_1_1internal_1_1UnaryExpression" ] | ||
| ] ], | ||
| [ "KassertException", "classkassert_1_1KassertException.html", "classkassert_1_1KassertException" ], | ||
| [ "Logger", "classkassert_1_1Logger.html", "classkassert_1_1Logger" ] | ||
| ] ] | ||
| ]; |
Oops, something went wrong.