Concretize

Just as abstractize is a preconditioned version of project, this operator is a variation of inject. The XBGF engine checks if the marked part only consists of terminal symbols: if yes, injection happens; if not, the transformation is inapplicable.

Syntax

concretize:
        marked-production

Example

Given the input:

A:
        b c

After using this transformation:

concretize(
 A:
        b <"x"> c
);

Will look like this:

A:
        b "x" c

Relevant files

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

See also

• Concretize is a part of XBGF

Contributors

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