public override LatteParser.TypeContext VisitEAnd(LatteParser.EAndContext context) { var lhs = Visit(context.expr()[0]); var rhs = Visit(context.expr()[1]); if (!lhs.Equals(rhs) || !lhs.Equals(new LatteParser.TBoolContext())) { Utils.StateUtils.InterruptWithMessage(context.start.Line, ErrorMessages.LogicOpToNotBool); } return(new LatteParser.TBoolContext()); }
public And(LatteParser.EAndContext context) : base(context.expr()[0], context.expr()[1]) { }