private void flushLiteral(List<Elem> elems,StringBuilder sb){
  if (sb.length() > 0) {
    elems.add(Lit.create(input.location(),Doc.text(sb.toString())));
    sb.delete(0,sb.length());
  }
}

private void flushLiteral ( List < Elem > elems , StringBuilder sb ) { if ( sb . length ( ) > 0 ) { elems . add ( Lit . create ( input . location ( ) , Doc . text ( sb . toString ( ) ) ) ) ; sb . delete ( 0 , sb . length ( ) ) ; } }
flushes a literal read so far .
