X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Fdata%2Fcasefile.h;h=ab60e192798cbea20d0a142cb2ef06727e03c492;hb=f335cbe3c9591fdc809c197983c8cc3e2d622f1f;hp=8c56dbbb9c52646ec8a4afd07dc0c5a5fea8529a;hpb=dcf9b154cbcaa35c3d8459a201b77eec8bcb30bd;p=pspp-builds.git

diff --git a/src/data/casefile.h b/src/data/casefile.h
index 8c56dbbb..ab60e192 100644
--- a/src/data/casefile.h
+++ b/src/data/casefile.h
@@ -31,7 +31,7 @@ struct casefile *casefile_create (size_t value_cnt);
 void casefile_destroy (struct casefile *);
 
 bool casefile_error (const struct casefile *);
-int casefile_in_core (const struct casefile *);
+bool casefile_in_core (const struct casefile *);
 bool casefile_to_disk (const struct casefile *);
 bool casefile_sleep (const struct casefile *);
 
@@ -44,12 +44,15 @@ bool casefile_append_xfer (struct casefile *, struct ccase *);
 void casefile_mode_reader (struct casefile *);
 struct casereader *casefile_get_reader (const struct casefile *);
 struct casereader *casefile_get_destructive_reader (struct casefile *);
+struct casereader *casefile_get_random_reader (const struct casefile *);
 
 const struct casefile *casereader_get_casefile (const struct casereader *);
-int casereader_read (struct casereader *, struct ccase *);
-int casereader_read_xfer (struct casereader *, struct ccase *);
+bool casereader_read (struct casereader *, struct ccase *);
+bool casereader_read_xfer (struct casereader *, struct ccase *);
 void casereader_destroy (struct casereader *);
 
+void casereader_seek (struct casereader *, unsigned long case_idx);
+
 unsigned long casereader_cnum(const struct casereader *);
 
 #endif /* casefile.h */