LocalName

final class LocalName extends Name with Comparable[LocalName]

The name of a local variable or capture parameter.

Local names must be non-empty, and can contain any Unicode code point except / . ; [.

Companion
object
class Name
class Object
trait Matchable
class Any

Type members

Types

Value members

Concrete methods

override def equals(that: Any): Boolean
Definition Classes
Any
final def withPrefix(prefix: LocalName): LocalName
final def withPrefix(prefix: String): LocalName
final def withSuffix(suffix: LocalName): LocalName
final def withSuffix(suffix: String): LocalName

Inherited methods

def compareTo(that: ThisName): Int
Inherited from
Name
final protected def equalsName(that: ThisName): Boolean
Inherited from
Name
override def hashCode(): Int
Definition Classes
Name -> Any
Inherited from
Name
final def nameString: String
Inherited from
Name
override def toString(): String
Definition Classes
Name -> Any
Inherited from
Name