A map that applies three functions and a substitution together to a tree and makes sure they are coordinated so that the result is well-typed. The functions are
Constructors
Members
Replace occurrences of This(oldOwner)
in some prefix of a type
by the corresponding This(newOwner)
.
Replace occurrences of This(oldOwner)
in some prefix of a type
by the corresponding This(newOwner)
.
If sym
is one of oldOwners
, replace by corresponding symbol in newOwners
If sym
is one of oldOwners
, replace by corresponding symbol in newOwners
Apply typeMap
and ownerMap
to given symbols syms
and return a treemap that contains the substitution
between original and mapped symbols.
Apply typeMap
and ownerMap
to given symbols syms
and return a treemap that contains the substitution
between original and mapped symbols.
The tree map with the substitution between originals syms
and mapped symbols mapped
. Also goes into mapped classes
and substitutes their declarations.
The tree map with the substitution between originals syms
and mapped symbols mapped
. Also goes into mapped classes
and substitutes their declarations.
Apply typeMap
and ownerMap
to given symbols syms
and return a treemap that contains the substitution
between original and mapped symbols.
Apply typeMap
and ownerMap
to given symbols syms
and return a treemap that contains the substitution
between original and mapped symbols.
The current tree map composed with a substitution [from -> to]
The current tree map composed with a substitution [from -> to]