}
protected SourceInfo pushAndConvert(SourceInfo info) {
if (info instanceof SourceOrigin) {
SourceOrigin origin = (SourceOrigin) info;
SourceInfoCorrelation parent = parents.peek();
if (parent != null) {
info = new SourceInfoCorrelation(parent, origin);
} else {
info = new SourceInfoCorrelation(origin);
}
}
parents.push((SourceInfoCorrelation) info);
return info;
}