Consider a (Java) object x of type X. I have to convert x to another object, say y of type Y, by traversing
x
X
y
Y
