void closeUnclosedNodes(){
  if (needsDebugData) {
    for (    Node node : unpoppedElements) {
      Nodes.setFilePositionFor(node,FilePosition.span(Nodes.getFilePositionFor(node),endTok.pos));
    }
  }
  unpoppedElements.clear();
}

void closeUnclosedNodes ( ) { if ( needsDebugData ) { for ( Node node : unpoppedElements ) { Nodes . setFilePositionFor ( node , FilePosition . span ( Nodes . getFilePositionFor ( node ) , endTok . pos ) ) ; } } unpoppedElements . clear ( ) ; }
make sure that the end file position is correct for elements still open when eof is reached .
