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

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

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

<B>Input Arguments:</B>
stt - A STT list
ENTRY_KEYWORDS - If it is empty, use defaut value {"initial", "start"};
EXIT_KEYWORDS - If it is empty, use defaut value {"donothing", "end", "exit"};

<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

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