class TipNameGenerator extends NameGenerator
- Source
- TipNameGenerator.scala
- Alphabetic
- By Inheritance
- TipNameGenerator
- NameGenerator
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Instance Constructors
- new TipNameGenerator(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 TipNameGenerator to any2stringadd[TipNameGenerator] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
-
def
->[B](y: B): (TipNameGenerator, B)
- Implicit
- This member is added by an implicit conversion from TipNameGenerator to ArrowAssoc[TipNameGenerator] 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
- @native() @HotSpotIntrinsicCandidate() @throws( ... )
-
def
ensuring(cond: (TipNameGenerator) ⇒ Boolean, msg: ⇒ Any): TipNameGenerator
- Implicit
- This member is added by an implicit conversion from TipNameGenerator to Ensuring[TipNameGenerator] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: (TipNameGenerator) ⇒ Boolean): TipNameGenerator
- Implicit
- This member is added by an implicit conversion from TipNameGenerator to Ensuring[TipNameGenerator] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean, msg: ⇒ Any): TipNameGenerator
- Implicit
- This member is added by an implicit conversion from TipNameGenerator to Ensuring[TipNameGenerator] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
def
ensuring(cond: Boolean): TipNameGenerator
- Implicit
- This member is added by an implicit conversion from TipNameGenerator to Ensuring[TipNameGenerator] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
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.
- Definition Classes
- NameGenerator
-
def
formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from TipNameGenerator to StringFormat[TipNameGenerator] 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.
- Definition Classes
- NameGenerator
-
def
freshStream(name: String): Stream[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>.
- Definition Classes
- NameGenerator
-
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.
- Definition Classes
- NameGenerator
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
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() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
→[B](y: B): (TipNameGenerator, B)
- Implicit
- This member is added by an implicit conversion from TipNameGenerator to ArrowAssoc[TipNameGenerator] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
This is the API documentation for GAPT.
The main package is gapt.