The Package for an Imperative QVT transformation. The Model of an Imperative QVT transformation. A MappingCall specifies the invocation of a referredMapping with a set of bindings of the bound variables of the referredMapping to values provided in the invocation. Where Collections of values are provided for isLoop bindings, a distinct invocation is performed for each distinct permutation of Collection elements. The Mapping invoked by the MappingCall. The Set of value to bound variable bindings. A MappingCall specifies the invocation of a referredMapping with a set of bindings of the bound variables of the referredMapping to values provided in the invocation. Where Collections of values are provided for isLoop bindings, a distinct invocation is performed for each distinct permutation of Collection elements. A MappingCallBinding specifies the binding of a single variable as part of a MappingCall. A value is bound to the variable. OPtionally isLoop may be true to indicate that the value is a collection of values, each of which is to be used as part of a distinct invocation. The containing MappingCall. The variable with the mappingCall.referredMapping bound to the/a value The value or collection of values to bind to boundVariable An Imperative MappingLoop support an iterated nested mapping call. A MappingSequence specifies a sequence of mapping statements A MiddlePropertyAssignment identifies a property assignment to the middle model. It adds an additional feature to facilitate efficient access to a cache of non-navigable outer-to-middle opposites. Identification of the cache of unnavigable opposites to be maintained by this property assignment. May be null if no cache is required. A MiddlePropertyCallExp identifies a property call from the middle model. It adds an additional feature to facilitate efficient access to a cache of non-navigable outer-to-middle opposites. Identification of the cache of unnavigable opposites to be exploited by this property call. Should not be null during execution. A VariablePredicate validates the initialization of a guard pattern varaible. An Imperative Mapping extends the abstract declarative mapping to support explicit nested invocation of mappings with bindings for the invoked mapping's bound variables. http://www.eclipse.org/OCL/Import qvtb='../../org.eclipse.qvtd.pivot.qvtbase/model/QVTbase.ecore#/' qvtcb='../../org.eclipse.qvtd.pivot.qvtcorebase/model/QVTcoreBase.ecore#/'