public ASTElement Parse(string Input)
{
m_ParseVarlauf = "";
Input += m_EofSign;
TerminalMatcher tm = new TerminalMatcher(Input, m_pt.Terminals);
RuleTerminal ReadTerminal = tm.GetNextTerminal();
bool bAccept = false;
while (!bAccept && ReadTerminal != null && !m_ps.IsEmpty && !ReadTerminal.Equals(m_EofSign))
{
string tmpVerlauf = ReadTerminal.GetToken() + " ; " + m_ps.StackValues;
m_ParseVerlaufArray.Add(m_ps.StackArray);
ButtomUpParseStack.buStackElement stkElm = m_ps.Look();
if (stkElm != null)
{
if (stkElm.IsRuleElement)
{
tmpVerlauf += "err";
}
else
{
int State = stkElm.GetState;
ButtomUpParseTabelle.ActionEntry ae = m_pt.Get(ReadTerminal, State);
if (ae != null)
{
if (ae.GetAction == ButtomUpParseTabelle.Actions.SHIFT)
{
tmpVerlauf += "; s " + ae.NextState.ToString();
m_ps.PushShift(ReadTerminal, ae.NextState);
ReadTerminal = tm.GetNextTerminal();
}
else if (ae.GetAction == ButtomUpParseTabelle.Actions.REDUCE)
{
int sm = ae.NextState;
tmpVerlauf += "; r " + ae.NextState.ToString();
if (sm < m_ParseTable.AllRules.Count)
{
BNFRule rl = (BNFRule)m_ParseTable.AllRules[sm];
int RlLen = rl.RuleLength();
for (int i = 0; i < RlLen; i++)
{
m_ps.Pop2();
}
ButtomUpParseStack.buStackElement stkLook = m_ps.Look();
if (stkLook != null)
{
int nxtState = m_ParseTable.GetGotoState(rl.GetStart(), stkLook.GetState);
m_ps.PushReduce(rl.GetStart(), nxtState);
tmpVerlauf += "; " + rl.GetRuleString();
}
}
}
else if (ae.GetAction == ButtomUpParseTabelle.Actions.JUMP)
{
tmpVerlauf += "; err";
}
else if (ae.GetAction == ButtomUpParseTabelle.Actions.ACCEPT)
{
tmpVerlauf += "; acc";
bAccept = true;
}
}
}
}
m_ParseVarlauf += tmpVerlauf + "\n";
}
return(m_ps.ASTRoot);
}
protected override bool GenerateParseTable()
{
MyArrayList Terminals = GetAllTerminals();
Terminals.Add(new RuleTerminal(m_EofTerminal, null));
MyArrayList Tokens = GetDifStartTokens();
MyArrayList column = new MyArrayList();
for (int i = 0; i < Terminals.Count; i++)
{
RuleElement re = (RuleElement)Terminals[i];
column.Add(re);
}
for (int i = 0; i < Tokens.Count; i++)
{
RuleStart rs = (RuleStart)Tokens[i];
column.Add(rs);
}
m_bupt = new ButtomUpParseTabelle(column, Terminals, m_Huellen.Count);
for (int i = 0; i < m_GotoTable.Count; i++)
{
GotoEntry ge = (GotoEntry)m_GotoTable[i];
RuleElement re = ge.TokenSymbol;
if (re.IsTerminal())
{
ButtomUpParseTabelle.ActionEntry buptAE = new ButtomUpParseTabelle.ActionEntry(ButtomUpParseTabelle.Actions.SHIFT, ge.JumpToState);
m_bupt.Add(re, ge.ThisState, buptAE);
}
else
{
ButtomUpParseTabelle.ActionEntry buptAE = new ButtomUpParseTabelle.ActionEntry(ButtomUpParseTabelle.Actions.JUMP, ge.JumpToState);
m_bupt.Add(re, ge.ThisState, buptAE);
}
}
bool dblEntry = false;
for (int i = 0; i < m_Huellen.Count; i++)
{
MyArrayList ActHuelle = (MyArrayList)m_Huellen[i];
for (int j = 0; j < ActHuelle.Count; j++)
{
LRElement lrm = (LRElement)ActHuelle[j];
RuleElement re = GetRuleElement(lrm);
if (re == null)
{
BNFRule rl = (BNFRule)m_Rules[lrm.RulePos];
MyArrayList flws = rl.FollowSet;
if (flws != null)
{
for (int z = 0; z < flws.Count; z++)
{
RuleElement flw_re = (RuleElement)flws[z];
ButtomUpParseTabelle.ActionEntry buptAE = new ButtomUpParseTabelle.ActionEntry(ButtomUpParseTabelle.Actions.REDUCE, lrm.RulePos);
ButtomUpParseTabelle.ActionEntry ae = m_bupt.Get(flw_re, i);
if (ae == null)
{
m_bupt.Add(flw_re, i, buptAE);
}
else
{
if (ae.GetAction != ButtomUpParseTabelle.Actions.ACCEPT)
{
dblEntry = true;
}
}
}
if (rl.GetStart().GetToken().Equals(m_StartSign))
{
ButtomUpParseTabelle.ActionEntry buptAE = new ButtomUpParseTabelle.ActionEntry(ButtomUpParseTabelle.Actions.ACCEPT, lrm.RulePos);
m_bupt.Add(m_EofTerminal, i, buptAE);
}
}
}
}
}
return(!dblEntry);
}
/// <summary>
/// Push
/// </summary>
/// <param name="obj">object to stack</param>
public void Push(object obj)
{
m_stk.Add(obj);
m_stkPos++;
}
private bool ParseBNF(string BNF)
{
bool bTerminal = false;
bool bDelNoSigns = true;
int automstate = 0;
int len = BNF.Length;
int spos = 0;
char sign;
int failureState = 100;
char[] DelSigns = new char[] { ' ', '\n', '\r', '\t' };
BNFRule actRule = null;
while (spos < len)
{
if (bDelNoSigns)
{
spos = ParseHelper.DelNoSigns(BNF, spos, DelSigns);
}
if (spos < len)
{
sign = BNF.ToCharArray()[spos];
switch (automstate)
{
case 0:
{
actRule = null;
if (sign == '#')
{
spos = ParseHelper.DelComment(BNF, spos);
}
else
{
automstate = 1;
}
break;
}
case 1:
{
char[] EndSigns = new char[] { '-' };
ScannerErg scnErg = ParseHelper.GetWord(BNF, spos, EndSigns, DelSigns);
if (scnErg.getTermSignNr() == 0)
{
actRule = new BNFRule(m_Rules.Count);
actRule.SetStart(scnErg.getWord());
m_Rules.Add(actRule);
automstate = 2;
}
else
{
automstate = failureState;
}
spos = scnErg.getSpos();
break;
}
case 2:
{
if (spos < len && BNF.ToCharArray()[spos] == '>')
{
automstate = 3;
spos++;
}
else
{
automstate = failureState;
}
break;
}
case 3:
{
char[] EndSigns = new char[] { ',', '\'', '|', '.', '$' };
ScannerErg scnErg = ParseHelper.GetWord(BNF, spos, EndSigns, DelSigns);
if (scnErg.getTermSignNr() == 0)
{
actRule.SetNextToken(scnErg.getWord(), bTerminal);
automstate = 3;
bTerminal = false;
}
else if (scnErg.getTermSignNr() == 1)
{
bTerminal = true;
bDelNoSigns = false;
automstate = 4;
}
else if (scnErg.getTermSignNr() == 2)
{
if (scnErg.getWord().Length != 0)
{
actRule.SetNextToken(scnErg.getWord(), bTerminal);
}
else
{
actRule.SetNextToken(scnErg.getWord(), true);
}
string StartSign = actRule.GetStart().GetToken();
actRule = new BNFRule(m_Rules.Count);
actRule.SetStart(StartSign);
m_Rules.Add(actRule);
automstate = 3;
bTerminal = false;
}
else if (scnErg.getTermSignNr() == 3)
{
if (scnErg.getWord().Length != 0)
{
actRule.SetNextToken(scnErg.getWord(), bTerminal);
}
else
{
actRule.SetNextToken(scnErg.getWord(), true);
}
automstate = 0;
bTerminal = false;
}
else if (scnErg.getTermSignNr() == 4)
{
automstate = 3;
bTerminal = true;
}
else
{
automstate = failureState;
}
spos = scnErg.getSpos();
break;
}
case 4:
{
char[] EndSigns = new char[] { '\'' };
ScannerErg scnErg = ParseHelper.GetWord(BNF, spos, EndSigns, null);
if (scnErg.getTermSignNr() == 0)
{
actRule.SetNextToken(scnErg.getWord(), bTerminal);
automstate = 5;
bTerminal = false;
}
else
{
automstate = failureState;
}
bDelNoSigns = true;
spos = scnErg.getSpos();
break;
}
case 5:
{
char[] EndSigns = new char[] { ',', '|', '.' };
ScannerErg scnErg = ParseHelper.GetWord(BNF, spos, EndSigns, DelSigns);
if (scnErg.getTermSignNr() == 0)
{
automstate = 3;
bTerminal = false;
}
else if (scnErg.getTermSignNr() == 1)
{
string StartSign = actRule.GetStart().GetToken();
actRule = new BNFRule(m_Rules.Count);
actRule.SetStart(StartSign);
m_Rules.Add(actRule);
automstate = 3;
bTerminal = false;
}
else if (scnErg.getTermSignNr() == 2)
{
automstate = 0;
bTerminal = false;
}
else
{
automstate = failureState;
}
spos = scnErg.getSpos();
break;
}
default:
{
return(false);
}
}
}
}
return(true);
}
