private void WriteConflictEntry(ParserConflictInfo conflict, ILogging logging)
{
using (var writer = new StringWriter())
using (var message = new IndentedTextWriter(writer, " "))
{
var symbol = data.Grammar.Symbols[conflict.Token];
message.Write("Conflict on token ");
message.Write(symbol.Name);
message.Write(" between actions in state #");
message.Write(conflict.State + "");
message.WriteLine(":");
++message.Indent;
DescribeState(message, conflict.State);
for (int i = 0; i != conflict.Actions.Count; ++i)
{
message.WriteLine("Action #{0}:", i + 1);
DescribeAction(message, conflict.Actions[i]);
}
--message.Indent;
logging.Write(
new LogEntry
{
Severity = Severity.Error,
Origin = data.Source.Origin,
Message = writer.ToString()
});
}
}
private void AssignAction(int state, int token, ParserAction action)
{
int cell = ParserAction.Encode(action);
int currentCell = actionTable.Get(state, token);
if (currentCell == 0)
{
actionTable.Set(state, token, cell);
}
else if (currentCell != cell)
{
int resolvedCell;
if (!TryResolveShiftReduce(currentCell, cell, token, out resolvedCell))
{
RequiresGlr = true;
ParserConflictInfo conflict;
var key = new TransitionKey(state, token);
if (!transitionToConflict.TryGetValue(key, out conflict))
{
conflict = new ParserConflictInfo(state, token);
transitionToConflict[key] = conflict;
conflict.AddAction(currentCell);
}
if (!conflict.Actions.Contains(action))
{
conflict.AddAction(action);
}
}
actionTable.Set(state, token, resolvedCell);
}
}
private void ReportConflict(IReportData data, ParserConflictInfo conflict, StreamWriter message)
{
var symbol = data.Grammar.Symbols[conflict.Token];
const string Indent = " ";
message.WriteLine(new string('-', 50));
message.Write("Conflict on token ");
message.Write(symbol.Name);
message.Write(" between actions in state #");
message.Write(conflict.State + "");
message.WriteLine(":");
DescribeState(data, conflict.State, message, Indent).WriteLine();
for (int i = 0; i != conflict.Actions.Count; ++i)
{
message.WriteLine("Action #{0}", i);
DescribeAction(data, conflict.Actions[i], message, Indent);
}
message.WriteLine(new string('-', 50));
}
