- Timestamp:
- Jul 5, 2017, 10:50:22 AM (7 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
- Children:
- 0614d14
- Parents:
- 11dbfe1 (diff), 307a732 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - Location:
- tools
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
tools/cfa.nanorc
r11dbfe1 r67fa9f9 2 2 ## WIP 3 3 4 syntax "cfa" "\.cfa$" 5 ## No magic 4 syntax "cfa" "\.cfa" 6 5 7 6 # Macros … … 19 18 # Control Flow Structures 20 19 color brightyellow "\<(if|else|while|do|for|switch|choose|case|default)\>" 21 ##color brightyellow "\<(try|catch|catchResume|finally)\>"20 color brightyellow "\<(try|catch(Resume)?|finally)\>" 22 21 23 22 # Control Flow Statements 24 color magenta "\<( return|break|continue|fallthru|throw)\>"23 color magenta "\<(goto|return|break|continue|fallthr(u|ough)|throw(Resume)?)\>" 25 24 26 25 # Operator Names … … 46 45 color brightmagenta "'\\(([0-3]?[0-7]{1,2}))'" "'\\x[0-9A-Fa-f]{1,2}'" 47 46 # Strings and Angle Strings 48 color brightyellow ""([^"]|\\")*"" "<[^[:blank:]=]*>"47 color yellow ""([^"]|\\")*"" "<[^[:blank:]=]*>" 49 48 # Multiline Strings: This regex is VERY expencive and often too strong. 50 49 ###color brightyellow start=""(\\.|[^"])*\\[[:space:]]*$" end="^(\\.|[^"])*"" -
tools/prettyprinter/main.cc
r11dbfe1 r67fa9f9 1 1 // 2 // Cforall Version 1.0.0 Copyright (C) 201 5University of Waterloo2 // Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo 3 3 // 4 4 // The contents of this file are covered under the licence agreement in the … … 10 10 // Created On : Wed Jun 28 22:57:26 2017 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Thu Jun 29 09:02:37201713 // Update Count : 1512 // Last Modified On : Thu Jun 29 13:09:32 2017 13 // Update Count : 58 14 14 // 15 15 … … 19 19 using namespace std; 20 20 #include <unistd.h> // close 21 #include <getopt.h> // getopt 21 22 #include "filter.h" 22 23 23 24 extern FILE * yyin; 24 extern int yylineno;25 25 extern int yydebug; 26 26 extern int yyparse( void ); 27 27 28 bool parse_cmdline( int argc, char * argv[] ) { 29 enum { Html, Identity, Latex, Nocode, ParseTree, }; 30 31 static struct option long_opts[] = { 32 { "html", no_argument, nullptr, Html }, 33 { "identity", no_argument, nullptr, Identity }, 34 { "latex", no_argument, nullptr, Latex }, 35 { "nocode", no_argument, nullptr, Nocode }, 36 { "parse-tree", no_argument, nullptr, ParseTree }, 37 { nullptr, 0, nullptr, 0 } 38 }; // long_opts 39 int long_index; 40 41 opterr = 0; // (global) prevent getopt from printing error messages 42 43 int c; 44 while ( (c = getopt_long( argc, argv, "hilnp", long_opts, &long_index )) != -1 ) { 45 switch ( c ) { 46 case Html: 47 case 'h': 48 filter = HTML; 49 break; 50 case Identity: 51 case 'i': 52 filter = ::Identity; 53 break; 54 case Latex: 55 case 'l': 56 filter = LaTeX; 57 break; 58 case Nocode: 59 case 'n': 60 filter = ::Nocode; 61 break; 62 case ParseTree: 63 case 'p': 64 filter = Parse_Tree; 65 case '?': 66 if ( optopt ) { // short option ? 67 cerr << "Unknown option: -" << (char)optopt << endl; 68 } else { // long option 69 cerr << "Unknown option: " << argv[optind - 1] << endl; 70 } // if 71 return false; 72 default: 73 abort(); 74 } // switch 75 } // while 76 77 if ( optind != argc ) { // input files ? 78 if ( optind == argc - 1 ) { // any commands after the flags ? => input file name 79 yyin = fopen( argv[ optind ], "r" ); 80 if ( yyin == nullptr ) { 81 cerr << "Open failure for input file \"" << argv[ optind ] << "\"" << endl; 82 return false; 83 } // if 84 } else { 85 cerr << "Too many input files " << argv[ optind + 1 ] << endl; 86 return false; 87 } // if 88 } // if 89 return true; 90 } // parse_cmdline 91 28 92 int main( int argc, char *argv[] ) { 29 yyin = stdin; 93 yyin = stdin; // defaults 30 94 filter = Nocode; 31 95 32 try { 33 switch ( argc ) { 34 case 3: 35 yyin = fopen( argv[ 2 ], "r" ); 36 if ( yyin == nullptr ) { 37 throw ios_base::failure( "unknown printer option arguments" ); 38 } // if 39 // FALL THROUGH 40 case 2: { 41 string arg( argv[1] ); 42 43 if ( arg == "-identity" ) { 44 filter = Identity; 45 } else if ( arg == "-parse_tree" ) { 46 filter = Parse_Tree; 47 } else if ( arg == "-nocode" ) { 48 filter = Nocode; 49 } else if ( arg == "-latex" ) { 50 filter = LaTeX; 51 } else if ( arg == "-html" ) { 52 filter = HTML; 53 } else { 54 throw ios_base::failure( "unknown printer option arguments" ); 55 } // if 56 break; 57 } 58 default: 59 throw ios_base::failure( "wrong number of arguments" ); 60 } // switch 61 } catch( ios_base::failure err ) { 62 cerr << err.what() << endl; 63 cerr << "Usage: [" << argv[0] 64 << "-identity |" 65 << "-parse_tree |" 66 << "-nocode |" 67 << "-latex |" 68 << "-html" 96 if ( ! parse_cmdline( argc, argv ) ) { 97 cerr << "Usage: " << argv[0] 98 << " [" 99 << "-h/--html | " 100 << "-i/--identity | " 101 << "-l/--latex | " 102 << "-n/--nocode | " 103 << "-p/--parse-tree" 69 104 << "] [input-file]" 70 105 << endl; 71 106 exit( EXIT_FAILURE ); // TERMINATE 72 } // try107 } // if 73 108 74 109 //yydebug = 1;
Note: See TracChangeset
for help on using the changeset viewer.