/// <summary>
/// Ensures that any token immediately following an opening parenthesis or operator
/// is either another opening parenthesis, a number, or a variable.
/// </summary>
/// <param name="previousToken">The previous token iterated over. Null if this is the first.</param>
/// <param name="currentToken">The current token being checked.</param>
/// <param name="normalizer">The normalizer.</param>
/// <param name="validator">The validator.</param>
private static void CheckFollowingOpeningParenthesesOperators(
string previousToken,
string currentToken,
Normalizer normalizer,
Validator validator)
{
// Nothing to check if previous is null.
if (previousToken == null)
{
return;
}
// Make sure the previous token was either an opening group operator or an arithmetic operator.
if (!OperatorUtils.IsOpeningGroupOperator(previousToken) &&
!OperatorUtils.IsArithmeticOperator(previousToken))
{
return;
}
// Make sure the current token is either an opening group operator, a number, or a variable.
if (!OperatorUtils.IsOpeningGroupOperator(currentToken) &&
!double.TryParse(currentToken, out _) &&
!ExpressionUtils.IsValidVariable(currentToken, normalizer, validator))
{
throw new FormulaFormatException(
"Any tokens following an opening parenthesis or operator must be an opening parenthesis, a number, or a variable.\n" +
$"The token '{currentToken}' is incorrectly following the token '{previousToken}'");
}
}
/// <summary>
/// Ensures that the final token of an expression is an opening parenthesis, a number, or a variable.
/// Throws if not legal.
/// </summary>
/// <param name="token">The final token of the expression.</param>
/// <param name="normalizer">The normalizer.</param>
/// <param name="validator">The validator.</param>
private static void CheckFirstToken(string token, Normalizer normalizer, Validator validator)
{
if (!OperatorUtils.IsOpeningGroupOperator(token) &&
!double.TryParse(token, out _) &&
!ExpressionUtils.IsValidVariable(token, normalizer, validator))
{
throw new FormulaFormatException(
"The first token of the expression must be an opening parenthesis, a number, or a variable.");
}
}
/// <summary>
/// Ensures that the provided expression can be evaluated without error.
/// Throws a FormulaFormatException if there are any problems.
/// </summary>
/// <param name="expression">The expression to check.</param>
/// <param name="normalizer">The variable normalizer.</param>
/// <param name="validator">The variable validator.</param>
/// <returns>
/// A Tuple containing:
/// <list type="number">
/// <item>
/// An array of the individual tokens of the expression
/// </item>
/// <item>
/// An array of the normalized variables without duplicates, in order of occurence.
/// </item>
/// </list>
/// </returns>
internal static Tuple <string[], string[]> CheckSyntax(string expression, Normalizer normalizer,
Validator validator)
{
// Check for null or empty expressions.
if (expression == null)
{
throw new FormulaFormatException("The expression is null and cannot be parsed.");
}
if (expression.Trim() == "")
{
throw new FormulaFormatException("The expression is empty and cannot be parsed.");
}
// Break the expression into individual tokens.
var tokens = ExpressionUtils.GetTokens(expression).ToArray();
// Check the first token for syntax errors.
CheckFirstToken(tokens[0], normalizer, validator);
// Check the final token for syntax errors.
CheckFinalToken(tokens[tokens.Length - 1], normalizer, validator);
// Keep track of number of opening and closing parentheses.
int numOpeningParentheses = 0, numClosingParentheses = 0;
// A list of normalized variables as they occur in the expression, without duplicates.
var normalizedVariables = new List <string>();
// The variables which have already been normalized and added to the variables list.
// Used for quick lookups.
var seenVariables = new HashSet <string>();
// Keep track of the previous token seen
string previousToken = null;
// Check each token individually.
foreach (var token in tokens)
{
// Check tokens which follow opening parentheses or operators.
CheckFollowingOpeningParenthesesOperators(previousToken, token, normalizer, validator);
// Check tokens which follow closing parentheses, numbers, or variables.
CheckFollowingClosingParenthesesNumbersVariables(previousToken, token, normalizer, validator);
// Cases for specific token types.
if (OperatorUtils.IsOpeningGroupOperator(token))
{
// Increase the counter for opening parentheses.
numOpeningParentheses++;
}
else if (OperatorUtils.IsClosingGroupOperator(token))
{
// Increase the counter for closing parentheses.
numClosingParentheses++;
// Ensure we have not seen more closing parentheses than opening.
if (numClosingParentheses > numOpeningParentheses)
{
throw new FormulaFormatException(
"There are too many closing parentheses in the expression.");
}
}
else if (ExpressionUtils.IsVariable(token))
{
// Normalize the variable.
var normalizedVariable = normalizer(token);
// Check that we have already seen this variable.
if (!seenVariables.Contains(normalizedVariable))
{
// Mark the variable as seen.
seenVariables.Add(normalizedVariable);
// Add the variable to the list.
normalizedVariables.Add(normalizedVariable);
}
}
previousToken = token;
}
// Make sure the parentheses are balanced (opening == closed)
if (numOpeningParentheses != numClosingParentheses)
{
throw new FormulaFormatException(
"Parentheses are unbalanced; the number of opening parentheses does not match the number of closing parentheses.");
}
// Return the tokens and normalized variables.
return(new Tuple <string[], string[]>(tokens, normalizedVariables.ToArray()));
}
