Spec-Zone.ru › Scala 2.13 Library

Класс scala.util.control.TailCalls.Call

case class Call[A](rest: () => TailRec[A]) extends TailRec[A] with Product with Serializable

Внутренний класс, представляющий хвостовую рекурсию

Атрибуты
protected
Источник
TailCalls.scala
Линейные супертипы
java.io.Serializable, Product, Equals, TailRec[A], AnyRef, Any

Конструкторы экземпляров

new Call(rest: () => TailRec[A])

Члены-значения

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

Неявный
Этот член добавляется с помощью неявного преобразования из Call[A] в any2stringadd[Call[A]], выполненного методом any2stringadd в scala.Predef.
Определяющие классы
any2stringadd

def ->[B](y: B): (Call[A], B)

Неявный
Этот член добавляется с помощью неявного преобразования из Call[A] в ArrowAssoc[Call[A]], выполненного методом 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 зависит от платформы.

возвращает

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

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

не указан SLS как член AnyRef

def ensuring(cond: (Call[A]) => Boolean, msg: => Any): Call[A]

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

def ensuring(cond: (Call[A]) => Boolean): Call[A]

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

def ensuring(cond: Boolean, msg: => Any): Call[A]

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

def ensuring(cond: Boolean): Call[A]

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

final def eq(arg0: AnyRef): Boolean

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

Метод eq реализует отношение эквивалентности на непустых экземплярах 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 finalize(): Unit

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

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

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

не указано в SLS в качестве члена AnyRef

final def flatMap[B](f: (A) => TailRec[B]): TailRec[B]

Продолжить вычисление с f и объединить трамплирование этого вычисления с трамплированием f.

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

def formatted(fmtstr: String): String

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

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

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

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

возвращает

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

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

final def isInstanceOf[T0]: Boolean

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

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

returns

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

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

final def map[B](f: (A) => B): TailRec[B]

Продолжить вычисление с f.

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

final def ne(arg0: AnyRef): Boolean

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

returns

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

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

final def notify(): Unit

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

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

не указан в SLS как член AnyRef

final def notifyAll(): Unit

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

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

не указан в SLS как член AnyRef

def productElementNames: Iterator[String]

Итератор по именам всех элементов этого продукта.

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

val rest: () => TailRec[A]

final def result: A

Возвращает результат вычисления с хвостовой рекурсией.

Определяющие классы
TailRec
Аннотации
@tailrec()

final def resume: scala.Either[() => TailRec[A], A]

Возвращает либо следующий шаг вычисления с хвостовой рекурсией, либо результат, если шагов больше нет.

Определяющие классы
TailRec
Аннотации
@tailrec()

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

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

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/util/control/TailCalls$$Call.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API