CIF 3

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

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