Code

Recovery#243

Code

Open

sqmedeiros wants to merge 63 commits intomastertitan-lang/titan:masterfrom recoverytitan-lang/titan:recoveryCopy head branch name to clipboard

+685-18

Commits

Commits on Apr 18, 2018

• Adding label to RARROW in rule 'type', as suggested by the algorithm (tests passed)

  sqmedeiros

  committed
  fba6d15

• Annotating repetitions in rule program

  sqmedeiros

  committed
  ae506c1

Commits on Apr 23, 2018

• Annotating rule 'rettypeopt'

  sqmedeiros

  committed
  5a694ac

• Annotating rule 'paramlist'. Throws Err_029 instead of RParPList, which breaks one previous test

  sqmedeiros

  committed
  26db36a

• Annotating rule 'decl'. This hides labels AssignVar, AssignFor and AssignLocal. Commented tests related to theses labels

  sqmedeiros

  committed
  20ee7de

• Annotating until rule 'typelist'. Annotating the repetition in this rule, hides label RParenTypelist

  sqmedeiros

  committed
  1b6629d

• Annotating rule 'recordfields'. This hides label EndRecord. Commented tests related to this label

  sqmedeiros

  committed
  53910fe

Commits on Apr 27, 2018

• Annotating rule recordfield

  sqmedeiros

  committed
  898c454

Commits on Apr 30, 2018

• Annotating rule 'block'

  sqmedeiros

  committed
  eb9c927

• Annotating rule 'block'

  sqmedeiros

  committed
  d34733a

• Annotating rules 'elseifstats' and 'elseopt'

  sqmedeiros

  committed
  ea64307

• Annotating rule 'returnstat'

  sqmedeiros

  committed
  5fc0d88

• Annotating rule 'e1'

  sqmedeiros

  committed
  367bbbf

Commits on May 3, 2018

• Annotating rules 'e2' and 'e3'

  sqmedeiros

  committed
  2cbc12b

Commits on May 4, 2018

• Annotating e4,e5,e6 and e7

  sqmedeiros

  committed
  8208e59

• Annotating e9, e10, skipeed e11 (error), e12, varlist and funcargs

  sqmedeiros

  committed
  078090a

• Annotating explist, initlist and fieldlist

  sqmedeiros

  committed
  ea0c8fc

• Annotating rule 'e11'

  sqmedeiros

  committed
  27e9b6b

• Adding the annotated Titan grammar Titan generated by the algorithm that insert labels

  sqmedeiros

  committed
  968c13f

• Chaning 'pegtitan.txt' to 'annotatedTitan.txt'

  sqmedeiros

  committed
  cd912df

Commits on May 8, 2018

• Minor update in rule e8.

  sqmedeiros

  committed
  a61ae1f

• Removing pegtitan.txt

  sqmedeiros

  committed
  2cb6fc6

• Updating the annotated grammar

  sqmedeiros

  committed
  b2c10db

• Using the unmodified tests of 'parser_spec.lua'. Adding an extra label to 'parser.lua', following the output of the algorithm

  sqmedeiros

  committed
  0a93433

Commits on May 9, 2018

• Recovering when label ExpVarDec is thrown

  sqmedeiros

  committed
  0e00e04

• Adjusting recovery rule ExpVarDec

  sqmedeiros

  committed
  f257716

• Recovering from label NameFunc

  sqmedeiros

  committed
  3aa5874

• Recovering from labels thrown by rule 'toplevelfunc'

  sqmedeiros

  committed
  82e0687

• Recovering from labels thrown by 'toplevelrecord'

  sqmedeiros

  committed
  519a177

• Adding file with notes about the recovery

  sqmedeiros

  committed
  e629fdf

• Recovering from labels thrown by 'import'

  sqmedeiros

  committed
  7944e18

• Recovering from labels thrown by 'foreign' and 'rettypeopt'

  sqmedeiros

  committed
  884eb88

