May 26, 2020
New type used for cloning
This document defines and describes the data structure used to pass parameters to
the clone_statement function. It consist of three fields given by the user:
- previous_module is the entity of the module from which the cloned
- new_module is the entity of the module to which the cloned statement
will be added. It can be the same as previous_module
- labels is the label mapping between old labels and new labels. If the old
statement has two entities with the same label (like the statement and a
loop inside the statement), then the new entity must also have those two
entities with the same label.
- new_module_statement is the root statement of new_module
import entity from "ri.newgen"
import statement from "ri.newgen"
clone_context = previous_module:entity x new_module:entity x
labels:entity* x persistent new_module_statement:statement