private void buildOrPiece(BuildState state, p_OrPiece orPiece)
{
var curState = state.nextGoodState++;
state.PushGoodLocation("endOfOr" + curState);
state.PushBadLocation("curBad" + curState);
var itms = Helper.CombineArray(orPiece.RuleExpression1, orPiece.RuleExpressions).ToArray();
int ind = 0;
foreach (p_RuleExpression expression in itms)
{
var j = state.nextGoodState;
state.PushBadLocation(string.Format("bottomPiece{0}", j));
buildRuleExpression(state, expression);
state.PopBadLocation();
checkBuilder.AppendLine(string.Format("bottomPiece{0}:", j));
if (ind++ == itms.Length-1)
checkBuilder.AppendLine("goto " + state.BadLocation() + ";");
else
checkBuilder.AppendLine("goto nextPiece" + state.nextGoodState + ";");
}
state.PopBadLocation();
state.PopGoodLocation();
checkBuilder.AppendLine("curBad" + curState + ": goto " + state.BadLocation(state.nextGoodState) + ";");
checkBuilder.AppendLine("endOfOr" + curState + ":");
checkBuilder.AppendLine(string.Format("goto {0};", state.GoodLocation));
}
private void buildOrPiece(BuildState state, p_OrPiece orPiece)
{
var curState = state.nextGoodState++;
state.PushGoodLocation("endOfOr" + curState);
state.PushBadLocation("curBad" + curState);
var itms = Helper.CombineArray(orPiece.RuleExpression1, orPiece.RuleExpressions).ToArray();
int ind = 0;
foreach (p_RuleExpression expression in itms)
{
var j = state.nextGoodState;
state.PushBadLocation(string.Format("bottomPiece{0}", j));
buildRuleExpression(state, expression);
state.PopBadLocation();
checkBuilder.AppendLine(string.Format("bottomPiece{0}:", j));
if (ind++ == itms.Length - 1)
{
checkBuilder.AppendLine("goto " + state.BadLocation() + ";");
}
else
{
checkBuilder.AppendLine("goto nextPiece" + state.nextGoodState + ";");
}
}
state.PopBadLocation();
state.PopGoodLocation();
checkBuilder.AppendLine("curBad" + curState + ": goto " + state.BadLocation(state.nextGoodState) + ";");
checkBuilder.AppendLine("endOfOr" + curState + ":");
checkBuilder.AppendLine(string.Format("goto {0};", state.GoodLocation));
}
private void buildRuleExpression(BuildState state, p_RuleExpression ruleExpression)
{
foreach (var pRuleExpressionRulePiece in ruleExpression.rulePieces)
{
var myLoc = state.nextGoodState;
checkBuilder.AppendLine(" nextPiece" + state.nextGoodState++ + ":");
checkBuilder.AppendLine("symbolGenerator.PushState(); ");
state.PushCurrentName(null);
state.PushNotNeeded(false);
state.PushBadLocation("nextPiece" + state.nextGoodState);
if (pRuleExpressionRulePiece.HasNamePrefix)
{
state.SetCurrentName(pRuleExpressionRulePiece.NamePrefix.name);
}
switch (pRuleExpressionRulePiece.suffix)
{
case p_RuleExpression_rulePiece_suffix.QuestionMark:
state.SetNotNeeded(true);
break;
case p_RuleExpression_rulePiece_suffix.Multiply:
state.PushInLoop(true);
state.PushBadLocation("loopBad" + myLoc);
break;
default:
break;
}
switch (pRuleExpressionRulePiece.rule.ruleType)
{
case p_RuleExpression_rulePiece_ruleType.OrPiece:
buildOrPiece(state, pRuleExpressionRulePiece.rule.OrPiece);
break;
case p_RuleExpression_rulePiece_ruleType.String:
checkBuilder.AppendFormat(
@"
if (checkSymbol(""{0}""))
{{
symbolGenerator.RestoreState();
goto {1};
}} else {{
symbolGenerator.PopState();
goto {2};
}}
",
pRuleExpressionRulePiece.rule.String,
state.GoodLocation,
state.NotNeeded ? state.GoodLocation : state.BadLocation(state.nextGoodState));
break;
case p_RuleExpression_rulePiece_ruleType.DecreaseTab:
break;
case p_RuleExpression_rulePiece_ruleType.IncreaseTab:
break;
case p_RuleExpression_rulePiece_ruleType.RulePiece:
checkBuilder.AppendFormat(
@"{{
symbolGenerator.PushState();
if (check{0}())
{{
symbolGenerator.RestoreState();
goto {1};
}} else {{
symbolGenerator.PopState();
goto {2};
}}
}}",
pRuleExpressionRulePiece.rule.String, state.GoodLocation,
state.NotNeeded ? state.GoodLocation : state.BadLocation(state.nextGoodState));
break;
default:
throw new ArgumentOutOfRangeException();
}
if (pRuleExpressionRulePiece.suffix == p_RuleExpression_rulePiece_suffix.Multiply)
{
state.PopBadLocation();
checkBuilder.AppendLine(string.Format(@"nextPiece{0}:
symbolGenerator.RestoreState();
goto topOfLoop{1};", state.nextGoodState++, myLoc));
checkBuilder.AppendLine(string.Format(@"loopBad{0}:
symbolGenerator.PopState();
goto {1};", myLoc++, state.BadLocation(state.nextGoodState)));
state.PopInLoop();
}
state.PopCurrentName();
state.PopNotNeeded();
state.PopBadLocation();
}
checkBuilder.AppendLine("nextPiece" + state.nextGoodState++ + ": goto " + state.BadLocation(state.nextGoodState) + ";");
}
private void buildRuleExpression(BuildState state, p_RuleExpression ruleExpression)
{
foreach (var pRuleExpressionRulePiece in ruleExpression.rulePieces)
{
var myLoc = state.nextGoodState;
checkBuilder.AppendLine(" nextPiece" + state.nextGoodState++ + ":");
checkBuilder.AppendLine("symbolGenerator.PushState(); ");
state.PushCurrentName(null);
state.PushNotNeeded(false);
state.PushBadLocation("nextPiece" + state.nextGoodState);
if (pRuleExpressionRulePiece.HasNamePrefix)
{
state.SetCurrentName(pRuleExpressionRulePiece.NamePrefix.name);
}
switch (pRuleExpressionRulePiece.suffix)
{
case p_RuleExpression_rulePiece_suffix.QuestionMark:
state.SetNotNeeded(true);
break;
case p_RuleExpression_rulePiece_suffix.Multiply:
state.PushInLoop(true);
state.PushBadLocation("loopBad" + myLoc);
break;
default:
break;
}
switch (pRuleExpressionRulePiece.rule.ruleType)
{
case p_RuleExpression_rulePiece_ruleType.OrPiece:
buildOrPiece(state, pRuleExpressionRulePiece.rule.OrPiece);
break;
case p_RuleExpression_rulePiece_ruleType.String:
checkBuilder.AppendFormat(
@"
if (checkSymbol(""{0}""))
{{
symbolGenerator.RestoreState();
goto {1};
}} else {{
symbolGenerator.PopState();
goto {2};
}}
",
pRuleExpressionRulePiece.rule.String,
state.GoodLocation,
state.NotNeeded ? state.GoodLocation : state.BadLocation(state.nextGoodState));
break;
case p_RuleExpression_rulePiece_ruleType.DecreaseTab:
break;
case p_RuleExpression_rulePiece_ruleType.IncreaseTab:
break;
case p_RuleExpression_rulePiece_ruleType.RulePiece:
checkBuilder.AppendFormat(
@"{{
symbolGenerator.PushState();
if (check{0}())
{{
symbolGenerator.RestoreState();
goto {1};
}} else {{
symbolGenerator.PopState();
goto {2};
}}
}}",
pRuleExpressionRulePiece.rule.String, state.GoodLocation,
state.NotNeeded ? state.GoodLocation : state.BadLocation(state.nextGoodState));
break;
default:
throw new ArgumentOutOfRangeException();
}
if (pRuleExpressionRulePiece.suffix == p_RuleExpression_rulePiece_suffix.Multiply)
{
state.PopBadLocation();
checkBuilder.AppendLine(string.Format(@"nextPiece{0}:
symbolGenerator.RestoreState();
goto topOfLoop{1};", state.nextGoodState++, myLoc));
checkBuilder.AppendLine(string.Format(@"loopBad{0}:
symbolGenerator.PopState();
goto {1};", myLoc++, state.BadLocation(state.nextGoodState)));
state.PopInLoop();
}
state.PopCurrentName();
state.PopNotNeeded();
state.PopBadLocation();
}
checkBuilder.AppendLine("nextPiece" + state.nextGoodState++ + ": goto " + state.BadLocation(state.nextGoodState) + ";");
}