<HTML>
<HEAD>
<link type="text/css" href="../css/main_styles.css" rel="stylesheet"></HEAD>
<BODY>
<TITLE>mqc_stt_verify_labels</TITLE>
<H1>mqc_stt_verify_labels</H1><H4>Synopsis</H4><PRE><FONT COLOR = blue>Defun: mqc_stt_verify_labels(
       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 verifies state labels, true labels and false labels in STT.

<B>Input:</B>
    (List)     STT            - A STT list
    (List)     entry_keywords - If it is empty, use default value {"initial", "start"}
    (List)     exit_keywords  - If it is empty, use default 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:
    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                - no exit exist in true labels or false labels
    VALID_LABELS           - pass label check
NOTE:  The function is used for mqc_verify_stt function.
       The function is replaced by mqc_stt_verifyLabels

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