/// <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) { }