class NameGenerator extends AnyRef
- Alphabetic
- By Inheritance
- NameGenerator
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Instance Constructors
- new NameGenerator(initiallyUsed: Iterable[String])
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- Implicit
- This member is added by an implicit conversion from NameGenerator toany2stringadd[NameGenerator] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
- def ->[B](y: B): (NameGenerator, B)
- Implicit
- This member is added by an implicit conversion from NameGenerator toArrowAssoc[NameGenerator] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def ensuring(cond: (NameGenerator) => Boolean, msg: => Any): NameGenerator
- Implicit
- This member is added by an implicit conversion from NameGenerator toEnsuring[NameGenerator] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: (NameGenerator) => Boolean): NameGenerator
- Implicit
- This member is added by an implicit conversion from NameGenerator toEnsuring[NameGenerator] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean, msg: => Any): NameGenerator
- Implicit
- This member is added by an implicit conversion from NameGenerator toEnsuring[NameGenerator] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean): NameGenerator
- Implicit
- This member is added by an implicit conversion from NameGenerator toEnsuring[NameGenerator] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def fork: NameGenerator
Creates a new name generator from this name generator.
Creates a new name generator from this name generator.
- returns
The new name generator does not generate any names that have so far been generated by this name generator, moreover it does not generate names that are contained in the initially used names of this name generator.
- def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from NameGenerator toStringFormat[NameGenerator] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @inline()
- def fresh(name: String): String
Generates fresh names.
Generates fresh names.
- name
The name for which a fresh variant is to be generated.
- returns
Returns
name
ifname
does not occur in the initially used names andname
has not yet been generated by this name generator. Otherwise, a name of the formname
_<n> is returned, such thatname
_<n> has not been generated by a previous call to this method.
- def freshStream(name: String): LazyList[String]
Generates a stream of fresh variants.
Generates a stream of fresh variants.
- name
The name for which a stream of fresh variants is to be generated.
- returns
A stream of fresh variants of the form
name
_<n>.
- def freshWithIndex(baseName: (Int) => String): String
Generates a fresh variant of a name.
Generates a fresh variant of a name.
- baseName
The pattern based on which names are generated. For every distinct non-negative integers i and j,
baseName(i)
andbaseName(j)
must be distinct names.- returns
A name of the form
baseName(n)
that has not been generated by any previous call to this name generator and such thatn
is the least non-negative integer with this property. Furthermore the subsequent names generated by this name generator will not includebaseName(n)
.
- def freshWithIndex(name: String): String
Generates a fresh variant of a name.
Generates a fresh variant of a name.
- name
The name for which a fresh variant is to be generated.
- returns
Returns a name of the form
name
_<n>, such that this name has not been generated by any previous call to this name generator.
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
Deprecated Value Members
- def →[B](y: B): (NameGenerator, B)
- Implicit
- This member is added by an implicit conversion from NameGenerator toArrowAssoc[NameGenerator] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->
instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.
This is the API documentation for GAPT.
The main package is gapt.