public IList <CfgMessage> TryToGlrParseTable(out CfgGlrParseTable parseTable, LRTableKind kind = LRTableKind.Lalr1, IProgress <CfgLRProgress> progress = null)
{
var result = new List <CfgMessage>();
var start = GetAugmentedStartId(StartSymbol);
var lrfa = _ToLRFA(progress);
var trnsCfg = _LRFAToLRExtendedGrammar(lrfa, progress);
trnsCfg.RebuildCache();
var closure = new List <_LRFA>();
parseTable = new CfgGlrParseTable();
var itemSets = new List <_LR0ItemSet>();
lrfa.FillClosure(closure);
var i = 0;
foreach (var p in closure)
{
itemSets.Add(p.Accept);
parseTable.Add(new Dictionary <string, ICollection <(int RuleOrStateId, string Left, string[] Right)> >());
++i;
}
i = 0;
foreach (var p in closure)
{
foreach (var trn in p.Transitions)
{
var idx = closure.IndexOf(trn.Value);
ICollection <(int RuleOrStateId, string Left, string[] Right)> pcol;
if (!parseTable[i].TryGetValue(trn.Key, out pcol))
{
pcol = new List <(int RuleOrStateId, string Left, string[] Right)>();
parseTable[i].Add(trn.Key, pcol);
}
pcol.Add(
(idx, null, null)
);
}
foreach (var item in p.Accept.Items)
{
if (item.IsEnd && Equals(item.Left, start))
{
ICollection <(int RuleOrStateId, string Left, string[] Right)> pcol;
if (!parseTable[i].TryGetValue("#EOS", out pcol))
{
pcol = new List <(int RuleOrStateId, string Left, string[] Right)>();
parseTable[i].Add("#EOS", pcol);
}
pcol.Add(
(-1, null, null));
//break;
}
}
++i;
}
var follows = trnsCfg.FillFollows();
// work on our reductions now
// each rule has a follows set associated with it
var map = new Dictionary <CfgRule, ICollection <string> >(_Lalr1MergeRuleComparer.Default);
foreach (var rule in trnsCfg.Rules)
{
ICollection <string> f;
if (!map.TryGetValue(rule, out f))
{
map.Add(rule, follows[rule.Left]);
}
else
{
foreach (var o in follows[rule.Left])
{
if (!f.Contains(o))
{
f.Add(o);
}
}
}
}
var j = 0;
foreach (var mapEntry in map)
{
if (null != progress)
{
progress.Report(new CfgLRProgress(CfgLRStatus.ComputingReductions, j));
}
var rule = mapEntry.Key;
var lr = rule.IsNil ? _LRExtendedSymbol.Parse(rule.Left) : _LRExtendedSymbol.Parse(rule.Right[rule.Right.Count - 1]);
var left = _LRExtendedSymbol.Parse(rule.Left).Id;
var right = new List <string>();
foreach (var s in rule.Right)
{
right.Add(_LRExtendedSymbol.Parse(s).Id);
}
var newRule = new CfgRule(left, right);
if (newRule.IsNil)
{
lr.To = lr.From;
}
if (!Equals(left, start))
{
foreach (var f in mapEntry.Value)
{
// build the rule data
var rr = new string[newRule.Right.Count];
for (var ri = 0; ri < rr.Length; ri++)
{
rr[ri] = newRule.Right[ri];
}
var iid = _LRExtendedSymbol.Parse(f).Id;
var rid = Rules.IndexOf(newRule);
var newTuple = (RuleOrStateId : rid, Left : newRule.Left, Right : rr);
// this handles duplicate entries which crop up in the table
ICollection <(int RuleOrStateId, string Left, string[] Right)> pcol;
if (!parseTable[lr.To].TryGetValue(iid, out pcol))
{
pcol = new List <(int RuleOrStateId, string Left, string[] Right)>();
parseTable[lr.To].Add(iid, pcol);
}
var found = false;
foreach (var t in pcol)
{
if (t.Left == newTuple.Left && t.RuleOrStateId == newTuple.RuleOrStateId)
{
if ((t.Right == null && newTuple.Right == null) ||
t.Right?.Length == newTuple.Right?.Length)
{
if (t.Right != null)
{
found = true;
for (var ii = 0; ii < t.Right.Length; ++ii)
{
if (t.Right[ii] != newTuple.Right[ii])
{
found = false;
break;
}
}
}
}
}
if (found)
{
break;
}
}
if (!found)
{
pcol.Add(newTuple);
}
}
}
++j;
}
return(result);
}
public IList <CfgMessage> TryToLR1ParseTable(out CfgLR1ParseTable parseTable, LRTableKind kind = LRTableKind.Lalr1, IProgress <CfgLRProgress> progress = null)
{
var result = new List <CfgMessage>();
var start = GetAugmentedStartId(StartSymbol);
var lrfa = _ToLRFA(progress);
var trnsCfg = _LRFAToLRExtendedGrammar(lrfa, progress);
trnsCfg.RebuildCache();
var closure = new List <_LRFA>();
parseTable = new CfgLR1ParseTable();
var itemSets = new List <_LR0ItemSet>();
lrfa.FillClosure(closure);
var i = 0;
foreach (var p in closure)
{
itemSets.Add(p.Accept);
parseTable.Add(new Dictionary <string, (int RuleOrStateId, string Left, string[] Right)>());
++i;
}
i = 0;
foreach (var p in closure)
{
foreach (var trn in p.Transitions)
{
var idx = closure.IndexOf(trn.Value);
parseTable[i].Add(
trn.Key,
(idx, null, null)
);
}
foreach (var item in p.Accept.Items)
{
if (item.IsEnd && Equals(item.Left, start))
{
parseTable[i].Add(
"#EOS",
(-1, null, null));
}
}
++i;
}
var follows = trnsCfg.FillFollows();
// work on our reductions now
// each rule has a follows set associated with it
var map = new Dictionary <CfgRule, ICollection <string> >(_Lalr1MergeRuleComparer.Default);
foreach (var rule in trnsCfg.Rules)
{
ICollection <string> f;
if (!map.TryGetValue(rule, out f))
{
map.Add(rule, follows[rule.Left]);
}
else
{
foreach (var o in follows[rule.Left])
{
if (!f.Contains(o))
{
f.Add(o);
}
}
}
}
var j = 0;
foreach (var mapEntry in map)
{
if (null != progress)
{
progress.Report(new CfgLRProgress(CfgLRStatus.ComputingReductions, j));
}
var rule = mapEntry.Key;
var lr = rule.IsNil?_LRExtendedSymbol.Parse(rule.Left):_LRExtendedSymbol.Parse(rule.Right[rule.Right.Count - 1]);
var left = _LRExtendedSymbol.Parse(rule.Left).Id;
var right = new List <string>();
foreach (var s in rule.Right)
{
right.Add(_LRExtendedSymbol.Parse(s).Id);
}
var newRule = new CfgRule(left, right);
if (newRule.IsNil)
{
lr.To = lr.From;
}
if (!Equals(left, start))
{
foreach (var f in mapEntry.Value)
{
// build the rule data
var rr = new string[newRule.Right.Count];
for (var ri = 0; ri < rr.Length; ri++)
{
rr[ri] = newRule.Right[ri];
}
var iid = _LRExtendedSymbol.Parse(f).Id;
(int RuleOrStateId, string Left, string[] Right)tuple;
var rid = Rules.IndexOf(newRule);
var newTuple = (RuleOrStateId : rid, Left : newRule.Left, Right : rr);
// this gets rid of duplicate entries which crop up in the table
if (!parseTable[lr.To].TryGetValue(iid, out tuple))
{
parseTable[lr.To].Add(iid,
newTuple);
}
else
{
if (null == tuple.Right)
{
var nr = Rules[rid];
var msg = new CfgMessage(ErrorLevel.Warning, CfgErrors.ShiftReduceConflict, string.Format("Shift-Reduce conflict on rule {0}, token {1}", nr, iid), nr.Line, nr.Column, nr.Position, FileOrUrl);
if (!result.Contains(msg))
{
result.Add(msg);
}
}
else
{
if (rid != tuple.RuleOrStateId)
{
var nr = Rules[rid];
var msg = new CfgMessage(ErrorLevel.Error, CfgErrors.ReduceReduceConflict, string.Format("Reduce-Reduce conflict on rule {0}, token {1}", nr, iid), nr.Line, nr.Column, nr.Position, FileOrUrl);
if (!result.Contains(msg))
{
result.Add(msg);
}
}
}
}
}
}
++j;
}
return(result);
}
