Designate

An unlabeled production is labeled. The argument production is the intended result, i.e., the labeled production rule, the transformation refuses to work if the argument production contains no label.

Labelling transformations serve two roles usually: they can be used directly to make the labels in both grammars agree so that they can converge; or they are used to mark the target for the transformations that follow them and perform local manipulations.

Syntax

designate:
        production

Example

Given the input:

expr:
        int

After using this transformation:

designate(
 [intexpr] expr:
        int
);

Will look like this:

[intexpr] expr:
        int

Relevant files

• shared/prolog/xbgf1.pro
• shared/prolog/xbgf2.pro
• shared/rascal/src/transform/library/Labels.rsc
• shared/xsd/xbgf.xsd

See also

• Designate is a part of XBGF

Contributors

• Ralf Lämmel (@rlaemmel)
• Vadim Zaytsev (@grammarware)