public void writeObject(Object value) {
if (value instanceof Values) {
Values.writeValues(value, this);
return;
}
if (value instanceof KNode) {
KNode node = (KNode) value;
writeObject(((NodeTree) node.sequence).typedValue(node.ipos));
return;
}
Object old = table.get(value, null);
if (old != null) return;
table.put(value, value);
base.writeObject(value);
}
public static void distinctValues$X(Object values, NamedCollator coll, CallContext ctx) {
DistinctValuesConsumer out = new DistinctValuesConsumer(coll, ctx.consumer);
Values.writeValues(values, out);
}