Annotation scala.annotation.implicitAmbiguous

final class implicitAmbiguous extends Annotation with StaticAnnotation

Чтобы настроить сообщение об ошибке, которое генерируется, когда поиск неявных значений находит несколько неоднозначных значений, добавьте аннотацию хотя бы к одному из неявных значений @implicitAmbiguous. Предполагая, что неявное значение является методом с параметрами типа X1,..., XN, сообщение об ошибке будет результатом замены всех вхождений ${Xi} в строке msg строковым представлением соответствующего аргумента типа Ti.

Если собрано более одной аннотации @implicitAmbiguous, компилятор свободен выбрать любую из них для отображения.

Приятные ошибки могут направить пользователей к исправлению импорта или даже рассказать им, почему код намеренно не компилируется.

trait =!=[C, D]

implicit def neq[E, F] : E =!= F = null

@annotation.implicitAmbiguous("Could not prove ${J} =!= ${J}")
implicit def neqAmbig1[G, H, J] : J =!= J = null
implicit def neqAmbig2[I] : I =!= I = null

implicitly[Int =!= Int]

Annotations: @getter()
Source: implicitAmbiguous.scala
Since: 2.12.0
Линейные надтипы: StaticAnnotation, Annotation, AnyRef, Any

Значения членов

final def !=(arg0: Any): Boolean

Проверка двух объектов на неравенство.

returns: true если !(this == that), в противном случае false.

Definition Classes: AnyRef → Any

final def ##(): Int

Эквивалентно x.hashCode за исключением упакованных числовых типов и null. Для числовых типов возвращает значение хэша, согласованное с равенством значений: если два экземпляра типа значения сравниваются как true, то ## вернёт одно и то же значение хэша для каждого из них. Для null возвращает хэш-код, где null.hashCode вызывает NullPointerException.

returns: значение хэша, согласованное с ==

Definition Classes: AnyRef → Any

def +(other: String): String

Неявный: Этот член добавлен неявным преобразованием из implicitAmbiguous вany2stringadd[implicitAmbiguous] выполненным методом any2stringadd в scala.Predef.
Definition Classes: any2stringadd

def ->[B](y: B): (implicitAmbiguous, B)

Неявный: Этот член добавлен неявным преобразованием из implicitAmbiguous вArrowAssoc[implicitAmbiguous] выполненным методом ArrowAssoc в scala.Predef.
Definition Classes: ArrowAssoc
Аннотации: @inline()

final def ==(arg0: Any): Boolean

Выражение x == that эквивалентно if (x eq null) that eq null else x.equals(that).

returns: true если объект получателя эквивалентен аргументу; false в противном случае.

Definition Classes: AnyRef → Any

final def asInstanceOf[T0]: T0

Привести объект получателя к типу T0.

Обратите внимание, что успех приведения типов во время выполнения зависит от семантики стирания Scala. Следовательно, выражение 1.asInstanceOf[String] выбросит ClassCastException во время выполнения, в то время как выражение List(1).asInstanceOf[List[String]] не выбросит исключение. В последнем примере, из-за того, что тип аргумента стирается во время компиляции, невозможно проверить, относятся ли содержимое списка к требуемому типу.

returns: объект получателя.

Definition Classes: Any
Исключения: ClassCastException если объект получателя не является экземпляром стирания типа T0.

def clone(): AnyRef

Создать копию объекта получателя.

По умолчанию реализация метода clone зависит от платформы.

returns: копию объекта получателя.

Атрибуты: protected[java.lang]
Definition Classes: AnyRef
Аннотации: @throws(classOf[java.lang.CloneNotSupportedException]) @native()
Примечание: не указано SLS как член AnyRef

def ensuring(cond: (implicitAmbiguous) => Boolean, msg: => Any): implicitAmbiguous

Неявный: Этот член добавлен неявным преобразованием из implicitAmbiguous вEnsuring[implicitAmbiguous] выполненным методом Ensuring в scala.Predef.
Definition Classes: Ensuring

def ensuring(cond: (implicitAmbiguous) => Boolean): implicitAmbiguous

Неявный: Этот член добавлен неявным преобразованием из implicitAmbiguous вEnsuring[implicitAmbiguous] выполненным методом Ensuring в scala.Predef.
Definition Classes: Ensuring

def ensuring(cond: Boolean, msg: => Any): implicitAmbiguous

Неявный: Этот член добавлен неявным преобразованием из implicitAmbiguous в Ensuring[implicitAmbiguous] с помощью метода Ensuring в scala.Predef.
Определяющие классы: Ensuring

