<HTML>
<HEAD>
<link type="text/css" href="../css/main_styles.css" rel="stylesheet"></HEAD>
<BODY>
<TITLE>mqc_verify_stt</TITLE>
<H1>mqc_verify_stt</H1><H4>Synopsis</H4><PRE><FONT COLOR = blue>Defun: mqc_verify_stt(
       List, $stt,
       List, $ENTRY_KEYWORDS,
       List, $EXIT_KEYWORDS )
@{...} Name;

</FONT></PRE><PRE STYLE=\"text-align : left;\" CLASS=\"Code\">
DesignLogic=no
FunctionBuilder=no

<B>Description:</B>
The function checks if the STT is valid.

<B>Input:</B>
    (List)     STT             - A STT list
    (List)     entry_keywords  - If it is empty, use defaut value {"initial", "start"};
    (List)     exit_keywords   - If it is empty, use defaut value {"donothing", "end", "exit"};

<B>Input Arguments:</B>
stt
ENTRY_KEYWORDS
EXIT_KEYWORDS

<B>Returns:</B>
notify the verifying result, the value is as one of the followings:
    EMPTY_STT              - empty stt
    INVALID_ITEM_LENGTH    - the sub-list length is not 5
    INVALID_ENTRY          - can not find entry checker
    DUPLICATE_STATE_LABEL  - find duplicate state label (the first colunm in STT)
    INVALID_STATE_LABEL    - find invalid state label  (in the first colunm)
    INVALID_TRUE_LABEL     - find invalid true label   (in the fourth colunm)
    INVALID_FALSE_LABEL    - find invalid false label  (in the fifth column)
    NO_EXIT                - can not find exit
    INFINITUDE_LOOP        - the stt is infinitude loop
    VALID_STT              - valid STT, only this case can excute STT
Note:
    The function is replaced by mqc_stt_verifyStt

<B>See Also:</B>
mqc_stt_verifyStt
</PRE></FONT></PRE>
<p class=EndLine>&nbsp;</p>
<p class=blank>&nbsp;</p>
</BODY>
</HTML>
