00001
00002
00003 #ifndef _INPUT_H_
00004 #define _INPUT_H_
00005
00006 int exist(char *fn);
00007
00008
00009
00010
00011 void banner(char *message);
00012
00013
00014
00015
00016 void hdr(char *msg);
00017
00018
00019
00020
00021 void hdr2(char *msg);
00022
00023
00024
00025
00026 void prompt(char *s);
00027
00028
00029
00030
00031 static void read_line1(char *s);
00032
00033
00034
00035
00036 static int strip_comments(char *s);
00037
00038
00039
00040
00041 static void strip_ending_whitespace(char *s);
00042
00043
00044
00045
00046 static void read_line(char *s);
00047
00048
00049
00050
00051
00052
00053 char upper(char c);
00054
00055
00056
00057
00058
00059 int equals(char *s1, char *s2);
00060
00061
00062
00063
00064 int get_int(void);
00065
00066
00067
00068
00069 double get_real(void);
00070
00071
00072
00073
00074 void get_str(char *s);
00075
00076
00077
00078
00079 char *text(int x);
00080
00081
00082
00083
00084 void open_input_file(char *fn);
00085
00086
00087
00088
00089 int eof_input_file();
00090
00091
00092
00093
00094 void close_input_file(void);
00095
00096
00097
00098
00099
00100 #endif