Класс scala.Predef.Ensuring
явное final класс Ensuring[A] extends AnyVal
- Источник
- Predef.scala
Конструкторы экземпляров
новый 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 (@see 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 (@see java.lang.String.format).
- Неявный
- Этот член добавлен с помощью неявного преобразования из Ensuring[A] в StringFormat[Ensuring[A]] с помощью метода StringFormat в scala.Predef.
- Затенение
- Этот неявный унаследованный член является неоднозначным. Один или несколько неявных унаследованных членов имеют похожие сигнатуры, поэтому обращение к этому члену может привести к ошибке неоднозначного неявного преобразования компилятора.
Для доступа к этому члену можно использовать описание типа:(ensuring: StringFormat[Ensuring[A]]).formatted(fmtstr)
- Классы определений
- StringFormat
- Аннотации
- @inline()
def →[B](y: B): (Ensuring[A], B)
- Неявный
- Этот член добавлен с помощью неявного преобразования из Ensuring[A] в ArrowAssoc[Ensuring[A]] через метод ArrowAssoc в scala.Predef.
- Затенение
- Этот неявно унаследованный член является неоднозначным. Один или несколько неявно унаследованных членов имеют аналогичные сигнатуры, поэтому обращение к этому члену может привести к ошибке компилятора о неоднозначном неявном преобразовании.
Для доступа к этому члену можно использовать ограничение типа:(ensuring: ArrowAssoc[Ensuring[A]]).→(y)
- Классы-определения
- ArrowAssoc
def →[B](y: B): (Ensuring[A], B)
- Неявный
- Этот член добавлен с помощью неявного преобразования из Ensuring[A] в ArrowAssoc[Ensuring[A]] через метод ArrowAssoc в scala.Predef.
- Затенение
- Этот неявно унаследованный член является неоднозначным. Один или несколько неявно унаследованных членов имеют аналогичные сигнатуры, поэтому обращение к этому члену может привести к ошибке компилятора о неоднозначном неявном преобразовании.
Для доступа к этому члену можно использовать ограничение типа:(ensuring: ArrowAssoc[Ensuring[A]]).→(y)
- Классы-определения
- ArrowAssoc
© 2002-2019 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://www.scala-lang.org/api/2.12.9/scala/Predef$$Ensuring.html
