code: func (v *Context) SetFile(path string) {
  	if v.file != path {
  		v.file = path
  		v.element = nil
  	}
  }
docs: // SetFile records that what follows is errors for this particular file.
  //
  // Changing the file resets the current element (see Enter/Exit).