previous_group previous up next next_group
Previous: 1. Description: Up: 1. Emptiness Test and Next: 3. Constants terms:

2. Our Proposal: getStatus

Figure 2: Signature of getStatus
\begin{figure} \begin{verbatim}HQBoolean getStatus(HQSetInterface.HQSetStatus... ... TOP or BOTTOM answer instead of TRUE or FALSE. */\end{verbatim}\par\end{figure}

In HQ, we consider the emptiness test of a HQSet is a query for the empty status of this HQSet. Thus the getStatus operator, whose signature is printed in 4_fig:signature_getStatus, permits testing the emptiness of a HQSet.


Nguyen Que Duong
2006-09-16