errors_warnings.tex

来自「由matlab开发的hybrid系统的描述语言」· TEX 代码 · 共 50 行

\chapter{Errors and Warnings}

Syntactic errors are reported verbatim from bison. All other
errors are listed in Table~\ref{ErrorTab}. Warnings are stated in
Table~\ref{WarningTab}.

\begin{table}[h]
\begin{tabular}{m{.5\textwidth}m{.4\textwidth}}
error message & location \\
\hline
left hand side variable xxx is not auxiliary & AD, DA, LINEAR, LOGIC \\
left hand side variable xxx is not state & AUTOMATA, CONTINUOUS \\
left hand side variable xxx is not output & \mbox{OUTPUT} \\
left hand side variable xxx is not Boolean & AD, AUTOMATA, LOGIC, \mbox{OUTPUT} \\
left hand side variable xxx is not real & CONTINUOUS, \mbox{OUTPUT}, DA, LINEAR \\
recursive definition of variable xxx & AD, DA, LINEAR, LOGIC \\
expression must be affine & AD, CONTINUOUS, MUST, \mbox{OUTPUT}, LINEAR \\
then-expression must be affine & DA \\
else-expression must be affine & DA \\
constant term in CONTINUOUS & CONTINUOUS \\
constant term in \mbox{OUTPUT} & \mbox{OUTPUT} \\
division by zero & Expr\\
log of non positive & Expr\\
sqrt of negative & Expr\\
MLD\_epsilon required but is not a parameter & AD\\
Logic expression in equality is always true, resulting in a constant term & AUTOMATA, \mbox{OUTPUT}\\
bounds must be constant & AD, DA\\
epsilon must be constant & AD\\
parameter xxx is defined using variable yyy & PARAMETER \\
expression contains output variable & Expr\\
variable xxx redefined & \\
failed to compute bounds: no definition for variable xxx & AD, DA\\
failed to compute bounds: circular definition of variable xxx & AD, DA\\
\end{tabular}
\caption{Errors generated by \hysdel{}} \label{ErrorTab}
\end{table}

\begin{table}[h]
\begin{center}
\begin{tabular}{ll}
warning message & location \\
\hline Upper bound not tight & AD, DA \\
Lower bound not tight & AD, DA \\
Variable xxx is never used & \\
Parameter xxx is never used & \\
Variable xxx is never defined & \\
\end{tabular} \end{center}
\caption{Warnings generated by \hysdel{}} \label{WarningTab}
\end{table}