L4Re/departure

libfsserver/include/fsserver/host_file_accessor.h

618:7123a7307a82
8 months ago Paul Boddie Introduced some debugging output control.
     1 /*     2  * A file accessor employing a "host" file provided via the C library.     3  *     4  * Copyright (C) 2021 Paul Boddie <paul@boddie.org.uk>     5  *     6  * This program is free software; you can redistribute it and/or     7  * modify it under the terms of the GNU General Public License as     8  * published by the Free Software Foundation; either version 2 of     9  * the License, or (at your option) any later version.    10  *    11  * This program is distributed in the hope that it will be useful,    12  * but WITHOUT ANY WARRANTY; without even the implied warranty of    13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the    14  * GNU General Public License for more details.    15  *    16  * You should have received a copy of the GNU General Public License    17  * along with this program; if not, write to the Free Software    18  * Foundation, Inc., 51 Franklin Street, Fifth Floor,    19  * Boston, MA  02110-1301, USA    20  */    21     22 #pragma once    23     24 #include <stdio.h>    25     26 #include <fsserver/accessor.h>    27     28     29     30 /* A host filesystem file accessor, providing flexpages corresponding to file    31    regions. */    32     33 class HostFileAccessor : public Accessor    34 {    35 protected:    36     offset_t _size;    37     FILE *_fp;    38     39     /* Data transfer helper methods. */    40     41     virtual void fill_populated(Flexpage *flexpage);    42     43     virtual void flush_populated(Flexpage *flexpage);    44     45 public:    46     explicit HostFileAccessor(FILE *fp, fileid_t fileid);    47     48     virtual offset_t get_size();    49     50     virtual void set_size(offset_t size);    51     52     virtual void close();    53 };    54     55 // vim: tabstop=4 expandtab shiftwidth=4