Re: QUESTION: what is \c, \pre, \post in ielr.c ?

[Evan Lavelle]

On 26/11/2014 07:11, sean nakasone wrote:
> Hi, in ielr.c , there's comments that refer to things like: \post, \pre, \c .

Doxygen: http://www.stack.nl/~dimitri/doxygen/index.html

http://www.stack.nl/~dimitri/doxygen/manual/commands.html#cmdpre
http://www.stack.nl/~dimitri/doxygen/manual/commands.html#cmdpost
etc.

> What do these mean?
>
> Here's an example:
>
>
> /**
>   * \pre:
>   *   - \c ritem_sees_lookahead_set was computed by
>   *     \c ielr_compute_ritem_sees_lookahead_set.
>   * \post:
>   *   - Each of \c *edgesp and \c *edge_countsp is a new array of size
>   *     \c ::ngotos.
>   *   - <tt>(*edgesp)[i]</tt> points to a \c goto_number array of size
>   *     <tt>(*edge_countsp)[i]+1</tt>.
>   *   - In such a \c goto_number array, the last element is \c ::END_NODE.
>   *   - All remaining elements are the indices of the gotos to which there is an
>   *     internal follow edge from goto \c i.
>   *   - There is an internal follow edge from goto \c i to goto \c j iff both:
>   *     - The from states of gotos \c i and \c j are the same.
>   *     - The transition nonterminal for goto \c i appears as the first RHS
>   *       symbol of at least one production for which both:
>   *       - The LHS is the transition symbol of goto \c j.
>   *       - All other RHS symbols are nullable nonterminals.
>   *     - In other words, the follows of goto \c i include the follows of
>   *       goto \c j and it's an internal edge because the from states are the
>   *       same.
>   */
> static void
> ielr_compute_internal_follow_edges (bitset ritem_sees_lookahead_set,
>                                      goto_number ***edgesp, int **edge_countsp)
>
>
> _______________________________________________
> address@hidden https://lists.gnu.org/mailman/listinfo/help-bison