diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-26 01:22:00 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-26 01:23:25 -0700 |
commit | f6b443065beea62ba9ee1c993560f5dbb7da9273 (patch) | |
tree | b487f09f144fc7f43937855f0790b1f7a426e7c9 /html/999spaces.cc.html | |
parent | c3ed5820851de2506d9f2bb481d348997d56fadd (diff) | |
download | mu-f6b443065beea62ba9ee1c993560f5dbb7da9273.tar.gz |
1461 - descriptions/table of contents for the layers
Diffstat (limited to 'html/999spaces.cc.html')
-rw-r--r-- | html/999spaces.cc.html | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/html/999spaces.cc.html b/html/999spaces.cc.html index c4ac40bc..4e3fe2f2 100644 --- a/html/999spaces.cc.html +++ b/html/999spaces.cc.html @@ -50,6 +50,18 @@ assert<span class="Delimiter">(</span>Reserved_for_tests == <span class="Constan <span class="Comment">//: 1-99 - primitives</span> <span class="Comment">//: 100-999 - defined in .mu files as sequences of primitives</span> <span class="Comment">//: 1000 onwards - reserved for tests, cleared between tests</span> + +<span class="SalientComment">//:: Depths for tracing</span> +<span class="Comment">//:</span> +<span class="Comment">//: 0 - unused</span> +<span class="Comment">//: 1-99 - app-level trace statements in mu</span> +<span class="Comment">//: 100 - schedule</span> +assert<span class="Delimiter">(</span>Scheduling_depth == <span class="Constant">100</span><span class="Delimiter">);</span> +<span class="Comment">//: 101-9998 - call-stack statements (mostly label run)</span> +assert<span class="Delimiter">(</span>Initial_callstack_depth == <span class="Constant">101</span><span class="Delimiter">);</span> +assert<span class="Delimiter">(</span>Max_callstack_depth == <span class="Constant">9998</span><span class="Delimiter">);</span> +<span class="Comment">//: 9999 - intra-instruction lines (mostly label mem)</span> +assert<span class="Delimiter">(</span>Primitive_recipe_depth == <span class="Constant">9999</span><span class="Delimiter">);</span> </pre> </body> </html> |