/// <summary>
/// Checks the static semantic constraints of an AssertNode.
/// </summary>
/// <returns>An void.</returns>
/// <param name="node">Node.</param>
public void VisitAssertNode(AssertNode node)
{
node.AssertExpression.Accept(this);
TokenType exprEval = node.AssertExpression.EvaluationType;
// check that the evaluation is a boolean value
if (exprEval != TokenType.BOOLEAN_VAL)
{
analyzer.notifyError(new IllegalTypeError(node));
}
}
public void VisitAssertNode(AssertNode node)
{
}
