Action

#

type t

#

val compose : string -> t -> t -> t

compose x a1 a2 builds the action let x = a1 in a2. This feature is used during the processing of the %inline keyword.

#

val rename : string * (Keyword.subject * Keyword.where) * (Keyword.subject * Keyword.where) -> (string * string) list -> t -> t * (bool * bool)

rename renaming_env phi a builds the action let x1 = x1' and ... xn = xn' in a if phi is (x1, x1') ... (xn, xn'). Moreover, renaming_env is used to correctly replace $startpos/$endpos present in the semantic action.

#

val rename_inlined_psym : string * (Keyword.subject * Keyword.where) * (Keyword.subject * Keyword.where) -> (string * string) list -> t -> t * (bool * bool)

rename_inlined_psym renaming_env phi a updates the occurrences of the inlined non terminal in the action a.

#

val to_il_expr : t -> IL.expr

Semantic actions are translated into IL code using the IL.ETextual and IL.ELet constructors.

#

val filenames : t -> string list

A semantic action might be the inlining of several others. The filenames of the different parts are given by filenames a. This can be used, for instance, to check whether all parts come from the standard library.

#

val pkeywords : t -> Keyword.keyword Positions.located list

pkeywords a returns a list of all keyword occurrences in a.

#

val keywords : t -> Keyword.KeywordSet.t

keywords a is the set of keywords used in the semantic action a.

#

val print : Pervasives.out_channel -> t -> unit

print f a prints a to channel f.

#

val from_stretch : Stretch.t -> t

from_stretch s builds an action out of a textual piece of code.

#

val has_syntaxerror : t -> bool

Check whether the keyword $syntaxerror is used in the action.

#

val has_leftstart : t -> bool

Check whether the keyword $start is used in the action.

#

val has_leftend : t -> bool

Check whether the keyword $end is used in the action.

#

val has_dollar : int -> t -> bool

Check whether a particular $i keyword is used in the action.

#

val use_dollar : t -> bool

Check whether any $i keyword is used in the action.

module Action