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