Add documentation for the dynamic code modifications.

src/trusted/validator_ragel/unreviewed/filesdecoder.dot

Index: src/trusted/validator_ragel/unreviewed/filesdecoder.dot
===================================================================
--- src/trusted/validator_ragel/unreviewed/filesdecoder.dot	(revision 0)
+++ src/trusted/validator_ragel/unreviewed/filesdecoder.dot	(revision 0)
@@ -0,0 +1,41 @@
+digraph filesdecoder {
+	node [shape=tab];
+	def_files [label=<
+	  <table border="0">
+	    <tr><td align="left">general_purpose_instructions.def</td></tr>
+	    <tr><td align="left">mmx_instructions.def</td></tr>
+	    <tr><td align="left">nops.def</td></tr>
+	    <tr><td align="left">system_instructions.def</td></tr>
+	    <tr><td align="left">x87_instructions.def</td></tr>
+	    <tr><td align="left">xmm_instructions.def</td></tr></table>
+	> style="filled" fillcolor="lightgray"];
+	gen_dfa_cc [label="gen_dfa.cc" style="filled" fillcolor="lightgray"];
+	byte_machines_py [label="byte_machines.py" style="filled" fillcolor="lightgray"];
+	parse_instruction_rl [label="parse_instruction.rl" style="filled" fillcolor="lightgray"];
+	decoder_x86_3264_rl [label="decoder_x86_32.rl\nor\ndecoder_x86_64.rl" style="filled" fillcolor="lightgray"];
+	decoder_internal_h [label="decoder_internal.h" style="filled" fillcolor="lightgray"];
+	node [shape="invtrapezium"];
+	gen_dfa [label="gen_dfa" style="filled" fillcolor="gray"];
+	ragel [label="ragel" style="filled" fillcolor="gray"];
+	gcc [label="gcc" style="filled" fillcolor="gray"];
+	node [shape=rect];
+	decoder_x86_3264_c [label="decoder_x86_32.c\nor\ndecoder_x86_64.c"];
+	decoder_x86_3264_instruction_rl [label="decoder_x86_32_instruction.rl\nor\ndecoder_x86_64_instruction.rl"];
+	decoder_x86_3264_instruction_consts_c [label="decoder_x86_32_instruction_consts.c\nor\ndecoder_x86_64_instruction_consts.c"];
+	byte_machines_rl [label="byte_machines.rl"];
+	decoder_x86_3264_o [label="decoder_x86_32.o\nor\ndecoder_x86_64.o"];
+	def_files -> gen_dfa [color="black:black"];
+	gen_dfa_cc -> gen_dfa [label="g++" weight="0"];
+	gen_dfa -> decoder_x86_3264_instruction_rl [color="black:black"];
+	gen_dfa -> decoder_x86_3264_instruction_consts_c [color="black:black" weight="2"];
+	byte_machines_py -> byte_machines_rl [label="python" weight="0"];
+	byte_machines_rl -> ragel [color="black:black"];
+	parse_instruction_rl -> ragel [color="black:black" weight="0"];
+	decoder_x86_3264_rl -> ragel [color="black:black" weight="0"];
+	decoder_x86_3264_instruction_rl -> ragel [color="black:black"];
+	ragel -> decoder_x86_3264_c [color="black:black"];
+	decoder_x86_3264_instruction_consts_c -> gcc [color="black:black" weight="2"];
+	decoder_x86_3264_c -> gcc [color="black:black"];
+	decoder_internal_h -> gcc [color="black:black"];
+	gcc -> decoder_x86_3264_o [color="black:black"];
+}