public override object VisitTerm([NotNull] SLangGrammarParser.TermContext context)
{
Visit(context.signedFactor());
if (context.term() != null)
{
var op = context.MulOp() ?? context.DivOp() ?? context.BoolAnd();
cppText.Write($" {op.GetText()} ");
Visit(context.term());
}
return(null);
}
public override object VisitTerm([NotNull] SLangGrammarParser.TermContext context)
{
if (context.term() != null)
{
var leftResultType = (Visit(context.signedFactor()) as ExpressionResult)?.Type;
var rightResultType = (Visit(context.term()) as ExpressionResult)?.Type;
var opToken = context.MulOp() ?? context.DivOp() ?? context.BoolAnd();
var allowedTypes = new[] { SlangSimpleType.Int, SlangSimpleType.Real };
if (leftResultType is SlangSimpleType lt && rightResultType is SlangSimpleType rt && lt.Equals(rt) && allowedTypes.Contains(lt))
{
return(new ExpressionResult(leftResultType, ExpressionValueType.Value));
}
if (context.BoolAnd() != null && (leftResultType is SlangSimpleType ltB && rightResultType is SlangSimpleType rtB && ltB.Equals(rtB) && ltB.Equals(SlangSimpleType.Boolean)))
{
return(new ExpressionResult(leftResultType, ExpressionValueType.Value));
}
ThrowInvalidTypesForBinaryOperationException(opToken.Symbol, file, leftResultType, rightResultType);
}
return(Visit(context.signedFactor()) as ExpressionResult);
}