ntp = null;
}
}
private void printPINode(PrintStream ps, TaggedValuePointable tvp) {
PINodePointable pnp = pp.takeOne(PINodePointable.class);
UTF8StringPointable utf8sp = pp.takeOne(UTF8StringPointable.class);
try {
tvp.getValue(pnp);
ps.append("<?");
pnp.getTarget(ntp, utf8sp);
printString(ps, utf8sp);
ps.append(' ');
pnp.getContent(ntp, utf8sp);
printString(ps, utf8sp);
ps.append("?>");
} finally {
pp.giveBack(pnp);
pp.giveBack(utf8sp);