void TokenStart(Token token)
{
AppendIndent();
m_stringBuilder.AppendLine("{");
++m_nesting;
AppendIndent();
m_stringBuilder.Append(Escape(token.SymbolName));
m_stringBuilder.Append(": ");
}
public Reduction(Production production, Token[] tokens)
: base(production.Head(), null, false)
{
m_tokens = tokens;
m_production = production;
}
internal ParseResult ParseLALR(Token NextToken)
{
//This function analyzes a token and either:
// 1. Makes a SINGLE reduction and pushes a complete Reduction object on the m_Stack
// 2. Accepts the token and shifts
// 3. Errors and places the expected symbol indexes in the Tokens list
//The Token is assumed to be valid and WILL be checked
//If an action is performed that requires controlt to be returned to the user, the function returns true.
//The Message parameter is then set to the type of action.
LRAction ParseAction = m_loaded.FindLRAction(m_CurrentLALR, NextToken.Symbol);
// Work - shift or reduce
if ((ParseAction != null))
{
//'Debug.WriteLine("Action: " & ParseAction.Text)
switch (ParseAction.Type)
{
case LRActionType.Accept:
return ParseResult.Accept;
case LRActionType.Shift:
Push(NextToken, ParseAction.Value);
return ParseResult.Shift;
case LRActionType.Reduce:
//Produce a reduction - remove as many tokens as members in the rule & push a nonterminal token
Production Prod = m_loaded.GetProduction(ParseAction);
ParseResult Result;
Token Head;
//======== Create Reduction
if (m_TrimReductions & Prod.ContainsOneNonTerminal())
{
//The current rule only consists of a single nonterminal and can be trimmed from the
//parse tree. Usually we create a new Reduction, assign it to the Data property
//of Head and push it on the m_Stack. However, in this case, the Data property of the
//Head will be assigned the Data property of the reduced token (i.e. the only one
//on the m_Stack).
//In this case, to save code, the value popped of the m_Stack is changed into the head.
//Build a Reduction
Head = m_Stack.Pop().Token;
Head.TrimReduction(Prod.Head());
Result = ParseResult.ReduceEliminated;
}
else
{
int nTokens = Prod.Handle().Count;
List<Token> tokens = new List<Token>(nTokens);
for (int i = Prod.Handle().Count - 1; i >= 0; --i)
{
TokenState popped = Pop();
while (popped.IsExtra)
{
tokens.Insert(0, popped.Token);
popped = Pop();
}
tokens.Insert(0, popped.Token);
}
//Say that the reduction's Position is the Position of its first child.
Head = new Reduction(Prod, tokens.ToArray());
Result = ParseResult.ReduceNormal;
}
//========== Goto
short GotoState = m_Stack.Peek().GotoState;
LRAction found = m_loaded.FindLRAction(GotoState, Prod.Head());
if ((found != null) && (found.Type == LRActionType.Goto))
{
Push(Head, found.Value);
return Result;
}
else
{
//========= If action not found here, then we have an Internal Table Error!!!!
return ParseResult.InternalError;
}
default:
return ParseResult.InternalError;
}
}
else
{
return ParseResult.SyntaxError;
}
}
public void PushExtra(Token token)
{
m_Stack.Push(new TokenState(token, Peek().GotoState, -1));
}
internal TokenState(Token token, short gotoState, short prevState)
{
Token = token;
GotoState = gotoState;
PrevState = prevState;
}
void Push(Token token, short gotoState)
{
m_Stack.Push(new TokenState(token, gotoState, m_CurrentLALR));
m_CurrentLALR = gotoState;
}