public Rule(Symbol lhs, object rhsObject, RuleCollection ruleCollection)
{
LHS = lhs;
RHS = new List <Symbol>();
RHS.Add(new Symbol(rhsObject));
ruleCollection.Add(this);
}
public Rule(Symbol lhs, Symbol rhs, RuleCollection ruleCollection)
{
LHS = lhs;
RHS = new List <Symbol>()
{
rhs
};
ruleCollection.Add(this);
}
public Rule(Symbol lhs, IEnumerable <object> rhsObjects, RuleCollection ruleCollection)
{
LHS = lhs;
RHS = new List <Symbol>();
foreach (object rhsObject in rhsObjects)
{
RHS.Add(new Symbol(rhsObject));
}
ruleCollection.Add(this);
}
static public void CreateDisjunctiveRules(Symbol lhs, IEnumerable <object> rhsObjects, RuleCollection ruleCollection, bool?isTerminal = null)
{
foreach (object rhsObject in rhsObjects)
{
new Rule(lhs, new Symbol(rhsObject, isTerminal), ruleCollection);
}
}
static public void CreateDisjunctiveRules(Symbol lhs, char lowCharInRange, char highCharInRange, bool?rhsSymbolsAreTerminals, RuleCollection ruleCollection)
{
char theChar = lowCharInRange;
while (theChar <= highCharInRange)
{
var newSymbol = new Symbol(theChar.ToString(), rhsSymbolsAreTerminals);
new Rule(lhs, newSymbol, ruleCollection);
theChar++;
}
}
public Rule(Symbol lhs, List <Symbol> rhs, RuleCollection ruleCollection)
{
LHS = lhs;
RHS = rhs;
ruleCollection.Add(this);
}
public bool NewProcess(List <Token> input, int level,
Stack <Goal> goalStack,
Stack <RuleRange> ruleRangeStack,
Stack <RuleInputMap> ruleInputMapStack,
TFTreeNode <ParseTreeNodeData> parentParseTreeNode,
TFTreeNode <Rule> ruleNode,
StringBuilder debugOut,
RuleCollection ruleCollection)
{
if (visitCount++ == 10000)
{
visitCount++;
}
try
{
string levelString = new string(Enumerable.Repeat(' ', level * 8).ToArray());
var goalEnterTime = Stopwatch.GetTimestamp();
goalStack.Push(this);
int origGoalStackSize = goalStack.Count;
var rules = ruleCollection.FindByLHS(Symbol);
foreach (Rule rule in rules)
{
var ruleRange = new RuleRange(rule, InputPos, Length);
var newRuleNode = ruleNode.AddNewChild(rule);
ruleRangeStack.Push(ruleRange);
int origRuleRangeStackSize = ruleRangeStack.Count;
int origRuleInputMapStackSize = ruleInputMapStack.Count;
#if DEBUG_OUT
textBox1.AppendText(Environment.NewLine);
textBox1.AppendText(levelString + "-----------------------------------------------------");
textBox1.AppendText(Environment.NewLine);
textBox1.AppendText(levelString + rule);
textBox1.AppendText(Environment.NewLine);
textBox1.AppendText(levelString + "-----------------------------------------------------");
textBox1.AppendText(Environment.NewLine);
#endif
var ruleInputMapper = new RuleInputMapper(rule, InputPos, Length);
foreach (List <int> ruleInputMap in ruleInputMapper.GetInputMap())
{
ruleInputMapStack.Push(new RuleInputMap(ruleInputMap, InputPos));
// do a little preprocessing to see if we can quit this ruleInputMap earlier
int symbolCount = 0;
int currentPos = InputPos;
foreach (int u in ruleInputMap)
{
if (rule.RHS[symbolCount].IsTerminal)
{
#if USE_TOKENTYPE_IN_SYMBOL
if (u != 1 || rule.RHS[symbolCount].TheTokenType != input[currentPos].TheTokenType)
#else
if (u != 1 || rule.RHS[symbolCount].TheSymbol != input[currentPos].)
#endif
{
goto NextRuleInputMap;
}
}
if (!rule.RHS[symbolCount].IsTerminal && u < 1)
{
goto NextRuleInputMap;
}
/*
* if (!rule.RHS[symbolCount].IsTerminal || u != 1)
* {
* goto NextRuleInputMap;
* }
*
* if (rule.RHS[symbolCount].TheTokenType == TokenType.None) // this is a specific string in the rule
* {
* if (input[currentPos].TheTokenType != TokenType.String || input[currentPos].Lexeme != rule.RHS[symbolCount].TheSymbol)
* {
* goto NextRuleInputMap;
* }
* }
* else if (rule.RHS[symbolCount].TheTokenType != input[currentPos].TheTokenType)
* {
* goto NextRuleInputMap;
* }
*/
currentPos += u;
symbolCount++;
}
symbolCount = 0;
currentPos = InputPos;
foreach (int u in ruleInputMap)
{
var newGoal = new Goal(rule.RHS[symbolCount], currentPos, u);
if (rule.RHS[symbolCount].IsTerminal)
{
string subInput = null;
if (u != 0)
{
subInput = input[currentPos].ToString();
}
#if DEBUG_OUT
textBox1.AppendText(levelString
+ String.Format("{0}{1}-->{2} (input/symbol mapping)",
(symbolCount == 0 ? "" : ", "), rule.RHS[symbolCount].TheSymbol ?? "\u0190", subInput));
#endif
if (rule.RHS[symbolCount].TheTokenType == TokenType.None &&
input[currentPos].TheTokenType == TokenType.String && input[currentPos].Lexeme == rule.RHS[symbolCount].TheSymbol)
{
#if DEBUG_OUT
textBox1.AppendText(levelString + "TERMINAL MATCH ON TEXT!!" + Environment.NewLine);
#endif
var newNodeData = new ParseTreeNodeData(newGoal, ruleRange);
newNodeData.Lexemes.Add(input[currentPos].Lexeme);
newNodeData.IsAMatch = true;
var newNode = new TFTreeNode <ParseTreeNodeData>(newNodeData);
parentParseTreeNode.AddChild(newNode);
}
else if (rule.RHS[symbolCount].TheTokenType != TokenType.None &&
rule.RHS[symbolCount].TheTokenType == input[currentPos].TheTokenType)
{
#if DEBUG_OUT
textBox1.AppendText(levelString + "TERMINAL MATCH ON TOKEN!!" + Environment.NewLine);
#endif
parentParseTreeNode.Data.Lexemes.Add(input[currentPos].Lexeme);
var newNodeData = new ParseTreeNodeData(newGoal, ruleRange);
newNodeData.Lexemes.Add(input[currentPos].Lexeme);
newNodeData.IsAMatch = true;
var newNode = new TFTreeNode <ParseTreeNodeData>(newNodeData);
parentParseTreeNode.AddChild(newNode);
}
else
{
#if DEBUG_OUT
textBox1.AppendText(levelString + "TERMINAL NO MATCH!!" + Environment.NewLine);
#endif
#if INCLUDE_UNSUCCESSFUL_NODES_IN_PARSE_TREE
var newNodeData = new ParseTreeNodeData(newGoal, ruleRange);
newNodeData.Lexemes.Add(input[currentPos].Lexeme);
var newNode = new TFTreeNode <ParseTreeNodeData>(newNodeData);
parentParseTreeNode.AddChild(newNode);
#endif
goto NextRuleInputMap;
}
}
else
{
try
{
var newNodeData = new ParseTreeNodeData(newGoal, ruleRange);
var newNode = new TFTreeNode <ParseTreeNodeData>(newNodeData);
parentParseTreeNode.AddChild(newNode);
if (!newGoal.NewProcess(input, level + 1, goalStack, ruleRangeStack, ruleInputMapStack, newNode, newRuleNode, debugOut, ruleCollection))
{
#if INCLUDE_UNSUCCESSFUL_NODES_IN_PARSE_TREE
#else
parentParseTreeNode.RemoveChild(newNode);
#endif
// if we fail at any part of a rule input map we have failed the whole thing))
goto NextRuleInputMap;
}
foreach (string lexeme in newNode.Data.Lexemes)
{
parentParseTreeNode.Data.Lexemes.Add(lexeme);
}
}
catch (Exception)
{
;
}
}
currentPos += u;
symbolCount++;
}
// if we've arrived here we have a recognized ruleInputMap for this range of input for our grammar
parentParseTreeNode.Data.TimeInNode = (long)Math.Truncate(((decimal)Stopwatch.GetTimestamp() - (decimal)goalEnterTime) * 1000000.0m / Stopwatch.Frequency);
parentParseTreeNode.Data.IsAMatch = true;
return(true);
NextRuleInputMap:
ruleInputMapStack.SetNewSize(origRuleInputMapStackSize);
ruleRangeStack.SetNewSize(origRuleRangeStackSize);
// Since we could have generated goals on the goal stack that were successful but
// not all of the goals for that rule input map were successful we need to pop off those
// successful goals.
goalStack.SetNewSize(origGoalStackSize);
}
ruleRangeStack.Pop();
}
#if DEBUG_OUT
textBox1.AppendText(levelString + "-----------------------------------------------------");
textBox1.AppendText(Environment.NewLine);
#endif
goalStack.Pop();
//GC.Collect();
return(false);
}
catch (Exception ex)
{
//var numNodes = parentNode.Root.GetDepthFirstEnumerable(TreeTraversalDirection.TopDown).Count();
throw;
}
}
public bool NewProcess(string input, TextBox textBox1, int level,
Stack <Goal> goalStack,
Stack <RuleRange> ruleRangeStack,
Stack <RuleInputMap> ruleInputMapStack,
SimpleTreeNode <ParseTreeNodeData> parentNode)
{
if (visitCount++ == 10000)
{
visitCount++;
}
try
{
string levelString = new string(Enumerable.Repeat(' ', level * 8).ToArray());
var goalEnterTime = Stopwatch.GetTimestamp();
goalStack.Push(this);
int origGoalStackSize = goalStack.Count;
var rules = RuleCollection.FindByLHS(Symbol);
foreach (Rule rule in rules)
{
var ruleRange = new RuleRange(rule, this.InputPos, this.Length);
ruleRangeStack.Push(ruleRange);
int origRuleRangeStackSize = ruleRangeStack.Count;
int origRuleInputMapStackSize = ruleInputMapStack.Count;
#if DEBUG_OUT
textBox1.AppendText(Environment.NewLine);
textBox1.AppendText(levelString + "-----------------------------------------------------");
textBox1.AppendText(Environment.NewLine);
textBox1.AppendText(levelString + rule);
textBox1.AppendText(Environment.NewLine);
textBox1.AppendText(levelString + "-----------------------------------------------------");
textBox1.AppendText(Environment.NewLine);
#endif
var ruleInputMapper = new RuleInputMapper(rule, input, InputPos, Length);
foreach (List <int> ruleInputMap in ruleInputMapper.GetInputMap())
{
ruleInputMapStack.Push(new RuleInputMap(ruleInputMap, InputPos));
int symbolCount = 0;
int currentPos = InputPos;
foreach (int u in ruleInputMap)
{
if (!rule.RHS[symbolCount].IsTerminal || u == 0)
{
continue;
}
if (rule.RHS[symbolCount].TheSymbol != input.Substring(currentPos, u))
{
goto NextRuleInputMap;
}
currentPos += u;
symbolCount++;
}
symbolCount = 0;
currentPos = InputPos;
foreach (int u in ruleInputMap)
{
if (rule.RHS[symbolCount].IsTerminal)
{
string subInput = null;
if (u != 0)
{
subInput = input.Substring(currentPos, u);
}
#if DEBUG_OUT
textBox1.AppendText(levelString
+ String.Format("{0}{1}-->{2} (input/symbol mapping)",
(symbolCount == 0 ? "" : ", "), rule.RHS[symbolCount].TheSymbol ?? "\u0190", subInput));
#endif
if (rule.RHS[symbolCount].TheSymbol == subInput)
{
#if DEBUG_OUT
textBox1.AppendText(levelString + "TERMINAL MATCH!!" + Environment.NewLine);
#endif
}
else
{
#if DEBUG_OUT
textBox1.AppendText(levelString + "TERMINAL NO MATCH!!" + Environment.NewLine);
#endif
goto NextRuleInputMap;
}
}
else
{
var newGoal = new Goal(rule.RHS[symbolCount], currentPos, u);
try
{
var newNodeData = new ParseTreeNodeData(newGoal, ruleRange);
var newNode = new SimpleTreeNode <ParseTreeNodeData>(newNodeData);
parentNode.Children.Add(newNode);
if (!newGoal.NewProcess(input, textBox1, level + 1, goalStack, ruleRangeStack, ruleInputMapStack, newNode))
{
// if we fail at any part of a rule input map we have failed the whole thing
goto NextRuleInputMap;
}
}
#pragma warning disable 168
catch (Exception ex)
#pragma warning restore 168
{
;
}
}
currentPos += u;
symbolCount++;
}
// if we've arrived here we have a recognized ruleInputMap for this range of input for our grammar
parentNode.Value.TimeInNode = (long)Math.Truncate(((decimal)Stopwatch.GetTimestamp() - (decimal)goalEnterTime) * 1000000.0m / Stopwatch.Frequency);
return(true);
NextRuleInputMap:
ruleInputMapStack.SetNewSize(origRuleInputMapStackSize);
ruleRangeStack.SetNewSize(origRuleRangeStackSize);
// Since we could have generated goals on the goal stack that were successful but
// not all of the goals for that rule input map were successful we need to pop off those
// successful goals.
goalStack.SetNewSize(origGoalStackSize);
}
ruleRangeStack.Pop();
}
#if DEBUG_OUT
textBox1.AppendText(levelString + "-----------------------------------------------------");
textBox1.AppendText(Environment.NewLine);
#endif
goalStack.Pop();
//GC.Collect();
return(false);
}
catch (Exception ex)
{
var numNodes = parentNode.Root.GetDepthFirstEnumerable(TreeTraversalDirection.TopDown).Count();
throw;
}
}
