CADiZ

Reference manual / Z-related commands / In situ replacement commands / schema expansion tac


The schema expansion tac command unfolds all visible schema operations as far as possible. It is applicable to any paragraph, predicate, expression or schema text that contains a visible expandable schema operation.

It performs expansion steps on the following notations:

It performs schema construction steps on the following notations:

It also applies predication steps to schema predicates, performs the effects of normalization on declarations where it is necessary to do so, and uses distribution on schema inclusion declarations and schema decoration expressions.

It applies all these steps to their results until none of them are applicable, when all schemas will have been expanded.

Expansion is not done within invisible formulae, namely implicit instantiations, characteristic @ parts, and concealed ... formulae.

Tactic example

"schema expansion tac" p e

This example applies the schema expansion tac command to predicate p and expression e.


IT 16-Dec-1999