return;
}
stream.discard();
IrDocText open = new IrDocText(first.getText());
open.setLocation(first.getLocation());
IrDocSimpleName name = new IrDocSimpleName(second.getText());
name.setLocation(second.getLocation());
IrDocText close = new IrDocText(third.getText());
close.setLocation(third.getLocation());
fragments.add(open);
fragments.add(name);
fragments.add(close);
}