void push(){
  int endIndex=Math.min(index,string.length());
  if (endIndex > beginIndex) {
    dest.append(string.substring(beginIndex,endIndex),attrs);
    beginIndex=index;
  }
}

void push ( ) { int endIndex = Math . min ( index , string . length ( ) ) ; if ( endIndex > beginIndex ) { dest . append ( string . substring ( beginIndex , endIndex ) , attrs ) ; beginIndex = index ; } }
insert scanned elements to the output string .
