/// <summary>
/// Checks the static semantic constraints of an IntValueNode.
/// </summary>
/// <returns>An ISemanticCheckValue.</returns>
/// <param name="node">Node.</param>
public ISemanticCheckValue VisitIntValueNode(IntValueNode 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 int value node.
/// </summary>
/// <returns>An ISemanticCheckValue.</returns>
/// <param name="node">Node.</param>
public ISemanticCheckValue VisitIntValueNode(IntValueNode node)
{
// let the evaluator evaluate this node
return(node.Accept(evaluator));
}
