Трейт scala.math.PartialOrdering
Трейт PartialOrdering[T] extends Equiv[T]
Члены конкретных значений
final def !=(arg0: Any): Boolean
Проверка двух объектов на неравенство.
- возвращает
trueесли !(this == that), иначе false.
- Классы-определения
- AnyRef → Any
final def ##(): Int
Эквивалентно x.hashCode за исключением упакованных числовых типов и null. Для чисел возвращает значение хэша, согласованное с равенством значений: если два экземпляра типа значения сравниваются как true, то ## для каждого из них вернёт одинаковое значение хэша. Для null возвращает хэш-код, где null.hashCode вызывает NullPointerException.
- возвращает
значение хэша, согласованное с ==
- Классы-определения
- AnyRef → Any
def +(other: String): String
- Неявный
- Этот член добавлен неявным преобразованием из PartialOrdering[T] в any2stringadd[PartialOrdering[T]], выполненным методом any2stringadd в scala.Predef.
- Классы-определения
- any2stringadd
def ->[B](y: B): (PartialOrdering[T], B)
- Неявный
- Этот член добавлен неявным преобразованием из PartialOrdering[T] в ArrowAssoc[PartialOrdering[T]], выполненным методом ArrowAssoc в scala.Predef.
- Классы-определения
- ArrowAssoc
- Аннотации
- @inline()
final def ==(arg0: Any): Boolean
Выражение x == that эквивалентно if (x eq null) that eq null else x.equals(that).
- возвращает
trueесли объект-получатель эквивалентен аргументу;falseв противном случае.
- Классы-определения
- AnyRef → Any
final def asInstanceOf[T0]: T0
Привести объект-получатель к типу T0.
Обратите внимание, что успех приведения во время выполнения зависит от семантики стирания Scala. Следовательно, выражение 1.asInstanceOf[String] выбросит ClassCastException во время выполнения, тогда как выражение List(1).asInstanceOf[List[String]] не выбросит. В последнем примере, так как тип аргумента стирается во время компиляции, нельзя проверить, соответствуют ли содержимое списка требуемому типу.
- возвращает
объект-получатель.
- Классы-определения
- Any
- Исключения
ClassCastExceptionесли объект-получатель не является экземпляром стирания типаT0.
def clone(): AnyRef
Создать копию объекта-получателя.
По умолчанию реализация метода clone зависит от платформы.
- возвращает
копию объекта-получателя.
def ensuring(cond: (PartialOrdering[T]) ⇒ Boolean, msg: ⇒ Any): PartialOrdering[T]
- Неявный
- Этот член добавлен неявным преобразованием из PartialOrdering[T] в Ensuring[PartialOrdering[T]], выполненным методом Ensuring в scala.Predef.
- Классы-определения
- Ensuring
def ensuring(cond: (PartialOrdering[T]) ⇒ Boolean): PartialOrdering[T]
- Неявный
- Этот член добавлен неявным преобразованием из PartialOrdering[T] в Ensuring[PartialOrdering[T]], выполненным методом Ensuring в scala.Predef.
- Классы-определения
- Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): PartialOrdering[T]
- Неявный
- Этот член добавлен неявным преобразованием из PartialOrdering[T] в Ensuring[PartialOrdering[T]] с помощью метода Ensuring в scala.Predef.
- Классы определений
- Ensuring
def ensuring(cond: Boolean): PartialOrdering[T]
- Неявный
- Этот член добавлен неявным преобразованием из PartialOrdering[T] в Ensuring[PartialOrdering[T]] с помощью метода Ensuring в scala.Predef.
- Классы определений
- Ensuring
final def eq(arg0: AnyRef): Boolean
Проверяет, является ли аргумент (that) ссылкой на получаемый объект (this).
Метод eq реализует отношение эквивалентности на не-null экземплярах AnyRef, и имеет три дополнительных свойства:
-
Он является согласованным: для любых не-null экземпляров
x и y типа AnyRef, многократные вызовы x.eq(y) последовательно возвращают true или последовательно возвращают false.Для любого не-null экземпляра 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: Any): Boolean
Метод равенства для ссылочных типов. Реализация по умолчанию делегирует вызов eq.
См. также equals в scala.Any.
- возвращает
trueесли получаемый объект эквивалентен аргументу;falseв противном случае.
- Классы определений
- AnyRef → Any
def equiv(x: T, y: T): Boolean
Возвращает true тогда и только тогда, когда x эквивалентно y в порядке.
- Классы определений
- PartialOrdering → Equiv
def finalize(): Unit
Вызывается сборщиком мусора для получаемого объекта, когда на объект больше нет ссылок.
Подробности о том, когда и если вызывается метод finalize, а также взаимодействие между finalize и нелокальными возвратами и исключениями, зависят от платформы.
- Атрибуты
- protected[lang]
- Классы определений
- AnyRef
- Аннотации
- @throws( classOf[java.lang.Throwable] )
- Примечание
не указано SLS как член AnyRef
def formatted(fmtstr: String): String
Возвращает строку, отформатированную в соответствии с заданной строкой format. Строки форматирования аналогичны тем, что в String.format (@см. java.lang.String.format).
- Неявный
- Этот член добавлен неявным преобразованием из PartialOrdering[T] в StringFormat[PartialOrdering[T]] с помощью метода StringFormat в scala.Predef.
- Классы определений
- StringFormat
- Аннотации
- @inline()
final def getClass(): Class[_]
Возвращает представление класса объекта во время выполнения.
- возвращает
объект класса, соответствующий типу получаемого объекта во время выполнения.
def gt(x: T, y: T): Boolean
def gteq(x: T, y: T): Boolean
def hashCode(): Int
Метод hashCode для ссылочных типов. См. hashCode в scala.Any.
- возвращает
значение хэш-кода для этого объекта.
final def isInstanceOf[T0]: Boolean
Проверка, является ли динамический тип объекта-приёмника T0.
Обратите внимание, что результат проверки зависит от стирания типов в Scala. Поэтому выражение 1.isInstanceOf[String] вернёт false, а выражение List(1).isInstanceOf[List[String]] вернёт true. В последнем примере, из-за стирания типа во время компиляции, невозможно проверить, относятся ли элементы списка к указанному типу.
- возвращает
trueесли объект-приёмник является экземпляром стирания типаT0;falseв противном случае.
- Определяющие классы
- Any
def lt(x: T, y: T): Boolean
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
def reverse: PartialOrdering[T]
final def synchronized[T0](arg0: ⇒ T0): T0
- Определяющие классы
- AnyRef
def toString(): String
Создаёт строковое представление этого объекта. По умолчанию представление зависит от платформы. На платформе Java это конкатенация имени класса, «@» и хэш-кода объекта в шестнадцатеричном формате.
- возвращает
строковое представление объекта.
- Определяющие классы
- AnyRef → Any
final def wait(): Unit
- Определяющие классы
- AnyRef
- Аннотации
- @throws( ... )
final def wait(arg0: Long, arg1: Int): Unit
- Определяющие классы
- AnyRef
- Аннотации
- @throws( ... )
final def wait(arg0: Long): Unit
def →[B](y: B): (PartialOrdering[T], B)
- Неявный
- Этот член добавлен неявным преобразованием из PartialOrdering[T] в ArrowAssoc[PartialOrdering[T]], выполненным методом ArrowAssoc в scala.Predef.
- Определяющие классы
- 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/math/PartialOrdering.html
Трейт для представления частичных порядков. Важно различать тип, имеющий частичный порядок, и представление частичного порядка для некоторого типа. Этот трейт предназначен для представления последнего.
Частичный порядок — это бинарное отношение на типе
T, представленное как методlteqэтого трейта. Это отношение должно быть:lteq(x, x) == true, для любогоxтипаT.lteq(x, y) == trueиlteq(y, x) == true, тоequiv(x, y) == true, для любыхxиyтипаT.lteq(x, y) == trueиlteq(y, z) == true, тоlteq(x, z) == true, для любыхx,yиzтипаT.Кроме того, частичный порядок индуцирует отношение эквивалентности на типе
T:xиyтипаTэквивалентны тогда и только тогда, когдаlteq(x, y) && lteq(y, x) == true. Это отношение эквивалентности представлено методомequiv, унаследованным от трейта Equiv.2.7