/* See nget.h */
/* Last edited on 2003-01-14 13:24:55 by stolfi */

#include <nget.h>
#include <fget.h>
#include <js.h>
#include <stdio.h>
#include <stdlib.h>

void nget_name_eq(FILE *f, char *name)
  { fget_skip_spaces(f);
    fget_match(f, name); 
    fget_skip_spaces(f);
    fget_match(f, "=");
  }

char nget_char(FILE *f, char *name)
  { nget_name_eq(f, name); 
    return fget_char(f);
  }

bool nget_bool(FILE *f, char *name)
  { nget_name_eq(f, name); 
    return fget_bool(f);
  }

int nget_int(FILE *f, char *name)
  { nget_name_eq(f, name);
    return fget_int(f);
  }

double nget_double(FILE *f, char *name)
  { nget_name_eq(f, name); 
    return fget_double(f);
  }

char *nget_string(FILE *f, char *name)
  { nget_name_eq(f, name); 
    return fget_string(f);
  }