Eliminate automaton `self` references¶

This CIF to CIF transformation replaces implicit automaton self references by explicit automaton references.

Supported specifications¶

This transformation supports a subset of CIF specifications. The following restrictions apply:

Component definitions and component instantiations are not supported.

Preprocessing¶

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):

Eliminate component definition/instantiation

Implementation details¶

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

Renaming¶

n/a

Size considerations¶

Since both references are single expression nodes, this transformation does not increase the size of the specification.

Optimality¶

n/a

Navigation

Eliminate automaton self references¶