diff options
Diffstat (limited to 'org/ao_assertions.org')
| -rw-r--r-- | org/ao_assertions.org | 250 |
1 files changed, 250 insertions, 0 deletions
diff --git a/org/ao_assertions.org b/org/ao_assertions.org new file mode 100644 index 0000000..e687c20 --- /dev/null +++ b/org/ao_assertions.org @@ -0,0 +1,250 @@ +#+TITLE: Emacs config file written in org-mode +#+AUTHOR: Ralph Amissah +#+EMAIL: ralph.amissah@gmail.com +#+STARTUP: indent +#+LANGUAGE: en +#+OPTIONS: H:3 num:nil toc:t \n:nil @:t ::t |:t ^:nil -:t f:t *:t <:t +#+OPTIONS: TeX:t LaTeX:t skip:nil d:nil todo:t pri:nil tags:not-in-toc +#+OPTIONS: author:nil email:nil creator:nil timestamp:nil +#+OPTIONS: ^:nil _:nil#+OPTIONS: ^:nil _:nil +#+EXPORT_SELECT_TAGS: export +#+EXPORT_EXCLUDE_TAGS: noexport +#+TAGS: Amissah(A) Class(c) WEB(W) noexport(n) + +* assertions +** mixin template: assertions on markup document structure +#+name: ao_assertions +#+BEGIN_SRC d :exports none +mixin template AssertionsOnMarkupDocumentStructure() { + auto assertions_doc_structure(string[string] object, uint[string] lv) { + if (lv["h3"] > 0) { + assert(lv["h0"] > 0); + assert(lv["h1"] > 0); + assert(lv["h2"] > 0); + assert(lv["h3"] > 0); + } else if (lv["h2"] > 0) { + assert(lv["h0"] > 0); + assert(lv["h1"] > 0); + assert(lv["h2"] > 0); + assert(lv["h3"] == 0); + } else if (lv["h1"] > 0) { + assert(lv["h0"] > 0); + assert(lv["h1"] > 0); + assert(lv["h2"] == 0); + assert(lv["h3"] == 0); + } else if (lv["h0"] > 0) { + assert(lv["h0"] > 0); + assert(lv["h1"] == 0); + assert(lv["h2"] == 0); + assert(lv["h3"] == 0); + } else { + assert(lv["h0"] == 0); + assert(lv["h1"] == 0); + assert(lv["h2"] == 0); + assert(lv["h3"] == 0); + } + if (lv["h7"] > 0) { + assert(lv["h4"] > 0); + assert(lv["h5"] > 0); + assert(lv["h6"] > 0); + assert(lv["h7"] > 0); + } else if (lv["h6"] > 0) { + assert(lv["h4"] > 0); + assert(lv["h5"] > 0); + assert(lv["h6"] > 0); + assert(lv["h7"] == 0); + } else if (lv["h5"] > 0) { + assert(lv["h4"] > 0); + assert(lv["h5"] > 0); + assert(lv["h6"] == 0); + assert(lv["h7"] == 0); + } else if (lv["h4"] > 0) { + assert(lv["h4"] > 0); + assert(lv["h5"] == 0); + assert(lv["h6"] == 0); + assert(lv["h7"] == 0); + } else { + assert(lv["h4"] == 0); + assert(lv["h5"] == 0); + assert(lv["h6"] == 0); + assert(lv["h7"] == 0); + } + if (lv["h0"] == 0) { + assert(lv["h0"] == 0); + assert(lv["h1"] == 0); + assert(lv["h2"] == 0); + assert(lv["h3"] == 0); + assert(lv["h4"] == 0); + assert(lv["h5"] == 0); + assert(lv["h6"] == 0); + assert(lv["h7"] == 0); + } + if (lv["h1"] == 0) { + assert(lv["h1"] == 0); + assert(lv["h2"] == 0); + assert(lv["h3"] == 0); + } + if (lv["h2"] == 0) { + assert(lv["h2"] == 0); + assert(lv["h3"] == 0); + } + if (lv["h3"] == 0) { + assert(lv["h3"] == 0); + } + if (lv["h4"] == 0) { + assert(lv["h4"] == 0); + assert(lv["h5"] == 0); + assert(lv["h6"] == 0); + assert(lv["h7"] == 0); + } + if (lv["h5"] == 0) { + assert(lv["h5"] == 0); + assert(lv["h6"] == 0); + assert(lv["h7"] == 0); + } + if (lv["h6"] == 0) { + assert(lv["h6"] == 0); + assert(lv["h7"] == 0); + } + if (lv["h6"] == 0) { + assert(lv["h7"] == 0); + } + switch (to!string(object["lev"])) { + case "A": + if (lv["h0"]==0) { + assert(lv["h0"] == 0); + assert(lv["h1"] == 0); + assert(lv["h2"] == 0); + assert(lv["h3"] == 0); + assert(lv["h4"] == 0); + assert(lv["h5"] == 0); + assert(lv["h6"] == 0); + assert(lv["h7"] == 0); + } else { + assert(lv["h0"] == 0,"error should not enter level A a second time"); + } + break; + case "B": + if (lv["h1"]==0) { + assert(lv["h0"] > 0); + assert(lv["h1"] == 0); // + assert(lv["h2"] == 0); + assert(lv["h3"] == 0); + } else { // (lv["h1"] >0) + assert(lv["h0"] > 0); + assert(lv["h1"] > 0); // + } + break; + case "C": + if (lv["h2"]==0) { + assert(lv["h0"] > 0); + assert(lv["h1"] > 0); + assert(lv["h2"] == 0); // + assert(lv["h3"] == 0); + } else { // (lv["h2"] > 0) + assert(lv["h0"] > 0); + assert(lv["h1"] > 0); + assert(lv["h2"] > 0); // + } + break; + case "D": + if (lv["h3"]==0) { + assert(lv["h0"] > 0); + assert(lv["h1"] > 0); + assert(lv["h2"] > 0); + assert(lv["h3"] == 0); // + } else { // (lv["h3"] >0) + assert(lv["h0"] > 0); + assert(lv["h1"] > 0); + assert(lv["h2"] > 0); + assert(lv["h3"] > 0); + } + break; + case "1": + if (lv["h4"]==0) { + assert(lv["h0"] > 0); + assert(lv["h4"] == 0); // + } else { // (lv["h4"] >0) + assert(lv["h0"] > 0); + assert(lv["h4"] > 0); // + } + break; + case "2": + if (lv["h5"]==0) { + assert(lv["h0"] > 0); + assert(lv["h4"] > 0); + assert(lv["h5"] == 0); // + } else { // (lv["h5"] >0) + assert(lv["h0"] > 0); + assert(lv["h4"] > 0); + assert(lv["h5"] > 0); // + } + break; + case "3": + if (lv["h6"]==0) { + assert(lv["h0"] > 0); + assert(lv["h4"] > 0); + assert(lv["h5"] > 0); + assert(lv["h6"] == 0); // + } else { // (lv["h6"] >0) + assert(lv["h0"] > 0); + assert(lv["h4"] > 0); + assert(lv["h5"] > 0); + assert(lv["h6"] > 0); // + } + break; + case "4": + if (lv["h7"]==0) { + assert(lv["h0"] > 0); + assert(lv["h4"] > 0); + assert(lv["h5"] > 0); + assert(lv["h6"] > 0); + assert(lv["h7"] == 0); // + } else { // (lv["h7"] >0) + assert(lv["h0"] > 0); + assert(lv["h4"] > 0); + assert(lv["h5"] > 0); + assert(lv["h6"] > 0); + assert(lv["h7"] > 0); // + } + break; + default: + break; + } + } +} +#+end_src +** mixin template: assertions on blocks +#+name: ao_assertions +#+BEGIN_SRC d :exports none +mixin template AssertionsOnBlocks() { + auto assertions_flag_types_block_status_none_or_closed(int[string] flag_type) { + assert( + (flag_type["code"] == 0) || (flag_type["code"] == 2), + "code block status: none or closed"); + assert( + (flag_type["poem"] == 0) || (flag_type["poem"] == 2), + "poem status: none or closed"); + assert( + (flag_type["table"] == 0) || (flag_type["table"] == 2), + "table status: none or closed"); + assert( + (flag_type["group"] == 0) || (flag_type["group"] == 2), + "group block status: none or closed"); + assert( + (flag_type["block"] == 0) || (flag_type["block"] == 2), + "block status: none or closed"); + } +} +#+end_src + +* tangle +** code structure: :ao_assertions.d: +#+name: tangle_ao_assertions +#+BEGIN_SRC d :tangle ../lib/sdp/ao_assertions.d :exports none :noweb yes +/* + assertions + ao_assertions.d +*/ +<<ao_assertions>> +#+end_src |