Update documentation

Author: watney

README.adoc

@@ -10,7 +10,7 @@ State machine models may be specified using any of these modeling tools: +
 The Autocoder processes the model into any one of the following: +
 1) C state machine code +
 2) C++ state machine code +
-3) F` component state machine code +
+3) F` component state machine code and F` FPP +
 4) Quantum Framework state machine code +
 
 ## Interface and Design

STARSDesign.drawio

@@ -119,13 +119,18 @@ def getQmRoot(modelFileName: str) -> Tuple[ElementTreeType, XmiModel] :
 
     if suff == 'qm':
         qmRoot = etree.parse(modelFileName)
+        # Translate QM to XMI
         xmiModel = QmParser.getXmiModel(qmRoot)
     elif suff == 'xml':
+        # Translate Cameo to XMI
         cameoRoot: ElementTreeType = etree.parse(modelFileName)
         xmiModel = CameoParser.getXmiModel(cameoRoot)
+        # Translate XMI to QM
         qmRoot = xmiToQm.translateXmiModelToQmFile(xmiModel, args.debug)
     elif suff == 'plantuml':
+        # Translate UML to XMI
         xmiModel = UmlParser.getXmiModel(modelFileName)
+        # Translate XMI to QM
         qmRoot = xmiToQm.translateXmiModelToQmFile(xmiModel, args.debug)
     else:
         print("Unknown suffix {0} on file {1}".format(suff, modelFileName))
@@ -156,7 +161,7 @@ def getQmRoot(modelFileName: str) -> Tuple[ElementTreeType, XmiModel] :
 
 qmRoot, xmiModel = getQmRoot(args.model)
 
-# Perform state-machine semantics checking
+# Check Correctness of the QM
 checkFaults.checkStateMachine(qmRoot)
 
 if args.backend == "c++":