(Generic Data Flow) Add docs

rose-compiler · Jul 2, 2012 · f4d5292 · f4d5292
1 parent 1aa780f
commit f4d5292
Show file tree

Hide file tree

Showing 10 changed files with 603 additions and 3 deletions.
diff --git a/docs/Rose/Tutorial/GenericDFA.tex b/docs/Rose/Tutorial/GenericDFA.tex
diff --git a/docs/Rose/Tutorial/Makefile.am b/docs/Rose/Tutorial/Makefile.am
@@ -11,7 +11,7 @@ latexFiles = \
    traversal.tex loopRecognition.tex typeInfoFromFunctionParameters.tex resolveOverloadedFunction.tex \
    templateParameter.tex \
    buildCFG.tex parallelChecker.tex defuseAnalysis.tex \
-   binaryAnalysis.tex buildCallGraph.tex buildVFA.tex classHierarchyGraph.tex loopOptimization.tex inliner.tex outliner.tex \
+   binaryAnalysis.tex GenericDFA.tex buildCallGraph.tex buildVFA.tex classHierarchyGraph.tex loopOptimization.tex inliner.tex outliner.tex \
    parser-docs.tex codeCoverage.tex scopeInformation.tex sideeffect-docs.tex \
    tauInstrumentation.tex templateSupport.tex dataBaseSupport.tex recognitionOfAbstractions.tex \
    debuggingSupport.tex commandlineProcessing.tex customGraphs.tex tutorialMakefile.tex wrapup.tex \

diff --git a/docs/Rose/Tutorial/tutorial.tex.in b/docs/Rose/Tutorial/tutorial.tex.in
@@ -16,6 +16,7 @@
 \usepackage{moreverb}
 
 \usepackage{hyperref}
+
 \hypersetup {
 colorlinks= true,
 urlcolor=blue,
@@ -268,6 +269,7 @@ ROSE.}
 \normalsize{This part exemplifies the use of existing ROSE analyses and how
 to build customized analyses using ROSE.}
 }
+\input{GenericDFA}
 \input{loopRecognition}
 \input{virtualCFG}
 \input{buildCFG}

diff --git a/tutorial/Makefile.am b/tutorial/Makefile.am
@@ -1247,7 +1247,7 @@ callGraph.pdf: buildCallGraph
 	@echo "Generate call graph from processing of input code (callGraph) ..."
 	./buildCallGraph $(ROSE_FLAGS) -c $(srcdir)/inputCode_BuildCG.C
 	$(top_srcdir)/scripts/dotgenLetterPDF inputCode_BuildCG.C_callGraph.dot callGraph.pdf
-# Liao, add a non-trival test input	
+# Liao, add a non-trival test input 
 	./buildCallGraph $(ROSE_FLAGS) -c $(srcdir)/bt_onefile.c
 if ROSE_USE_GRAPHVIZ_DOT
 #	DQ (10/19/2009): Added error checking to (catches lack of "dot" in path).
@@ -1532,7 +1532,13 @@ EXTRA_DIST = \
    inputCode_dwarfAnalysis.C \
    inputCode_reductionRecognition.C \
    livenessAnalysis-2.C \
-   bt_onefile.c
+   bt_onefile.c \
+   dfa_cpa.pdf \
+   dfa_ex.pdf \
+   transformation_cfg.pdf \
+   transformation_srcode.pdf \
+   lattice_cpa.pdf \
+   code_replacement_transformation.pdf
 
 if HAVE_YICES
     EXTRA_DIST += yicesInputExample.C

diff --git a/tutorial/code_replacement_transformation.pdf b/tutorial/code_replacement_transformation.pdf
diff --git a/tutorial/dfa_cpa.pdf b/tutorial/dfa_cpa.pdf
diff --git a/tutorial/dfa_ex.pdf b/tutorial/dfa_ex.pdf
diff --git a/tutorial/lattice_cpa.pdf b/tutorial/lattice_cpa.pdf
diff --git a/tutorial/transformation_cfg.pdf b/tutorial/transformation_cfg.pdf
diff --git a/tutorial/transformation_srcode.pdf b/tutorial/transformation_srcode.pdf