public override void SecondSemanticCheck(List <SemanticError> errors, Scope scope)
{
RightOperand.SecondSemanticCheck(errors, scope);
LeftOperand.SecondSemanticCheck(errors, scope);
if (LeftOperand.StaticType.Text != "Int" || RightOperand.StaticType.Text != "Int")
{
errors.Add(new SemanticError(Line, Column, TypeError.InconsistentType));
}
if (!scope.IsDefinedType("Bool", out StaticType))
{
errors.Add(new SemanticError(Line, Column, TypeError.ClassNotDefine));
}
}
