/*7:*/ //line 92 "/usr/local/yacco2/externals/common_externs.w" /*6:*/ //line 89 "/usr/local/yacco2/externals/common_externs.w" #include "common_externs.h" /*:6*/ //line 93 "/usr/local/yacco2/externals/common_externs.w" /*8:*/ //line 98 "/usr/local/yacco2/externals/common_externs.w" /*:8*//*10:*/ //line 122 "/usr/local/yacco2/externals/common_externs.w" extern void GET_CMD_LINE (int argc,char*argv[],const char*Holding,yacco2::TOKEN_GAGGLE&Errors) { using namespace std; using namespace NS_yacco2_err_symbols; using namespace yacco2; ofstream ofile; ofile.open(Holding,ios_base::out|ios::trunc); if(!ofile){ CAbs_lr1_sym*sym= new Err_bad_filename(Holding); sym->set_external_file_id(1); sym->set_line_no(1); sym->set_pos_in_line(1); Errors.push_back(*sym); return; } if(argc==1){ char cmd_line[Max_buf_size]; cout<<"Please enter Command line to process: "; cin.get(cmd_line,Max_buf_size,'\n'); ofile<':{ int sz= sizeof("\\GTsign{}"); strncpy(&Xlated_sym[app_ptr],"\\GTsign{}",sz); app_ptr+= sz; continue; } case'@':{ int sz= sizeof("\\ATsign{}"); strncpy(&Xlated_sym[app_ptr],"\\ATsign{}",sz); app_ptr+= sz; continue; } case'|':{ if(x+2