SYMBOL INDEX (106 symbols across 7 files)

FILE: antithesis/src/jepsen/antithesis/Random.java
  class Random (line 9) | public class Random implements RandomGenerator {
    method Random (line 14) | public Random() {
    method nextLong (line 19) | public long nextLong() {
    method nextDouble (line 23) | public double nextDouble() {
    method nextBoolean (line 31) | public boolean nextBoolean() {
    method randomChoice (line 35) | public <T> T randomChoice(List<T> list) {

FILE: jepsen/resources/bump-time.c
  function main (line 7) | int main(int argc, char **argv) {

FILE: jepsen/resources/corrupt-file.c
  type ExitCode (line 40) | enum ExitCode {
  type Options (line 48) | enum Options {
  type argp_option (line 55) | struct argp_option
  type Modes (line 90) | enum Modes {
  type opts_t (line 102) | typedef struct {
  function opts_t (line 115) | opts_t default_opts() {
  function print_opts (line 130) | void print_opts(opts_t opts) {
  function validate_opts (line 146) | int validate_opts(opts_t opts) {
  function error_t (line 189) | static error_t parse_opt(int key, char *arg, struct argp_state *state) {
  type argp (line 255) | struct argp
  function off_t (line 260) | off_t rand_int(off_t max) {
  function off_t (line 273) | off_t rand_exp_int(double lambda) {
  function mkdir_p (line 279) | int mkdir_p(const char *path) {
  function off_t (line 300) | off_t chunk_offset(opts_t opts, off_t chunk) {
  function off_t (line 305) | off_t chunk_count(opts_t opts, off_t file_size) {
  function corrupt_snapshot (line 337) | int corrupt_snapshot(opts_t opts, int fd, off_t file_size, off_t
  function corrupt_restore (line 414) | int corrupt_restore(opts_t opts, int fd, off_t file_size, off_t
  function off_t (line 486) | off_t rand_source_offset(opts_t opts, off_t dest_offset, off_t file_size) {
  function corrupt_copy (line 516) | int corrupt_copy(opts_t opts, int fd, off_t file_size, off_t chunk_count) {
  function corrupt_bitflip (line 564) | int corrupt_bitflip(opts_t opts, int fd, off_t file_size,
  function corrupt (line 676) | int corrupt(opts_t opts) {
  function clear_snapshots (line 722) | int clear_snapshots() {
  function main (line 734) | int main (int argc, char **argv) {

FILE: jepsen/resources/strobe-time-experiment.c
  function nanos_to_timespec (line 19) | struct timespec nanos_to_timespec(int64_t nanos) {
  function timespec_to_nanos (line 30) | int64_t nanos timespec_to_nanos(struct timespec t) {
  function monotonic_now (line 38) | struct timespec monotonic_now() {
  function wall_now (line 45) | struct timespec wall_now() {
  function wall_tz (line 58) | struct timezone wall_tz() {
  function set_wall_clock (line 69) | void set_wall_clock(struct timespec ts, struct timezone tz) {
  function balance_timespec_m (line 80) | void balance_timespec_m(struct timespec *t) {
  function add_timespec (line 92) | struct timespec add_timespec(struct timespec a, struct timespec b) {
  function sub_timespec (line 101) | struct timespec sub_timespec(struct timespec a, struct timespec b) {
  function mod_timespec (line 110) | struct timespec mod_timespec(struct timespec a, struct timespec n) {
  function cmp_timespec (line 115) | int8_t cmp_timespec(struct timespec a, struct timespec b) {
  function next_tick (line 134) | struct timespec next_tick(struct timespec dt, struct timespec anchor, st...
  function sleep_until_next_tick (line 141) | void sleep_until_next_tick(struct timespec dt, struct timespec anchor) {
  function main (line 151) | int main(int argc, char **argv) {

FILE: jepsen/resources/strobe-time.c
  function nanos_to_timespec (line 19) | struct timespec nanos_to_timespec(int64_t nanos) {
  function monotonic_now (line 29) | struct timespec monotonic_now() {
  function wall_now (line 36) | struct timespec wall_now() {
  function set_wall_clock (line 46) | void set_wall_clock(struct timespec ts) {
  function balance_timespec_m (line 55) | void balance_timespec_m(struct timespec *t) {
  function add_timespec (line 67) | struct timespec add_timespec(struct timespec a, struct timespec b) {
  function sub_timespec (line 76) | struct timespec sub_timespec(struct timespec a, struct timespec b) {
  function cmp_timespec (line 85) | int8_t cmp_timespec(struct timespec a, struct timespec b) {
  function main (line 101) | int main(int argc, char **argv) {

FILE: jepsen/src/jepsen/store/FileOffsetOutputStream.java
  class FileOffsetOutputStream (line 12) | public class FileOffsetOutputStream extends OutputStream implements Auto...
    method FileOffsetOutputStream (line 19) | public FileOffsetOutputStream(FileChannel file, long offset, CRC32 che...
    method bytesWritten (line 29) | public long bytesWritten() {
    method checksum (line 34) | public CRC32 checksum() {
    method close (line 38) | public void close() {
    method flush (line 41) | public void flush() throws IOException {
    method write (line 45) | public void write(int b) throws IOException {
    method write (line 57) | public void write(byte[] bs) throws IOException {
    method write (line 66) | public void write(byte[] bs, int offset, int len) throws IOException {

FILE: jepsen/src/jepsen/store/FressianReader.java
  class FressianReader (line 29) | public class FressianReader implements org.fressian.Reader, Closeable {
    method FressianReader (line 37) | public FressianReader(InputStream is) {
    method FressianReader (line 41) | public FressianReader(InputStream is, ILookup<Object, ReadHandler> han...
    method FressianReader (line 45) | public FressianReader(InputStream is, ILookup<Object, ReadHandler> han...
    method readBoolean (line 52) | public boolean readBoolean() throws IOException {
    method readInt (line 71) | public long readInt() throws IOException {
    method internalReadInt (line 75) | private long internalReadInt() throws IOException {
    method readDouble (line 258) | public double readDouble() throws IOException {
    method readFloat (line 264) | public float readFloat() throws IOException {
    method readObject (line 283) | public Object readObject() throws IOException {
    method read (line 287) | private Object read(int code) throws IOException {
    method handleStruct (line 698) | private Object handleStruct(Object tag, int fields) throws IOException {
    method readCount (line 708) | private int readCount() throws IOException {
    method internalReadInt32 (line 712) | private int internalReadInt32() throws IOException {
    method readInt32 (line 716) | private int readInt32() throws IOException {
    method internalReadString (line 720) | private StringBuilder internalReadString(int length) throws IOException {
    method internalReadStringBuilder (line 724) | private StringBuilder internalReadStringBuilder(StringBuilder buf, int...
    method internalReadChunkedString (line 732) | private String internalReadChunkedString(int length) throws IOException {
    method internalReadBytes (line 765) | private byte[] internalReadBytes(int length) throws IOException {
    method internalReadChunkedBytes (line 771) | private byte[] internalReadChunkedBytes() throws IOException {
    method getHandler (line 795) | private Object getHandler(String tag) {
    method internalReadDouble (line 803) | private double internalReadDouble(int code) throws IOException {
    method readObjects (line 822) | private Object[] readObjects(int length) throws IOException {
    method readClosedList (line 830) | private Object[] readClosedList() throws IOException {
    method readOpenList (line 841) | private Object[] readOpenList() throws IOException {
    method close (line 857) | public void close() throws IOException {
    class MapEntry (line 861) | static class MapEntry implements Map.Entry {
      method MapEntry (line 865) | public MapEntry(Object key, Object value) {
      method getKey (line 870) | public Object getKey() {
      method getValue (line 874) | public Object getValue() {
      method setValue (line 878) | public Object setValue(Object o) {
    method lookupCache (line 886) | private Object lookupCache(ArrayList cache, int index) {
    method internalReadList (line 898) | private List internalReadList(int length) throws IOException {
    method validateFooter (line 902) | private void validateFooter(int calculatedLength, int magicFromStream)...
    method getPriorityCache (line 915) | private ArrayList<Object> getPriorityCache() {
    method getStructCache (line 920) | private ArrayList<Object> getStructCache() {
    method resetCaches (line 925) | private void resetCaches() {
    method validateFooter (line 930) | public void validateFooter() throws IOException {
    method readNextCode (line 936) | private int readNextCode() throws IOException {
    method readAndCacheObject (line 940) | private Object readAndCacheObject(ArrayList<Object> cache) throws IOEx...
    method convertList (line 953) | public List convertList(Object[] items) {
    method convertBytes (line 959) | public Object convertBytes(byte[] bytes) {
    method convertDouble (line 965) | public Object convertDouble(double d) {
    method convertFloat (line 971) | public Object convertFloat(float f) {