Package org.apache.calcite.sql.type

Class SameOperandTypeChecker

java.lang.Object
org.apache.calcite.sql.type.SameOperandTypeChecker
All Implemented Interfaces:
SqlOperandTypeChecker, SqlSingleOperandTypeChecker
Direct Known Subclasses:
ArrayInsertOperandTypeChecker, ComparableOperandTypeChecker, NotNullOperandTypeChecker, SameOperandTypeExceptLastOperandChecker
public class SameOperandTypeChecker extends Object implements SqlSingleOperandTypeChecker
Parameter type-checking strategy where the type of operand I must be comparable with the type of operand I-1, for all legal values of I. See SqlTypeUtil.isComparable(org.apache.calcite.rel.type.RelDataType, org.apache.calcite.rel.type.RelDataType) for a definition of "comparable" types.

  • Field Details

    • nOperands

      protected final int nOperands

  • Constructor Details

    • SameOperandTypeChecker

      public SameOperandTypeChecker(int nOperands)

  • Method Details

    • checkOperandTypes

      public boolean checkOperandTypes(SqlCallBinding callBinding, boolean throwOnFailure)
      Description copied from interface: SqlOperandTypeChecker
      Checks the types of all operands to an operator call.
      Specified by:
      checkOperandTypes in interface SqlOperandTypeChecker
      Specified by:
      checkOperandTypes in interface SqlSingleOperandTypeChecker
      Parameters:
      callBinding - description of the call to be checked
      throwOnFailure - whether to throw an exception if check fails (otherwise returns false in that case)
      Returns:
      whether check succeeded

    • getOperandList

      protected List<Integer> getOperandList(int operandCount)

    • checkOperandTypesImpl

      protected boolean checkOperandTypesImpl(SqlOperatorBinding operatorBinding, boolean throwOnFailure, @Nullable SqlCallBinding callBinding)

    • checkOperandTypes

      public boolean checkOperandTypes(SqlOperatorBinding operatorBinding, SqlCallBinding callBinding)
      Similar functionality to checkOperandTypes(SqlCallBinding, boolean), but not part of the interface, and cannot throw an error.

    • getOperandCountRange

      public SqlOperandCountRange getOperandCountRange()
      Description copied from interface: SqlOperandTypeChecker
      Returns the range of operand counts allowed in a call.
      Specified by:
      getOperandCountRange in interface SqlOperandTypeChecker
      Specified by:
      getOperandCountRange in interface SqlSingleOperandTypeChecker

    • getAllowedSignatures

      public String getAllowedSignatures(SqlOperator op, String opName)
      Description copied from interface: SqlOperandTypeChecker
      Returns a string describing the allowed formal signatures of a call, e.g. "SUBSTR(VARCHAR, INTEGER, INTEGER)".
      Specified by:
      getAllowedSignatures in interface SqlOperandTypeChecker
      Parameters:
      op - the operator being checked
      opName - name to use for the operator in case of aliasing
      Returns:
      generated string

    • getTypeName

      protected String getTypeName()
      Override to change the behavior of getAllowedSignatures(SqlOperator, String).

    • checkSingleOperandType

      public boolean checkSingleOperandType(SqlCallBinding callBinding, SqlNode operand, int iFormalOperand, boolean throwOnFailure)
      Description copied from interface: SqlSingleOperandTypeChecker
      Checks the type of a single operand against a particular ordinal position within a formal operator signature. Note that the actual ordinal position of the operand being checked may be different from the position of the formal operand.

      For example, when validating the actual call 

      C(X, Y, Z)

      the strategy for validating the operand Z might involve checking its type against the formal signature OP(W). In this case, iFormalOperand would be zero, even though the position of Z within call C is two.

      Caution that we could not(shouldn't) implement implicit type coercion for this checker, implicit type coercion has side effect(modify the AST), if this single operand checker is subsumed in a composite rule(OR or AND), we can not make any side effect if we can not make sure that all the single operands type check are passed(with type coercion). But there is an exception: only if the call has just one operand, for this case, use SqlOperandTypeChecker.checkOperandTypes(org.apache.calcite.sql.SqlCallBinding, boolean) instead.

      Specified by:
      checkSingleOperandType in interface SqlSingleOperandTypeChecker
      Parameters:
      callBinding - description of the call being checked; this is only provided for context when throwing an exception; the implementation should NOT examine the operands of the call as part of the check
      operand - the actual operand to be checked
      iFormalOperand - the 0-based formal operand ordinal
      throwOnFailure - whether to throw an exception if check fails (otherwise returns false in that case)
      Returns:
      whether check succeeded