public override object VisitSwitchCaseBody([NotNull] LGFileParser.SwitchCaseBodyContext context)
{
var switchCaseNodes = context.switchCaseTemplateBody().switchCaseRule();
var length = switchCaseNodes.Length;
var switchExprs = switchCaseNodes[0].switchCaseStat().EXPRESSION();
var switchExprResult = EvalExpression(switchExprs[0].GetText()).ToString();
var idx = 0;
foreach (var switchCaseNode in switchCaseNodes)
{
if (idx == 0)
{
idx++;
continue; // skip the first node, which is switch statement
}
if (idx == length - 1 && switchCaseNode.switchCaseStat().DEFAULT() != null)
{
var defaultBody = switchCaseNode.normalTemplateBody();
if (defaultBody != null)
{
return(Visit(defaultBody));
}
else
{
return(null);
}
}
var caseExprs = switchCaseNode.switchCaseStat().EXPRESSION();
var caseExprResult = EvalExpression(caseExprs[0].GetText()).ToString();
if (switchExprResult == caseExprResult)
{
return(Visit(switchCaseNode.normalTemplateBody()));
}
idx++;
}
return(null);
}
public override AnalyzerResult VisitSwitchCaseBody([NotNull] LGFileParser.SwitchCaseBodyContext context)
{
var result = new AnalyzerResult();
var switchCaseNodes = context.switchCaseTemplateBody().switchCaseRule();
foreach (var iterNode in switchCaseNodes)
{
var expression = iterNode.switchCaseStat().EXPRESSION();
if (expression.Length > 0)
{
result.Union(AnalyzeExpression(expression[0].GetText()));
}
if (iterNode.normalTemplateBody() != null)
{
result.Union(Visit(iterNode.normalTemplateBody()));
}
}
return(result);
}
public override List <Diagnostic> VisitSwitchCaseBody([NotNull] LGFileParser.SwitchCaseBodyContext context)
{
var result = new List <Diagnostic>();
var switchCaseRules = context.switchCaseTemplateBody().switchCaseRule();
var length = switchCaseRules.Length;
for (var idx = 0; idx < length; idx++)
{
var switchCaseNode = switchCaseRules[idx].switchCaseStat();
var switchExpr = switchCaseNode.SWITCH() != null;
var caseExpr = switchCaseNode.CASE() != null;
var defaultExpr = switchCaseNode.DEFAULT() != null;
var node = switchExpr ? switchCaseNode.SWITCH() :
caseExpr?switchCaseNode.CASE() :
switchCaseNode.DEFAULT();
if (node.GetText().Count(u => u == ' ') > 1)
{
result.Add(BuildLGDiagnostic(LGErrors.InvalidWhitespaceInSwitchCase, context: switchCaseNode));
}
if (idx == 0 && !switchExpr)
{
result.Add(BuildLGDiagnostic(LGErrors.NotStartWithSwitchInSwitchCase, context: switchCaseNode));
}
if (idx > 0 && switchExpr)
{
result.Add(BuildLGDiagnostic(LGErrors.MultipleSwithStatementInSwitchCase, context: switchCaseNode));
}
if (idx > 0 && idx < length - 1 && !caseExpr)
{
result.Add(BuildLGDiagnostic(LGErrors.InvalidStatementInMiddlerOfSwitchCase, context: switchCaseNode));
}
if (idx == length - 1 && (caseExpr || defaultExpr))
{
if (caseExpr)
{
result.Add(BuildLGDiagnostic(LGErrors.NotEndWithDefaultInSwitchCase, DiagnosticSeverity.Warning, switchCaseNode));
}
else
{
if (length == 2)
{
result.Add(BuildLGDiagnostic(LGErrors.MissingCaseInSwitchCase, DiagnosticSeverity.Warning, switchCaseNode));
}
}
}
if (switchExpr || caseExpr)
{
if (switchCaseNode.EXPRESSION().Length != 1)
{
result.Add(BuildLGDiagnostic(LGErrors.InvalidExpressionInSwiathCase, context: switchCaseNode));
}
else
{
result.AddRange(CheckExpression(switchCaseNode.EXPRESSION(0).GetText(), switchCaseNode));
}
}
else
{
if (switchCaseNode.EXPRESSION().Length != 0 || switchCaseNode.TEXT().Length != 0)
{
result.Add(BuildLGDiagnostic(LGErrors.ExtraExpressionInSwitchCase, context: switchCaseNode));
}
}
if (caseExpr || defaultExpr)
{
if (switchCaseRules[idx].normalTemplateBody() != null)
{
result.AddRange(Visit(switchCaseRules[idx].normalTemplateBody()));
}
else
{
result.Add(BuildLGDiagnostic(LGErrors.MissingTemplateBodyInSwitchCase, context: switchCaseNode));
}
}
}
return(result);
}
public override List <Diagnostic> VisitSwitchCaseBody([NotNull] LGFileParser.SwitchCaseBodyContext context)
{
var result = new List <Diagnostic>();
var switchCaseRules = context.switchCaseTemplateBody().switchCaseRule();
var length = switchCaseRules.Length;
for (var idx = 0; idx < length; idx++)
{
var switchCaseNode = switchCaseRules[idx].switchCaseStat();
var switchExpr = switchCaseNode.SWITCH() != null;
var caseExpr = switchCaseNode.CASE() != null;
var defaultExpr = switchCaseNode.DEFAULT() != null;
var node = switchExpr ? switchCaseNode.SWITCH() :
caseExpr?switchCaseNode.CASE() :
switchCaseNode.DEFAULT();
if (node.GetText().Count(u => u == ' ') > 1)
{
result.Add(BuildLGDiagnostic($"At most 1 whitespace is allowed between SWITCH/CASE/DEFAULT and :.", context: switchCaseNode));
}
if (idx == 0 && !switchExpr)
{
result.Add(BuildLGDiagnostic($"control flow is not start with switch", context: switchCaseNode));
}
if (idx > 0 && switchExpr)
{
result.Add(BuildLGDiagnostic($"control flow can not have more than one switch statement", context: switchCaseNode));
}
if (idx > 0 && idx < length - 1 && !caseExpr)
{
result.Add(BuildLGDiagnostic($"only case statement is allowed in the middle of control flow", context: switchCaseNode));
}
if (idx == length - 1 && (caseExpr || defaultExpr))
{
if (caseExpr)
{
result.Add(BuildLGDiagnostic($"control flow is not ending with default statement", DiagnosticSeverity.Warning, switchCaseNode));
}
else
{
if (length == 2)
{
result.Add(BuildLGDiagnostic($"control flow should have at least one case statement", DiagnosticSeverity.Warning, switchCaseNode));
}
}
}
if (switchExpr || caseExpr)
{
if (switchCaseNode.EXPRESSION().Length != 1)
{
result.Add(BuildLGDiagnostic($"switch and case should followed by one valid expression", context: switchCaseNode));
}
else
{
result.AddRange(CheckExpression(switchCaseNode.EXPRESSION(0).GetText(), switchCaseNode));
}
}
else
{
if (switchCaseNode.EXPRESSION().Length != 0 || switchCaseNode.TEXT().Length != 0)
{
result.Add(BuildLGDiagnostic($"default should not followed by any expression or any text", context: switchCaseNode));
}
}
if (caseExpr || defaultExpr)
{
if (switchCaseRules[idx].normalTemplateBody() != null)
{
result.AddRange(Visit(switchCaseRules[idx].normalTemplateBody()));
}
else
{
result.Add(BuildLGDiagnostic($"no normal template body in case or default block", context: switchCaseNode));
}
}
}
return(result);
}