Класс scala.Predef.Ensuring
неявный final класс Ensuring[A] extends AnyVal
- Источник
- Predef.scala
- Линейные супертипы
- AnyVal, Any
Конструкторы экземпляров
new Ensuring(self: A)
Члены-значения
final def !=(arg0: Any): Boolean
Проверка двух объектов на неравенство.
- возвращает
trueесли !(this == that), в противном случае false.
- Определяющие классы
- Any
final def ##(): Int
Эквивалентно x.hashCode за исключением упакованных числовых типов и null. Для чисел возвращает хэш-значение, согласованное с равенством значений: если два экземпляра типа значения сравниваются как true, то ## для каждого из них вернет одно и то же хэш-значение. Для null возвращает хэш-код, где null.hashCode выбрасывает NullPointerException.
- возвращает
хэш-значение, согласованное с ==
- Определяющие классы
- Any
final def ==(arg0: Any): Boolean
Проверка двух объектов на равенство. Выражение x == that эквивалентно if (x eq null) that eq null else x.equals(that).
- возвращает
trueесли объект-получатель эквивалентен аргументу;falseв противном случае.
- Определяющие классы
- Any
final def asInstanceOf[T0]: T0
Приведение объекта-получателя к типу T0.
Обратите внимание, что успех приведения во время выполнения зависит от семантики стирания Scala. Поэтому выражение 1.asInstanceOf[String] выбросит ClassCastException во время выполнения, в то время как выражение List(1).asInstanceOf[List[String]] не выбросит. В последнем примере, из-за стирания аргумента типа во время компиляции невозможно проверить, соответствуют ли содержимое списка запрошенному типу.
- возвращает
объект-получатель.
- Определяющие классы
- Any
- Исключения
ClassCastExceptionесли объект-получатель не является экземпляром стирания типаT0.
def ensuring(cond: (A) => Boolean, msg: => Any): A
def ensuring(cond: (A) => Boolean): A
def ensuring(cond: Boolean, msg: => Any): A
def ensuring(cond: Boolean): A
def getClass(): Class[_ <: AnyVal]
Возвращает представление класса объекта во время выполнения.
- возвращает
объект класса, соответствующий типу получателя во время выполнения.
final def isInstanceOf[T0]: Boolean
Проверка, является ли динамический тип объекта-получателя T0.
Обратите внимание, что результат проверки зависит от семантики стирания Scala. Поэтому выражение 1.isInstanceOf[String] вернёт false, в то время как выражение List(1).isInstanceOf[List[String]] вернёт true. В последнем примере, из-за стирания аргумента типа во время компиляции невозможно проверить, соответствуют ли содержимое списка заданному типу.
- возвращает
trueесли объект-получатель является экземпляром стирания типаT0;falseв противном случае.
- Определяющие классы
- Any
def toString(): java.lang.String
Возвращает строковое представление объекта.
По умолчанию представление зависит от платформы.
- возвращает
строковое представление объекта.
- Определяющие классы
- Any
Члены-значения неявного затемнения
def +(other: String): String
- Неявный
- Этот член добавлен с помощью неявного преобразования из Ensuring[A] в any2stringadd[Ensuring[A]], выполненного методом any2stringadd в scala.Predef.
- Затемнение
- Этот неявно унаследованный член является неоднозначным. Один или несколько неявно унаследованных членов имеют похожие сигнатуры, поэтому вызов этого члена может привести к ошибке компилятора из-за неоднозначного неявного преобразования.
Для доступа к этому члену можно использовать описание типа:(ensuring: any2stringadd[Ensuring[A]]).+(other)
- Классы определений
- any2stringadd
def +(other: String): String
- Неявный
- Этот член добавлен с помощью неявного преобразования из Ensuring[A] в any2stringadd[Ensuring[A]], выполненного методом any2stringadd в scala.Predef.
- Затемнение
- Этот неявно унаследованный член является неоднозначным. Один или несколько неявно унаследованных членов имеют похожие сигнатуры, поэтому вызов этого члена может привести к ошибке компилятора из-за неоднозначного неявного преобразования.
Для доступа к этому члену можно использовать описание типа:(ensuring: any2stringadd[Ensuring[A]]).+(other)
- Классы определений
- any2stringadd
def ->[B](y: B): (Ensuring[A], B)
- Неявный
- Этот член добавлен с помощью неявного преобразования из Ensuring[A] в ArrowAssoc[Ensuring[A]], выполненного методом ArrowAssoc в scala.Predef.
- Затемнение
- Этот неявно унаследованный член является неоднозначным. Один или несколько неявно унаследованных членов имеют похожие сигнатуры, поэтому вызов этого члена может привести к ошибке компилятора из-за неоднозначного неявного преобразования.
Для доступа к этому члену можно использовать описание типа:(ensuring: ArrowAssoc[Ensuring[A]]).->(y)
- Классы определений
- ArrowAssoc
- Аннотации
- @inline()
def ->[B](y: B): (Ensuring[A], B)
- Неявный
- Этот член добавлен с помощью неявного преобразования из Ensuring[A] в ArrowAssoc[Ensuring[A]], выполненного методом ArrowAssoc в scala.Predef.
- Затемнение
- Этот неявно унаследованный член является неоднозначным. Один или несколько неявно унаследованных членов имеют похожие сигнатуры, поэтому вызов этого члена может привести к ошибке компилятора из-за неоднозначного неявного преобразования.
Для доступа к этому члену можно использовать описание типа:(ensuring: ArrowAssoc[Ensuring[A]]).->(y)
- Классы определений
- ArrowAssoc
- Аннотации
- @inline()
def formatted(fmtstr: String): String
Возвращает строку, отформатированную в соответствии с заданной format строкой. Форматные строки аналогичны String.format (@см java.lang.String.format).
- Неявный
- Этот член добавлен с помощью неявного преобразования из Ensuring[A] в StringFormat[Ensuring[A]] с помощью метода StringFormat в scala.Predef.
- Затемнение
- Этот неявно унаследованный член является неоднозначным. Один или несколько неявно унаследованных членов имеют похожие сигнатуры, поэтому вызов этого члена может привести к ошибке компилятора из-за неоднозначного неявного преобразования.
Для доступа к этому члену можно использовать описание типа:(ensuring: StringFormat[Ensuring[A]]).formatted(fmtstr)
- Классы определений
- StringFormat
- Аннотации
- @inline()
def formatted(fmtstr: String): String
Возвращает строку, отформатированную в соответствии с заданной format строкой. Формат строк такой же, как у String.format (@см. java.lang.String.format).
- Неявное
- Этот член добавлен неявным преобразованием из Ensuring[A] в StringFormat[Ensuring[A]] выполненным методом StringFormat в scala.Predef.
- Затенение
- Этот неявно унаследованный член неоднозначен. Один или несколько неявно унаследованных членов имеют похожие сигнатуры, поэтому вызов этого члена может привести к ошибке компилятора, связанной с неоднозначным неявным преобразованием.
Для доступа к этому члену вы можете использовать приведение типа:(ensuring: StringFormat[Ensuring[A]]).formatted(fmtstr)
- Определяющие классы
- StringFormat
- Аннотации
- @inline()
© 2002-2019 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://www.scala-lang.org/api/2.13.0/scala/Predef$$Ensuring.html
