123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628 |
- DotParser = (function(){
- /*
- * Generated by PEG.js 0.7.0.
- *
- * http://pegjs.majda.cz/
- */
-
- function quote(s) {
- /*
- * ECMA-262, 5th ed., 7.8.4: All characters may appear literally in a
- * string literal except for the closing quote character, backslash,
- * carriage return, line separator, paragraph separator, and line feed.
- * Any character may appear in the form of an escape sequence.
- *
- * For portability, we also escape escape all control and non-ASCII
- * characters. Note that "\0" and "\v" escape sequences are not used
- * because JSHint does not like the first and IE the second.
- */
- return '"' + s
- .replace(/\\/g, '\\\\') // backslash
- .replace(/"/g, '\\"') // closing quote character
- .replace(/\x08/g, '\\b') // backspace
- .replace(/\t/g, '\\t') // horizontal tab
- .replace(/\n/g, '\\n') // line feed
- .replace(/\f/g, '\\f') // form feed
- .replace(/\r/g, '\\r') // carriage return
- .replace(/[\x00-\x07\x0B\x0E-\x1F\x80-\uFFFF]/g, escape)
- + '"';
- }
-
- var result = {
- /*
- * Parses the input with a generated parser. If the parsing is successfull,
- * returns a value explicitly or implicitly specified by the grammar from
- * which the parser was generated (see |PEG.buildParser|). If the parsing is
- * unsuccessful, throws |PEG.parser.SyntaxError| describing the error.
- */
- parse: function(input, startRule) {
- var parseFunctions = {
- "graph": parse_graph,
- "stmt_list": parse_stmt_list,
- "stmt": parse_stmt,
- "attr_stmt": parse_attr_stmt,
- "attr_list": parse_attr_list,
- "a_list": parse_a_list,
- "edge_stmt": parse_edge_stmt,
- "edgeRHS": parse_edgeRHS,
- "node_stmt": parse_node_stmt,
- "node_id": parse_node_id,
- "port": parse_port,
- "subgraph": parse_subgraph,
- "compass_pt": parse_compass_pt,
- "ID": parse_ID,
- "STRING": parse_STRING,
- "NUMBER": parse_NUMBER,
- "HTML_STRING": parse_HTML_STRING,
- "html_raw_string": parse_html_raw_string,
- "html_char": parse_html_char,
- "QUOTED_STRING": parse_QUOTED_STRING,
- "chars": parse_chars,
- "char": parse_char,
- "COMMENT": parse_COMMENT,
- "BLOCK_COMMENT": parse_BLOCK_COMMENT,
- "C_COMMENT": parse_C_COMMENT,
- "MACRO_COMMENT": parse_MACRO_COMMENT,
- "_": parse__,
- "NEWLINE": parse_NEWLINE,
- "WHITESPACE": parse_WHITESPACE
- };
-
- if (startRule !== undefined) {
- if (parseFunctions[startRule] === undefined) {
- throw new Error("Invalid rule name: " + quote(startRule) + ".");
- }
- } else {
- startRule = "graph";
- }
-
- var pos = 0;
- var reportFailures = 0;
- var rightmostFailuresPos = 0;
- var rightmostFailuresExpected = [];
-
- function padLeft(input, padding, length) {
- var result = input;
-
- var padLength = length - input.length;
- for (var i = 0; i < padLength; i++) {
- result = padding + result;
- }
-
- return result;
- }
-
- function escape(ch) {
- var charCode = ch.charCodeAt(0);
- var escapeChar;
- var length;
-
- if (charCode <= 0xFF) {
- escapeChar = 'x';
- length = 2;
- } else {
- escapeChar = 'u';
- length = 4;
- }
-
- return '\\' + escapeChar + padLeft(charCode.toString(16).toUpperCase(), '0', length);
- }
-
- function matchFailed(failure) {
- if (pos < rightmostFailuresPos) {
- return;
- }
-
- if (pos > rightmostFailuresPos) {
- rightmostFailuresPos = pos;
- rightmostFailuresExpected = [];
- }
-
- rightmostFailuresExpected.push(failure);
- }
-
- function parse_graph() {
- var result0, result1, result2, result3, result4, result5, result6, result7, result8, result9, result10;
- var pos0, pos1;
-
- reportFailures++;
- pos0 = pos;
- pos1 = pos;
- result0 = parse__();
- if (result0 !== null) {
- if (input.substr(pos, 6).toLowerCase() === "strict") {
- result1 = input.substr(pos, 6);
- pos += 6;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("\"strict\"");
- }
- }
- result1 = result1 !== null ? result1 : "";
- if (result1 !== null) {
- result2 = parse__();
- if (result2 !== null) {
- if (input.substr(pos, 5).toLowerCase() === "graph") {
- result3 = input.substr(pos, 5);
- pos += 5;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("\"graph\"");
- }
- }
- if (result3 === null) {
- if (input.substr(pos, 7).toLowerCase() === "digraph") {
- result3 = input.substr(pos, 7);
- pos += 7;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("\"digraph\"");
- }
- }
- }
- if (result3 !== null) {
- result4 = parse__();
- if (result4 !== null) {
- result5 = parse_ID();
- result5 = result5 !== null ? result5 : "";
- if (result5 !== null) {
- result6 = parse__();
- if (result6 !== null) {
- if (input.charCodeAt(pos) === 123) {
- result7 = "{";
- pos++;
- } else {
- result7 = null;
- if (reportFailures === 0) {
- matchFailed("\"{\"");
- }
- }
- if (result7 !== null) {
- result8 = parse_stmt_list();
- if (result8 !== null) {
- if (input.charCodeAt(pos) === 125) {
- result9 = "}";
- pos++;
- } else {
- result9 = null;
- if (reportFailures === 0) {
- matchFailed("\"}\"");
- }
- }
- if (result9 !== null) {
- result10 = parse__();
- if (result10 !== null) {
- result0 = [result0, result1, result2, result3, result4, result5, result6, result7, result8, result9, result10];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, strict, type, id, children) {
- var ret = {type:type.toLowerCase(), children:children};
- if (strict) { ret.strict = true }
- if (id) { ret.id = id }
- return ret;
- })(pos0, result0[1], result0[3], result0[5], result0[8]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- reportFailures--;
- if (reportFailures === 0 && result0 === null) {
- matchFailed("graph");
- }
- return result0;
- }
-
- function parse_stmt_list() {
- var result0, result1, result2, result3, result4, result5;
- var pos0, pos1, pos2, pos3;
-
- pos0 = pos;
- pos1 = pos;
- result0 = parse__();
- if (result0 !== null) {
- pos2 = pos;
- pos3 = pos;
- result1 = parse_stmt();
- if (result1 !== null) {
- result2 = parse__();
- if (result2 !== null) {
- if (input.charCodeAt(pos) === 59) {
- result3 = ";";
- pos++;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("\";\"");
- }
- }
- result3 = result3 !== null ? result3 : "";
- if (result3 !== null) {
- result4 = parse__();
- if (result4 !== null) {
- result5 = parse_stmt_list();
- result5 = result5 !== null ? result5 : "";
- if (result5 !== null) {
- result1 = [result1, result2, result3, result4, result5];
- } else {
- result1 = null;
- pos = pos3;
- }
- } else {
- result1 = null;
- pos = pos3;
- }
- } else {
- result1 = null;
- pos = pos3;
- }
- } else {
- result1 = null;
- pos = pos3;
- }
- } else {
- result1 = null;
- pos = pos3;
- }
- if (result1 !== null) {
- result1 = (function(offset, s, v) {return [s].concat(v||[]);})(pos2, result1[0], result1[4]);
- }
- if (result1 === null) {
- pos = pos2;
- }
- result1 = result1 !== null ? result1 : "";
- if (result1 !== null) {
- result0 = [result0, result1];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, v) { return v; })(pos0, result0[1]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- return result0;
- }
-
- function parse_stmt() {
- var result0, result1, result2, result3, result4;
- var pos0, pos1;
-
- pos0 = pos;
- pos1 = pos;
- result0 = parse_ID();
- if (result0 !== null) {
- result1 = parse__();
- if (result1 !== null) {
- if (input.charCodeAt(pos) === 61) {
- result2 = "=";
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("\"=\"");
- }
- }
- if (result2 !== null) {
- result3 = parse__();
- if (result3 !== null) {
- result4 = parse_ID();
- if (result4 !== null) {
- result0 = [result0, result1, result2, result3, result4];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, left, right) { return {type:'attr_stmt', target:'graph', attr_list:[{type:'attr', id:left, eq:right}]}; })(pos0, result0[0], result0[4]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- if (result0 === null) {
- result0 = parse_attr_stmt();
- if (result0 === null) {
- result0 = parse_edge_stmt();
- if (result0 === null) {
- result0 = parse_subgraph();
- if (result0 === null) {
- result0 = parse_node_stmt();
- if (result0 === null) {
- pos0 = pos;
- result0 = parse_ID();
- if (result0 !== null) {
- if (input.charCodeAt(pos) === 61) {
- result1 = "=";
- pos++;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("\"=\"");
- }
- }
- if (result1 !== null) {
- result2 = parse_ID();
- if (result2 !== null) {
- result0 = [result0, result1, result2];
- } else {
- result0 = null;
- pos = pos0;
- }
- } else {
- result0 = null;
- pos = pos0;
- }
- } else {
- result0 = null;
- pos = pos0;
- }
- }
- }
- }
- }
- }
- return result0;
- }
-
- function parse_attr_stmt() {
- var result0, result1;
- var pos0, pos1;
-
- pos0 = pos;
- pos1 = pos;
- if (input.substr(pos, 5).toLowerCase() === "graph") {
- result0 = input.substr(pos, 5);
- pos += 5;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"graph\"");
- }
- }
- if (result0 === null) {
- if (input.substr(pos, 4).toLowerCase() === "node") {
- result0 = input.substr(pos, 4);
- pos += 4;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"node\"");
- }
- }
- if (result0 === null) {
- if (input.substr(pos, 4).toLowerCase() === "edge") {
- result0 = input.substr(pos, 4);
- pos += 4;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"edge\"");
- }
- }
- }
- }
- if (result0 !== null) {
- result1 = parse_attr_list();
- if (result1 !== null) {
- result0 = [result0, result1];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, target, attr) { return {type:'attr_stmt', target:target, attr_list:attr}; })(pos0, result0[0], result0[1]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- return result0;
- }
-
- function parse_attr_list() {
- var result0, result1, result2, result3, result4, result5;
- var pos0, pos1;
-
- pos0 = pos;
- pos1 = pos;
- result0 = parse__();
- if (result0 !== null) {
- if (input.charCodeAt(pos) === 91) {
- result1 = "[";
- pos++;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("\"[\"");
- }
- }
- if (result1 !== null) {
- result2 = parse_a_list();
- result2 = result2 !== null ? result2 : "";
- if (result2 !== null) {
- if (input.charCodeAt(pos) === 93) {
- result3 = "]";
- pos++;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("\"]\"");
- }
- }
- if (result3 !== null) {
- result4 = parse__();
- if (result4 !== null) {
- result5 = parse_attr_list();
- result5 = result5 !== null ? result5 : "";
- if (result5 !== null) {
- result0 = [result0, result1, result2, result3, result4, result5];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, list, rest) { return (list || []).concat(rest || []); })(pos0, result0[2], result0[5]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- return result0;
- }
-
- function parse_a_list() {
- var result0, result1, result2, result3, result4, result5;
- var pos0, pos1, pos2, pos3;
-
- pos0 = pos;
- pos1 = pos;
- result0 = parse__();
- if (result0 !== null) {
- result1 = parse_ID();
- if (result1 !== null) {
- pos2 = pos;
- pos3 = pos;
- result2 = parse__();
- if (result2 !== null) {
- if (input.charCodeAt(pos) === 61) {
- result3 = "=";
- pos++;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("\"=\"");
- }
- }
- if (result3 !== null) {
- result4 = parse__();
- if (result4 !== null) {
- result5 = parse_ID();
- if (result5 !== null) {
- result2 = [result2, result3, result4, result5];
- } else {
- result2 = null;
- pos = pos3;
- }
- } else {
- result2 = null;
- pos = pos3;
- }
- } else {
- result2 = null;
- pos = pos3;
- }
- } else {
- result2 = null;
- pos = pos3;
- }
- if (result2 !== null) {
- result2 = (function(offset, id) {return id})(pos2, result2[3]);
- }
- if (result2 === null) {
- pos = pos2;
- }
- result2 = result2 !== null ? result2 : "";
- if (result2 !== null) {
- result3 = parse__();
- if (result3 !== null) {
- if (input.charCodeAt(pos) === 44) {
- result4 = ",";
- pos++;
- } else {
- result4 = null;
- if (reportFailures === 0) {
- matchFailed("\",\"");
- }
- }
- result4 = result4 !== null ? result4 : "";
- if (result4 !== null) {
- result5 = parse_a_list();
- result5 = result5 !== null ? result5 : "";
- if (result5 !== null) {
- result0 = [result0, result1, result2, result3, result4, result5];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, id, eq, rest) {
- return [{type:'attr', id:id, eq:eq||null}].concat(rest || []);
- })(pos0, result0[1], result0[2], result0[5]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- return result0;
- }
-
- function parse_edge_stmt() {
- var result0, result1, result2;
- var pos0, pos1;
-
- pos0 = pos;
- pos1 = pos;
- result0 = parse_subgraph();
- if (result0 === null) {
- result0 = parse_node_id();
- }
- if (result0 !== null) {
- result1 = parse_edgeRHS();
- if (result1 !== null) {
- result2 = parse_attr_list();
- result2 = result2 !== null ? result2 : "";
- if (result2 !== null) {
- result0 = [result0, result1, result2];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, id, rhs, attr) {
- var edge_list = [id];
- edge_list = edge_list.concat(rhs.map(function(v){return v.id}));
- return {type:'edge_stmt', edge_list:edge_list, attr_list:attr||[]};
- })(pos0, result0[0], result0[1], result0[2]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- return result0;
- }
-
- function parse_edgeRHS() {
- var result0, result1, result2, result3, result4, result5;
- var pos0, pos1;
-
- pos0 = pos;
- pos1 = pos;
- result0 = parse__();
- if (result0 !== null) {
- if (input.substr(pos, 2) === "->") {
- result1 = "->";
- pos += 2;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("\"->\"");
- }
- }
- if (result1 === null) {
- if (input.substr(pos, 2) === "--") {
- result1 = "--";
- pos += 2;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("\"--\"");
- }
- }
- }
- if (result1 !== null) {
- result2 = parse__();
- if (result2 !== null) {
- result3 = parse_subgraph();
- if (result3 === null) {
- result3 = parse_node_id();
- }
- if (result3 !== null) {
- result4 = parse__();
- if (result4 !== null) {
- result5 = parse_edgeRHS();
- result5 = result5 !== null ? result5 : "";
- if (result5 !== null) {
- result0 = [result0, result1, result2, result3, result4, result5];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, edgeop, id, rest) {return [{type:'edgeRHS', edgeop:edgeop, id:id}].concat(rest || []); })(pos0, result0[1], result0[3], result0[5]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- return result0;
- }
-
- function parse_node_stmt() {
- var result0, result1;
- var pos0, pos1;
-
- pos0 = pos;
- pos1 = pos;
- result0 = parse_node_id();
- if (result0 !== null) {
- result1 = parse_attr_list();
- result1 = result1 !== null ? result1 : "";
- if (result1 !== null) {
- result0 = [result0, result1];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, id, attr) { return {type:'node_stmt', node_id:id, attr_list:attr || []}; })(pos0, result0[0], result0[1]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- return result0;
- }
-
- function parse_node_id() {
- var result0, result1;
- var pos0, pos1;
-
- pos0 = pos;
- pos1 = pos;
- result0 = parse_ID();
- if (result0 !== null) {
- result1 = parse_port();
- result1 = result1 !== null ? result1 : "";
- if (result1 !== null) {
- result0 = [result0, result1];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, id, port) { return port ? {type:'node_id', id:id, port:port} : {type:'node_id', id:id}; })(pos0, result0[0], result0[1]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- return result0;
- }
-
- function parse_port() {
- var result0, result1, result2, result3;
- var pos0, pos1, pos2, pos3;
-
- reportFailures++;
- pos0 = pos;
- pos1 = pos;
- if (input.charCodeAt(pos) === 58) {
- result0 = ":";
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\":\"");
- }
- }
- if (result0 !== null) {
- result1 = parse_ID();
- if (result1 !== null) {
- pos2 = pos;
- pos3 = pos;
- if (input.charCodeAt(pos) === 58) {
- result2 = ":";
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("\":\"");
- }
- }
- if (result2 !== null) {
- result3 = parse_compass_pt();
- if (result3 !== null) {
- result2 = [result2, result3];
- } else {
- result2 = null;
- pos = pos3;
- }
- } else {
- result2 = null;
- pos = pos3;
- }
- if (result2 !== null) {
- result2 = (function(offset, pt) {return pt})(pos2, result2[1]);
- }
- if (result2 === null) {
- pos = pos2;
- }
- result2 = result2 !== null ? result2 : "";
- if (result2 !== null) {
- result0 = [result0, result1, result2];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, id, pt) { return {type:'port', id:id, compass_pt:pt || null}; })(pos0, result0[1], result0[2]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- if (result0 === null) {
- pos0 = pos;
- pos1 = pos;
- if (input.charCodeAt(pos) === 58) {
- result0 = ":";
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\":\"");
- }
- }
- if (result0 !== null) {
- result1 = parse_compass_pt();
- if (result1 !== null) {
- result0 = [result0, result1];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, pt) {return {type:'port', compass_pt:pt||null}})(pos0, result0[1]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- }
- reportFailures--;
- if (reportFailures === 0 && result0 === null) {
- matchFailed("port");
- }
- return result0;
- }
-
- function parse_subgraph() {
- var result0, result1, result2, result3;
- var pos0, pos1, pos2, pos3;
-
- pos0 = pos;
- pos1 = pos;
- pos2 = pos;
- pos3 = pos;
- if (input.substr(pos, 8).toLowerCase() === "subgraph") {
- result0 = input.substr(pos, 8);
- pos += 8;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"subgraph\"");
- }
- }
- if (result0 !== null) {
- result1 = parse__();
- if (result1 !== null) {
- result2 = parse_ID();
- result2 = result2 !== null ? result2 : "";
- if (result2 !== null) {
- result3 = parse__();
- if (result3 !== null) {
- result0 = [result0, result1, result2, result3];
- } else {
- result0 = null;
- pos = pos3;
- }
- } else {
- result0 = null;
- pos = pos3;
- }
- } else {
- result0 = null;
- pos = pos3;
- }
- } else {
- result0 = null;
- pos = pos3;
- }
- if (result0 !== null) {
- result0 = (function(offset, id) {return id ? {type:'subgraph', id:id} : {type:'subgraph'}})(pos2, result0[2]);
- }
- if (result0 === null) {
- pos = pos2;
- }
- result0 = result0 !== null ? result0 : "";
- if (result0 !== null) {
- if (input.charCodeAt(pos) === 123) {
- result1 = "{";
- pos++;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("\"{\"");
- }
- }
- if (result1 !== null) {
- result2 = parse_stmt_list();
- if (result2 !== null) {
- if (input.charCodeAt(pos) === 125) {
- result3 = "}";
- pos++;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("\"}\"");
- }
- }
- if (result3 !== null) {
- result0 = [result0, result1, result2, result3];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, g, s) { g=g||{type:'subgraph'}; g.children = s||[]; return g; })(pos0, result0[0], result0[2]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- if (result0 === null) {
- pos0 = pos;
- pos1 = pos;
- if (input.substr(pos, 8).toLowerCase() === "subgraph") {
- result0 = input.substr(pos, 8);
- pos += 8;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"subgraph\"");
- }
- }
- if (result0 !== null) {
- result1 = parse__();
- if (result1 !== null) {
- result2 = parse_ID();
- if (result2 !== null) {
- result0 = [result0, result1, result2];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, id) { return {type:'subgraph', id:id, children:[]}; })(pos0, result0[2]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- }
- return result0;
- }
-
- function parse_compass_pt() {
- var result0;
-
- if (input.charCodeAt(pos) === 110) {
- result0 = "n";
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"n\"");
- }
- }
- if (result0 === null) {
- if (input.substr(pos, 2) === "ne") {
- result0 = "ne";
- pos += 2;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"ne\"");
- }
- }
- if (result0 === null) {
- if (input.charCodeAt(pos) === 101) {
- result0 = "e";
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"e\"");
- }
- }
- if (result0 === null) {
- if (input.substr(pos, 2) === "se") {
- result0 = "se";
- pos += 2;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"se\"");
- }
- }
- if (result0 === null) {
- if (input.charCodeAt(pos) === 115) {
- result0 = "s";
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"s\"");
- }
- }
- if (result0 === null) {
- if (input.substr(pos, 2) === "sw") {
- result0 = "sw";
- pos += 2;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"sw\"");
- }
- }
- if (result0 === null) {
- if (input.charCodeAt(pos) === 119) {
- result0 = "w";
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"w\"");
- }
- }
- if (result0 === null) {
- if (input.substr(pos, 2) === "nw") {
- result0 = "nw";
- pos += 2;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"nw\"");
- }
- }
- }
- }
- }
- }
- }
- }
- }
- return result0;
- }
-
- function parse_ID() {
- var result0;
-
- result0 = parse_STRING();
- if (result0 === null) {
- result0 = parse_NUMBER();
- if (result0 === null) {
- result0 = parse_QUOTED_STRING();
- if (result0 === null) {
- result0 = parse_HTML_STRING();
- }
- }
- }
- return result0;
- }
-
- function parse_STRING() {
- var result0, result1, result2;
- var pos0, pos1;
-
- pos0 = pos;
- pos1 = pos;
- if (/^[a-zA-Z_]/.test(input.charAt(pos))) {
- result0 = input.charAt(pos);
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("[a-zA-Z_]");
- }
- }
- if (result0 !== null) {
- result1 = [];
- if (/^[a-zA-Z0-9_]/.test(input.charAt(pos))) {
- result2 = input.charAt(pos);
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("[a-zA-Z0-9_]");
- }
- }
- while (result2 !== null) {
- result1.push(result2);
- if (/^[a-zA-Z0-9_]/.test(input.charAt(pos))) {
- result2 = input.charAt(pos);
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("[a-zA-Z0-9_]");
- }
- }
- }
- if (result1 !== null) {
- result0 = [result0, result1];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, v) { return v[0]+v[1].join(''); })(pos0, result0);
- }
- if (result0 === null) {
- pos = pos0;
- }
- return result0;
- }
-
- function parse_NUMBER() {
- var result0, result1, result2, result3, result4;
- var pos0, pos1, pos2, pos3;
-
- reportFailures++;
- pos0 = pos;
- pos1 = pos;
- if (input.charCodeAt(pos) === 45) {
- result0 = "-";
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"-\"");
- }
- }
- result0 = result0 !== null ? result0 : "";
- if (result0 !== null) {
- pos2 = pos;
- if (input.charCodeAt(pos) === 46) {
- result1 = ".";
- pos++;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("\".\"");
- }
- }
- if (result1 !== null) {
- if (/^[0-9]/.test(input.charAt(pos))) {
- result3 = input.charAt(pos);
- pos++;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("[0-9]");
- }
- }
- if (result3 !== null) {
- result2 = [];
- while (result3 !== null) {
- result2.push(result3);
- if (/^[0-9]/.test(input.charAt(pos))) {
- result3 = input.charAt(pos);
- pos++;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("[0-9]");
- }
- }
- }
- } else {
- result2 = null;
- }
- if (result2 !== null) {
- result1 = [result1, result2];
- } else {
- result1 = null;
- pos = pos2;
- }
- } else {
- result1 = null;
- pos = pos2;
- }
- if (result1 === null) {
- pos2 = pos;
- if (/^[0-9]/.test(input.charAt(pos))) {
- result2 = input.charAt(pos);
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("[0-9]");
- }
- }
- if (result2 !== null) {
- result1 = [];
- while (result2 !== null) {
- result1.push(result2);
- if (/^[0-9]/.test(input.charAt(pos))) {
- result2 = input.charAt(pos);
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("[0-9]");
- }
- }
- }
- } else {
- result1 = null;
- }
- if (result1 !== null) {
- pos3 = pos;
- if (input.charCodeAt(pos) === 46) {
- result2 = ".";
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("\".\"");
- }
- }
- if (result2 !== null) {
- result3 = [];
- if (/^[0-9]/.test(input.charAt(pos))) {
- result4 = input.charAt(pos);
- pos++;
- } else {
- result4 = null;
- if (reportFailures === 0) {
- matchFailed("[0-9]");
- }
- }
- while (result4 !== null) {
- result3.push(result4);
- if (/^[0-9]/.test(input.charAt(pos))) {
- result4 = input.charAt(pos);
- pos++;
- } else {
- result4 = null;
- if (reportFailures === 0) {
- matchFailed("[0-9]");
- }
- }
- }
- if (result3 !== null) {
- result2 = [result2, result3];
- } else {
- result2 = null;
- pos = pos3;
- }
- } else {
- result2 = null;
- pos = pos3;
- }
- result2 = result2 !== null ? result2 : "";
- if (result2 !== null) {
- result1 = [result1, result2];
- } else {
- result1 = null;
- pos = pos2;
- }
- } else {
- result1 = null;
- pos = pos2;
- }
- }
- if (result1 !== null) {
- result0 = [result0, result1];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, n) {
- flatten = function(v){ return typeof v === 'string' ? v : v.map(flatten).join(''); }
- return parseFloat(flatten(n));
- })(pos0, result0);
- }
- if (result0 === null) {
- pos = pos0;
- }
- reportFailures--;
- if (reportFailures === 0 && result0 === null) {
- matchFailed("NUMBER");
- }
- return result0;
- }
-
- function parse_HTML_STRING() {
- var result0;
- var pos0;
-
- pos0 = pos;
- result0 = parse_html_raw_string();
- if (result0 !== null) {
- result0 = (function(offset, v) { return {type:'id', value:v.slice(1,v.length-1), html:true}; })(pos0, result0);
- }
- if (result0 === null) {
- pos = pos0;
- }
- return result0;
- }
-
- function parse_html_raw_string() {
- var result0, result1, result2;
- var pos0, pos1;
-
- pos0 = pos;
- pos1 = pos;
- if (input.charCodeAt(pos) === 60) {
- result0 = "<";
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"<\"");
- }
- }
- if (result0 !== null) {
- result1 = [];
- result2 = parse_html_char();
- if (result2 === null) {
- result2 = parse_html_raw_string();
- }
- while (result2 !== null) {
- result1.push(result2);
- result2 = parse_html_char();
- if (result2 === null) {
- result2 = parse_html_raw_string();
- }
- }
- if (result1 !== null) {
- if (input.charCodeAt(pos) === 62) {
- result2 = ">";
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("\">\"");
- }
- }
- if (result2 !== null) {
- result0 = [result0, result1, result2];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, v) { return '<' + v.join('') + '>'; })(pos0, result0[1]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- return result0;
- }
-
- function parse_html_char() {
- var result0, result1, result2;
- var pos0, pos1, pos2, pos3;
-
- pos0 = pos;
- pos1 = pos;
- pos2 = pos;
- pos3 = pos;
- reportFailures++;
- if (input.charCodeAt(pos) === 62) {
- result1 = ">";
- pos++;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("\">\"");
- }
- }
- if (result1 === null) {
- if (input.charCodeAt(pos) === 60) {
- result1 = "<";
- pos++;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("\"<\"");
- }
- }
- }
- reportFailures--;
- if (result1 === null) {
- result1 = "";
- } else {
- result1 = null;
- pos = pos3;
- }
- if (result1 !== null) {
- if (input.length > pos) {
- result2 = input.charAt(pos);
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("any character");
- }
- }
- if (result2 !== null) {
- result1 = [result1, result2];
- } else {
- result1 = null;
- pos = pos2;
- }
- } else {
- result1 = null;
- pos = pos2;
- }
- if (result1 !== null) {
- result1 = (function(offset, v) {return v})(pos1, result1[1]);
- }
- if (result1 === null) {
- pos = pos1;
- }
- if (result1 !== null) {
- result0 = [];
- while (result1 !== null) {
- result0.push(result1);
- pos1 = pos;
- pos2 = pos;
- pos3 = pos;
- reportFailures++;
- if (input.charCodeAt(pos) === 62) {
- result1 = ">";
- pos++;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("\">\"");
- }
- }
- if (result1 === null) {
- if (input.charCodeAt(pos) === 60) {
- result1 = "<";
- pos++;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("\"<\"");
- }
- }
- }
- reportFailures--;
- if (result1 === null) {
- result1 = "";
- } else {
- result1 = null;
- pos = pos3;
- }
- if (result1 !== null) {
- if (input.length > pos) {
- result2 = input.charAt(pos);
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("any character");
- }
- }
- if (result2 !== null) {
- result1 = [result1, result2];
- } else {
- result1 = null;
- pos = pos2;
- }
- } else {
- result1 = null;
- pos = pos2;
- }
- if (result1 !== null) {
- result1 = (function(offset, v) {return v})(pos1, result1[1]);
- }
- if (result1 === null) {
- pos = pos1;
- }
- }
- } else {
- result0 = null;
- }
- if (result0 !== null) {
- result0 = (function(offset, v) { return v.join(""); })(pos0, result0);
- }
- if (result0 === null) {
- pos = pos0;
- }
- return result0;
- }
-
- function parse_QUOTED_STRING() {
- var result0, result1, result2, result3, result4;
- var pos0, pos1, pos2, pos3;
-
- pos0 = pos;
- pos1 = pos;
- if (input.charCodeAt(pos) === 34) {
- result0 = "\"";
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"\\\"\"");
- }
- }
- if (result0 !== null) {
- if (input.charCodeAt(pos) === 34) {
- result1 = "\"";
- pos++;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("\"\\\"\"");
- }
- }
- if (result1 !== null) {
- result0 = [result0, result1];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset) {return "";})(pos0);
- }
- if (result0 === null) {
- pos = pos0;
- }
- if (result0 === null) {
- pos0 = pos;
- pos1 = pos;
- pos2 = pos;
- if (input.charCodeAt(pos) === 34) {
- result0 = "\"";
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"\\\"\"");
- }
- }
- if (result0 !== null) {
- result1 = parse_chars();
- if (result1 !== null) {
- pos3 = pos;
- if (input.charCodeAt(pos) === 92) {
- result2 = "\\";
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("\"\\\\\"");
- }
- }
- if (result2 !== null) {
- result3 = parse_NEWLINE();
- if (result3 !== null) {
- result4 = parse_chars();
- if (result4 !== null) {
- result2 = [result2, result3, result4];
- } else {
- result2 = null;
- pos = pos3;
- }
- } else {
- result2 = null;
- pos = pos3;
- }
- } else {
- result2 = null;
- pos = pos3;
- }
- result2 = result2 !== null ? result2 : "";
- if (result2 !== null) {
- if (input.charCodeAt(pos) === 34) {
- result3 = "\"";
- pos++;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("\"\\\"\"");
- }
- }
- if (result3 !== null) {
- result0 = [result0, result1, result2, result3];
- } else {
- result0 = null;
- pos = pos2;
- }
- } else {
- result0 = null;
- pos = pos2;
- }
- } else {
- result0 = null;
- pos = pos2;
- }
- } else {
- result0 = null;
- pos = pos2;
- }
- if (result0 !== null) {
- pos2 = pos;
- pos3 = pos;
- result1 = parse__();
- if (result1 !== null) {
- if (input.charCodeAt(pos) === 43) {
- result2 = "+";
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("\"+\"");
- }
- }
- if (result2 !== null) {
- result3 = parse__();
- if (result3 !== null) {
- result4 = parse_QUOTED_STRING();
- if (result4 !== null) {
- result1 = [result1, result2, result3, result4];
- } else {
- result1 = null;
- pos = pos3;
- }
- } else {
- result1 = null;
- pos = pos3;
- }
- } else {
- result1 = null;
- pos = pos3;
- }
- } else {
- result1 = null;
- pos = pos3;
- }
- if (result1 !== null) {
- result1 = (function(offset, v) {return v})(pos2, result1[3]);
- }
- if (result1 === null) {
- pos = pos2;
- }
- result1 = result1 !== null ? result1 : "";
- if (result1 !== null) {
- result0 = [result0, result1];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, v, rest) { return v[1] + rest; })(pos0, result0[0], result0[1]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- }
- return result0;
- }
-
- function parse_chars() {
- var result0, result1;
- var pos0;
-
- pos0 = pos;
- result1 = parse_char();
- if (result1 !== null) {
- result0 = [];
- while (result1 !== null) {
- result0.push(result1);
- result1 = parse_char();
- }
- } else {
- result0 = null;
- }
- if (result0 !== null) {
- result0 = (function(offset, chars) { return chars.join(""); })(pos0, result0);
- }
- if (result0 === null) {
- pos = pos0;
- }
- return result0;
- }
-
- function parse_char() {
- var result0, result1;
- var pos0, pos1;
-
- if (/^[^"\\\0-\x1F]/.test(input.charAt(pos))) {
- result0 = input.charAt(pos);
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("[^\"\\\\\\0-\\x1F]");
- }
- }
- if (result0 === null) {
- pos0 = pos;
- if (input.substr(pos, 2) === "\\\"") {
- result0 = "\\\"";
- pos += 2;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"\\\\\\\"\"");
- }
- }
- if (result0 !== null) {
- result0 = (function(offset) { return '"'; })(pos0);
- }
- if (result0 === null) {
- pos = pos0;
- }
- if (result0 === null) {
- pos0 = pos;
- pos1 = pos;
- if (input.charCodeAt(pos) === 92) {
- result0 = "\\";
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"\\\\\"");
- }
- }
- if (result0 !== null) {
- result1 = parse_NEWLINE();
- if (result1 !== null) {
- result0 = [result0, result1];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset) { return ""; })(pos0);
- }
- if (result0 === null) {
- pos = pos0;
- }
- if (result0 === null) {
- pos0 = pos;
- if (input.charCodeAt(pos) === 92) {
- result0 = "\\";
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"\\\\\"");
- }
- }
- if (result0 !== null) {
- result0 = (function(offset) { return '\\'; })(pos0);
- }
- if (result0 === null) {
- pos = pos0;
- }
- }
- }
- }
- return result0;
- }
-
- function parse_COMMENT() {
- var result0;
-
- reportFailures++;
- result0 = parse_BLOCK_COMMENT();
- if (result0 === null) {
- result0 = parse_C_COMMENT();
- if (result0 === null) {
- result0 = parse_MACRO_COMMENT();
- }
- }
- reportFailures--;
- if (reportFailures === 0 && result0 === null) {
- matchFailed("COMMENT");
- }
- return result0;
- }
-
- function parse_BLOCK_COMMENT() {
- var result0, result1, result2, result3;
- var pos0, pos1, pos2, pos3, pos4;
-
- reportFailures++;
- pos0 = pos;
- pos1 = pos;
- if (input.substr(pos, 2) === "/*") {
- result0 = "/*";
- pos += 2;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"/*\"");
- }
- }
- if (result0 !== null) {
- result1 = [];
- pos2 = pos;
- pos3 = pos;
- pos4 = pos;
- reportFailures++;
- if (input.substr(pos, 2) === "*/") {
- result2 = "*/";
- pos += 2;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("\"*/\"");
- }
- }
- reportFailures--;
- if (result2 === null) {
- result2 = "";
- } else {
- result2 = null;
- pos = pos4;
- }
- if (result2 !== null) {
- if (input.length > pos) {
- result3 = input.charAt(pos);
- pos++;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("any character");
- }
- }
- if (result3 !== null) {
- result2 = [result2, result3];
- } else {
- result2 = null;
- pos = pos3;
- }
- } else {
- result2 = null;
- pos = pos3;
- }
- if (result2 !== null) {
- result2 = (function(offset, v) {return v;})(pos2, result2[1]);
- }
- if (result2 === null) {
- pos = pos2;
- }
- while (result2 !== null) {
- result1.push(result2);
- pos2 = pos;
- pos3 = pos;
- pos4 = pos;
- reportFailures++;
- if (input.substr(pos, 2) === "*/") {
- result2 = "*/";
- pos += 2;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("\"*/\"");
- }
- }
- reportFailures--;
- if (result2 === null) {
- result2 = "";
- } else {
- result2 = null;
- pos = pos4;
- }
- if (result2 !== null) {
- if (input.length > pos) {
- result3 = input.charAt(pos);
- pos++;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("any character");
- }
- }
- if (result3 !== null) {
- result2 = [result2, result3];
- } else {
- result2 = null;
- pos = pos3;
- }
- } else {
- result2 = null;
- pos = pos3;
- }
- if (result2 !== null) {
- result2 = (function(offset, v) {return v;})(pos2, result2[1]);
- }
- if (result2 === null) {
- pos = pos2;
- }
- }
- if (result1 !== null) {
- if (input.substr(pos, 2) === "*/") {
- result2 = "*/";
- pos += 2;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("\"*/\"");
- }
- }
- if (result2 !== null) {
- result0 = [result0, result1, result2];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, v) { return v.join('') })(pos0, result0[1]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- reportFailures--;
- if (reportFailures === 0 && result0 === null) {
- matchFailed("BLOCK_COMMENT");
- }
- return result0;
- }
-
- function parse_C_COMMENT() {
- var result0, result1, result2, result3;
- var pos0, pos1, pos2, pos3, pos4;
-
- reportFailures++;
- pos0 = pos;
- pos1 = pos;
- if (input.substr(pos, 2) === "//") {
- result0 = "//";
- pos += 2;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"//\"");
- }
- }
- if (result0 !== null) {
- result1 = [];
- pos2 = pos;
- pos3 = pos;
- pos4 = pos;
- reportFailures++;
- if (/^[\n]/.test(input.charAt(pos))) {
- result2 = input.charAt(pos);
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("[\\n]");
- }
- }
- reportFailures--;
- if (result2 === null) {
- result2 = "";
- } else {
- result2 = null;
- pos = pos4;
- }
- if (result2 !== null) {
- if (input.length > pos) {
- result3 = input.charAt(pos);
- pos++;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("any character");
- }
- }
- if (result3 !== null) {
- result2 = [result2, result3];
- } else {
- result2 = null;
- pos = pos3;
- }
- } else {
- result2 = null;
- pos = pos3;
- }
- if (result2 !== null) {
- result2 = (function(offset, v) { return v; })(pos2, result2[1]);
- }
- if (result2 === null) {
- pos = pos2;
- }
- while (result2 !== null) {
- result1.push(result2);
- pos2 = pos;
- pos3 = pos;
- pos4 = pos;
- reportFailures++;
- if (/^[\n]/.test(input.charAt(pos))) {
- result2 = input.charAt(pos);
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("[\\n]");
- }
- }
- reportFailures--;
- if (result2 === null) {
- result2 = "";
- } else {
- result2 = null;
- pos = pos4;
- }
- if (result2 !== null) {
- if (input.length > pos) {
- result3 = input.charAt(pos);
- pos++;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("any character");
- }
- }
- if (result3 !== null) {
- result2 = [result2, result3];
- } else {
- result2 = null;
- pos = pos3;
- }
- } else {
- result2 = null;
- pos = pos3;
- }
- if (result2 !== null) {
- result2 = (function(offset, v) { return v; })(pos2, result2[1]);
- }
- if (result2 === null) {
- pos = pos2;
- }
- }
- if (result1 !== null) {
- if (/^[\n]/.test(input.charAt(pos))) {
- result2 = input.charAt(pos);
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("[\\n]");
- }
- }
- result2 = result2 !== null ? result2 : "";
- if (result2 !== null) {
- result0 = [result0, result1, result2];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, v) { return v.join(''); })(pos0, result0[1]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- reportFailures--;
- if (reportFailures === 0 && result0 === null) {
- matchFailed("C_COMMENT");
- }
- return result0;
- }
-
- function parse_MACRO_COMMENT() {
- var result0, result1, result2, result3;
- var pos0, pos1, pos2, pos3, pos4;
-
- reportFailures++;
- pos0 = pos;
- pos1 = pos;
- if (input.charCodeAt(pos) === 35) {
- result0 = "#";
- pos++;
- } else {
- result0 = null;
- if (reportFailures === 0) {
- matchFailed("\"#\"");
- }
- }
- if (result0 !== null) {
- result1 = [];
- pos2 = pos;
- pos3 = pos;
- pos4 = pos;
- reportFailures++;
- if (/^[\n]/.test(input.charAt(pos))) {
- result2 = input.charAt(pos);
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("[\\n]");
- }
- }
- reportFailures--;
- if (result2 === null) {
- result2 = "";
- } else {
- result2 = null;
- pos = pos4;
- }
- if (result2 !== null) {
- if (input.length > pos) {
- result3 = input.charAt(pos);
- pos++;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("any character");
- }
- }
- if (result3 !== null) {
- result2 = [result2, result3];
- } else {
- result2 = null;
- pos = pos3;
- }
- } else {
- result2 = null;
- pos = pos3;
- }
- if (result2 !== null) {
- result2 = (function(offset, v) { return v; })(pos2, result2[1]);
- }
- if (result2 === null) {
- pos = pos2;
- }
- while (result2 !== null) {
- result1.push(result2);
- pos2 = pos;
- pos3 = pos;
- pos4 = pos;
- reportFailures++;
- if (/^[\n]/.test(input.charAt(pos))) {
- result2 = input.charAt(pos);
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("[\\n]");
- }
- }
- reportFailures--;
- if (result2 === null) {
- result2 = "";
- } else {
- result2 = null;
- pos = pos4;
- }
- if (result2 !== null) {
- if (input.length > pos) {
- result3 = input.charAt(pos);
- pos++;
- } else {
- result3 = null;
- if (reportFailures === 0) {
- matchFailed("any character");
- }
- }
- if (result3 !== null) {
- result2 = [result2, result3];
- } else {
- result2 = null;
- pos = pos3;
- }
- } else {
- result2 = null;
- pos = pos3;
- }
- if (result2 !== null) {
- result2 = (function(offset, v) { return v; })(pos2, result2[1]);
- }
- if (result2 === null) {
- pos = pos2;
- }
- }
- if (result1 !== null) {
- if (/^[\n]/.test(input.charAt(pos))) {
- result2 = input.charAt(pos);
- pos++;
- } else {
- result2 = null;
- if (reportFailures === 0) {
- matchFailed("[\\n]");
- }
- }
- result2 = result2 !== null ? result2 : "";
- if (result2 !== null) {
- result0 = [result0, result1, result2];
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- } else {
- result0 = null;
- pos = pos1;
- }
- if (result0 !== null) {
- result0 = (function(offset, v) { return v.join(''); })(pos0, result0[1]);
- }
- if (result0 === null) {
- pos = pos0;
- }
- reportFailures--;
- if (reportFailures === 0 && result0 === null) {
- matchFailed("MACRO_COMMENT");
- }
- return result0;
- }
-
- function parse__() {
- var result0, result1;
-
- reportFailures++;
- result0 = [];
- result1 = parse_WHITESPACE();
- if (result1 === null) {
- result1 = parse_COMMENT();
- }
- while (result1 !== null) {
- result0.push(result1);
- result1 = parse_WHITESPACE();
- if (result1 === null) {
- result1 = parse_COMMENT();
- }
- }
- reportFailures--;
- if (reportFailures === 0 && result0 === null) {
- matchFailed("WHITESPACE");
- }
- return result0;
- }
-
- function parse_NEWLINE() {
- var result0, result1;
-
- if (/^[\n\r]/.test(input.charAt(pos))) {
- result1 = input.charAt(pos);
- pos++;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("[\\n\\r]");
- }
- }
- if (result1 !== null) {
- result0 = [];
- while (result1 !== null) {
- result0.push(result1);
- if (/^[\n\r]/.test(input.charAt(pos))) {
- result1 = input.charAt(pos);
- pos++;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("[\\n\\r]");
- }
- }
- }
- } else {
- result0 = null;
- }
- return result0;
- }
-
- function parse_WHITESPACE() {
- var result0, result1;
-
- if (/^[ \t]/.test(input.charAt(pos))) {
- result1 = input.charAt(pos);
- pos++;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("[ \\t]");
- }
- }
- if (result1 === null) {
- result1 = parse_NEWLINE();
- }
- if (result1 !== null) {
- result0 = [];
- while (result1 !== null) {
- result0.push(result1);
- if (/^[ \t]/.test(input.charAt(pos))) {
- result1 = input.charAt(pos);
- pos++;
- } else {
- result1 = null;
- if (reportFailures === 0) {
- matchFailed("[ \\t]");
- }
- }
- if (result1 === null) {
- result1 = parse_NEWLINE();
- }
- }
- } else {
- result0 = null;
- }
- return result0;
- }
-
-
- function cleanupExpected(expected) {
- expected.sort();
-
- var lastExpected = null;
- var cleanExpected = [];
- for (var i = 0; i < expected.length; i++) {
- if (expected[i] !== lastExpected) {
- cleanExpected.push(expected[i]);
- lastExpected = expected[i];
- }
- }
- return cleanExpected;
- }
-
- function computeErrorPosition() {
- /*
- * The first idea was to use |String.split| to break the input up to the
- * error position along newlines and derive the line and column from
- * there. However IE's |split| implementation is so broken that it was
- * enough to prevent it.
- */
-
- var line = 1;
- var column = 1;
- var seenCR = false;
-
- for (var i = 0; i < Math.max(pos, rightmostFailuresPos); i++) {
- var ch = input.charAt(i);
- if (ch === "\n") {
- if (!seenCR) { line++; }
- column = 1;
- seenCR = false;
- } else if (ch === "\r" || ch === "\u2028" || ch === "\u2029") {
- line++;
- column = 1;
- seenCR = true;
- } else {
- column++;
- seenCR = false;
- }
- }
-
- return { line: line, column: column };
- }
-
-
- var result = parseFunctions[startRule]();
-
- /*
- * The parser is now in one of the following three states:
- *
- * 1. The parser successfully parsed the whole input.
- *
- * - |result !== null|
- * - |pos === input.length|
- * - |rightmostFailuresExpected| may or may not contain something
- *
- * 2. The parser successfully parsed only a part of the input.
- *
- * - |result !== null|
- * - |pos < input.length|
- * - |rightmostFailuresExpected| may or may not contain something
- *
- * 3. The parser did not successfully parse any part of the input.
- *
- * - |result === null|
- * - |pos === 0|
- * - |rightmostFailuresExpected| contains at least one failure
- *
- * All code following this comment (including called functions) must
- * handle these states.
- */
- if (result === null || pos !== input.length) {
- var offset = Math.max(pos, rightmostFailuresPos);
- var found = offset < input.length ? input.charAt(offset) : null;
- var errorPosition = computeErrorPosition();
-
- throw new this.SyntaxError(
- cleanupExpected(rightmostFailuresExpected),
- found,
- offset,
- errorPosition.line,
- errorPosition.column
- );
- }
-
- return result;
- },
-
- /* Returns the parser source code. */
- toSource: function() { return this._source; }
- };
-
- /* Thrown when a parser encounters a syntax error. */
-
- result.SyntaxError = function(expected, found, offset, line, column) {
- function buildMessage(expected, found) {
- var expectedHumanized, foundHumanized;
-
- switch (expected.length) {
- case 0:
- expectedHumanized = "end of input";
- break;
- case 1:
- expectedHumanized = expected[0];
- break;
- default:
- expectedHumanized = expected.slice(0, expected.length - 1).join(", ")
- + " or "
- + expected[expected.length - 1];
- }
-
- foundHumanized = found ? quote(found) : "end of input";
-
- return "Expected " + expectedHumanized + " but " + foundHumanized + " found.";
- }
-
- this.name = "SyntaxError";
- this.expected = expected;
- this.found = found;
- this.message = buildMessage(expected, found);
- this.offset = offset;
- this.line = line;
- this.column = column;
- };
-
- result.SyntaxError.prototype = Error.prototype;
-
- return result;
- })();
- /***************
- * Modifies the .parse method of DotParser
- * to first preprocess and remove any '\' followed
- * by newlines from the text before handing
- * it off to DotParser.parse
- **/
- (function (DotParser) {
- originalParse = DotParser.parse;
- DotParser.parse = function (src) {
- src = src.replace("\\\n","","g");
- return originalParse.call(DotParser, src);
- }
- })(DotParser);
|