Abstractize

As project, but with an additional precondition that the part to be removed should consist of terminals. This is checked automatically by the XBGF engine: if the precondition fails, the transformation is inapplicable.

Syntax

abstractize:
        marked-production

Example

Given the input:

A:
        b "x" c "y"

After using this transformation:

abstractize(
 A:
        b <"x"> c "y"
);

Will look like this:

A:
        b c "y"

Relevant files

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

See also

• Abstractize is a part of XBGF

Contributors

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