(final DataOutput out)
| 64 | } |
| 65 | |
| 66 | @Override |
| 67 | public final void write(final DataOutput out) throws IOException, QueryException { |
| 68 | out.writeNum((int) structSize()); |
| 69 | for(final Entry entry : entries()) { |
| 70 | Stores.write(out, entry.key()); |
| 71 | Stores.write(out, entry.value()); |
| 72 | } |
| 73 | } |
| 74 | |
| 75 | @Override |
| 76 | public final void refineType(final Expr expr) { |