1337133813391340134113421343
} @Override public void endVisit(JSeedIdOf x, Context ctx) { JsName name = names.get(x.getNode()); push(new JsSeedIdOf(x.getSourceInfo(), name, getSeedId((JReferenceType) x.getNode()))); }