• Recovering from labels thrown by rule 'paramlist'

  sqmedeiros

  committed
  b26d136

• Recovering from errors thown by 'param' and 'decl'

  sqmedeiros

  committed
  7d6b013

• Recovering from rules 'decllist' and 'simpletype'

  sqmedeiros

  committed
  101bfdb

Commits on May 10, 2018

• Recovering from labels TypelistType and TypeReturnTypes. TODO: check label RParenTypelist

  sqmedeiros

  committed
  09ca56b

• Updating the annotated gramamr generated by the algorithm (only the number of some labels changed)

  sqmedeiros

  committed
  7e52edb

• A note

  sqmedeiros

  committed
  9a40eff

• Recovering from Err_032, thrown by rule 'type'

  sqmedeiros

  committed
  19f2547

Commits on May 11, 2018

• Recovering from labels thown by 'rettype' and 'type'

  sqmedeiros

  committed
  02e3d8b

• Recovering from labels thrown by 'recordfield'

  sqmedeiros

  committed
  52f0c80

• Recovering from labels EndBlock, ExpWhile, DoWhile and EndWhile

  sqmedeiros

  committed
  8973258

• Recovering from labels UntilRepeat, ExpRepeat, ExpIf, ThenIf and EndIf

  sqmedeiros

  committed
  4e50f7f

• Recovering from the labels thrown in a 'for' loop

  sqmedeiros

  committed
  ac7373d

• Recovering from labels DeclLocal, AssignLocal and ExpLocal

  sqmedeiros

  committed
  5e1f3b1

• Recovering from labels DecLocal, ..., ExtStat

  sqmedeiros

  committed
  8b2d0ef

• Fixing recovery of label DeclLocal, and adding recovery for rules e1 and e2

  sqmedeiros

  committed
  e50c336

• Annotating rules e1, e2, e3, ..., e4 (needed to change MAXRULES in lptypes.h)

  sqmedeiros

  committed
  e9053e0

• Using just label OpExp to the errors related to the syntax of an expression

  sqmedeiros

  committed
  b1832b9

• Recovering from labels thrown by rule 'expsuffix'

  sqmedeiros

  committed
  1ae6211

Commits on May 14, 2018

• Reusing rule EndBlockRec to avoid hit the limit of grammar rules

  sqmedeiros

  committed
  3ff95f4

• Recovering from labels thrown by prefixexp

  sqmedeiros

  committed
  3865956

• Recovering from labels thrown from rule 'prefixexp' until 'fieldlist' (the last syntactic rule)

  sqmedeiros

  committed
  4b33360

• Fixing recovery expression associated with ExpAssign(Pred) and ExpStat, which are used in predicates

  sqmedeiros

  committed
  b1f7018

• Testing recovering from labels ExpAssignPred and ExpStat

  sqmedeiros

  committed
  ad9af16

• Recovering from RParenTypelist

  sqmedeiros

  committed
  4ff8dbf

Commits on May 18, 2018

• Fixing a typo in the name of labels, and adding a manual recovery rule NameRecord

  sqmedeiros

  committed
  29f777e

• Also pass the tests using the recovery rule of NameRecord, although is not a good one

  sqmedeiros

  committed
  efeba78

Commits on Jul 5, 2018

• Throwing a label when does not match the whole input

  sqmedeiros

  committed
  fef4021

Commits on Jul 11, 2018

• Merge branch 'master' into recovery

  sqmedeiros

  committed
  1659426

• Reusing recovery rules which are equal to not hit the limit of grammar rules

  sqmedeiros

  committed
  0aedc8f

Commits on Jul 25, 2018

• Updating the recovery rules after updating the grammar (new rules method and key, new alternatives in simpletype)

  sqmedeiros

  committed
  eac9b8e

• Adding the grammar annotated by the algorithm (after adding rules 'method' and 'key')

  sqmedeiros

  committed
  ed5b024