/// <summary>
/// Checks the static semantic constraints of a BoolValueNode.
/// </summary>
/// <returns>An ISemanticCheckValue.</returns>
/// <param name="node">Node.</param>
public ISemanticCheckValue VisitBoolValueNode(BoolValueNode node)
{
// This is not a statement so it needs not to be actually checked here.
// So, we pass it to the TypeCheckerVisitor instead.
return(node.Accept(this.typeChecker));
}
/// <summary>
/// Visits the bool value node.
/// </summary>
/// <returns>An ISemanticCheckValue.</returns>
/// <param name="node">Node.</param>
public ISemanticCheckValue VisitBoolValueNode(BoolValueNode node)
{
// let the evaluator evaluate this node
return(node.Accept(evaluator));
}