def ensuring(cond: Boolean): implicitAmbiguous

Неявный: Этот член добавлен неявным преобразованием из implicitAmbiguous в Ensuring[implicitAmbiguous] с помощью метода Ensuring в scala.Predef.
Определяющие классы: Ensuring

final def eq(arg0: AnyRef): Boolean

Проверяет, является ли аргумент (that) ссылкой на объект-получатель (this).

Метод eq реализует отношение эквивалентности на не-null экземплярах AnyRef, и имеет три дополнительных свойства:

x

y

AnyRef

x.eq(y)

true

false

x

AnyRef

x.eq(null)

null.eq(x)

false

null.eq(null)

true

При переопределении методов equals или hashCode важно гарантировать, что их поведение согласовано с равенством ссылок. Поэтому, если два объекта являются ссылками друг на друга (o1 eq o2), они должны быть равны друг другу (o1 == o2) и должны иметь одинаковое значение хэша (o1.hashCode == o2.hashCode).

возвращает: true если аргумент является ссылкой на объект-получатель; false в противном случае.

Определяющие классы: AnyRef

def equals(arg0: AnyRef): Boolean

Метод равенства для типов ссылок. Реализация по умолчанию делегирует вызов eq.

См. также equals в scala.Any.

возвращает: true если объект-получатель эквивалентен аргументу; false в противном случае.

Определяющие классы: AnyRef → Any

def finalize(): Unit

Вызывается сборщиком мусора для объекта-получателя, когда больше нет ссылок на объект.

Детали вызова метода finalize, а также взаимодействие finalize с нелокальными возвратами и исключениями зависят от платформы.

Атрибуты: protected[java.lang]
Определяющие классы: AnyRef
Аннотации: @throws(classOf[java.lang.Throwable])
Примечание: не указано SLS как член AnyRef

def formatted(fmtstr: String): String

Возвращает строку, отформатированную в соответствии с заданной строкой format. Формат строк аналогичен String.format (см. java.lang.String.format).

Неявный: Этот член добавлен неявным преобразованием из implicitAmbiguous в StringFormat[implicitAmbiguous] с помощью метода StringFormat в scala.Predef.
Определяющие классы: StringFormat
Аннотации: @inline()

final def getClass(): Class[_ <: AnyRef]

Возвращает представление класса объекта во время выполнения.

возвращает: объект класса, соответствующий типу объекта во время выполнения.

Определяющие классы: AnyRef → Any
Аннотации: @native()

def hashCode(): Int

Метод hashCode для типов ссылок. См. hashCode в scala.Any.

возвращает: значение хэша для этого объекта.

Определяющие классы: AnyRef → Any
Аннотации: @native()

final def isInstanceOf[T0]: Boolean

Проверка того, является ли динамический тип объекта-приёмника T0.

Обратите внимание, что результат проверки выполняется с учётом семантики стирания Scala. Поэтому выражение 1.isInstanceOf[String] вернёт false, в то время как выражение List(1).isInstanceOf[List[String]] вернёт true. В последнем примере, так как аргумент типа стирается во время компиляции, невозможно проверить, соответствуют ли элементы списка заданному типу.

возвращает: true , если объект-приёмник является экземпляром стирания типа T0; false в противном случае.

Классы определений: Any

final def ne(arg0: AnyRef): Boolean

Эквивалентно !(this eq that).

возвращает: true , если аргумент не является ссылкой на объект-приёмник; false в противном случае.

Классы определений: AnyRef

final def notify(): Unit

Разбуждает один поток, ожидающий монитора объекта-приёмника.

Классы определений: AnyRef
Аннотации: @native()
Примечание: не определено SLS как член AnyRef

final def notifyAll(): Unit

Разбуждает все потоки, ожидающие монитора объекта-приёмника.

Классы определений: AnyRef
Аннотации: @native()
Примечание: не определено SLS как член AnyRef

final def synchronized[T0](arg0: => T0): T0

Классы определений: AnyRef

def toString(): String

Создаёт строковое представление этого объекта. По умолчанию представление зависит от платформы. На платформе Java это конкатенация имени класса, «@» и хэш-кода объекта в шестнадцатеричном формате.

возвращает: строковое представление объекта.

Классы определений: AnyRef → Any

final def wait(): Unit

Классы определений: AnyRef
Аннотации: @throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long, arg1: Int): Unit

Классы определений: AnyRef
Аннотации: @throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long): Unit

Классы определений: AnyRef
Аннотации: @throws(classOf[java.lang.InterruptedException]) @native()

© 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/annotation/implicitAmbiguous.html