@Override
public GraphTextWriter appendTo(GraphTextWriter writer, LocalData localData)
throws InterruptedException {
writer.append(operator);
if (value != null) {
if (value.getPrecedence() > precedence) {
writer.append("(");
value.toString(writer, localData);
writer.append(")");
} else {
value.toString(writer, localData);
}
} else {
writer.append("null");
}
return writer;
}
public PushItem(GraphTargetItem value) {
super(value.getSrc(), value.getLineStartItem(), value.getPrecedence(), value);
}
public DuplicateItem(GraphSourceItem src, GraphSourceItem lineStartIns, GraphTargetItem value) {
super(src, lineStartIns, value.getPrecedence(), value);
}
