Class TypecheckException

    • Constructor Detail

      • TypecheckException

        public TypecheckException​(String msg)
        Constructs a TypecheckException with the given message
        Parameters:
        msg - message describing this exception
      • TypecheckException

        public TypecheckException​(String msg,
                                  Throwable cause)
        Constructs a TypecheckException with the given message and cause
        Parameters:
        msg - message describing this exception
        cause - the cause of this exception. May be null, indicating that the cause is nonexistent or unknown.
      • TypecheckException

        public TypecheckException​(Throwable cause)
        Constructs a TypecheckException with the given cause and a message of (cause==null ? null : cause.toString())
        Parameters:
        cause - the cause of this exception. May be null, indicating that the cause is nonexistent or unknown.
      • TypecheckException

        public TypecheckException​(LocatedItem loc,
                                  String msg,
                                  Throwable cause)
        Constructs a located TypecheckException with the given message and cause. Operators should first consider using Operator.PropertyTypecheckException with its (String, String, Throwable) constructor instead.
        Parameters:
        loc - location scoping this exception, used to provide better error reporting
        msg - message describing this exception
        cause - the cause of this exception. May be null, indicating that the cause is nonexistent or unknown.
        Since:
        6.5
      • TypecheckException

        public TypecheckException​(LocatedItem loc,
                                  String msg)
        Constructs a located TypecheckException with the given message. Operators should first consider using Operator.PropertyTypecheckException with its (String, String) constructor instead.
        Parameters:
        loc - location scoping this exception, used to provide better error reporting
        msg - message describing this exception
        Since:
        6.5
      • TypecheckException

        public TypecheckException​(LocatedItem loc,
                                  Throwable cause)
        Constructs a TypecheckException with the given cause and a message of (cause==null ? null : cause.toString()). Operators should first consider using Operator.PropertyTypecheckException with its (String, Throwable) constructor instead.
        Parameters:
        loc - location scoping this exception, used to provide better error reporting
        cause - the cause of this exception. May be null, indicating that the cause is nonexistent or unknown.
        Since:
        6.5