public FileHandleOrBufferCase
  getFileHandleOrBufferCase() {
    return FileHandleOrBufferCase.forNumber(
        fileHandleOrBufferCase_);
  }
public FileHandleOrBufferCase
  getFileHandleOrBufferCase()