This CIF to CIF transformation replaces implicit automaton
self references by explicit automaton references.
This transformation supports a subset of CIF specifications. The following restrictions apply:
Component definitions and component instantiations are not supported.
No preprocessing is currently performed by this CIF to CIF transformation. To increase the subset of specifications that can be transformed, apply the following CIF to CIF transformations (in the given order):
All implicit automaton
self references are replaced by explicit automaton references. For instance, consider the following CIF specification:
automaton a: alg string x = <string>self; location: initial; end
This is transformed to the following CIF specification:
automaton a: alg string x = <string>a; location: initial; end
Since both references are single expression nodes, this transformation does not increase the size of the specification.