GenOneCasabaParser SaffronCentral
Begin constructing grammar
at April 27, 1987 10:59:54 pm PDT
nTerminals: 158, nNonTerminals: 153
nProductions: 458, nRightSideItems: 962
Begin constructing LR0 Parser
at April 27, 1987 11:00:07 pm PDT
nNodes: 801, nArcs: 7895
Begin constructing LALR[1] Parser
at April 27, 1987 11:00:47 pm PDT
Begin consistency analysis for LALR[1] Parser
at April 27, 1987 11:05:50 pm PDT
Consistency analysis complete
at April 27, 1987 11:05:59 pm PDT
grammar is LALR[1]
Begin writing parser tables
at April 27, 1987 11:05:59 pm PDT
Parser tables written
at April 27, 1987 11:06:47 pm PDT
The following type decl is consistent with the productions of the grammar
ProductionNames: TYPE = {maingoal, topmodulep, topscope, goala, goalb, moduleimpl, moduledef, directorya, directoryb, directoryc, includelista, includelistb, includeitema, includeitemb, includeitemc, includeitemd, usingnothing, usingrestricted, usingunrestricted, defbodya, defbodyb, defbodyc, defbodyd, defhead, definitions, cedaryes, cedarno, proghead, resident, classprogram, classmonitor, interface, exportsa, exportsb, exportsc, binditema, binditemb, binditemc, caselabeltype, caselabeltest, caselabelPone, caselabelPmore, casetesta, casetestb, blocka, blockb, exitslist, exitsempty, publicpublic, publicprivate, publicempty, bounds, checkedempty, checkedchecked, checkedtrusted, checkedunchecked, defaulta, defaultempty, positionP, optbitspresent, optbitsabsent, sumsum, sumproduct, productproduct, productfactor, multoptimes, multopdivide, multopmod, factorunarysum, factorprimary, addopplus, addopminus, readonlyyes, readonlyno, catchany, intervalcc, intervaloc, intervalco, intervaloo, expifthenelse, expselect, expassign, expmultiassign, experror, exptransfer, expdisjunct, caseexplistempty, caseexplistb, caseexplistc, caseexplistPa, caseexplistPb, caseexpitem, transferopsignal, transferoperror, transferopstart, transferopjoin, transferopnew, transferopfork, disjunctor, disjunctconjunct, conjunctand, conjunctnegation, negationa, negationb, negationrelation, relationrelation, relationsum, catchlista, catchlistb, catchlistc, catchlistd, catchheadempty, catchheadmore, identidposition, identid, typeopcode, typeopfirst, typeoplast, typeopnil, idlist, idlistPone, idlistPmore, arguments, arglistany, arglistfieldlist, arglistempty, returnlistany, returnlistfieldlist, returnlistempty, fieldlistempty, fieldlistpairlist, fieldlisttypelist, typeexpa, typeexpb, typeexpc, numdecimal, numoctal, numhex, lhsid, lhsnum, lhsstring, lhsflnum, lhschar, lhsatom, lhsnarrow, lhsloophole, lhsapply, lhsexp, lhsqualifier, qualifierprefixop, qualifiertypeop, qualifiersize, qualifierapply, qualifierselect, qualifierindirect, exitlistempty, exitlistb, exitlistc, exitlistPa, exitlistPb, exititem, optexptrash, optexpexp, optexpempty, catchcase, lhslistone, lhslistmore, initializationempty, initializationassignment, initializationbinding, initvalueblock, initvaluecode, initvaluec, initvalued, initvaluetrash, initvalueexp, procaccess, inlineyes, inlineno, codelistone, codelistmore, rangea, rangeb, rangec, ranged, rangee, trashtrash, trashnull, defaultoptgetstrash, defaultoptgetsexportrash, defaultoptgets, defaultoptgetsexp, orderlistone, orderlistmore, trusted, optrelationnegative, optrelationpositive, relationtailrange, relationtailrelop, relopeq, relopne, reloplt, relople, relopgt, relopge, sharespresent, sharesabsent, statementifthen, statementifthenelse, statementselect, statementbasicstmt, balstmtifthenelse, balstmtselect, balstmtbasicstmt, basicstmtexp, basicstmtassign, basicstmtmultiassign, basicstmtblock, basicstmtselect, basicstmtloopcontrol, basicstmtexit, basicstmtloop, basicstmti, basicstmtj, basicstmtreturn, basicstmttransfer, basicstmtfree, basicstmtwait, basicstmterror, basicstmtstop, basicstmtnull, basicstmtresume, basicstmtreject, basicstmtcontinue, basicstmtretry, basicstmtgetstate, basicstmtsetstate, forclauseassignation, forclauseiteration, forclauserepetition, forclauseempty, controlidnew, controlidold, directionyes, directionno, doexita, doexitb, doexitc, doexitd, transfersignal, transfererror, transferreturnwitherror, transferstart, transferrestart, transferjoin, transfernotify, transferbroadcast, transfertransferwith, transferreturnwith, dotestuntil, dotestwhile, dotestempty, optargsexplist, optargsempty, optargsexp, freeplain, freezoned, casestmtlistempty, casestmtlistb, casestmtlistc, casestmtlistPa, casestmtlistPb, casestmtitem, declistone, declistmany, declarationvalue, declarationtype, declarationopaquetype, entryentry, entryinternal, entryempty, optsizepresent, optsizeabsent, primaryexplist, primaryprefixop, primaryval, primaryall, primarynew, primarycons, primarylistcons, primarynil, primarytypeop, primarysize, primarysize2, primaryistype, primaryaddress, primarydescriptor, primarylhs, newplain, newzoned, consplain, conszoned, listconsplain, listconszoned, desclistexplicit, desclistdefault, optcatchcatchlist, optcatchempty, identlist, identlistPa, identlistPb, identlistPc, identlistPd, prefixoplong, prefixopabs, prefixoppred, prefixopsucc, prefixopord, prefixopmin, prefixopmax, prefixopbase, prefixoplength, typeconsa, typeconsb, typeconsc, typeconsenum, typeconsrecord, typeconspointer, typeconsvar, typeconsref, typeconsrefany, typeconsrefunspecified, typeconslist, typeconsarray, typeconsdescriptor, typeconstransfer, typeconso, typeconsp, typeconszone, typeconslong, typeconsframe, typeconst, typeconsu, typeconstypeapply, dependentyes, dependentno, monitoredyes, monitoredno, orderedyes, orderedno, baseyes, baseno, pointertypeunspecified, pointertypespecified, pointerprefixabsent, pointerprefixpresent, indextypepresent, indextypeabsent, transfermodea, transfermodeb, transfermodeport, transfermodesignal, transfermodeerror, transfermodeprocess, transfermodeprogram, elementlistempty, elementlistb, elementlistPa, elementlistPb, elementidwithrep, elementanon, elementid, heapyes, heapno, typeappla, typeapplb, typeapplc, typeappld, lengthP, reclista, reclistb, reclistc, reclistd, recliste, reclistf, reclistg, variantpair, variantparta, variantpartb, variantpartc, vcaseheadident, vcaseheadcomputed, vcaseheadoverlaid, tagtypestar, tagtypetypeexp, variantlistone, variantlistmore, variantitem, packedyes, packedno, importsa, importsb, importsc, opttypepresent, opttypeabsent, typelista, typelistb, typelistc, typelistd, typeliste, typelistf, typelistg, typelisth, modulelista, modulelistb, moduleitemone, moduleitemtwo, tildea, tildeb, pairlistone, pairlistmany, pairitem, typeida, typeidb, typeidc, typeidPa, typeidPb, explistorderlist, explistkeylist, keylistone, keylistmore, keyitema, keyitemb, lockspresent, locksabsent, lambdapresent, lambdaabsent, openbindlist, openempty, bindlistitem, bindlistlist, caseheadplain, caseheaddiscrim, scopea, scopeb, enablesa, enablesb, enablesc, enablesd, enablese, statementlistempty, statementlistb, statementlistc, statementlistPa, statementlistPb, safeempty, safeno, safeyes};